设m阶马尔可夫信源S，其符号集A={x 1 ，x 2 ，…x q }，又设p 1 ，p 2 ，…，p q 为其平稳后的一维概率分布，现定义一无记忆信源 ，它的符号集也是A={x 1 ，x 2 ，…，x q }，又其符号概率分布等于m阶马尔可夫信源S平稳后的一维概率分布，称信源 为m阶马尔可夫信源的伴随信源，试证明 。