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

 リュカの定理(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

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

[1](001),(001)

(000),(001)逆転起こらず,11

[2] (002),(002),(002)

(000),(001),(002)逆転起こらず1,121

[3](010),(010),(010),(010)

(000),(001),(002),(010)逆転2,1001

[4](011),(011),(011),(011),(011)

(000),(001),(002),(010),(011)逆転1(11011)

[5](012),(012),(012),(012),(012),(012)

(000),(001),(002),(010),(011),(012)逆転起こらず(121121)

[6](020),(020),(020),(020),(020),(020)(020)

(000),(001),(002),(010),(011),(012)(020)逆転5(1002001)

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