ベキ和の公式

　　Σｋ^s＝１^s＋２^s＋３^s＋・・・＋ｎ^s

Σｋ＝ｎ（ｎ＋１）／２

Σｋ^2＝ｎ（ｎ＋１）（２ｎ＋１）／６

Σｋ^3＝ｎ^2（ｎ＋１）^2／４

Σｋ^4＝ｎ（ｎ＋１）（２ｎ＋１）（３ｎ^2＋３ｎ−１）／３０

Σｋ^5＝ｎ^2（ｎ＋１）^2（２ｎ^2＋２ｎ−１）／１２

Σｋ^6＝ｎ（ｎ＋１）（２ｎ＋１）（３ｎ^4＋６ｎ^3−３ｎ＋１）／４２

Σｋ^7＝ｎ^2（ｎ＋１）^2（３ｎ^4＋６ｎ^3−ｎ^2−４ｎ＋２）／２４

・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・

ですから，左辺はｓが偶数のときｎ（ｎ＋１）（２ｎ＋１）（多項式）／（整数），１以外の奇数のときｎ^2（ｎ＋１）^2（多項式）／（整数）と書くことができます．また，Σｋ^sは（ｓ＋１）次の多項式になり，最高次数の係数は１／（ｓ＋１）です．

　　１＋２＋３＋・・・＋ｎ＝ｎ（ｎ＋１）／２

　　１^2＋２^2＋３^2＋・・・＋ｎ^2＝ｎ（ｎ＋１）（２ｎ＋１）／６＝ｎ（ｎ＋１／２）（ｎ＋１）／３

となれば次は

　　１^3＋２^3＋３^3＋・・・＋ｎ^3＝ｎ（ｎ＋１／３）（ｎ＋２／３）（ｎ＋１）／４

が予想されるところですが，

　　１^3＋２^3＋３^3＋・・・＋ｎ^3＝｛ｎ（ｎ＋１）／２｝^2

　また，３乗の和は和の２乗である

　　１^3＋２^3＋３^3＋・・・＋ｎ^3＝（１＋２＋３＋・・・＋ｎ）^2

ことに驚かされ，お気に入りの恒等式になったという経験をお持ちの読者も少なくないでしょう．

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