Фигурные числа

Фигурные числа — это общее название для чисел, которые можно представить в виде геометрических фигур (точек, шаров, кругов) на плоскости или в пространстве. Концепция восходит к пифагорейской школе (VI—V века до н. э.), где числа отождествлялись с протяжёнными величинами и изучались через их геометрические расположения. Фигурные числа делятся на плоские (двумерные) и пространственные (трёхмерные), а также на классы в зависимости от правильного многоугольника или многогранника, который они образуют. Изучение фигурных чисел относится к разделу теории чисел и комбинаторики; они находят применение в кристаллографии, теории кодирования и вычислительной геометрии.

История

Первые упоминания фигурных чисел встречаются в трудах древнегреческих математиков. Пифагорейцы (около 540 г. до н. э.) рассматривали числа как «точки» и изучали их расположение на плоскости, выделяя треугольные, квадратные, пятиугольные и другие многоугольные числа. Аристотель в «Метафизике» упоминал, что пифагорейцы отождествляли числа с геометрическими формами. В III веке до н. э. Евклид в «Началах» (книга IX) дал определение квадратных чисел и доказал, что квадратное число не может быть простым (кроме 1). В I веке н. э. Никомах Геразский в «Введении в арифметику» систематизировал учение о фигурных числах, ввёл классификацию по числу сторон многоугольника и описал свойства треугольных и квадратных чисел.

В средневековой Европе интерес к фигурным числам возродился в трудах Леонардо Пизанского (Фибоначчи) в XIII веке, который в «Книге абака» исследовал последовательности треугольных и квадратных чисел. В XVII веке Пьер Ферма сформулировал теорему о том, что любое натуральное число является суммой не более чем n n-угольных чисел (теорема Ферма о многоугольных числах), доказанную позже Огюстеном Луи Коши (1813). В XVIII—XIX веках Карл Гаусс, Леонард Эйлер и Адриен Мари Лежандр развили теорию фигурных чисел, связав её с квадратичными формами и теорией чисел. В XX веке фигурные числа стали изучаться в контексте комбинаторной геометрии и теории графов.

Классификация фигурных чисел

Фигурные числа классифицируются по размерности (плоские и пространственные) и по форме правильного многоугольника или многогранника.

Плоские фигурные числа

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

• Треугольные числа — числа, которые можно представить в виде равностороннего треугольника. n-е треугольное число \( T_n \) вычисляется по формуле:

\[ T_n = \frac{n(n+1)}{2}. \] Последовательность: 1, 3, 6, 10, 15, 21, 28, 36, 45, 55, … (A000217 в OEIS).

• Квадратные числа — числа, образующие квадрат. n-е квадратное число \( S_n = n^2 \). Последовательность: 1, 4, 9, 16, 25, 36, 49, 64, 81, 100, … (A000290).

• Пятиугольные числа — числа, образующие правильный пятиугольник. n-е пятиугольное число \( P_n = \frac{n(3n-1)}{2} \). Последовательность: 1, 5, 12, 22, 35, 51, 70, 92, 117, 145, … (A000326).

• Шестиугольные числа — числа, образующие правильный шестиугольник. n-е шестиугольное число \( H_n = n(2n-1) \). Последовательность: 1, 6, 15, 28, 45, 66, 91, 120, 153, 190, … (A000384).

Общая формула для n-го k-угольного числа (k — число сторон, k ≥ 3): \[ P(k, n) = \frac{n}{2} \left[ (k-2)n - (k-4) \right]. \]

Пространственные фигурные числа

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

• Тетраэдрические числа — числа, образующие правильный тетраэдр (пирамиду с треугольным основанием). n-е тетраэдрическое число \( T_n^{(3)} = \frac{n(n+1)(n+2)}{6} \). Последовательность: 1, 4, 10, 20, 35, 56, 84, 120, 165, 220, … (A000292).

• Кубические числа — числа, образующие куб. n-е кубическое число \( C_n = n^3 \). Последовательность: 1, 8, 27, 64, 125, 216, 343, 512, 729, 1000, … (A000578).

• Октаэдрические числа — числа, образующие правильный октаэдр. n-е октаэдрическое число \( O_n = \frac{n(2n^2+1)}{3} \). Последовательность: 1, 6, 19, 44, 85, 146, 231, 344, 489, 670, … (A005900).

• Додекаэдрические числа — числа, образующие правильный додекаэдр. n-е додекаэдрическое число \( D_n = \frac{n(3n-1)(3n-2)}{2} \). Последовательность: 1, 20, 84, 220, 455, 816, 1330, 2024, 2925, 4060, … (A006566).

• Икосаэдрические числа — числа, образующие правильный икосаэдр. n-е икосаэдрическое число \( I_n = \frac{n(5n^2-5n+2)}{2} \). Последовательность: 1, 12, 48, 124, 255, 456, 742, 1128, 1629, 2260, … (A006564).

Другие виды фигурных чисел

• Центрированные фигурные числа — числа, представляющие собой точки, расположенные вокруг центральной точки. Например, центрированные квадратные числа, центрированные шестиугольные числа (также называемые гексагональными числами).
• Звёздчатые числа — числа, образующие шестиконечную звезду (например, 1, 13, 37, 73, …).
• Пирамидальные числа — обобщение тетраэдрических чисел для многоугольных оснований (например, квадратные пирамидальные числа).

Свойства фигурных чисел

Фигурные числа обладают рядом арифметических и комбинаторных свойств:

• Сумма двух последовательных треугольных чисел равна квадратному числу: \( T_n + T_{n-1} = n^2 \).
• Сумма первых n нечётных чисел равна n-му квадратному числу: \( 1 + 3 + 5 + \dots + (2n-1) = n^2 \).
• Сумма первых n треугольных чисел равна n-му тетраэдрическому числу: \( \sum_{k=1}^n T_k = \frac{n(n+1)(n+2)}{6} \).
• Каждое квадратное число является суммой двух треугольных чисел: \( n^2 = T_n + T_{n-1} \).
• Теорема Ферма о многоугольных числах: любое натуральное число можно представить как сумму не более чем n n-угольных чисел. Например, любое число — сумма не более трёх треугольных чисел (теорема Гаусса, 1796).
• Рекуррентные соотношения: для k-угольных чисел выполняется \( P(k, n) = P(k, n-1) + (k-2)(n-1) + 1 \).

Применение

Фигурные числа находят применение в различных областях:

• Теория чисел: используются для изучения разбиений чисел, квадратичных форм, диофантовых уравнений. Например, задача о представлении числа в виде суммы квадратов связана с квадратными числами.
• Комбинаторика: треугольные числа возникают в задачах подсчёта числа сочетаний (число способов выбрать 2 элемента из n равно \( T_{n-1} \)), а также в задачах о расположении точек на плоскости.
• Кристаллография: кубические и тетраэдрические числа описывают упаковки атомов в кристаллических решётках. Например, число атомов в кубической гранецентрированной решётке может быть выражено через октаэдрические числа.
• Вычислительная геометрия: фигурные числа используются для генерации сеток и разбиений пространства.
• Теория кодирования: некоторые коды, исправляющие ошибки, основаны на геометрических структурах, соответствующих фигурным числам.
• Математическое образование: фигурные числа служат наглядным пособием для изучения арифметических прогрессий, суммирования и индукции.

Примеры и интересные факты

• Число 10 является треугольным числом \( T_4 = 10 \). В древности оно считалось священным (тетрактис пифагорейцев).
• Число 36 — одновременно квадратное (6²) и треугольное ( \( T_8 = 36 \) ). Такие числа называются квадратно-треугольными. Следующее такое число — 1225.
• Число 1 является фигурным числом для всех правильных многоугольников и многогранников.
• Сумма первых n кубических чисел равна квадрату n-го треугольного числа: \( 1^3 + 2^3 + \dots + n^3 = (T_n)^2 \).
• В 1796 году Карл Гаусс доказал, что любое натуральное число представимо в виде суммы не более трёх треугольных чисел (теорема Гаусса). В своём дневнике он записал: «Eureka! num = Δ + Δ + Δ».

Критика и ограничения

Концепция фигурных чисел имеет ограниченную применимость в современной теоретической математике, так как она в основном носит исторический и дидактический характер. В то же время, фигурные числа продолжают изучаться в рамках комбинаторной теории чисел и теории графов, где они служат источником задач для олимпиад и исследований. Некоторые обобщения (например, фигурные числа в многомерных пространствах) не имеют наглядной геометрической интерпретации и рассматриваются как чисто алгебраические конструкции.

Источники

• Никомах Геразский. «Введение в арифметику». — I век н. э.
• Евклид. «Начала». — III век до н. э.
• Гаусс К. Ф. «Арифметические исследования». — 1801.
• Коши О. Л. «Доказательство теоремы Ферма о многоугольных числах». — 1813.
• OEIS (On-Line Encyclopedia of Integer Sequences): A000217, A000290, A000326, A000384, A000292, A000578, A005900, A006566, A006564.
• Виноградов И. М. «Основы теории чисел». — М.: Наука, 1981.
• Грэхем Р., Кнут Д., Паташник О. «Конкретная математика». — М.: Мир, 1998.