Метод нескінченного спуску, метод Чакравала та числа Пелля

Анотація

Метод нескінченного спуску є елегантним інструментом для доведення неможливості певних розв’язків, використовуючи логіку зменшення параметрів до абсурду. Метод вперше був чітко сформульований і використаний П’єром де Ферма у XVII столітті, хоча ідеї, схожі на цей метод, могли з’явитися в математиці раніше в менш формалізованому вигляді. Ферма застосував цей метод у своїх працях з теорії чисел для доведення тверджень, пов’язаних із діофантовими рівняннями, і зокрема – Великої теореми Ферма^[1]. Цей метод і зараз залишається актуальним, допомагаючи розв’язувати складні діофантові рівняння. У той же час, метод чакравала, розроблений індійськими математиками та описаний Брахмагуптою та Бхаскарою, є потужним алгоритмом для знаходження цілочисельних розв’язків рівняння Пелля, що є відомим діофантовим рівнянням. Цей циклічний метод базується на послідовному «згортанні» трійок знайдених розв’язків і має на меті ефективно наближати ірраціональні числа раціональними дробами. Завдяки своїй простоті та універсальності метод чакравала перевершує за ефективністю деякі сучасні підходи, такі як метод Лагранжа, і знаходить застосування в криптографії, комбінаториці та теорії чисел. Числа Пелля та відповідні рівняння Пелля відіграють ключову роль у теорії чисел, зокрема при розв’язуванні діофантових рівнянь виду  та мають зв’язок з ланцюговими дробами.

[1] Наразі достеменно невідомо, чи мав Ферма математично завершене доведення Великої теореми.