Редактирование: Уравнение Пелля

Перейти к: навигация, поиск

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия Ваш текст
Строка 45: Строка 45:
 
Положим <tex>\epsilon=\sqrt{d}</tex>. Для любого натурального <tex>n>1</tex> в силу леммы существуют такие натуральные числа <tex>a_n</tex> и <tex>b_n</tex>, что <tex>b_n < n</tex> и <tex>~|a_n-b_n\sqrt{d}|<\frac{1}{n}</tex>. Далее : <tex>~|a_n^2-db_n^2|=~|a_n-b_n\sqrt{d}|\cdot~|a_n+b_n\sqrt{d}|\leqslant\frac{1}{n}~|a_n-b_n\sqrt{d}+2b_n\sqrt{d}|\leqslant 1+2\sqrt{d}</tex>. Поэтому <tex>a_n^2-db_n^2</tex> принимает конечное число значений. Но <tex>n</tex> принимает бесконечное число значений. Поэтому существует такое число <tex>c</tex>, что для него есть бесконечно много пар <tex>(a_n, b_n)</tex>, таких что <tex>a_n^2-db_n^2=c</tex>.
 
Положим <tex>\epsilon=\sqrt{d}</tex>. Для любого натурального <tex>n>1</tex> в силу леммы существуют такие натуральные числа <tex>a_n</tex> и <tex>b_n</tex>, что <tex>b_n < n</tex> и <tex>~|a_n-b_n\sqrt{d}|<\frac{1}{n}</tex>. Далее : <tex>~|a_n^2-db_n^2|=~|a_n-b_n\sqrt{d}|\cdot~|a_n+b_n\sqrt{d}|\leqslant\frac{1}{n}~|a_n-b_n\sqrt{d}+2b_n\sqrt{d}|\leqslant 1+2\sqrt{d}</tex>. Поэтому <tex>a_n^2-db_n^2</tex> принимает конечное число значений. Но <tex>n</tex> принимает бесконечное число значений. Поэтому существует такое число <tex>c</tex>, что для него есть бесконечно много пар <tex>(a_n, b_n)</tex>, таких что <tex>a_n^2-db_n^2=c</tex>.
  
Рассмотрим остатки от деления на <tex>~|c|</tex> чисел <tex> a_n, b_n</tex>. Количество остатков конечно, а пар бесконечно, поэтому существуют две различные пары <tex> (a_1, b_1),(a_2,b_2)</tex> такие, что <tex>a_1^2-db_1^2=c=a_2^2-db_2^2</tex> и <tex> a_1\equiv a_2(mod~|c|)</tex>, <tex>b_1\equiv b_2(mod~|c|)</tex>.
+
Рассмотрим остатки от деления на <tex>~|c|</tex> чисел <tex> a_n, b_n</tex>. Количество остатков конечно, а пар бесконечно, поэтому существуют две различные пары <tex> (a_1, b_1),(a_2,b_2)</tex> такие, что <tex>a_1^2-db_1^2=c=a_2^2-вb_2^2</tex> и <tex> a_1\equiv a_2(mod~|c|)</tex>, <tex>b_1\equiv b_2(mod~|c|)</tex>.
  
 
<tex>\frac{a_2+b_2\sqrt{d}}{a_1+b_1\sqrt{d}}=\frac{(a_1-b_1\sqrt{d})(a_2+b_2\sqrt{d})}{a_1^2-db_1^2}=\frac{(a_1a_2-db_1b_2)+(a_1b_2-a_2b_1)\sqrt{d}}{c}</tex>.  
 
<tex>\frac{a_2+b_2\sqrt{d}}{a_1+b_1\sqrt{d}}=\frac{(a_1-b_1\sqrt{d})(a_2+b_2\sqrt{d})}{a_1^2-db_1^2}=\frac{(a_1a_2-db_1b_2)+(a_1b_2-a_2b_1)\sqrt{d}}{c}</tex>.  

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)