■パスカルの三角形とフェルマー数(その16)
リュカの定理(mod2)のmod3版であるが,
[1]3進数表示のnとkの同じ桁で大小逆転が起こっている場合,
nCk=0 (mod3)となる
[2]大小逆転が起こらず,かつ
2
1
の個数が偶数の場合,
nCk=1 (mod3)となる
[3]大小逆転が起こらず,かつ
2
1
の個数が奇数の場合,
nCk=2 (mod3)となる
===================================
1 1 合計2
1 2 1 合計4
1 3 3 1 合計8
1 4 6 4 1 合計16
1 5 10 10 5 1 合計32
1 6 15 20 15 6 1 合計64
は、
[1] 1 1 合計3
[2] 1 2 1 合計7
[3] 1 0 0 1 合計9
[4] 1 1 0 1 1 合計27
[5] 1 2 1 1 2 1 合計63
[6]1 0 0 2 0 0 1 合計73
[0]1 2 4 8 16 32 64
===================================
二項展開であるが、3進数で表してみよう
[1] 1 1 合計4 x4
[2] 1 2 1 合計16 x1.75
[3] 1 0 0 1 合計28 x4
[4] 1 1 0 1 1 合計112 x4
[5] 1 2 1 1 2 1 合計448 x1.75
[6]1 0 0 2 0 0 1 合計784 x4
[0]1 3 9 27 81 243 729
===================================