Русская Википедия:Фигурные числа
Фигурные числа — числа, которые можно представить с помощью геометрических фигур. Это историческое понятие восходит к пифагорейцам, которые развивали алгебру на геометрической основе и представляли любое положительное целое число в виде набора точек на плоскостиШаблон:Sfn. Отголоском этого подхода остались выражения «возвести число в квадрат» или «в куб»[1].
Традиционно различают два основных класса фигурных чисел[2]:
- плоские многоугольные числа — числа, связанные с определённым многоугольником. Они делятся на классическиеШаблон:Переход и центрированныеШаблон:Переход;
- пространственные многогранные числа — числа, связанные с определённым многогранникомШаблон:Переход.
В свою очередь, каждый класс фигурных чисел делится на разновидности, каждая из которых связана с определённой геометрической фигурой: треугольником, квадратом, тетраэдром Шаблон:Итд
Существуют также обобщения фигурных чисел на многомерные пространстваШаблон:Переход. В древности, когда арифметика не отделялась от геометрии, рассматривались ещё несколько видов фигурных чисел, в настоящее время не используемыхШаблон:Переход.
В теории чисел и комбинаторике фигурные числа связаны с многими другими классами целых чиселШаблон:Переход — биномиальными коэффициентами, совершенными числами, числами Мерсенна, Ферма, Фибоначчи, Люка и другимиШаблон:Sfn.
Классические многоугольные числа
Для краткости в этом разделе классические многоугольные числа называются просто «многоугольными числами».
Геометрическое определение
Многоугольные числа — это последовательность, указывающая число точек, построенную согласно правилам, которые проиллюстрируем на примере семиугольника. Ряд семиугольных чисел начинается с 1 (базовая точка), затем следует 7, потому что 7 точек образуют правильный семиугольник, 6 точек добавились. Третье число соответствует семиугольнику, у которого стороны содержат уже не по две, а по три точки, причём все точки, построенные на предыдущих шагах, также учитываются. Из рисунка видно, что третья фигура содержит 18 точек, прибавка (Пифагор называл её «гномон») составила 11 точек. Нетрудно видеть, что прибавки образуют арифметическую прогрессию, в которой каждый член на 5 больше, чем предыдущийШаблон:Sfn.
Переходя к общему <math>k</math>-угольнику, можно заключить, что на каждом шаге число точек, соответствующее фигурному числу, увеличивается как сумма арифметической прогрессии[3] с первым членом 1 и разностью <math>k-2.</math>
Алгебраическое определение
Общее определение k-угольного числа для любого <math>k \geqslant 3</math> следует из представленного выше геометрического построения. Его можно сформулировать следующим образом[4]: Шаблон:Рамка <math>n</math>-е по порядку k-угольное число <math>P^{(k)}_n</math> есть сумма первых <math>n</math> членов арифметической прогрессии, у которой первый член равен 1, а разность равна <math>k-2.</math> Шаблон:Конец рамки Например, треугольные числа получаются как частичные суммы ряда <math>1+2+3+4 \dots</math>, а четырёхугольным (квадратным) числам соответствует ряд <math>1+3+5+7 \dots</math>
Последовательность k-угольных чисел имеет вид[5]:
- <math>1,\;k,\;3 k-3,\;6 k-8,\;10 k-15,\;15 k-24,\;21 k-35,\;28 k-48,\;36 k-63,\;45 k-80 \dots</math>
Общую формулу для явного подсчёта <math>n</math>-го по порядку k-угольного числа <math>P^{(k)}_n</math> можно получить, представив его как сумму арифметической прогрессии[6]: Шаблон:EF
В некоторых источниках последовательность фигурных чисел начинают с нуля (например, в Шаблон:OEIS short):
- <math>0,\;1,\;k,\;3 k-3,\dots</math>
В этом случае в общей формуле для <math>P^{(k)}_n</math> допускается <math>n=0.</math> В данной статье фигурные числа нумеруются начиная с единицы, а расширенный ряд оговаривается особо.
Существует также рекуррентная формула для вычисления многоугольного числаШаблон:Sfn:
- <math>P^{(k)}_{n} = \begin{cases}1, & n=1 \\ P^{(k)}_{n-1} + (k-2)(n-1)+1, & n > 1 \end{cases}</math>.
При увеличении числа сторон <math>k</math> на единицу соответствующие фигурные числа изменяются согласно формуле НикомахаШаблон:Sfn: Шаблон:EF
Поскольку <math>P^{(k)}_n</math> линейно зависит от <math>k,</math> справедлива формула:
- <math>P^{(k+s)}_n + P^{(k-s)}_n = 2 P^{(k)}_n</math>, где <math>s=0, 1, 2 \dots k-3</math>.
Другими словами, каждое многоугольное число есть среднее арифметическое для равноотстоящих от него по <math>k</math> многоугольных чисел с тем же номером.
Если <math>k</math> — простое число, то второе <math>k</math>-угольное число, равное <math>k</math>, также простое; это единственная ситуация, когда многоугольное число является простым, к чему можно прийти, записав общую формулу в следующем виде:
- <math display="inline">P^{(k)}_n = \frac{2 + (n - 1)(k - 2)}{2}n</math>.
Доказательство: пусть <math>n>2.</math> Если <math>n</math> чётно, то фигурное число делится на <math display="inline">\frac n 2</math>, а если нечётно, то делится на <math display="inline">\frac{2 + (n - 1)(k - 2)}{2}</math>. В обоих случаях фигурное число оказывается составнымШаблон:Sfn.
Ряды из обратных многоугольных чисел
- <math>\frac{1}{P^{(k)}_1} + \frac{1}{P^{(k)}_2} + \frac{1}{P^{(k)}_3} + \dots + \frac{1}{P^{(k)}_n} + \dots</math>
сходятся. Их сумма <math>S</math> может быть представлена в виде <math display=inline>S = -\frac{2}{k-4}\left(\gamma + \psi(\frac{2}{k-2})\right),</math> где <math>\gamma</math> — постоянная Эйлера — Маскерони, <math>\psi(x)</math> — дигамма-функция[7].
Исторический очерк
Фигурные числа, по мнению пифагорейцев, играют важную роль в структуре мироздания. Поэтому их изучением занимались многие видные математики античности: Эратосфен, Гипсикл, Диофант Александрийский, Теон Смирнский и другие. Гипсикл (II век до н. э.) дал общее определение <math>k</math>-угольного числа <math>P^{(k)}_n</math> как суммы <math>n</math> членов арифметической прогрессии, у которой первый член есть <math>1</math>, а разность равна <math>k-2</math>. Диофант написал большое исследование «О многоугольных числах» (III век н. э.), фрагменты которого дошли до наших дней. Определение Гипсикла приводится в книге Диофанта в следующем видеШаблон:Sfn[8]: Шаблон:Начало цитаты Если взять сколько-нибудь чисел, начиная с единицы, имеющих одинаковые разности, то сумма их, если разность единица, будет треугольником, если же двойка, то четырёхугольником, а если тройка — пятиугольником. Количество углов определяется разностью, увеличенной на двойку, а сторона — количеством взятых чисел, считая и единицу. Шаблон:Конец цитаты
О фигурных числах много говорится в пифагорейских учебниках арифметики, созданных Никомахом Геразским и Теоном Смирнским (II век), которые установили ряд зависимостей между фигурными числами разных размерностей. Большой интерес к фигурным числам проявили индийские математики и первые математики средневековой Европы (Фибоначчи, Пачоли, Кардано и др.)[9][10].
В Новое время многоугольными числами занимались Ферма, Валлис, Эйлер, Лагранж, Гаусс и другие. В сентябре 1636 годаШаблон:Sfn Ферма сформулировал в письме Мерсенну теорему, которая сегодня называется теоремой Ферма о многоугольных числах[9]: Шаблон:Начало цитаты Я первым открыл очень красивую и совершенно общую теорему о том, что каждое число является либо треугольным, либо суммой двух или трёх треугольных чисел; каждое число или квадратное, или является суммой двух, трёх или четырёх квадратов; или пятиугольное, или является суммой двух, трёх, четырёх или пяти пятиугольных чисел, и т. д. до бесконечности, будь то для шестиугольных, семиугольных или любых многоугольных чисел. Я не могу дать здесь доказательство, которое зависит от многочисленных и запутанных тайн чисел, ибо я намерен посвятить этой теме целую книгу и получить в этой части арифметики удивительные достижения по сравнению с ранее известными пределами. Шаблон:Конец цитаты
Вопреки обещанию, Ферма так и не опубликовал доказательство этой теоремы, которую в письме Паскалю (1654) назвал своим главным достижением в математике[11]. Проблемой занимались многие выдающиеся математики — в 1770 году Лагранж доказал теорему для квадратных чисел (теорема Лагранжа о сумме четырёх квадратов), в 1796 году Гаусс дал доказательство для треугольных. Полное доказательство теоремы сумел дать Коши в 1813 году[12]Шаблон:Sfn.
Разновидности классических многоугольных чисел
Треугольные числа
Последовательность треугольных чисел:
- 1, 3, 6, 10, 15, 21, 28, 36, 45, 55, 66, 78, 91, 105, 120, 136, 153, 171, 190, 210 …, <math display="inline">\frac{n(n+1)}{2}</math> … (Шаблон:OEIS)
СвойстваШаблон:Sfn:
Чётность элемента последовательности меняется с периодом 4: нечётное, нечётное, чётное, чётное. Никакое треугольное число не может (в десятичной записи) оканчиваться цифрами 2, 4, 7, 9Шаблон:Sfn.
Обозначим для краткости <math>n</math>-е треугольное число: <math display="inline">T_n = P^{(3)}_n = \frac{n(n+1)}{2}.</math> Тогда справедливы рекуррентные формулы:
- <math>T_{2n} = 3T_n + T_{n-1}</math>;
- <math>T_{2n+1} = 3T_n + T_{n+1}</math>.
Формула Баше де Мезириака: Шаблон:Eqref можно преобразовать так, что она покажет выражение любого многоугольного числа через треугольные: Шаблон:EF
Сумма двух последовательных треугольных чисел даёт полный квадрат (квадратное число):
- <math>T_n+T_{n+1}=(n+1)^2=P^{(4)}_{n+1}</math>.
Из теоремы Ферма о многоугольных числах следует, что любое натуральное число представимо в виде суммы не более трёх треугольных чисел.
Сумма конечного ряда треугольных чисел вычисляется по формуле:
- <math>S_{m-1}=1+3+6+\dots+ \frac{(m-1)m}{2} = \frac{m^3- m}{6}</math>.
Ряд из чисел, обратных треугольным (телескопический ряд), сходится[13]:
- <math>1+{1 \over 3}+{1 \over 6}+{1 \over 10}+{1 \over 15}+\dots=2\sum_{n=1}^{\infty}\left({1 \over n}-{1 \over n+1}\right)
= 2</math>.
Удвоенные треугольные числа дают последовательность (определённых нижеШаблон:Переход) прямоугольных чисел.
Натуральное число <math>N</math> является треугольным тогда и только тогда, когда число <math>8N+1</math> является квадратнымШаблон:ПереходШаблон:Sfn.
Известное в мистике «число зверя» (666) является 36-м треугольным. Оно является наименьшим треугольным числом, которое представимо в виде суммы квадратов треугольных чиселШаблон:Sfn: <math>666=15^2+21^2</math>.
Треугольные числа образуют третью диагональную линию треугольника ПаскаляШаблон:Переход.
Квадратные числа
Файл:Square number 1 with gnomon.svg | Файл:Square number 4 with gnomon.svg | Файл:Square number 9 with gnomon.svg | Файл:Square number 16 with gnomon.svg |
<math>0 + \color{blue}1 \color{black}= 1</math> | <math>1 + \color{blue}3 \color{black}= 4</math> | <math>4 + \color{blue}5 \color{black}= 9</math> | <math>9 + \color{blue}7 \color{black}= 16</math> |
Квадратные числа представляют собой произведение двух одинаковых натуральных чисел, то есть являются полными квадратами:
- 1, 4, 9, 16, 25, 36, 49, 64, 81, 100, 121, 144, 169, 196, 225, 256, 289, 324, 361, 400 …, <math>n^2</math> … (Шаблон:OEIS).
Каждое квадратное число, кроме единицы, есть сумма двух последовательных треугольных чиселШаблон:Sfn:
- <math>n^2 = T_{n-1} + T_n</math>. Примеры: <math>4 = 1 + 3; \quad 9 = 3 + 6; \quad 16 = 6 + 10 </math> Шаблон:Итд
Сумма квадратного числа с предшествующим ему по номеру треугольным числом даёт пятиугольное число:
- <math>n^2 + T_{n-1}= P^{(5)}_n</math>.
Эта теорема была впервые опубликована Никомахом («Введение в арифметику», II век)[14].
Сумма квадратов первых <math>n</math> натуральных чисел вычисляется по формуле[15]:
- <math display="inline">1^2 + 2^2 + 3^2 + ... + n^2 = \frac {n(n + 1)(2n + 1)} {6}</math>.
Ряд обратных квадратных чисел сходится[16]:
- <math>\sum_{n=1}^\infty \frac{1}{n^2} = \frac{1}{1^2} + \frac{1}{2^2} + \dots + \frac{1}{n^2} +\dots = \frac{\pi^2}{6}</math>.
Каждое натуральное число может быть представлено как сумма не более четырёх квадратов (теорема Лагранжа о сумме четырёх квадратов).
Тождество Брахмагупты — Фибоначчи: произведение суммы двух квадратных чисел на любую другую сумму двух квадратных чисел само представимо в виде суммы двух квадратных чисел.
- <math>(a^2 + b^2)(c^2 + d^2) = (ac - bd)^2 + (ad + bc)^2 = (ac + bd)^2 + (ad - bc)^2.</math>
Поскольку второе слагаемое справа может быть равно нулю, здесь следует рассматривать расширенный ряд квадратных чисел, начинающийся не с 1, а с нуля (см. Шаблон:OEIS short).
Пример:
- <math>(1^2 + 4^2)(2^2 + 7^2) = 26^2 + 15^2 = 30^2 + 1^2</math>.
Пятиугольные числа
Шаблон:Main Последовательность пятиугольных чисел имеет вид:
- 1, 5, 12, 22, 35, 51, 70, 92, 117, 145, 176, 210, 247, 287, 330, 376, 425, 477, 532, 590 …, <math display="inline">\frac{n(3n-1)}{2}</math> … (Шаблон:OEIS).
Пятиугольные числа тесно связаны с треугольнымиШаблон:Sfn:
- <math>P^{(5)}_n = \frac{n(3n-1)}{2} = T_{n-1} + n^2 = T_n + 2T_{n-1} = T_{2n-1} - T_{n-1} = \frac{1}{3}T_{3n-1}</math>.
Как уже упоминалось выше, пятиугольное число, начиная со 2-го номера, можно представить как сумму квадратного и треугольного числа:
- <math>P^{(5)}_n = n^2 + T_{n-1}</math>.
Если в формуле <math display="inline">\frac{n(3n-1)}{2}</math> указать для <math>n</math> более общую последовательность:
- <math>n=0,\;1,\;-1,\;2,\;-2,\;3,\;-3\dots</math>.
то получатся обобщённые пятиугольные числа:
- 0, 1, 2, 5, 7, 12, 15, 22, 26, 35, 40, 51, 57, 70, 77, 92, 100, 117, 126, 145, 155… (Шаблон:OEIS).
Леонард Эйлер обнаружил обобщённые пятиугольные числа в следующем тождестве:
- <math>(1 - x)(1 - x^2)(1 - x^3)\ldots = 1 - x - x^2 + x^5 + x^7 - x^{12} - x^{15} + x^{22} + x^{26} - x^{35} - x^{40} + \ldots</math>.
Степени <math>x</math> в правой части тождества образуют последовательность обобщённых пятиугольных чисел[17].
Шестиугольные числа
- 1, 6, 15, 28, 45, 66, 91, 120, 153, 190, 231, 276, 325, 378, 435, 496, 561, 630, 703, 780 …, <math>2n^2-n</math> … (Шаблон:OEIS).
Последовательность шестиугольных чисел получается из последовательности треугольных чисел вычёркиванием элементов с чётными номерамиШаблон:Sfn: <math>P^{(6)}_n = P^{(3)}_{2n-1}</math>.
Натуральное число <math>N</math> является шестиугольным тогда и только тогда, когда число <math display="inline">\frac{\sqrt{8N+1}+1}{4}</math> является натуральнымШаблон:Переход.
Семиугольные числа
Восьмиугольные числа
Двенадцатиугольные числа
Двенадцатиугольные числа вычисляются по формуле <math>5n^2-4n</math>:
- 1, 12, 33, 64, 105, 156, 217, 288, 369, 460, 561, 672, 793, 924, 1065, 1216, 1377, 1548, 1729, 1920 … (Шаблон:OEIS).
В десятичной системе <math>n</math>-ое двенадцатиугольное число заканчивается на ту же цифру, что и само число <math>n</math>. Это следует из очевидного сравнения: <math>5n(n-1) \equiv 0 \pmod {10},</math> откуда получаем: <math>5n^2 - 4n \equiv n \pmod {10}</math> Шаблон:ЧТД.
Определение, является ли заданное число многоугольным
Задача 1 (задача Диофанта): дано натуральное число <math>N>2</math>. Определить, является ли оно многоугольным числом <math>P^{(k)}_n</math> и если да, то для каких <math>k</math> и <math>n</math>. Диофант сформулировал эту проблему так: «выяснить, сколько раз данное число встречается среди всевозможных многоугольных чисел»[18].
Решение задачи сводится к решению «диофантова уравнения» (см. Шаблон:Eqref):
- <math>N = P^{(k)}_n = \frac{(k-2)n^2 - (k-4)n}{2},</math> или: <math>2N - 2n = (k-2)(n^2 - n)</math>.
Перепишем полученное уравнение в виде: <math>k-2 = \frac{2N-2}{n-1} - \frac{2N}{n}</math>.
Знаменатели дробей справа взаимно просты; сумма или разность таких дробей может быть целым числом только если каждая дробь есть целое число[19], поэтому <math>2N-2</math> кратно <math>n-1</math>, а <math>2N</math> кратно <math>n</math>.
В результате алгоритм решения приобретает следующую формуШаблон:Sfn:
- Выписать все натуральные делители числа <math>2N</math> (включая <math>1</math> и само <math>2N</math>).
- Выписать все натуральные делители числа <math>2N-2</math>.
- Отобрать из первого набора те числа, которые на <math>1</math> больше какого-либо числа из второго набора. Эти числа соответствуют <math>n</math>.
- Для каждого отобранного <math>n</math> подсчитать <math display="inline">k=\frac{2N-2}{n-1} - \frac{2N}{n} + 2</math>.
- Вычеркнуть пары <math>(n,\;k)</math>, в которых <math>k<3</math>.
Тогда все соответствующие оставшимся парам числа <math>P^{(k)}_n</math> равны <math>N</math>.
Пример[18]. Пусть <math>N=105</math>.
- Делители <math>2N = 210\colon\quad 1,\;2,\;3,\;5,\;6,\;7,\;10,\;14,\;15,\;21,\;30,\;35,\;42,\;70,\;105,\;210</math>.
- Делители <math>2N-2 = 208\colon\quad 1,\;2,\;4,\;8,\;13,\;16,\;26,\;52,\;104,\;208</math>.
- Отбор <math>n = 2,\;3,\;5,\;14,\;105</math>.
- Соответственно <math>k = 105,\;36,\;12,\;14,\;2</math>. Последнее значение следует отбросить.
Ответ: <math>105</math> может быть представлено как <math>P^{(105)}_2,\;P^{(36)}_3,\;P^{(12)}_5,\;P^{(14)}_{14}</math>, то есть как 2-е 105-угольное, 3-е 36-угольное, 5-е 12-угольное и 14-е 14-угольное число.
Задача 2: дано натуральное число <math>N>2,</math> требуется определить, является ли оно <math>k</math>-угольным числом <math>P^{(k)}_n</math>. В отличие от задачи 1, здесь <math>k</math> задано.
Для решения можно использовать тождество ДиофантаШаблон:Sfn:
- <math>8(k-2)P^{(k)}_n + (k-4)^2 = (2n(k-2) - (k-4))^2</math>
Это тождество получается из приведённой выше Шаблон:Eqref и равносильно ей. Из тождества вытекает решение: если <math>N</math> есть <math>k</math>-угольное число, то есть <math>N=P^{(k)}_n</math> для некоторого <math>n,</math> то <math>8(k-2)N + (k-4)^2</math> есть некоторое квадратное число <math>R^2</math>, и обратно. При этом номер <math>n</math> находится по формуле[20]:
- <math display="inline">n = \frac{R+k-4}{2k-4}</math>.
Пример[20]. Определим, является ли число <math>1540</math> 10-угольным. Значение <math>8(k-2)N + (k-4)^2</math> здесь равно <math>98596 = 314^2,</math> поэтому ответ утвердительный. <math>n=20,</math> следовательно, <math>1540</math> является 20-м 10-угольным числом.
Производящая функция
Степенной ряд, коэффициенты которого — <math>k</math>-угольные числа, сходится при <math>|x|<1</math>:
- <math display="inline">P^{(k)}_1x + P^{(k)}_2 x^2 + P^{(k)}_3 x^3 + \dots = \frac{x(1+(k-3)x)}{(1-x)^3}</math>.
Выражение справа является производящей функцией для последовательности <math>k</math>-угольных чиселШаблон:Sfn.
Аппарат производящих функций позволяет применять в теории чисел и комбинаторике методы математического анализа. Приведённая формула также объясняет появление <math>k</math>-угольных чисел среди коэффициентов ряда Тэйлора для различных рациональных дробей. Примеры:
- При <math>k=3</math>: <math display="inline">\qquad \frac{x}{(1-x)^3} = P^{(3)}_1 x + P^{(3)}_2 x^2 + P^{(3)}_3 x^3 + \dots + P^{(3)}_n x^n + \dots</math>;
- При <math>k=4</math>: <math display="inline">\qquad \frac{x(x+1)}{(1-x)^3} = P^{(4)}_1 x + P^{(4)}_2 x^2 + P^{(4)}_3 x^3 + \dots + P^{(4)}_n x^n + \dots</math>;
- При <math>k=5</math>: <math display="inline">\qquad \frac{x(2x+1)}{(1-x)^3} = P^{(5)}_1 x + P^{(5)}_2 x^2 + P^{(5)}_3 x^3 + \dots + P^{(5)}_n x^n + \dots</math>
и т. д.
Для некоторых классов многоугольных чисел существуют свои, специфические производящие функции. Например, для квадратных треугольных чисел <math>1,\;36,\;1225,\;41616,\;1413721 \dots</math> производящая функция имеет следующий видШаблон:Sfn:
- <math display="inline">\frac{x(1+x)}{(1-x)(1-34x+x^2)} = x + 36x^2 + 1225x^3 + \dots</math>; ряд сходится при <math>|x| < 17-12\sqrt{2}</math>.
Классические многоугольные числа из более чем одной разновидности
Существует бесконечное количество «многофигурных» (или «мультимногоугольных»)Шаблон:Sfn чисел, то есть чисел, которые относятся одновременно к нескольким различным разновидностям фигурных чисел. Например, существуют треугольные числа, которые одновременно являются квадратными («квадратные треугольные числа»)Шаблон:Sfn:
- <math>1,\;36,\;1225,\;41616,\;1413721 \dots</math> (Шаблон:OEIS).
Треугольное число может также быть одновременно
- пятиугольным (Шаблон:OEIS):
- 1, 210, 40755, 7906276, 1533776805, 297544793910, 57722156241751, 11197800766105800, 2172315626468283465…;
- шестиугольным (все треугольные числа с нечётным номером);
- семиугольным (Шаблон:OEIS):
- 1, 21, 11781, 203841, 113123361, 1957283461, 1086210502741, 18793835590881, 10429793134197921, 180458407386358101…
и т. д. Неизвестно, существуют ли числа, одновременно треугольные, квадратные и пятиугольные; проверка на компьютере чисел, меньших <math>10^{22166},</math> не обнаружила ни одного подобного числа, однако не доказано, что таковых не существует[21].
Квадратное число может быть одновременно
- пятиугольным (Шаблон:OEIS):
- 1, 9801, 94109401, 903638458801, 8676736387298001, 83314021887196947001, 799981229484128697805801…,
- шестиугольным (Шаблон:OEIS):
- 1, 1225, 1413721, 1631432881, 1882672131025, 2172602007770041, 2507180834294496361, 2893284510173841030625…,
- семиугольным (Шаблон:OEIS):
- 1, 81, 5929, 2307361, 168662169, 12328771225, 4797839017609, 350709705290025, 25635978392186449…
и т. д.
Пятиугольное число может одновременно быть:
- шестиугольным (Шаблон:OEIS):
- 1, 40755, 1533776805, 57722156241751, 2172315626468283465, 81752926228785223683195, 3076689623521787481625080301…,
- семиугольным (Шаблон:OEIS):
- 1, 4347, 16701685, 64167869935, 246532939589097, 947179489733441251, 3639063353022941697757…
и т. д.
Шестиугольное число обязательно является также треугольным; оно также может одновременно быть семиугольным (Шаблон:OEIS):
- 1, 121771, 12625478965, 1309034909945503, 135723357520344181225, 14072069153115290487843091…
Возможны и другие сочетания трёх и более разновидностей фигурных чисел. Например, как доказано вышеШаблон:Переход, число <math>105</math> входит в четыре разновидности: <math>P^{(12)}_5,\;P^{(14)}_{14},\;P^{(36)}_3,\;P^{(105)}_2.</math> Полный список таких сочетаний от треугольных до 16-угольных чисел — см. Шаблон:OEIS.
Сводная таблица
k | Разновидность фигурных чисел |
Общая формула | n | Сумма обратных значений[22] | Номер OEIS | |||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | |||||
3 | треугольное | Шаблон:Math | 1 | 3 | 6 | 10 | 15 | 21 | 28 | 36 | 45 | 55 | 2 | Шаблон:OEIS short |
4 | квадратное | Шаблон:Math | 1 | 4 | 9 | 16 | 25 | 36 | 49 | 64 | 81 | 100 | Шаблон:Sfrac | Шаблон:OEIS short |
5 | пятиугольное | Шаблон:Math | 1 | 5 | 12 | 22 | 35 | 51 | 70 | 92 | 117 | 145 | <math>3 \ln 3 - \frac{\pi\sqrt{3}}{3}</math> | Шаблон:OEIS short |
6 | шестиугольное | Шаблон:Math | 1 | 6 | 15 | 28 | 45 | 66 | 91 | 120 | 153 | 190 | Шаблон:Math | Шаблон:OEIS short |
7 | семиугольное | Шаблон:Math | 1 | 7 | 18 | 34 | 55 | 81 | 112 | 148 | 189 | 235 | <math>\tfrac{\pi}{3}\sqrt{1 - \tfrac{2}{\sqrt{5}}}</math> <math>+ \tfrac{5}{6}\ln 5 - \tfrac{\sqrt 5}{3}\ln\left(\tfrac{1 + \sqrt 5}{2}\right)</math> |
Шаблон:OEIS short |
8 | восьмиугольное | Шаблон:Math | 1 | 8 | 21 | 40 | 65 | 96 | 133 | 176 | 225 | 280 | Шаблон:Math | Шаблон:OEIS short |
9 | девятиугольное | Шаблон:Math | 1 | 9 | 24 | 46 | 75 | 111 | 154 | 204 | 261 | 325 | <math>\tfrac{1}{5} (2\ln 14 + 4\cos\tfrac{\pi}{7}\ln\cos\tfrac{3\pi}{14}</math> <math>+ \ln\sin\tfrac{\pi}{7} \sin\tfrac{\pi}{14} - \ln\cos\tfrac{\pi}{14}\sin\tfrac{3\pi}{14}</math> <math> + \pi \operatorname{tg}\tfrac{3\pi}{14})</math> |
Шаблон:OEIS short Шаблон:OEIS short |
10 | десятиугольное | Шаблон:Math | 1 | 10 | 27 | 52 | 85 | 126 | 175 | 232 | 297 | 370 | Шаблон:Math | Шаблон:OEIS short |
11 | 11-угольное | Шаблон:Math | 1 | 11 | 30 | 58 | 95 | 141 | 196 | 260 | 333 | 415 | Шаблон:OEIS short | |
12 | 12-угольное | Шаблон:Math | 1 | 12 | 33 | 64 | 105 | 156 | 217 | 288 | 369 | 460 | Шаблон:OEIS short | |
13 | 13-угольное | Шаблон:Math | 1 | 13 | 36 | 70 | 115 | 171 | 238 | 316 | 405 | 505 | Шаблон:OEIS short | |
14 | 14-угольное | Шаблон:Math | 1 | 14 | 39 | 76 | 125 | 186 | 259 | 344 | 441 | 550 | Шаблон:Math | Шаблон:OEIS short |
15 | 15-угольное | Шаблон:Math | 1 | 15 | 42 | 82 | 135 | 201 | 280 | 372 | 477 | 595 | Шаблон:OEIS short | |
16 | 16-угольное | Шаблон:Math | 1 | 16 | 45 | 88 | 145 | 216 | 301 | 400 | 513 | 640 | Шаблон:OEIS short | |
17 | 17-угольное | Шаблон:Math | 1 | 17 | 48 | 94 | 155 | 231 | 322 | 428 | 549 | 685 | Шаблон:OEIS short | |
18 | 18-угольное | Шаблон:Math | 1 | 18 | 51 | 100 | 165 | 246 | 343 | 456 | 585 | 730 | Шаблон:Math Шаблон:Math | Шаблон:OEIS short |
19 | 19-угольное | Шаблон:Math | 1 | 19 | 54 | 106 | 175 | 261 | 364 | 484 | 621 | 775 | Шаблон:OEIS short | |
20 | двадцатиугольное | Шаблон:Math | 1 | 20 | 57 | 112 | 185 | 276 | 385 | 512 | 657 | 820 | Шаблон:OEIS short | |
21 | 21-угольное | Шаблон:Math | 1 | 21 | 60 | 118 | 195 | 291 | 406 | 540 | 693 | 865 | Шаблон:OEIS short | |
… | … | … | … | … | … | … | … | … | … | … | … | … | … | … |
1000 | 1000-угольное | Шаблон:Math | 1 | 1000 | 2997 | 5992 | 9985 | 14976 | 20965 | 27952 | 35937 | 44920 | Шаблон:OEIS short | |
10000 | 10000-угольное | Шаблон:Math | 1 | 10000 | 29997 | 59992 | 99985 | 149976 | 209965 | 279952 | 359937 | 449920 | Шаблон:OEIS short |
Центрированные многоугольные числа
Определение
Шаблон:Main Центрированные <math>k</math>-угольные числа (<math>k \geqslant 3</math>) — это класс фигурных чисел, получаемый следующим геометрическим построением. Сначала на плоскости фиксируется некоторая центральная точка. Затем вокруг неё строится правильный k-угольник с <math>k</math> точками вершин, каждая сторона содержит две точки (см. рисунок). Далее снаружи строятся новые слои <math>k</math>-угольников, причём каждая их сторона на новом слое содержит на одну точку больше, чем в предыдущем слое, то есть начиная со второго слоя каждый следующий слой содержит на <math>k</math> больше точек, чем предыдущий. Общее число точек внутри каждого слоя и принимается в качестве центрированного многоугольного числа (точка в центре считается начальным слоем)Шаблон:Sfn.
Примеры построения центрированных многоугольных чисел:
Треугольные | Квадратные | Пятиугольные | Шестиугольные |
---|---|---|---|
Файл:Centered triangular number 19.svg | Файл:Centered square number 25.svg | Файл:Centered pentagonal number 31.svg | Файл:Hex number 37.svg |
Из построения видно, что центрированные многоугольные числа получаются как частичные суммы следующего ряда: <math>1+k+2k+3k+4k+\dots</math> (например, центрированные квадратные числа, для которых <math>k=4,</math> образуют последовательность: <math>1, 5, 13, 25, 41\dots</math>) Этот ряд можно записать как <math>1+k(1+2+3+4+\dots)</math>, откуда видно, что в скобках — порождающий ряд для классических треугольных чисел (см. вышеШаблон:Переход). Следовательно, каждая последовательность центрированных <math>k</math>-угольных чисел, начиная со 2-го элемента, может быть представлена как <math>kT_{n-1}+1</math>, где <math>T_n~(n=1,\;2,\;3\dots)</math> — последовательность треугольных чисел. Например, центрированные квадратные числа — это учетверённые треугольные числа плюс <math>1</math>, порождающий ряд для них имеет вид: <math>1+4+8+12\dots</math>Шаблон:Sfn
Из приведённой выше формулы для треугольных чисел можно выразить общую формулу для <math>n</math>-го центрированного Шаблон:S числа <math>C^{(k)}_n</math>[23]:
Производящая функция для центрированных многоугольных чисел имеет видШаблон:Sfn:
- <math display="inline">f(x) = \frac {x(1+(k-2)x+x^2)}{(1-x)^3}; \quad |x|<1</math>.
Разновидности центрированных многоугольных чисел
Центрированные треугольные числа
Шаблон:Main <math>n</math>-е по порядку центрированное треугольное число задаётся формулой:
- <math display="inline">C^{(3)}_n = \frac{3n^2-3n+2}{2}</math>.
Следствие (при <math>n>1</math>): <math display="inline">C^{(3)}_n = 3T_{n-1} + 1</math>.
Первые элементы последовательности центрированных треугольных чисел:
- 1, 4, 10, 19, 31, 46, 64, 85, 109, 136, 166, 199, 235, 274, 316, 361, 409, 460, 514, 571 …, <math display="inline">\frac{3n^2-3n+2}{2}</math> (Шаблон:OEIS).
- Некоторые свойстваШаблон:Sfn
- Каждое центрированное треугольное число, начиная с 10, является суммой трёх последовательных классических треугольных чисел: <math>C^{(3)}_n = P^{(3)}_n + P^{(3)}_{n-1} + P^{(3)}_{n-2}.</math>
- Из следствия общей формулы видно, что каждое центрированное треугольное число <math>C^{(3)}_n</math> при делении на 3 даёт остаток 1, а частное (если оно положительно), есть классическое треугольное число <math>T_{n-1}</math>.
- Некоторые центрированные треугольные числа являются простыми[24]: 19, 31, 109, 199, 409 … (Шаблон:OEIS).
Центрированные квадратные числа
<math>n</math>-е по порядку центрированное 4-угольное (квадратное) число задаётся формулой:
- <math display="inline">C^{(4)}_n = {(2n-1)^2 + 1 \over 2} = 2n^2-2n+1 = (n-1)^2 + n^2</math>.
Первые элементы последовательности центрированных квадратных чисел:
- 1, 5, 13, 25, 41, 61, 85, 113, 145, 181, 221, 265, 313, 365, 421, 481, 545, 613, 685, 761 …, <math>n^2 + (n - 1)^2 \dots</math> (Шаблон:OEIS).
- Некоторые свойстваШаблон:Sfn
- Как видно из Шаблон:Eqref, центрированное квадратное число есть сумма двух последовательных квадратов.
- Все центрированные квадратные числа нечётны, и последняя цифра в их десятичном представлении меняется в цикле: 1-5-3-5-1.
- Все центрированные квадратные числа и их делители дают остаток 1 при делении на 4, а при делении на 6, 8 или 12 дают остаток 1 или 5.
- Все центрированные квадратные числа, за исключением 1, представляют длину гипотенузы в одной из пифагоровых троек (например, 3-4-5, 5-12-13). Таким образом, каждое центрированное квадратное число равно числу точек внутри данного расстояния в кварталах от центральной точки на квадратной решётке.
- Разность между двумя последовательными классическими восьмиугольными числами есть центрированное квадратное число.
- Некоторые центрированные квадратные числа являются простыми (как показано выше, классические квадратные числа, начиная с третьего по порядку, заведомо составные). Примеры простых центрированных квадратных чисел:
- 5, 13, 41, 61, 113, 181, 313, 421, 613, 761, 1013, 1201, 1301, 1741, 1861, 2113, 2381, 2521, 3121, 3613 … (Шаблон:OEIS).
Центрированные пятиугольные числа
Шаблон:Main <math>n</math>-е по порядку центрированное пятиугольное число задаётся формулой:
- <math display="inline">C^{(5)}_n = \frac{5(n-1)^2+5(n-1)+2}{2}</math>.
Несколько первых центрированных пятиугольных чисел:
- 1, 6, 16, 31, 51, 76, 106, 141, 181, 226, 276, 331, 391, 456, 526, 601, 681, 766, 856, 951 …, <math display="inline">\frac{5(n-1)^2+5(n-1)+2}{2}</math> … (Шаблон:OEIS)
Чётность центрированных пятиугольных чисел меняется по правилу: чётное-чётное-нечётное-нечётное, и последняя десятичная цифра меняется в цикле: 6-6-1-1.
Некоторые центрированные пятиугольные числа являются простыми[24]: 31, 181, 331, 391, 601 . . . (Шаблон:OEIS).
Центрированные шестиугольные числа
<math>n</math>-е по порядку центрированное шестиугольное число задаётся формулой:
- <math>C^{(6)}_n = n^3-(n-1)^3=3n(n-1)+1</math>.
Несколько первых центрированных шестиугольных чисел:
- 1, 7, 19, 37, 61, 91, 127, 169, 217, 271, 331, 397, 469, 547, 631, 721, 817, 919 … <math>1+3n(n-1)</math> … (Шаблон:OEIS).
- Некоторые свойстваШаблон:Sfn
- Последний десятичный знак центрированных шестиугольных чисел меняется в цикле 1-7-9-7-1.
- Сумма первых n центрированных шестиугольных чисел равна «кубическому числу» <math>n^3</math>.
- Справедливо рекуррентное равенство: <math>C^{(6)}_n = 2C^{(6)}_{n-1} - C^{(6)}_{n-2}+6</math>.
- Некоторые центрированные шестиугольные числа являются простыми[24]: 7, 19, 37, 61, 127 … (Шаблон:OEIS).
Центрированные семиугольные числа
<math>n</math>-е по порядку центрированное семиугольное число задаётся формулой <math display="inline">\frac{7n^2-7n+2}{2}</math>. Его можно также вычислить умножением треугольного числа <math>(n-1)</math> на 7 с добавлением 1.
Несколько первых центрированных семиугольных чисел:
- 1, 8, 22, 43, 71, 106, 148, 197, 253, 316, 386, 463, 547, 638, 736, 841, 953 …, <math display="inline">\frac{7n^2-7n+2}{2}</math> … (Шаблон:OEIS).
Чётность центрированных семиугольных чисел меняется в цикле нечётный-чётный-чётный-нечётный.
Некоторые центрированные семиугольные числа являются простыми[24]:
- 43, 71, 197, 463, 547, 953, 1471, 1933, 2647, 2843, 3697 … (Шаблон:OEIS).
Существуют также центрированные семиугольные числа, входящие в пары простых чисел-близнецов:
- 43, 71, 197, 463, 1933, 5741, 8233, 9283, 11173, 14561, 34651 … (Шаблон:OEIS).
Центрированные восьмиугольные числа
<math>n</math>-е по порядку центрированное восьмиугольное число задаётся формулой <math>(2n-1)^2=4n^2-4n+1</math>.
Несколько первых центрированных восьмиугольных чисел:
- 1, 9, 25, 49, 81, 121, 169, 225, 289, 361, 441, 529, 625, 729, 841, 961, 1089.
- Некоторые свойстваШаблон:Sfn
- Все центрированные восьмиугольные числа нечётны, и их последняя десятичная цифра меняется в цикле 1-9-5-9-1.
- Центрированное восьмиугольное число совпадает с классическим квадратным числом с нечётным номером: <math>C^{(6)}_n = P^{(4)}_{2n-1}.</math> Другими словами, нечётное число является центрированным восьмиугольным числом тогда и только тогда, когда оно является квадратом целого числа.
- Из предыдущего свойства следует, что все центрированные восьмиугольные числа, кроме 1, составные.
Центрированные девятиугольные числа
Шаблон:Main <math>n</math>-е по порядку центрированное девятиугольное число определяется общей формулой <math>\frac{(3n-2)(3n-1)}{2}</math>.
Умножая <math>(n-1)</math>-ое треугольное число на 9 и добавляя 1, получим <math>n</math>-ое центрированное девятиугольное число, но имеется и более простая связь с треугольными числами — каждое третье треугольное число (1-е, 4-е, 7-е Шаблон:Итд) также является центрированным девятиугольным числом, и так можно получить все центрированные девятиугольные числа. Формальная запись: <math>C^{(9)}_n = P^{(3)}_{3n-2}</math>.
Первые центрированные девятиугольные числа:
- 1, 10, 28, 55, 91, 136, 190, 253, 325, 406, 496, 595, 703, 820, 946 … (Шаблон:OEIS).
За исключением 6, все чётные совершенные числа являются также центрированными девятиугольными числами. В 1850-м году математик-любитель Фредерик Поллок высказал предположение, которое до сих пор не доказано и не опровергнуто, что любое натуральное число есть сумма максимум одиннадцати центрированных девятиугольных чиселШаблон:Sfn.
Из общей формулы следует, что все центрированные девятиугольные числа, кроме 1, составные.
Центрированные десятиугольные числа
<math>n</math>-е по порядку центрированное десятиугольное число задаётся формулой <math>5(n^2-n)+1</math>.
Первые представители центрированных десятиугольных чисел:
- 1, 11, 31, 61, 101, 151, 211, 281, 361, 451, 551, 661, 781, 911, 1051 … <math>5(n^2-n)+1</math> (Шаблон:OEIS).
Подобно другим k-угольным числам, <math>n</math>-ое центрированное десятиугольное число можно вычислить, умножая <math>(n-1)</math>-ое треугольное число на <math>k</math>, в нашем случае 10, затем добавляя 1. Как следствие, центрированные десятиугольные числа могут быть получены просто добавлением 1 к десятичному представлению числа. Таким образом, все центрированные десятиугольные числа нечётны и всегда оканчиваются на 1 в десятичном представлении.
Часть центрированных десятиугольных чисел являются простыми, например:
- 11, 31, 61, 101, 151, 211, 281, 661, 911, 1051, 1201, 1361, 1531, 1901, 2311, 2531, 3001, 3251, 3511, 4651, 5281… (Шаблон:OEIS).
Многоугольные числа, одновременно классические и центрированные
Некоторые центрированные многоугольные числа совпадают с классическими, например: <math>1,\;10,\;25,\;51</math>; для краткости будем называть такие многоугольные числа двойными.
- 1. Двойные числа с общим параметром <math>k</math> (число углов): имеет место тождествоШаблон:Sfn:
- <math>C^{(k)}_k = P^{(k)}_{k+1}\quad</math>.
- 2. Двойные треугольные числа с разными <math>k.</math> Пример: <math>1,\;10,\;136,\;1891,\;26 335\dots</math> (Шаблон:OEIS). Для их нахождения надо решить диофантово уравнение:
- <math>m^2+m=3n^2-3n+2,</math> тогда <math>P^{(3)}_m = C^{(3)}_n</math>. Некоторые решения:
- <math>m=1,\;4,\;16,\;61,\;229\dots</math> (Шаблон:OEIS), соответственно:
- <math>n=1,\;3,\;10,\;36,\;133\dots</math> (Шаблон:OEIS).
- <math>m^2+m=3n^2-3n+2,</math> тогда <math>P^{(3)}_m = C^{(3)}_n</math>. Некоторые решения:
- 3. Классические квадратные, являющиеся центрированными треугольными числами. Их определяет диофантово уравнение:
- <math display="inline">m^2 = \frac{3n^2-3n+2}{2}. \quad</math> Тогда <math>C^{(3)}_m = P^{(4)}_n</math>.
- Решения:
- <math>m=1,\;2,\;8,\;19,\;79\dots</math> (Шаблон:OEIS), соответственно <math>n=1,2,7,16,65\dots</math>
- Первые такие числа: <math>1,\;4,\;64,\;361,\;6241\dots</math>
- 4. Классические треугольные, являющиеся центрированными шестиугольными числами. Первые такие числа: <math>1,\;91,\;8911,\;873 181,\;85 562 821\dots</math> (Шаблон:OEIS). Их определяет диофантово уравнение:
- <math>\frac{m(m+1)}{2} = 3n^2+3n+1. \quad</math> Тогда <math>P^{(3)}_m = C^{(6)}_{n+1}</math>.
- Решения:
- <math>m=1, 13, 133, 1321, 13 081\dots</math> (Шаблон:OEIS);
- <math>n=0,\;5,\;54,\;539,\;5340\dots</math> (Шаблон:OEIS).
- 5. Классические квадратные, являющиеся центрированными шестиугольными числами. Первые такие числа: <math>1,\;169,\;32 761,\;6 355 441,\;1 232 922 769\dots</math> (Шаблон:OEIS). Их определяет диофантово уравнение:
- <math>m^2 = 3n^2+3n+1. \quad</math> Тогда <math>P^{(4)}_m = C^{(6)}_{n+1}</math>.
- Решения:
- <math>m=1,\;13,\;181,\;2521,\;35 113\dots</math> (Шаблон:OEIS);
- <math>n=0,\;7,\;104,\;1455,\;20 272\dots</math> (Шаблон:OEIS).
Пространственные фигурные числа
Наряду с рассмотренными выше фигурными числами для плоских фигур, можно определить пространственные или даже многомерные их аналоги. Уже античные математики исследовали тетраэдральные и квадратные пирамидальные числа. Несложно определить числа, связанные с пирамидами, в основании которых лежит любой другой многоугольник, например:
Другие разновидности пространственных фигурных чисел связаны с классическими многогранниками.
Пирамидальные числа
Шаблон:Also Пирамидальные числа определяются следующим образом: Шаблон:Рамка <math>n</math>-е по порядку k-угольное пирамидальное число <math>\Pi^{(k)}_n</math> есть сумма первых <math>n</math> плоских фигурных чисел с тем же числом углов <math>k</math>:
- <math>\Pi^{(k)}_n = P^{(k)}_1 + P^{(k)}_2 + P^{(k)}_3 + \dots + P^{(k)}_n</math>.
|} Геометрически пирамидальное число <math>\Pi^{(k)}_n</math> можно представить как пирамиду из <math>n</math> слоёв (см. рисунок), каждый из которых содержит от 1 (верхний слой) до <math>P^{(k)}_n</math> (нижний) шаров.
По индукции нетрудно доказать общую формулу для пирамидального числа, известную ещё АрхимедуШаблон:Sfn:
Правую часть этой формулы можно также выразить через плоские многоугольные числа:
- <math>\Pi^{(k)}_n = \frac{(k-2)n - k + 5}{3} P^{(3)}_n = \frac {n+1}{6} (2 P^{(k)}_n + n)</math>.
Существует трёхмерный аналог Шаблон:Eqref для пирамидальных чиселШаблон:Sfn:
- <math>\Pi^{(k+1)}_n = \Pi^{(k)}_n + \Pi^{(3)}_{n-1} </math>.
Производящая функция пирамидальных чисел имеет видШаблон:Sfn:
- <math>f(x) = \frac {x(1+(k-3)x)}{(1-x)^4}; \quad |x|<1</math>.
Треугольные пирамидальные (тетраэдральные) числа
Треугольные пирамидальные числа, называемые также тетраэдральными — это фигурные числа, которые представляют тетраэдр, то есть пирамиду, в основании которой лежит треугольник. Согласно приведенному выше общему определению пирамидальных чисел, <math>n-</math>е по порядку тетраэдральное число определяется как сумма первых <math>n</math> треугольных чисел:
- <math>\Pi^{(3)}_n=T_1 + T_2 + \dots + T_n</math>
Общая формула для тетраэдрального числа: <math>\Pi^{(3)}_n=\frac{n(n+1)(n+2)}{6}</math>.
Несколько первых тетраэдральных чисел:
- 1, 4, 10, 20, 35, 56, 84, 120, 165, 220, 286, 364, 455, 560, 680, 816, 969 … (Шаблон:OEIS).
Интересно, что пятое число равно сумме всех предыдущих.
Существует трёхмерный аналог Шаблон:Eqref, а именно разложение произвольного пирамидального числа по тетраэдральным[25]:
- <math>\Pi^{(k)}_n = \Pi^{(3)}_n + (k-3)\Pi^{(3)}_{n-1}</math>.
Пять тетраэдральных чисел одновременно являются треугольными (Шаблон:OEIS):
- 1, 10, 120, 1540, 7140.
Только три тетраэдральных числа являются квадратными числами (Шаблон:OEIS):
- <math>1^2=1</math>, <math>2^2 = 4</math>, <math>140^2 = 19\,600</math>.
Одна из «гипотез Поллока» (1850 год): каждое натуральное число представимо как сумма не более пяти тетраэдральных чисел. До сих пор не доказана, хотя проверена для всех чисел, меньших 10 миллиардовШаблон:Sfn[26].
Квадратные пирамидальные числа
Квадратные пирамидальные числа часто кратко называют просто пирамидальными. Для них пирамида имеет квадратное основание. Начальная последовательность:
- 1, 5, 14, 30, 55, 91, 140, 204, 285, 385, 506, 650, 819… (Шаблон:OEIS).
Общая формула для квадратного пирамидального числа: <math>\Pi^{(4)}_n=\frac{n(n+1)(2n+1)}{6}</math>.
Квадратное пирамидальное число <math>\Pi^{(4)}_n</math> также выражает общее количество квадратов[27] в квадратной сетке <math>n \times n</math>.
Между квадратными и треугольными пирамидальными числами существует следующая зависимостьШаблон:Sfn:
- <math>4\Pi^{(4)}_n = \Pi^{(3)}_{2n}</math>.
Выше было отмечено, что сумма последовательных треугольных чисел есть квадратное число; аналогично сумма последовательных тетраэдральных чисел есть квадратное пирамидальное число[28]: <math>\Pi^{(4)}_n = \Pi^{(3)}_n + \Pi^{(3)}_{n-1}</math>.
Многогранные числа
По аналогии с квадратными можно ввести «кубические числа» <math>Q_n=n^3,</math> а также числа, соответствующие другим правильным и неправильным многогранникам — например, платоновым телам:
Предусмотрены также их центрированные варианты.
Кубические числа
Шаблон:Main Кубические числа <math>Q_n</math> представляют собой произведение трёх одинаковых натуральных чисел и имеют общий вид <math>Q_n=n^3.</math> Начальные значения:
- 1, 8, 27, 64, 125, 216, 343, 512, 729, 1000 . . . (Шаблон:OEIS).
Кубическое число можно выразить как разность квадратов последовательных треугольных чисел[29]:
- <math>Q_n = (T_n)^2 - (T_{n-1})^2</math>, <math>n\geqslant 2</math>.
Следствие: сумма первых <math>n</math> кубических чисел равна квадрату <math>n</math>-го треугольного числа:
- <math>Q_1 + Q_2 + Q_3 + \dots + Q_n = (T_n)^2</math>.
Разность между двумя соседними кубическими числами есть центрированное шестиугольное число. Следствие: сумма первых <math>n</math> центрированных шестиугольных чисел есть кубическое число <math>Q_n</math>[29].
Выражение кубического числа через тетраэдральные[29]:
- <math>Q_n = \Pi^{(3)}_n + 4\Pi^{(3)}_{n-1} + \Pi^{(3)}_{n-2} </math>, где <math>n > 2</math>.
Одна из «гипотез Поллока» (1850 год): каждое натуральное число представимо как сумма не более девяти кубических чисел. Доказана в начале XX века. Обычно достаточно семи кубов, но 15 чисел требуют восьми (15, 22, 50, 114, 167, 175, 186, 212, 231, 238, 303, 364, 420, 428, 454, Шаблон:OEIS), а двум числам нужны все девять: 23 и 239. Если, кроме сложения, допускать вычитание, то достаточно и пяти кубов (возможно, что даже четырёх, но это пока не доказано)Шаблон:Sfn.
Производящая функция кубических чисел имеет видШаблон:Sfn:
- <math>f(x) = \frac {x(x^2+4x+1)}{(x-1)^4}</math>; <math>|x|<1</math>.
Октаэдральные числа
Додекаэдральные числа
Икосаэдральные числа
Многомерные обобщения
Описанные выше трёхмерные конструкции можно обобщить на четыре и более измерений. Аналогом тетраэдральных чисел в <math>d</math>-мерном пространстве служат «симплексные числа», называемые также гипертетраэдральнымиШаблон:Sfn:
- <math>S^{[d]}_n = \frac{(n-1+d)!}{(n-1)!\ d!}</math>.
Их частным случаем выступают:
- <math>S^{[2]}_n</math> — треугольные числа.
- <math>S^{[3]}_n</math> — тетраэдральные числа.
- <math>S^{[4]}_n</math> — пентатопные числа.
Другие разновидности многомерных чисел — гиперкубические: <math>Q^{[d]}_n=n^d</math>. Четырёхмерные гиперкубические числа <math>(d=4)</math> называются биквадратными[30].
Числа из более чем одной разновидности
Некоторые фигурные числа могут принадлежать более чем одной разновидности плоских и/или многомерных чисел, примеры для плоских чисел уже приводились вышеШаблон:ПереходШаблон:Переход. Для многомерных чисел это довольно редкая ситуацияШаблон:Sfn.
- Пять чисел <math>1, 10, 120, 1540, 7140</math> (и только они) одновременно треугольные и тетраэдральные (Шаблон:OEIS).
- Четыре числа <math>1, 55, 91, 208335</math> одновременно треугольные и квадратные пирамидальные (Шаблон:OEIS).
- Три числа <math>1, 4, 19 600</math> одновременно плоские квадратные и тетраэдральные (Шаблон:OEIS).
- Два числа <math>1, 4900</math> одновременно квадратные плоские и квадратные пирамидальные. Это утверждение получило известность как «гипотеза Люка» или «задача о пушечных ядрах» (1875 год). Полное решение дал в 1918 году Джордж Невилл Ватсон[31].
Никакое натуральное число, кроме 1, не может быть одновременно[32][33]:
- треугольным и кубическим;
- треугольным и биквадратнымШаблон:Sfn;
- треугольным и пятой степенью целого числа[32];
- центрированным шестиугольным и кубическим.
В 1988 году Ф. Бейкерс и Дж. Топ доказали, что никакое число, кроме 1, не может быть одновременно тетраэдральным и квадратным пирамидальным[34]. Доказано также, что не существует чисел, которые одновременно[33]:
- тетраэдральные и кубические;
- квадратные пирамидальные и кубические;
- тетраэдральные и биквадратные;
- квадратные пирамидальные и биквадратные.
Архаичные виды фигурных чисел
В античные времена, когда арифметика не отделялась от геометрии, пифагорейцы (VI век Шаблон:Донэ) различали ещё несколько видов фигурных чисел[35].
- Линейные числа — числа, «измеряемые только единицей», то есть, в современной терминологии, простые числа (у Евклида используется термин «первые числа», Шаблон:Lang-grc).
- Плоские (или плоскостные) числа — числа, представимые в виде произведения двух сомножителей, бо́льших единицы, то есть составные.
- Частным случаем являются прямоугольные числа (в источниках иногда называются «продолговатыми», Шаблон:Lang-en), представляющие собой произведение двух последовательных целых чисел[36], то есть имеющие вид <math>n (n + 1), n\geqslant 0.</math>
- Телесные числа — числа, представимые произведением трёх сомножителей, бо́льших единицы.
Комментатор Евклида Д. Д. Мордухай-Болтовской поясняет[37]: Шаблон:Начало цитатыТермины «плоскостное» и «телесное» число являются, вероятно, пережитком более раннего периода математической мысли, когда число и геометрический образ были ещё теснее связаны, когда произведение числа <math>a</math> предметов на абстрактное число <math>b</math> мыслилось как расположение этих предметов в <math>b</math> рядах по <math>a</math> предметов в каждом, с заполнением площади прямоугольника. То же следует сказать и о произведении трёх чисел, являющемся, согласно евклидовской терминологии, телесным числом. Шаблон:Конец цитаты В настоящее время простые числа не относят к фигурным, а термины «плоское число» и «телесное число» вышли из употребления[37].
Роль в теории чисел
Треугольник Паскаля
Числа из треугольника Паскаля обнаруживают связь со многими разновидностями фигурных чисел. Шаблон:Image frame На третьей линии в треугольнике Паскаля находятся треугольные числа, а на четвёртой — тетраэдральные числа (см. рисунок). Это объясняется тем, что <math>n</math>-е тетраэдральное число есть сумма первых <math>n</math> треугольных чисел, которые расположены на третьей линии. Аналогично на пятой линии расположены четырёхмерные пентатопные числа Шаблон:Итд Все они, как и прочие числа внутри треугольника Паскаля, являются биномиальными коэффициентами.
Таким образом, все внутренние элементы треугольника Паскаля являются фигурными числами, причём представлены различные их разновидности. Вдоль каждой строки, слева направо, идут гипертетраэдральные числа возрастающей размерности. Известно, что сумма всех чисел <math>n</math>-й строки равна <math>2^n,</math> отсюда следует, что сумма всех чисел первых <math>n</math> строк равна числу Мерсенна <math>M_n.</math> Следовательно, число Мерсенна можно представить как сумму гипертетраэдральных чисел[38].
Другие применения
Многие теоремы теории чисел допускают формулировку в терминах фигурных чисел. Например, гипотеза Каталана утверждает, что среди гиперкубических чисел произвольных размерностей только одна пара отличается на 1: <math>3^2=2^3+1</math> (доказано в 2002 году)Шаблон:Sfn.
Всякое чётное совершенное число является треугольнымШаблон:Sfn (и одновременно шестиугольным, причём номер шестиугольного числа есть степень двойки). Такое число не может одновременно быть квадратным, кубическим или иным гиперкубическим числомШаблон:Sfn.
Гипотеза Лежандра (1808 год, она же третья проблема Эдмунда Ландау): между последовательными квадратными числами всегда найдётся простое число. До сих пор не доказана.
Сумма первых <math>n</math> центрированных треугольных чисел <math>(n > 2)</math> есть «магическая константа» для магического квадрата размерности <math>n \times n</math>. Другие способы получить эту же константу — через треугольное число <math>\frac{T_{n^2}}{n}</math>, или сложить все натуральные числа от <math>T_{n-1}</math> до <math>T_n</math> включительноШаблон:Sfn.
Число Мерсенна, большее 1, не может быть квадратным, кубическим или иным гиперкубическим, но может быть треугольным. Треугольных чисел Мерсенна всего четыре: <math>1,3,5,4095</math>, их поиск эквивалентен решению в натуральных числах уравнения Рамануджана — Нагеля: <math>2^n-7=x^2</math>. Как оказалось, решение этого уравнения существует только при <math>n=3,4,5,7,15</math> (Шаблон:OEIS), и при <math>n>3</math> соответствующее число Мерсенна <math>M_{n-3}</math> будет тогда треугольнымШаблон:Sfn.
Число Ферма также не может быть квадратным, кубическим или иным гиперкубическим, но в единственном случае может быть треугольным: <math>F_0=3</math>. Число Ферма также не может быть тетраэдральным и гипертетраэдральным любой размерности выше 2-й[38].
Среди чисел Фибоначчи имеются только три квадратных числа (0, 1 и 144) и четыре треугольных (1, 3, 21, 55, Шаблон:OEIS). Если повернуть треугольник Паскаля, как показано на рисунке, то числа Фибоначчи можно получить как суммы вдоль восходящих диагоналей; этот факт даёт разложение числа Фибоначчи по гипертетраэдральным числам[39].
Среди чисел Люка квадратных чисел два (1 и 4), а треугольных три (1, 3, 5778)Шаблон:Sfn.
Числа Каталана <math>Cat_n</math> выражаются через гипертетраэдральные числа следующим образомШаблон:Sfn:
- <math>Cat_n = S^{[n]}_{n+1} - S^{[n-1]}_{n+2}</math>.
Ещё один класс чисел, тесно связанных с фигурными — числа Стирлинга второго рода <math>S(n,m)</math>. Этот класс включает все треугольные числа: <math>T_n=S(n+1,n)</math>, а выражение <math>S(n,2)+1</math> равно 2-му по порядку <math>n</math>-мерному гиперкубическому числу <math>Q^{[n]}_2</math>. Наконец, всякое <math>n</math>-мерное гиперкубическое число разлагается по <math>S(n,m)</math> следующим образом[40]:
- <math>Q^{[d]}_n = \sum^d_{m=0} {S(d,m)n(n-1)\dots(n-m+1)}</math>.
Примечания
Литература
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Публикация
Ссылки
Шаблон:Последовательности и ряды
- ↑ Шаблон:Книга
- ↑ Шаблон:Книга
- ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокDD12
не указан текст - ↑ Шаблон:Книга
- ↑ Шаблон:Книга Шаблон:Wayback
- ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокDD15
не указан текст - ↑ Sameen Ahmed Khan. Sums of the powers ofreciprocals of polygonal numbers (формула 23)
- ↑ Шаблон:Книга Шаблон:Wayback
- ↑ 9,0 9,1 Шаблон:Книга Вопреки названию, книга прослеживает историю понятия числа с самых древних времён.
- ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокDD10
не указан текст - ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокDD237
не указан текст - ↑ Шаблон:Книга Шаблон:Wayback
- ↑ Шаблон:Mathworld
- ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокDICK2
не указан текст - ↑ Шаблон:Cite web
- ↑ Шаблон:Статья
- ↑ Шаблон:Публикация
- ↑ 18,0 18,1 Ошибка цитирования Неверный тег
<ref>
; для сносокDD37
не указан текст - ↑ В самом деле, пусть <math>\frac{a}{n_1} + \frac{b}{n_2}</math> (все числа целые) есть целое <math>K</math>, причём <math>n_1</math>, <math>n_2</math> — взаимно просты. Умножая обе части на <math>n_1</math>, получим: <math>\frac{b n_1}{n_2} = Kn_1 - a</math>. Справа — целое число, поэтому <math>n_2</math> делит <math>b n_1</math>, и, согласно обобщённой лемме Евклида, <math>n_2</math> делит <math>b</math>.
- ↑ 20,0 20,1 Ошибка цитирования Неверный тег
<ref>
; для сносокDD39
не указан текст - ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокDD34
не указан текст - ↑ Lawrence Downey, Boon W. Ong. Beyond the Basel Problem: Sums ofReciprocals of Figurate Numbers Шаблон:Wayback
- ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокDD40
не указан текст - ↑ 24,0 24,1 24,2 24,3 Ошибка цитирования Неверный тег
<ref>
; для сносокDD217
не указан текст - ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокDD76
не указан текст - ↑ Шаблон:Статья
- ↑ Шаблон:Публикация
- ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокDD75
не указан текст - ↑ 29,0 29,1 29,2 Ошибка цитирования Неверный тег
<ref>
; для сносокDD78
не указан текст - ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокDD126
не указан текст - ↑ Watson G. N. The Problem of the Square Pyramid // Messenger. Math. 1918. Vol. 48. P. 1-16.
- ↑ 32,0 32,1 Шаблон:Cite web
- ↑ 33,0 33,1 Ошибка цитирования Неверный тег
<ref>
; для сносокDEZA77
не указан текст - ↑ Шаблон:Публикация
- ↑ Гайденко П. П. Эволюция понятия науки (становление и развитие первых научных программ) Шаблон:Wayback, глава 1. М.: Наука, 1980.
- ↑ Шаблон:Публикация
- ↑ 37,0 37,1 Шаблон:Книга
- ↑ 38,0 38,1 Ошибка цитирования Неверный тег
<ref>
; для сносокDD203
не указан текст - ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокDD208
не указан текст - ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокDD214
не указан текст