(续)
【三】证明上述第一条
即需要证明:
如果现状y1 ㈩ y2 ㈩……㈩ yn = 0,那么无论怎么抓,只要合规则,抓过以后必然
y1' ㈩ y2' ㈩……㈩ yn' ≠ 0。
证明如下(引用前面预备知识中介绍过的几个关系及交换、结合律):
y1' ㈩ y2' ㈩……㈩ yn'
=(y1 ㈩ y2 ㈩……㈩ yn)㈠ [(y1㈠y1')㈩(y2㈠y2')㈩……㈩(yn㈠yn')]
= 0 ㈠ [ d1 ㈩ d2 ㈩……㈩ dn ]
= ㈠ [ d1 ㈩ d2 ㈩……㈩ dn ]
这里的d1~dn是各堆抓前抓后枚数的影子数的相'㈠的差。
再根据前面:如果x ≠ 0则㈠x ≠ 0,
所以,只要证明d1 ㈩ d2 ㈩……㈩ dn ≠ 0 即可。
以下只要证明:各个d如此相㈩的总和的P进制形式中至少有一位不等于零,即可。
(待续)
【三】证明上述第一条
即需要证明:
如果现状y1 ㈩ y2 ㈩……㈩ yn = 0,那么无论怎么抓,只要合规则,抓过以后必然
y1' ㈩ y2' ㈩……㈩ yn' ≠ 0。
证明如下(引用前面预备知识中介绍过的几个关系及交换、结合律):
y1' ㈩ y2' ㈩……㈩ yn'
=(y1 ㈩ y2 ㈩……㈩ yn)㈠ [(y1㈠y1')㈩(y2㈠y2')㈩……㈩(yn㈠yn')]
= 0 ㈠ [ d1 ㈩ d2 ㈩……㈩ dn ]
= ㈠ [ d1 ㈩ d2 ㈩……㈩ dn ]
这里的d1~dn是各堆抓前抓后枚数的影子数的相'㈠的差。
再根据前面:如果x ≠ 0则㈠x ≠ 0,
所以,只要证明d1 ㈩ d2 ㈩……㈩ dn ≠ 0 即可。
以下只要证明:各个d如此相㈩的总和的P进制形式中至少有一位不等于零,即可。
(待续)