一个恒等式的证明
数学上来证明这个玩法成功的必然性：
5 M7 r% E1 w1 w! b我们的玩法是设 1<=a1,a2,a3,.....a9<=13 为选择的9张牌 ，最大的一张为M （1<=M<=13）,设mm选到的牌为ai,(1<=i<=9) ，设n为开始随便数的张数令n=20-M+1， k为n张以后从M开始顺序倒数的张数， 跟据玩法，必须要有k=M-ai,才能刚好数到ai，现在就是要证明等式k=M-ai 在ai取任意值时成立
0 c( L/ M o7 c5 a% Z9 v+ A8 r
; j" }/ a6 \7 ?6 v8 v6 m( I【证明】： ai为mm选的牌，1<=a1,a2,a3,.....a9<=13 ，, j, m/ M& n+ G9 ]+ V
则mm总共要数的张数为 t=20-ai+1 而k=t-n=（20-ai+1）-(20-M+1)=M-ai ，等式成立，即mm数完所有牌时刚好到ai，因此按此算法是必然会得到正确的牌的。
