平方三角数

平方三角数（へいほうさんかくすう、英: square triangular number）は平方数のうち三角数でもある自然数である。例えば 36 は6番目の平方数 6² であり、また8番目の三角数 8(8+1)/2 でもあるので平方三角数である。平方三角数は無数にあり、最小のものは1である。

平方三角数を小さい順に列記すると

1, 36, 1225, 41616, 1413721, 48024900, 1631432881, 55420693056, …（オンライン整数列大辞典の数列 A1110）

となる。

k番目の平方三角数 N_k は

[math] N_k = {1 \over 32} \left( \left( 1 + \sqrt{2} \right)^{2k} - \left( 1 - \sqrt{2} \right)^{2k} \right)^2 [/math]

で与えられる。この公式は、1778年にオイラーが発見している。

公式の導出

ある自然数 N がn番目の三角数かつm番目の四角数であるとすると、

[math]\frac{1}{2}n(n+1)=m^2[/math]

である。両辺を8倍して平方完成することにより (2n + 1)² = 8m² + 1 となる。x = 2n + 1, y = 2m とおけば、ペル方程式 x² - 2y² = 1 を得る。その一般解 (x_k, y_k) は

[math]x_k \pm y_k\sqrt{2}=(1 \pm \sqrt{2})^{2k}[/math]

で与えられ、よって

[math]x_k=\frac{(1+\sqrt{2})^{2k}+(1-\sqrt{2})^{2k}}{2}[/math]

[math]y_k=\frac{(1+\sqrt{2})^{2k}-(1-\sqrt{2})^{2k}}{2\sqrt{2}}[/math]

である。したがって、k番目の平方三角数 N_k = (y_k/2)² は冒頭の式で与えられる。

その他の性質

N_k は漸化式

[math]N_0=0,\quad N_1=1,\quad N_{k+2}=34N_{k+1}-N_k+2[/math]

を満たす。その母関数は

[math]\frac{x(x+1)}{(1-x)(1-34x+x^2)}=x+36x^2+1225x^3+\cdots[/math]

で与えられる。

参考文献

• Dickson, L. E. (2005) [1919], History of the Theory of Numbers, Volume l: Divisibility and Primality, New York: Dover Publications, ISBN 978-0-486-44232-7, テンプレート:MR, https://archive.org/details/historyoftheoryo01dick 
• Dickson, L. E. (2005) [1920], History of the Theory of Numbers, Volume. II: Diophantine Analysis, New York: Dover Publications, ISBN 978-0-486-44233-4, テンプレート:MR, https://archive.org/details/historyoftheoryo02dickuoft 
• Euler, Leonhard (1813), “Regula facilis problemata Diophantea per numeros integros expedite resolvendi (An easy rule for Diophantine problems which are to be resolved quickly by integral numbers)” (Latin), Memoires de l'academie des sciences de St.-Petersbourg 4: 3–17, http://math.dartmouth.edu/~euler/pages/E739.html . 2009閲覧., "記録によれば、この論文は1778年5月4日付けでサンクトペテルブルク・アカデミーに受理された。" 

関連項目

• 三角数
• 平方数
• ペル方程式

外部リンク

• テンプレート:高校数学の美しい物語
• Weisstein, Eric W. “Square Triangular Number”. MathWorld（英語）.