Введение

Число сложенных сфер в пирамиде

В математике пирамидальное число, или квадратное пирамидальное число, — это натуральное число, которое подсчитывает количество сфер, сложенных в пирамиду с квадратным основанием. Изучение этих чисел восходит к Архимеду и Фибоначчи. Они являются частью более широкой темы фигурных чисел, представляющих собой количество точек, образующих правильные узоры в различных фигурах. Помимо подсчета сфер в пирамиде, эти числа можно алгебраически представить как сумму первых n положительных квадратных чисел или как значения кубического многочлена. Они могут быть использованы для решения ряда других задач на подсчет, включая подсчет квадратов в квадратной сетке и подсчет острых треугольников, образованных вершинами нечетного правильного многоугольника. Они равны суммам последовательных тетраэдрических чисел и составляют одну четверть большего тетраэдрического числа. Сумма двух последовательных квадратных пирамидальных чисел является октаэдрическим числом.

История

Пирамидальные числа были одним из немногих типов трехмерных фигурных чисел, изучаемых в греческой математике, в трудах Никомаха, Теона из Смирны и Ямблиха. Формулы для суммирования последовательных квадратов, дающие кубический многочлен, значения которого являются квадратными пирамидальными числами, были приведены Архимедом, который использовал эту сумму как лемму при исследовании объема конуса, и Фибоначчи, как часть более общего решения задачи нахождения формул для сумм прогрессий квадратов. Квадратные пирамидальные числа также были одним из семейств фигурных чисел, изучаемых японскими математиками периода васан, которые назвали их "кирей сайдзё суида" (в современном кандзи, 奇零 再乗 蓑深). Та же задача, сформулированная как подсчет пушечных ядер в квадратной пирамиде, была поставлена Уолтером Рэли математику Томасу Гарриоту в конце 1500-х годов, во время морского путешествия. Проблема с пушечными ядрами, спрашивающая, существуют ли какие-либо квадратные пирамидальные числа, которые также являются полными квадратами, кроме 1 и 4900, предположительно возникла из этого обмена. Эдуард Лукас обнаружил пирамиду из 4900 ядер, представляющую собой полный квадрат, и, сделав задачу с пушечными ядрами более известной, предположил, что это единственное нетривиальное решение. После неполных доказательств, представленных Лукасом и Клодом Серафином Море Бланком, первое полное доказательство отсутствия других таких чисел было дано Г. Н. Уотсоном в 1918 году.

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

Сменный ряд единичных дробей с квадратными пирамидальными числами в знаменателе тесно связан с формулой Лейбница для π, хотя он сходится быстрее. Он выглядит следующим образом:

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