■パスカルの三角形とフェルマー数(その14)

 リュカの定理(mod2)のmod3版であるが,

[1]3進数表示のnとkの同じ桁で大小逆転が起こっている場合,

  nCk=0  (mod3)となる

[2]大小逆転が起こらず,かつ

  2

  1

の個数が偶数の場合,

  nCk=1  (mod3)となる

[3]大小逆転が起こらず,かつ

  2

  1

の個数が奇数の場合,

  nCk=2  (mod3)となる

===================================

1  7  21  35  35  21  7  1  合計128

1  8  28  56  70  56  28  8  1  合計256

1  9  36  84  126  126 84  36  9  1  合計512

1  10  45  120  210  252 210  120  45  10  1  合計1024

1  11  55  165  330  462 462  330  165  55  11  1  合計2048

1  12  66  220  495  792 924  792  495  220  66  12  1  合計4096

は、

[7]       1  1  0  2  2  0  1  1  合計219

[8]     1  2  1  2  1  2  1  2  1  合計511

[9]    1  0  0  0  0  0  0  0  0  1  合計1025

[10]  1  1  0  0  0  0  0  0  0  1  1  合計1539

[11] 1  2  1  0  0  0  0  0  0  1  2  1  合計3591

[12]1  0  0  1  0  0  0  0  0  1  0  0  1  合計4617

[0]1  2  4  8  16  32  64 128 256 512 1024 2048 4096

===================================

[7](021),(021),(021),(021),(021),(021)(021)(021)

(000),(001),(002),(010),(011),(012)(020)(021)逆転2(11022011)

[8](022),(022),(022),(022),(022),(022)(022)(022)(022)

(000),(001),(002),(010),(011),(012)(020)(021)(022)逆転0(121212121)

[9](100),(100),(100),(100),(100),(100)(100)(100)(100)(100)

(000),(001),(002),(010),(011),(012)(020)(021)(022)(100)逆転8(1000000001)

[10](101),(101),(101),(101),(101),(101)(101)(101)(101)(101)(101)

(000),(001),(002),(010),(011),(012)(020)(021)(022)(100)(101)逆転7(11000000011)

[11](102),(102),(102),(102),(102),(102)(102)(102)(102)(102)(102)(102)

(000),(001),(002),(010),(011),(012)(020)(021)(022)(100)(101)(102)逆転6(121000000121)

[12](110),(110),(110),(110),(110),(110)(110)(110)(110)(110)(110)(110)(110)

(000),(001),(002),(010),(011),(012)(020)(021)(022)(100)(101)(102)(110)逆転5(1001000001001)

===================================