ファウルハーバーの公式

ファウルハーバーの公式（ファウルハーバーのこうしき、Faulhaber's formula）は、最初の n 個の k 乗数の和

を、ベルヌーイ数を用いて n の多項式で表す公式である。冪乗和についての研究をした、17世紀のドイツの数学者の名が冠されているが、ベルヌーイ数を発見して初めて公式を与えたのは関孝和およびヤコブ・ベルヌーイである。「ファウルハーバーの公式」という呼称は必ずしも一般的ではなく、ベルヌーイの公式、または内容を直接的に表現して冪乗和の公式などと呼ばれることもある参考文献コンウェイ・ガイ『数の本』や MathWorld では「ファウルハーバーの公式」である。一方、日本では固有名詞のように呼ばれることは少なく、荒川・金子・伊吹山『ベルヌーイ数とゼータ関数』では「べき乗和の公式」である。。

 公式 
ベルヌーイ数を定義するには複数の方法があるが、ここでは

によって帰納的にベルヌーイ数 Bj (j = 0, 1, 2, …) を定めるB1 = 1/2 となるようにベルヌーイ数を定義する流儀と、B1 = −1/2 となるように定義する流儀がある。ここでの定義は、関孝和と同様に前者である。MathWorld など、後者の流儀を採用している場合、冪乗和の公式も一見異なるもののように見えるかもしれないが、本質的に同じものである。。ここに、

は二項係数である。

このとき、

が成り立つ。特に、Sk(n) を n の多項式で表したときの、最高次の項は nk+1/(k + 1)、一次の項は Bkn、定数項は 0 である。

 略式の表示 
ファウルハーバーの公式は一見複雑に見えるが、二項定理と似ていることに着目すれば、略式の表示を与えることができるコンウェイ・ガイ p. 122。例えば、(n + B)2 を二項展開すると n2B0 + 2n1B1 + n0B2 であるが、n の冪はそのままの意味にとり、B の冪は添え字を下付きにしたベルヌーイ数を意味するものと考える。言い換えると、n2B0 + 2n1B1 + B2 を略式で (n + B)2 と表すことを許すものと約束する。このとき、ファウルハーバーの公式は

と表現できる。

より正確に記述するために、多項式環 Q[b] から Q への線型写像 T を T(bj) = Bj で定義しておけば、公式は

と表せる。

なお、略式の表示を許せば、ベルヌーイ数の定義も

と簡潔に表現できる。

 例 
はじめのいくつかのベルヌーイ数は B0 = 1, B1 = 1/2, B2 = 1/6, B3 = 0, B4 = −1/30 であるから、例えば

などと計算される。同様にして、6乗和までは以下のようになる。

なお、日本の中等教育において数列を扱う際には、(x + 1)k − xk の展開式を利用して、帰納的に冪乗和の公式が得られることを教え、S0(n), S1(n), S2(n), S3(n) は公式として記憶するよう指導することが一般的である。

 歴史 
1乗和と2乗和については、アルキメデスの時代から知られていたDickson p. 4。3乗和に関して

が成り立つことは、歴史上たびたび再発見されている。1世紀の数学者ニコマコスは「n 番目の立方数は n 個の連続した奇数の和である」ことを証明なしに述べておりカッツ p. 195、既知の結果「最初の m 個の奇数の和は m の平方に等しい」と合わせると、3乗和の公式を知っていたとも見なせるニコマコスの主張は、13 = 1, 23 = 3 + 5, 33 = 7 + 9 + 11, 43 = 13 + 15 + 17 + 19, … ということ。これより例えば 13 + 23 + 33 + 43 は最初の (1 + 2 + 3 + 4) 個の奇数の和であるから (1 + 2 + 3 + 4)2 に等しい。。西暦500年頃、アリヤバータは3乗和の公式を明示的に与えた。西暦1000年頃、アル＝カラジは図形および数学的帰納法を用いて3乗和の公式を証明した。同じくイスラムの数学者イブン・アル・ハイサムは、4乗和の公式を与えたが、その方法を用いれば何乗和でも求めることができるカッツ pp. 290–293。

フェルマーは、求積法のために冪乗和が重要なことを認識し、一般的な公式およびその証明を得たと述べたが、詳細は明らかにしなかった。一方、ファウルハーバーは Academia Algebrae（1631年）において17乗和までの公式を与えたカッツ pp. 544–545。彼は一般的な公式を与えるまでには至らなかったが、Sk(n) は、k が奇数のときは S1(n) の多項式で書け、k が偶数のときは S2(n) で割れてその商がやはり S1(n) の多項式で書けることを指摘した。実際、例えば

などとなる。この事実は後にヤコビが再発見し、厳密な証明を与えた荒川・金子・伊吹山 p. 3。

ベルヌーイ数を用いて一般的な冪乗和の公式を与えた初めての文献は、1712年の関孝和『括要算法』および1713年のヤコブ・ベルヌーイ『推測術』(Ars Conjectandi) である。共に遺稿であり（関は1708年没、ベルヌーイは1705年没）、どちらが先に公式を発見したのかは不明である。ベルヌーイは、公式を用いて 1 から 1000 までの10乗の和を計算し、8分の1時間もかからずに 91, 409, 924, 241, 424, 243, 424, 241, 924, 242, 500 を得た、と述べている荒川・金子・伊吹山 p. 1。

 注釈 

 出典 

 参考文献 
 荒川恒男、金子昌信、伊吹山知義『ベルヌーイ数とゼータ関数』牧野書店、2001年 ISBN 978-4795201392 -- 特に第1章。公式の厳密な証明が与えられている。
 ジョン・ホートン・コンウェイ、著、根上生也訳『数の本』シュプリンガー・フェアラーク東京、2001年 ISBN 978-4431707707 -- 特に第4章「ベルヌーイ数」の節。公式の略式の証明が与えられている。
 John H. Conway and Richard Guy, The Book of Numbers, Springer, 1996 ISBN 978-0387979939
 L. E. Dickson, History of the Theory of Numbers, Volume ll: Diophantine Analysis, Dover Publications, 2005 ISBN 978-0486442334
 ヴィクター・カッツ著、上野健爾他訳『数学の歴史』共立出版、2005年 ISBN 978-4320017658
 Victor J. Katz, History of Mathematics, 3rd edition, Addison Wesley, 2008 ISBN 978-0321387004
 日本数学協会「関孝和没後300年記念懸賞問題」数学文化第9号 pp. 13-16、2008年 ISBN 978-4535602397

 外部リンク 

 東北大学和算資料データベース

Category:数論

Category:ヤコブ・ベルヌーイ
Category:数学に関する記事
Category:数学のエポニム