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

　　Ｕn＝Σ（ｎ，３ｒ）　　ｒ＝０〜［ｎ／ｒ］

を計算してみる．

　　Ｕ1＝（１，０）＝１

　　Ｕ2＝（２，０）＝１

　　Ｕ3＝（３，０）＋（３，３）＝２

　　Ｕ4＝（４，０）＋（４，３）＝５

　　Ｕ5＝（５，０）＋（５，３）＝１１

　　Ｕ6＝（６，０）＋（６，３）＋（６，６）＝２２

　周期性は見えてこないが，１の原始３乗根

　　ω＝ｃｏｓ（２π／３）＋ｉｓｉｎ（２π／３）

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

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

　　（１＋ω^2）^n＝（ｎ，０）＋（ｎ，１）ω^2＋（ｎ，２）ω^4＋・・・

を加えて（ｎ，ｒ）の係数を調べると

＝０　　　（ｒ＝３ｋ＋１のとき）

＝０　　　（ｒ＝３ｋ＋２のとき）

＝３　　　（ｒ＝３ｋのとき）

より，

右辺の和＝３（（ｎ，０）＋（ｎ，３）＋（ｎ，６）＋・・・）＝３Ｕn

左辺の和＝（１＋１）^n＋（１＋ω）^n＋（１＋ω^2）^n＝２^n＋２ｃｏｓ（ｎπ／３）

　したがって，

　　Ｕn＝（２^n＋２ｃｏｓ（ｎπ／３））／３

が得られる．

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