■パスカルのフラクタル(その5)

 (その4)の続きである.結論を先にいうと[3]ではある桁で

  2

  1

が起こっている.その個数が偶数か奇数かを使って判別できるのである.

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

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

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

  C(n,k)=0  (mod3)となる

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

  2

  1

の個数が偶数の場合,

  C(n,k)=1  (mod3)となる

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

  2

  1

の個数が奇数の場合,

  C(n,k)=2  (mod3)となる

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

 C(64,30)

  64=2022(3)

  30=1010(3)

より,C(60,34)=1  (mod3)

 C(14,10)=1001

  14=112(3)

  10=101(3)

より,C(14,10)=2  (mod3)

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