多角数定理
出典: フリー百科事典『ウィキペディア(Wikipedia)』
多角数定理(たかくすうていり、polygonal number theorem)とは、「すべての自然数は高々 m 個の m 角数の和である」という数論の定理である。m=3の場合を三角数定理、m=4の場合を四角数定理というが、五角数定理といえば全く別のオイラーの五角数定理を指す。多角数定理は1638年にフェルマーによって定式化されたが、 三角数については1796年にガウスによって、 四角数については1772年にラグランジュによって、一般には1813年にコーシーによって証明された。
目次 |
[編集] 多角数
k 番目の m 角数とは次の公式
で与えられる数のことである。直観的には、たとえば石を、一辺に k 個ある正 m 角形の形に敷き詰めて並べることができるとき、石の総数がk 番目の m 角数になっている。
これは古代ギリシャ人たちが名づけた名前であって、素数はどのような図形にも並べることができないことから、直線数とも呼ばれていた。
例えば、三角数とは 1, 3, 6, 10, 15, ... のことである。また四角数は平方数の列 1, 4, 9, 16, ... に他ならない。1番目の m 角数は1であり、2番目の m 角数は m である。
[編集] 精密化
N=2m-1を表すにはPm(2)+(m-1)Pm(1)とするより他にないから、m個未満のm角数の和では表されない自然数がある。N=9n+8は二個の三角数の和で表されない(法9の計算で自明)から、三個未満の三角数の和で表されない自然数は無数にある。N=8n+7は三個の四角数の和で表されない(法8の計算で自明)から、四個未満の四角数の和で表されない自然数は無数にある。しかし、五角数以上について、m個未満のm角数で表されない自然数は有限個である。のとき、十分に大きな自然数はm-1個のm角数の和で表される。また、が奇数のとき、十分に大きな自然数は四個のm角数の和で表される。また、が偶数のとき、十分に大きな奇数の自然数は四個のm角数の和で表される。
[編集] 証明
[編集] 三角数
三平方和定理により
- 8N + 3 = (2x + 1)2 + (2y + 1)2 + (2z + 1)2
と表されるから
となるx,y,zが存在する。従って、全ての自然数は高々三個の三角数の和に表される。
[編集] 四角数
四角数の場合については、ラグランジュの四平方定理と等価である。
[編集] 五角数以上
★編註★N<108(m-2)の場合については恐らく機械的に計算して羅列する証明しか知れれていない。識者の見解を求む。
とすれば
であるから
となる二個の奇数が存在する。 となるようにを選び、
とする。a,bは共に奇数であるから、であり、三平方和定理により、
- 4a − b2 = x2 + y2 + z'2
となる三個の奇数が存在する。となるようにの符号を決め、
とすれば
- w1 + w2 + w3 + w4 = b
となる。但し
とする。であるから、であればが高々m個のm角数で表されることになる。以下においてであることを証明する。
であるから
である。同時に
であるから
である。4a − b2 = x2 + y2 + z2を固定してx + y + zが最大となるのはx = y = zのときであるから
- b − x − y − z > − 4
w4は整数であるから
により
である。
[編集] 平方数と三角数の和
三平方和定理により、8N + 1は高々三個の平方数の和で表されるが、法8で考え、一個の奇数の平方数と二個の偶数の平方数の和であるから
- 8N + 1 = (2x + 1)2 + (2y)2 + (2z)2
となるx,y,zが存在する。法8で考え、y,zは共に偶数か共に奇数である。従って、全ての自然数は高々一個の三角数と二個の平方数の和で表される。同じく三平方和定理により、4N + 1は高々三個の平方数の和で表されるが、法8で考え、一個の奇数の平方数と二個の偶数の平方数の和であるから
- 4N + 1 = (2x + 1)2 + (2y)2 + (2z)2
となるx,y,zが存在する。従って、全ての自然数は高々二個の三角数と一個の平方数の和で表される。