Square triangular number: Difference between revisions

Revision as of 05:33, 14 June 2024

Latest revision as of 23:13, 22 July 2025

(4 intermediate revisions by 3 users not shown)

Line 3:

[[File:square_triangular_number_36.svg|234px|thumb|Square triangular number 36 depicted as a triangular number and as a square number.]]

In [[mathematics]], a '''square triangular number''' (or '''triangular square number''') is a number which is both a [[triangular number]] and a [[square number]], in other words, the sum of all integers from <math>1</math> to <math>n</math> has a square root that is an integer. There are [[Infinity|infinitely many]] square triangular numbers; the first few are:

{{bi|left=1.6|0, 1, 36, {{val|1225}}, {{val|41616}}, {{val|1413721}}, {{val|48024900}}, {{val|1631432881}}, {{val|55420693056}}, {{val|1882672131025}} {{OEIS|id=A001110}}}}

==Solution as a Pell equation==

==Explicit formulas==

Write <math>N_k</math> for the <math>k</math>th square triangular number, and write <math>s_k</math> and <math>t_k</math> for the sides of the corresponding square and triangle, so that

Line 25:

{{bi|left=1.6|<math>\displaystyle s_k = y_k , \quad t_k = \frac{x_k - 1}{2}, \quad N_k = y_k^2.</math>}}

Hence, the first square triangular number, derived from <math>(3,1)</math>, is <math>1</math>, and the next, derived from <math>6\cdot (3,1)-(1,0)-=(17,6)</math>, is <math>36</math>.

The sequences <math>N_k</math>, <math>s_k</math> and <math>t_k</math> are the [[OEIS]] sequences {{OEIS2C|id=A001110}}, {{OEIS2C|id=A001109}}, and {{OEIS2C|id=A001108}} respectively.

==Explicit formulasformula==

In 1778 [[Leonhard Euler]] determined the explicit formula<ref name=Dickson>

{{cite book | last1 = Dickson | first1 = Leonard Eugene | author-link1 = Leonard Eugene Dickson |title = [[History of the Theory of Numbers]] | volume = 2 | publisher = American Mathematical Society | ___location = Providence | year = 1999 |orig-year = 1920 | page = 16 | isbn = 978-0-8218-1935-7 }}

Line 54 ⟶ 55:

==Recurrence relations==

ThereThe aresolution to the Pell equation can be expressed as a [[recurrence relation]]s for the equation's solutions. This can be translated into recurrence equations that directly express the square triangular numbers, as well as for the sides of the square and triangle involved. We have<ref>{{MathWorld|title=Square Triangular Number|urlname=SquareTriangularNumber}}</ref>{{Rp|(12)}}

There are [[recurrence relation]]s for the square triangular numbers, as well as for the sides of the square and triangle involved. We have<ref>{{MathWorld|title=Square Triangular Number|urlname=SquareTriangularNumber}}</ref>{{Rp|(12)}}

{{bi|left=1.6|<math>\displaystyle \begin{align}

Line 71:

==Other characterizations==

All square triangular numbers have the form <math>b^2c^2</math>, where <math>\tfrac{b}{c}</math> is a [[Convergent (continued fraction)|convergent]] to the [[simple continued fraction|continued fraction expansion]] of <math>\sqrt2</math>, the [[square root of 2]].<ref name=Ball>

{{cite book | last1 = Ball | first1 = W. W. Rouse |author-link1 = W. W. Rouse Ball | last2 = Coxeter | first2 = H. S. M. |author-link2 = Harold Scott MacDonald Coxeter | title = Mathematical Recreations and Essays | url = https://archive.org/details/mathematicalrecr00coxe | url-access = limited | publisher = Dover Publications | ___location = New York | year = 1987 | page = [https://archive.org/details/mathematicalrecr00coxe/page/n72 59]| isbn = 978-0-486-25357-2 }}

</ref>