ファウルハーバーの公式

べき乗和の公式から転送)

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

ヤコブ・ベルヌーイの『推測術』(Ars Conjectandi、1713年)より。10乗和までの公式と、ベルヌーイ数を用いた一般的な冪乗和の公式が与えられている。ただし、9乗和の最後の項 -(1/12) n2 は誤りであり、正しくは -(3/20) n2 である。

を、ベルヌーイ数を用いて n多項式で表す公式である。冪乗和についての研究をした、17世紀のドイツの数学者ヨハン・ファウルハーバー英語版の名が冠されているが、ベルヌーイ数を発見して初めて公式を与えたのは関孝和およびヤコブ・ベルヌーイである。「ファウルハーバーの公式」という呼称は必ずしも一般的ではなく、ベルヌーイの公式、または内容を直接的に表現して冪乗和の公式などと呼ばれることもある[注釈 1]

公式

編集

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

 

によって帰納的にベルヌーイ数 Bj (j = 0, 1, 2, …) を定める[注釈 2]。ここに、

 

二項係数である。

このとき、

 

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

略式の表示

編集

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

 

と表現できる。

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

 

と表せる。

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

 

と簡潔に表現できる。

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

 

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

 

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

歴史

編集
 
関孝和括要算法』(1712年)の「式図」。冪乗和の公式を導くための表である。下部にはベルヌーイ数が見られ、表中には算木で表現された二項係数が並べられている。

1乗和と2乗和については、アルキメデスの時代から知られていた[2]。3乗和に関して

 

が成り立つことは、歴史上たびたび再発見されている。1世紀の数学者ニコマコスは「n 番目の立方数n 個の連続した奇数の和である」ことを証明なしに述べており[3]、既知の結果「最初の m 個の奇数の和は m の平方に等しい」と合わせると、3乗和の公式を知っていたとも見なせる[注釈 3]。西暦500年頃、アリヤバータは3乗和の公式を明示的に与えた。西暦1000年頃、アル=カラジ英語版は図形および数学的帰納法を用いて3乗和の公式を証明した。同じくイスラムの数学者イブン・アル・ハイサムは、4乗和の公式を与えたが、その方法を用いれば何乗和でも求めることができる[4]

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

 

などとなる。この事実は後にヤコビが再発見し、厳密な証明を与えた[6]

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

注釈

編集
  1. ^ 参考文献コンウェイ・ガイ『数の本』や MathWorld では「ファウルハーバーの公式」である。一方、日本では固有名詞のように呼ばれることは少なく、荒川・金子・伊吹山『ベルヌーイ数とゼータ関数』では「べき乗和の公式」である。
  2. ^ B1 = 1/2 となるようにベルヌーイ数を定義する流儀と、B1 = −1/2 となるように定義する流儀がある。ここでの定義は、関孝和と同様に前者である。MathWorld など、後者の流儀を採用している場合、冪乗和の公式も一見異なるもののように見えるかもしれないが、本質的に同じものである。
  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 に等しい。

出典

編集
  1. ^ コンウェイ・ガイ p. 122
  2. ^ Dickson p. 4
  3. ^ カッツ p. 195
  4. ^ カッツ pp. 290–293
  5. ^ カッツ pp. 544–545
  6. ^ 荒川・金子・伊吹山 p. 3
  7. ^ 荒川・金子・伊吹山 p. 1

参考文献

編集

外部リンク

編集
  • Weisstein, Eric W. "Faulhaber's formula". mathworld.wolfram.com (英語).
  • 東北大学和算資料データベース