Русская Википедия:Уравнение Пелля
В математике уравнение Пелля — диофантово уравнение вида
- <math>x^2-n y^2=1,</math>
где <math>n</math> — натуральное число, не являющееся квадратом.
Простейшие свойства
- Пары <math>(\pm 1,\,0)</math> всегда являются решениями, называемыми тривиальными.
- Ввиду симметрии достаточно найти все решения с положительными <math>x</math> и <math>y</math>.
- Если <math>n</math> является полным квадратом, то у уравнения нет нетривиальных решений, поскольку в левой части стоит разность двух полных квадратов, что объясняет ограничение на параметр <math>n</math>.
Эквивалентные формулировки и связь с теорией полей
Пара <math>(x, y)</math> является решением уравнения Пелля тогда и только тогда, когда норма числа <math>x+y\sqrt{n}</math> в расширении <math>\Q(\sqrt{n})</math> поля <math>\Q</math> равна единице:
- <math>N(x+y\sqrt{n}) = (x+y\sqrt{n})(x-y\sqrt{n}) = x^2 - n y^2.</math>
В частности, решению соответствует единица кольца <math>\mathbb{Z}[\sqrt{n}]</math>. Поэтому, а также в силу мультипликативности нормы, решения можно как «умножать», так и «делить»: решениям <math>(x_1,\;y_1)</math> и <math>(x_2,\;y_2)</math> можно поставить в соответствие решения
- <math>(x_1 x_2 + n y_1 y_2,\; x_1 y_2 + y_1 x_2), \quad (x_1 x_2 - n y_1 y_2,\; -x_1 y_2 + y_1 x_2).</math>
Кроме того, существование нетривиальных решений таким образом может быть выведено из теоремы Дирихле о единицах (утверждающей в данном случае, что ранг группы единиц кольца целых расширения <math>\Q(\sqrt{n})</math> равен 1).
Связь с цепными дробями
Легко видеть, что при больших <math>x</math> и <math>y</math>, являющихся решениями уравнения Пелля, отношение <math>x/y</math> должно быть близким к <math>\sqrt{n}</math>. Оказывается, что верно и более сильное утверждение: такая дробь должна быть подходящей дробью для <math>\sqrt{n}</math>, и имеет место следующий критерий: Шаблон:Рамка Числитель и знаменатель подходящей дроби для <math>\sqrt{n}</math> являются решением уравнения Пелля тогда и только тогда, когда номер этой подходящей дроби нечётен и сравним с <math>-1</math> по модулю <math>P</math>, где <math>P</math> — период цепной дроби для <math>\sqrt{n}</math>. Шаблон:Конец рамки
История
Первые упоминания о таком уравнении были найдены в работах математиков Древней Греции и Древней Индии. Общий способ решения уравнения — так называемый «циклический метод» — присутствует в работах индийского математика VII века Брахмагупты, впрочем, без доказательства, что этот метод всегда приводит к решению. В общем виде задачу сформулировал французский математик Пьер Ферма, поэтому во Франции данное уравнение называется «уравнением Ферма». Современное же название уравнения возникло благодаря Леонарду Эйлеру, ошибочно приписавшему их авторство Джону Пеллю.
См. также
- Теорема Матиясевича
- Десятая проблема Гильберта
- Метод «чакравала» — метод нахождения наименьшего нетривиального решения.
- Цепная дробь
Литература
Ссылки
