■パスカルの三角形とフェルマー数(その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)
===================================