Квадратное треугольное число

В теории чисел квадратным треугольным числом (или треугольным квадратным числом) называется число, являющееся как треугольным, так и квадратным. Существует бесконечное число квадратных треугольных чисел.

Например, число 36 является и квадратным ($6\times <!--\; \times \; -->6$$6\times 6$), и треугольным $\left(\frac{9\times <!--\; \times \; -->8}{2}\right)$$\left({\frac {9\times 8}{2}}\right)$:

Квадратные треугольные числа образуют последовательность:

0, 1, 36, 1225, 41616, 1413721, 48024900, 1631432881, 55420693056, 1882672131025, … (последовательность A001110 в OEIS).

ФормулыПравить

Будем записывать N_k для k-го квадратного треугольного числа, s_k и t_k для сторон квадрата и треугольника соответственно, тогда

$N_k=s_k^2=\frac{t_k(t_k+1)}{2}.$$N_{k}=s_{k}^{2}={\frac {t_{k}(t_{k}+1)}{2}}.$ 

Последовательности N_k, s_k и t_k присутствуют в OEIS (A001110, A001109 и A001108 соответственно).

В 1778 году Леонард Эйлер установил явную формулу

$N_k={\left(\frac{(3+2\sqrt{2}{)}^k-<!--\; -\; -->(3-<!--\; -\; -->2\sqrt{2}{)}^k}{4\sqrt{2}}\right)}^2.$$N_{k}=\left({\frac {(3+2{\sqrt {2}})^{k}-(3-2{\sqrt {2}})^{k}}{4{\sqrt {2}}}}\right)^{2}.$ 

Другие эквивалентные формулы, которые могут быть выведены из этой формулы:

${\begin{aligned}N_{k}&={1 \over 32}\left((1+{\sqrt {2}})^{2k}-(1-{\sqrt {2}})^{2k}\right)^{2}={1 \over 32}\left((1+{\sqrt {2}})^{4k}-2+(1-{\sqrt {2}})^{4k}\right)\\&={1 \over 32}\left((17+12{\sqrt {2}})^{k}-2+(17-12{\sqrt {2}})^{k}\right).\end{aligned}}$ 

Соответствующие явные формулы для s_k и t_k:

$s_k=\frac{(3+2\sqrt{2}{)}^k-<!--\; -\; -->(3-<!--\; -\; -->2\sqrt{2}{)}^k}{4\sqrt{2}}$$s_{k}={\frac {(3+2{\sqrt {2}})^{k}-(3-2{\sqrt {2}})^{k}}{4{\sqrt {2}}}}$ 

и

$t_k=\frac{(3+2\sqrt{2}{)}^k+(3-<!--\; -\; -->2\sqrt{2}{)}^k-<!--\; -\; -->2}{4}.$$t_{k}={\frac {(3+2{\sqrt {2}})^{k}+(3-2{\sqrt {2}})^{k}-2}{4}}.$ 

Уравнение ПелляПравить

Связь квадратных треугольных чисел с уравнением Пелля можно получить следующим образом:

любое треугольное число имеет вид t(t + 1)/2, так что нужно найти t и s такие, что

$\frac{t(t+1)}{2}=s^2.$${\frac {t(t+1)}{2}}=s^{2}.$ 

Умножая левую и правую часть на 8 и выделяя полный квадрат, получим

$(2t+1{)}^2=8s^2+1,$$(2t+1)^{2}=8s^{2}+1,$ 

подставляя теперь x = 2t + 1 и y = 2s, мы получим диофантово уравнение

$x^2-<!--\; -\; -->2y^2=1,$$x^{2}-2y^{2}=1,$ 

которое является уравнением Пелля. Решениями этого уравнения служат числа Пелля P_k

$x=P_{2k}+P_{2k-<!--\; -\; -->1},y=P_{2k};$$x=P_{2k}+P_{2k-1},\quad y=P_{2k};$ 

и потому все решения задаются формулами

$s_k=\frac{P_{2k}}{2},t_k=\frac{P_{2k}+P_{2k-<!--\; -\; -->1}-<!--\; -\; -->1}{2},N_k={\left(\frac{P_{2k}}{2}\right)}^2.$$s_{k}={\frac {P_{2k}}{2}},\quad t_{k}={\frac {P_{2k}+P_{2k-1}-1}{2}},\quad N_{k}=\left({\frac {P_{2k}}{2}}\right)^{2}.$ 

Имеется множество тождеств, связанных с числами Пелля, а вышеприведённые формулы переводят их в тождества с квадратными треугольными числами.

Рекуррентные отношенияПравить

Имеются рекуррентные отношения для квадратных треугольных чисел, как и для сторон соответствующих квадратов и треугольников. Мы имеем

$N_k=34N_{k-<!--\; -\; -->1}-<!--\; -\; -->N_{k-<!--\; -\; -->2}+2,N_0=0,N_1=1.$$N_{k}=34N_{k-1}-N_{k-2}+2,N_{0}=0,N_{1}=1.$ 

$N_k={\left(6\sqrt{N_{k-<!--\; -\; -->1}}-<!--\; -\; -->\sqrt{N_{k-<!--\; -\; -->2}}\right)}^2,N_0=1,N_1=36.$$N_{k}=\left(6{\sqrt {N_{k-1}}}-{\sqrt {N_{k-2}}}\right)^{2},N_{0}=1,N_{1}=36.$ 

А также

$s_k=6s_{k-<!--\; -\; -->1}-<!--\; -\; -->s_{k-<!--\; -\; -->2},s_0=0,s_1=1;$$s_{k}=6s_{k-1}-s_{k-2},s_{0}=0,s_{1}=1;$ 

$t_k=6t_{k-<!--\; -\; -->1}-<!--\; -\; -->t_{k-<!--\; -\; -->2}+2,t_0=0,t_1=1.$$t_{k}=6t_{k-1}-t_{k-2}+2,t_{0}=0,t_{1}=1.$ 

Другие свойстваПравить

Все квадратные треугольные числа имеют вид b²c², где b / c — значение подходящей дроби для непрерывной дроби квадратного корня из 2.

А. В. Сильвестер (A. V. Sylwester) дал короткое доказательство бесконечности количества квадратных треугольных чисел, а именно:

Если треугольное число n(n+1)/2 является квадратом, то существует большее треугольное число:

$\frac{(4n(n+1))(4n(n+1)+1)}{2}=2^2\frac{n(n+1)}{2}(2n+1{)}^2.$${\frac {{\bigl (}4n(n+1){\bigr )}{\bigl (}4n(n+1)+1{\bigr )}}{2}}=2^{2}\,{\frac {n(n+1)}{2}}\,(2n+1)^{2}.$ 

И это значение должно быть квадратом, поскольку является произведением трёх квадратов: $2^2$$2^{2}$  (очевидно), $(n(n+1))/2$$(n(n+1))/2$  (n-ое треугольное число — по предположению является квадратом) и $(2n+1{)}^2$$(2n+1)^{2}$  (очевидно).

Производящей функцией для квадратных треугольных чисел будет:

$\frac{1+z}{(1-<!--\; -\; -->z)(z^2-<!--\; -\; -->34z+1)}=1+36z+1225z^2+\cdots <!--\; \cdots \; -->.$${\frac {1+z}{(1-z)(z^{2}-34z+1)}}=1+36z+1225z^{2}+\cdots .$ 

Численные значенияПравить

С увеличением k, отношение t_k / s_k стремится к $\sqrt{2}\approx <!--\; \approx \; -->1.41421$${\sqrt {2}}\approx 1.41421$ , а отношение соседних квадратных треугольных чисел стремится к $17+12\sqrt{2}\approx <!--\; \approx \; -->33.97056$$17+12{\sqrt {2}}\approx 33.97056$ .

${\begin{array}{rrrrll}k&N_{k}&s_{k}&t_{k}&t_{k}/s_{k}&N_{k}/N_{k-1}\\0&0&0&0&&\\1&1&1&1&1&\\2&36&6&8&1.33333&36\\3&1\,225&35&49&1.4&34.02778\\4&41\,616&204&288&1.41176&33.97224\\5&1\,413\,721&1\,189&1\,681&1.41379&33.97061\\6&48\,024\,900&6\,930&9\,800&1.41414&33.97056\\7&1\,631\,432\,881&40\,391&57\,121&1.41420&33.97056\\\end{array}}$ 

СсылкиПравить

• Triangular numbers that are also square Архивная копия от 27 апреля 2006 на Wayback Machine at cut-the-knot
• Weisstein, Eric W. Square Triangular Number (англ.) на сайте Wolfram MathWorld.
• Michael Dummett’s solution Архивная копия от 13 февраля 2021 на Wayback Machine