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

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