■相転移モデル(その15)
(その14)の続きである.結論を先にいうと[3]ではある桁で
2
1
が起こっている.その個数が偶数か奇数かを使って判別できるのである.
===================================
リュカの定理(mod2)のmod3版であるが,
[1]3進数表示のnとkの同じ桁で大小逆転が起こっている場合,
C(n,k)=0 (mod3)となる
[2]大小逆転が起こらず,
2
1
の個数が偶数の場合,
C(n,k)=1 (mod3)となる
[3]大小逆転が起こらず,
2
1
の個数が奇数の場合,
C(n,k)=2 (mod3)となる
===================================
C(64,30)
64=2022(3)
30=1010(3)
より,C(60,34)=1 (mod3)
C(14,10)=1001
14=112(3)
10=101(3)
より,C(14,10)=2 (mod3)
>
===================================