Число, используемое для аппроксимации квадратного корня из 2
В математике числа Пелля представляют собой бесконечную последовательность целых чисел , известную с древних времен, которая представляет собой знаменатели ближайших рациональных приближений к квадратному корню из 2. Эта последовательность приближений начинается 1/1 , 3/2 , 7/5 , 17/12 , и 41/29 , поэтому последовательность чисел Пелля начинается с 1, 2, 5, 12 и 29. Числители той же последовательности приближений являются половинами сопутствующих чисел Пелля или чисел Пелла–Лукаса ; эти числа образуют вторую бесконечную последовательность, которая начинается с 2, 6, 14, 34 и 82.
Как и в случае с уравнением Пелля , название чисел Пелля происходит от ошибочного приписывания Леонардом Эйлером уравнения и чисел, полученных из него, Джону Пеллю . Числа Пелля–Лукаса также названы в честь Эдуарда Люка , который изучал последовательности, определяемые рекуррентностями этого типа; числа Пелля и сопутствующие им числа Пелля являются последовательностями Люка .
В словах последовательность чисел Пелла начинается с 0 и 1, а затем каждое число Пелла является суммой удвоенного предыдущего числа Пелла, плюс число Пелла перед ним. Первые несколько членов последовательности:
Аналогично формуле Бине числа Пелля можно также выразить с помощью замкнутой формулы
При больших значениях n в этом выражении доминирует член (1 + √ 2 ) n , поэтому числа Пелля приблизительно пропорциональны степеням серебряного сечения 1 + √ 2 , аналогично скорости роста чисел Фибоначчи как степеней золотого сечения .
Из этих определений можно вывести или доказать множество тождеств ; например, тождество, аналогичное тождеству Кассини для чисел Фибоначчи,
является непосредственным следствием матричной формулы (найденной путем рассмотрения определителей матриц в левой и правой частях матричной формулы). [2]
тогда их отношение х/у обеспечивает близкое приближение к √ 2. Последовательность приближений этой формы:
где знаменатель каждой дроби — число Пелля, а числитель — сумма числа Пелля и его предшественника в последовательности. То есть решения имеют вид
Приближение
такого типа была известна индийским математикам в третьем или четвертом веке до н. э. [3] Греческие математики пятого века до н. э. также знали эту последовательность приближений: [4] Платон называет числители рациональными диаметрами . [5] Во втором веке н. э. Теон из Смирны использовал термин числа сторон и диаметров для описания знаменателей и числителей этой последовательности. [6]
Усечение этого расширения до любого количества членов дает одно из приближений, основанных на числе Пелля в этой последовательности; например,
Как описывает Кнут (1994), тот факт, что числа Пелля приближаются к √ 2, позволяет использовать их для точных рациональных приближений к правильному восьмиугольнику с координатами вершин (± P i , ± P i +1 ) и (± P i +1 , ± P i ) . Все вершины одинаково удалены от начала координат и образуют почти одинаковые углы вокруг начала координат. В качестве альтернативы, точки , и образуют приблизительные восьмиугольники, в которых вершины почти одинаково удалены от начала координат и образуют одинаковые углы.
Простые числа и квадраты
Простое число Пелла — это число Пелла, которое является простым . Первые несколько простых чисел Пелла — это
Все эти индексы сами по себе являются простыми. Как и числа Фибоначчи, число Пелля P n может быть простым, только если само n является простым, потому что если d является делителем n , то P d является делителем P n .
Однако, несмотря на то, что у чисел Пелля так мало квадратов или других степеней, они тесно связаны с квадратно-треугольными числами . [8] В частности, эти числа возникают из следующего тождества чисел Пелля:
Левая часть этого тождества описывает квадратное число, а правая часть описывает треугольное число , поэтому результатом является квадратно-треугольное число.
Фалькон и Диас-Барреро (2006) доказали еще одно тождество, связывающее числа Пелля с квадратами и показывающее, что сумма чисел Пелля до P 4 n +1 всегда является квадратом:
Например, сумма чисел Пелля до P 5 , 0 + 1 + 2 + 5 + 12 + 29 = 49 , является квадратом P 2 + P 3 = 2 + 5 = 7 . Числа P 2 n + P 2 n +1 , образующие квадратные корни этих сумм,
Если прямоугольный треугольник имеет целые длины сторон a , b , c (обязательно удовлетворяющие теореме Пифагора a 2 + b 2 = c 2 ), то ( a , b , c ) известно как пифагорейская тройка . Как описывает Мартин (1875), числа Пелля могут быть использованы для формирования пифагорейских троек, в которых a и b находятся на расстоянии одной единицы друг от друга, что соответствует прямоугольным треугольникам, которые являются почти равнобедренными. Каждая такая тройка имеет вид
Последовательность пифагорейских троек, образованная таким образом, имеет вид
Проще говоря: первые два числа в последовательности оба равны 2, и каждое последующее число образуется путем прибавления удвоенного предыдущего числа Пелла–Лукаса к предыдущему числу Пелла–Лукаса или, что эквивалентно, путем прибавления следующего числа Пелла к предыдущему числу Пелла: таким образом, 82 является спутником 29, и 82 = 2 × 34 + 14 = 70 + 12. Первые несколько членов последовательности (последовательность A002203 в OEIS ): 2 , 2, 6 , 14 , 34 , 82 , 198, 478 , …
Сопутствующие числа Пелля можно выразить с помощью замкнутой формулы
Все эти числа четные ; каждое такое число в два раза больше числителя в одном из рациональных приближений, рассмотренных выше.
Подобно последовательности Лукаса, если число Пелля–Лукаса 1/2 Q n — простое число, необходимо, чтобы n было либо простым, либо степенью 2. Простые числа Пелла–Лукаса — это
Коэффициенты — это полукомпаньоны чисел Пелля H n и числа Пелля P n , которые являются (неотрицательными) решениями для H 2 − 2 P 2 = ±1 . Квадратно-треугольное число — это число
которое является как t -м треугольным числом, так и s -м квадратным числом. Почти равнобедренная пифагорова тройка является целочисленным решением уравнения a 2 + b 2 = c 2 , где a + 1 = b .
Следующая таблица показывает, что разбиение нечетного числа H n на почти равные половины дает квадратно-треугольное число, когда n четное, и почти равнобедренную пифагорову тройку, когда n нечетное. Все решения возникают таким образом.
Определения
Полусопутствующие числа Пелля H n и числа Пелля P n можно вывести несколькими легко эквивалентными способами.
Возведение в степень
Из этого следует, что существуют замкнутые формы :
и
Парные рецидивы
Формулы взаимной рекуррентности
Пусть n будет не менее 2.
Матричные формулировки
Так
Приближения
Разница между H n и P n √ 2 составляет
который быстро стремится к нулю. Так что
чрезвычайно близок к 2 H n .
Из этого последнего наблюдения следует, что целочисленные отношения Н н/П н быстро приближаться к √ 2 ; и Н н/Н n −1 и П н/П н −1 быстро приближаются к 1 + √ 2 .
ЧАС 2 − 2П 2 = ±1
Поскольку √ 2 иррационально, мы не можем иметь ЧАС/П = √ 2 , т.е.,
Лучшее, чего мы можем добиться, это либо
(Неотрицательные) решения H 2 − 2 P 2 = 1 — это в точности пары ( H n , P n ) с четным n , а решения H 2 − 2 P 2 = −1 — это в точности пары ( H n , P n ) с нечетным n . Чтобы увидеть это, сначала отметим, что
так что эти различия, начиная с H 2 0− 2 П 2 0= 1 , попеременно равны 1 и −1. Затем обратите внимание, что каждое положительное решение получается таким образом из решения с меньшими целыми числами, поскольку
Меньшее решение также имеет положительные целые числа, за одним исключением: H = P = 1 , что следует из H 0 = 1 и P 0 = 0.
Квадратные треугольные числа
Требуемое уравнение
эквивалентно тому
, что становится H 2 = 2 P 2 + 1 с заменами H = 2 t + 1 и P = 2 s . Следовательно, n -е решение равно
Заметим, что t и t + 1 являются взаимно простыми, так что т ( т + 1)/2 = s 2 происходит именно тогда, когда они являются соседними целыми числами, одно квадратом H 2 , а другое дважды квадратом 2 P 2 . Поскольку мы знаем все решения этого уравнения, мы также имеем
и
Это альтернативное выражение показано в следующей таблице.
Пифагоровы тройки
Равенство c 2 = a 2 + ( a + 1) 2 = 2 a 2 + 2 a + 1 имеет место точно тогда, когда 2 c 2 = 4 a 2 + 4 a + 2 , что становится 2 P 2 = H 2 + 1 с заменами H = 2 a + 1 и P = c . Следовательно, n -е решение равно a n = Н2n +1 − 1/2 и c n = P 2 n +1 .
Таблица выше показывает, что в том или ином порядке a n и b n = a n + 1 являются H n H n +1 и 2 P n P n +1, в то время как c n = H n +1 P n + P n +1 H n .
^ О матричной формуле и ее следствиях см. Ercolano (1979) и Kilic and Tasci (2005). Дополнительные тождества для чисел Пелля перечислены Horadam (1971) и Bicknell (1975).
^ Как записано в Шульба-сутрах ; см., например, Дутка (1986), который ссылается на Тибо (1875) для получения этой информации.
^ См. Knorr (1976) для даты пятого века, что соответствует утверждению Прокла о том, что числа сторон и диаметров были открыты пифагорейцами . Для более подробного исследования более поздних греческих знаний об этих числах см. Thompson (1929), Vedova (1951), Ridenhour (1986), Knorr (1998) и Filep (1999).
^ Например, как показывают некоторые ссылки из предыдущей заметки, в « Государстве» Платона есть ссылка на «рациональный диаметр 5», под которым Платон подразумевает 7, числитель приближения 7/5 знаменателем которого является 5.
↑ Хит, сэр Томас Литтл (1921), История греческой математики: от Фалеса до Евклида, Courier Dover Publications, стр. 112, ISBN 9780486240732.
^ Pethő (1992); Cohn (1996). Хотя числа Фибоначчи определяются очень похожей рекуррентностью с числами Пелля, Cohn пишет, что аналогичный результат для чисел Фибоначчи, по-видимому, гораздо сложнее доказать. (Однако, это было доказано в 2006 году Bugeaud et al.)
Бикнелл, Марджори (1975). «Учебник по последовательности Пелла и связанным с ней последовательностям». Fibonacci Quarterly . 13 (4): 345–349. doi :10.1080/00150517.1975.12430627. MR 0387173.
Cohn, JHE (1996). «Совершенные степени Пелля». Glasgow Mathematical Journal . 38 (1): 19–20. doi : 10.1017/S0017089500031207 . MR 1373953.
Дутка, Жак (1986). «О квадратных корнях и их представлениях». Архив истории точных наук . 36 (1): 21–39. doi :10.1007/BF00357439. MR 0863340. S2CID 122277481.
Филеп, Ласло (1999). «Числа Пифагора и диагонали» (PDF) . Acta Mathematica Academiae Paedagogicae Nyíregyháziensis . 15 : 1–7. Архивировано из оригинала (PDF) 6 июля 2020 г. Проверено 29 января 2007 г.
Хорадам, А. Ф. (1971). «Тождества Пелла». Fibonacci Quarterly . 9 (3): 245–252, 263. doi :10.1080/00150517.1971.12431004. MR 0308029.
Килич, Эмра; Таши, Дурсун (2005). «Линейная алгебра матрицы Пелля». Boletín de la Sociedad Matematica Mexicana, Tercera Serie . 11 (2): 163–174. МР 2207722.
Мартин, Артемас (1875). «Рациональные прямоугольные треугольники, почти равнобедренные». The Analyst . 3 (2): 47–50. doi :10.2307/2635906. JSTOR 2635906.
Pethő, A. (1992). «Последовательность Пелла содержит только тривиальные совершенные степени». Множества, графы и числа (Будапешт, 1991) . Colloq. Math. Soc. János Bolyai, 60, North-Holland. стр. 561–568. MR 1218218.
Ridenhour, JR (1986). «Лестничные приближения иррациональных чисел». Mathematics Magazine . 59 (2): 95–105. doi :10.2307/2690427. JSTOR 2690427.
Фалькон Сантана, Серхио; Диас-Барреро, Хосе Луис (2006). «Некоторые свойства сумм, включающих числа Пелла». Миссурийский журнал математических наук . 18 (1). дои : 10.35834/2006/1801033 . hdl : 10553/72698 .
Sellers, James A. (2002). "Domino tilings and products of Fibonacci and Pell numbers" (PDF) . Journal of Integer Sequences . 5 : 12. Bibcode :2002JIntS...5...12S. MR 1919941. Архивировано из оригинала (PDF) 2020-07-05 . Получено 2007-01-28 .
Тибо, Джордж (1875). «О сульвасутрах». Журнал Королевского азиатского общества Бенгалии . 44 : 227–275.
Томпсон, Д'Арси Уэнтворт (1929). "III.—Избыток и недостаток: или немного больше и немного меньше". Mind . New Series. 38 (149): 43–55. doi :10.1093/mind/XXXVIII.149.43. JSTOR 2249223.