ニコマコスの定理

ニコマコスの定理（ニコマコスのていり、）とは、ゲラサのニコマコスが『算術入門』のなかで提唱した定理である。

 定理 

単に、総和記号で

とも書ける。
 解釈 
三角数の自乗の数列を考える。

これらの数は図形数としての側面も持っており、三角数や四角錐数の4次元錐体への一般化となる。 によれば、の網目に含まれる長方形の個数の数列としても捉えることができる。たとえばの網目は延べ36個の長方形を構成している。正方形の個数は四角錐数によって数えることができる。

 証明 
は、連続する個の奇数和を考えることで証明を与えた。

より、番目の三角数をとして、

が成立する。したがって、からまで、辺辺足して、自乗に関する恒等式

を用いることで、

 はの要素をとする表を用いて定理を証明した。列目の要素の和はに等しいので、全要素の和は三角数の自乗となる。一方、この表をの値によってグノモンの形に分割したとき、それぞれのグノモンの要素の和はに等しい。よって定理は示された。

 では部分和分を用いた証明が記載されている。 は長方形の個数を用いた幾何学的証明を示した。スタインは帰納法によって証明する方法にも言及しており、また  は古代アラビアで示された興味深い証明を与えているとしている。 は純粋に視覚的な証明方法を考案した。 は2つの新しい証明を構築し、 は7つの幾何学的方法を提示した。

 一般化 
ニコマコスの定理と同形の定理はすべての冪乗和においても、同様に当てはまる。則ち自然数の奇数乗和は三角数の多項式で表すことができる。この多項式はファウルハーバーの多項式と呼ばれ、三乗和の公式は、ファウルハーバーの公式の単純な系である。一方、ある冪乗和が別の和の二乗として表現される例はニコマコスの定理以外に存在しない。

 は連続する立方数の数列が平方で表される、より一般的な条件を調べた。 と  は三乗和の公式のq-類似について研究している。

 歴史 
ニコマコスは著書『算術入門』の20章にて、奇数を並べて書いたとき、最初は1の立方数1、次の2つの和は2の立方数8、次の3つの和は3の立方数27...と続くことに注目した。これ以上の情報はニコマコスの書では述べられていないが、この性質から1からまでの立方数の和は、1から番目の奇数の和に等しいことが分かる。また、これら奇数の平均はであり、個数もであるから、その和はに等しい。

多くの数学者がニコマコスの定理を研究し、証明を与えてきた。 は、「すべての数論学徒はこの奇跡的な事実に感嘆するにちがいない」と述べている。 は、この恒等式がニコマコスにより発見された他に、5世紀インドの数学者アーリヤバタによる作品、またペルシアのアル＝カラジによる1000年頃の作品に記載のあることを発見した。は、10世紀アラビアのアル＝カビーシー、13世紀フランスのゲルソニデス、16世紀インドのNilakantha Somayaji の作品にこの公式が書かれていることを言及している。ニーランカンタは視覚的な証明を示した。

 脚注 

 注釈 

 出典 

 参考文献

.
.
.

.
.
.
.
.
.
.
.
.
.
.

 外部リンク 

Category:数学のエポニム
Category:数学に関する記事