В математике многоугольное число — это число , которое состоит из точек, расположенных в форме правильного многоугольника [1] : 2-3 . Это один из типов двумерных фигурных чисел .
Многоугольные числа впервые были изучены в VI веке до нашей эры древними греками, которые исследовали и обсуждали свойства продолговатых , треугольных и квадратных чисел [1] : 1 .
Например, число 10 можно расположить в виде треугольника (см. треугольное число ):
Но 10 не может быть представлено в виде квадрата . Число 9, с другой стороны, может быть представлено (см. квадратное число ):
Некоторые числа, например 36, можно расположить и в виде квадрата, и в виде треугольника (см. квадратно-треугольное число ):
По соглашению, 1 — это первое многоугольное число для любого количества сторон. Правило увеличения многоугольника до следующего размера заключается в том, чтобы расширить две смежные стороны на одну точку, а затем добавить требуемые дополнительные стороны между этими точками. На следующих диаграммах каждый дополнительный слой показан красным цветом.
Многоугольники с большим числом сторон, такие как пятиугольники и шестиугольники, также можно построить по этому правилу, хотя точки уже не будут образовывать идеально правильную решетку, как выше.
Если s — число сторон многоугольника, то формула для n -го s -угольного числа P ( s , n ) имеет вид
или
n- ое s - угольное число также связано с треугольными числами T n следующим образом: [2]
Таким образом:
Для данного s -угольного числа P ( s , n ) = x можно найти n по формуле
и можно найти s по
Применяем формулу выше:
в случае 6 сторон даёт:
но поскольку:
отсюда следует, что:
Это показывает, что n- е шестиугольное число P (6, n ) также является (2 n − 1)-м треугольным числом T 2 n −1 . Мы можем найти каждое шестиугольное число, просто взяв нечетные треугольные числа: [2]
Первые 6 значений в столбце «сумма обратных величин» для треугольных и восьмиугольных чисел взяты из опубликованного решения общей задачи, которое также дает общую формулу для любого числа сторон в терминах дигамма-функции . [3]
В « Онлайновой энциклопедии целочисленных последовательностей» избегаются термины, использующие греческие префиксы (например, «восьмиугольный»), в пользу терминов, использующих цифры (например, «8-угольный»).
Свойство этой таблицы можно выразить следующим тождеством (см. A086270):
с
Некоторые числа, такие как 36, которое является и квадратным, и треугольным, распадаются на два многоугольных множества. Задача определения, если даны два таких множества, всех чисел, которые принадлежат обоим, может быть решена путем сведения задачи к уравнению Пелля . Простейшим примером этого является последовательность квадратных треугольных чисел .
В следующей таблице приведен набор s -угольных t -угольных чисел для малых значений s и t .
В некоторых случаях, например, при s = 10 и t = 4 , в обоих наборах нет чисел, отличных от 1.
Проблема поиска чисел, принадлежащих трем многоугольным множествам, сложнее. Компьютерный поиск пятиугольных квадратных треугольных чисел дал только тривиальное значение 1, хотя доказательство того, что других таких чисел нет, пока не найдено. [5]
Число 1225 является гекатоникоситетрагональным ( s = 124 ), гексаконтагональным ( s = 60 ), икосиеннеагональным ( s = 29 ), шестиугольным, квадратным и треугольным.