２^nは３では割り切れないが，

　　２^n＝１　　（ｍｏｄ３）

　　２^n＝２　　（ｍｏｄ３）

であるから，概３等分されるのである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】パスカルの三角形の恒等式

　　　　　　　　　　　　　　　　　　　　　ｓｕｍ　　ｍｏｄ３

　　　　　　　　１　　　１　　　　　　　　　　２　　　　２

　　　　　　１　　　２　　　１　　　　　　　　４　　　　１

　　　　１　　　３　　　３　　　１　　　　　　８　　　　２

　　１　　　４　　　６　　　４　　　１　　　１６　　　　１

　パスカルの三角形では，以下の有名な恒等式が知られている．

　　（ｎ，０）＋（ｎ，１）＋・・・＋（ｎ，ｎ−１）＋（ｎ，ｎ）＝２^n

　　（ｎ，０）−（ｎ，１）＋・・・＋（−１）^n（ｎ，ｎ）＝０

　　（ｎ，０）^2＋（ｎ，１）^2＋・・・＋（ｎ，ｎ−１）^2＋（ｎ，ｎ）^2＝（２ｎ，ｎ）

　しかし，

　　（ｎ，０）＋（ｎ，１）＋・・・＋（ｎ，ｋ）＝［２^n／３］

となるような整数ｋをうまく定めることはできそうにない．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝