Термин «фигурное число» используется разными авторами для обозначения членов разных наборов чисел, от треугольных чисел до разных форм (многоугольные числа) и разных размеров (многогранные числа). Термин может означать
Некоторые виды фигурных чисел обсуждались в XVI и XVII веках под названием «цифровое число». [2]
В исторических трудах по греческой математике предпочтительным термином было фигурное число . [3] [4]
В использовании, восходящем к «Ars Conjectandi» Якоба Бернулли [1] , термин « фигурное число» используется для треугольных чисел , состоящих из последовательных целых чисел , тетраэдрических чисел , состоящих из последовательных треугольных чисел и т. д. Они оказываются биномиальными коэффициентами. . При таком использовании квадратные числа (4, 9, 16, 25, ...) не будут считаться фигурными числами, если рассматривать их как расположенные в квадрате.
В ряде других источников термин фигурное число используется как синоним многоугольных чисел , либо просто обычного вида, либо и тех, и центрированных многоугольных чисел . [5]
Говорят, что математическое изучение фигурных чисел началось с Пифагора , возможно, на основе вавилонских или египетских предшественников. Создание того класса фигурных чисел, который пифагорейцы изучали с помощью гномонов , также приписывают Пифагору. К сожалению, для этих утверждений нет достоверного источника, поскольку все сохранившиеся сочинения о пифагорейцах [6] датированы столетиями позже. [7] Спевсипп является самым ранним источником, разоблачающим мнение о том, что десять, как четвертое треугольное число, на самом деле было тетрактисом , который, как предполагалось, имел большое значение для пифагорейства . [8] Фигурные числа были предметом озабоченности пифагорейского мировоззрения. Было хорошо понятно, что некоторые числа могут иметь много образов, например, 36 — это и квадрат, и треугольник, а также различные прямоугольники.
Современное изучение фигурных чисел восходит к Пьеру де Ферма , в частности, к теореме Ферма о многоугольных числах . Позже это стало важной темой для Эйлера , который дал явную формулу для всех треугольных чисел, которые также являются идеальными квадратами , среди многих других открытий, касающихся фигурных чисел.
Фигурные числа сыграли значительную роль в современной развлекательной математике. [9] В исследовательской математике числа фигур изучаются с помощью полиномов Эрхарта , полиномов , которые подсчитывают количество целых точек в многоугольнике или многограннике, когда он расширяется на заданный коэффициент. [10]
Треугольные числа для n = 1, 2, 3, ... являются результатом сопоставления линейных чисел (линейных гномонов) для n = 1, 2, 3, ... :
Это биномиальные коэффициенты . Это случай r = 2 того, что r- я диагональ треугольника Паскаля при r ≥ 0 состоит из фигурных чисел для r -мерных аналогов треугольников ( r -мерных симплексов ).
Симплициальные многогранные числа для r = 1, 2, 3, 4,... :
Термины «квадратное число» и «кубическое число» происходят от их геометрического представления в виде квадрата или куба . Разность двух положительных треугольных чисел является трапециевидным числом .
Гномон — это деталь, добавляемая к фигурному числу для преобразования его в следующее большее число .
Например, гномоном квадратного числа является нечетное число , общего вида 2 n + 1 , n = 0, 1, 2, 3,... . Квадрат размера 8, составленный из гномонов, выглядит так:
Для преобразования n -квадрата (квадрата размера n ) в ( n + 1) -квадрат необходимо присоединить 2 n + 1 элементов: по одному к концу каждой строки ( n элементов), по одному к концу каждой столбец ( n элементов) и один в углу. Например, при преобразовании квадрата 7 в квадрат 8 мы добавляем 15 элементов; эти присоединения обозначены восьмерками на рисунке выше.
Этот гномонический метод также обеспечивает математическое доказательство того, что сумма первых n нечетных чисел равна n 2 ; на рисунке показано 1 + 3 + 5 + 7 + 9 + 11 + 13 + 15 = 64 = 8 2 .
Существует аналогичный «гномон», в котором центрированные шестиугольные числа складываются в кубы каждого целого числа.