2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Уранение типа Пелля
Сообщение24.03.2008, 12:48 
Заслуженный участник


09/02/06
4401
Москва
Пусть A натуральное число без квадратов. Докажите, что единственным решением уравнения:
$$x^2-Ay^4=1$$
в целых числах является $x=\pm 1,y=0$ при условии, что у минимального решения $x_0^2-Ay_0^2=1$ число $y_0$ не является квадратом.

 Профиль  
                  
 
 
Сообщение24.03.2008, 18:30 
Модератор
Аватара пользователя


11/01/06
5710
Ну, наверное, речь все-таки о минимальном ненулевом $y$ идет.

Как известно, общее решение уравнение Пелля
$$x^2 - Ay^2 = 1$$
дается формулой:

$$x_n - y_n\sqrt{A}  = (x_1 - y_1\sqrt{A})^n,$$

где $y_1\ne 0$ - то самое минимальное (ненулевое) решение.
Исходная задача равносильно доказательству того, что если $y_1$ не является полным квадратом, то им не является и $y_n$ для всех $n\geq 1$.

 Профиль  
                  
 
 
Сообщение06.02.2009, 11:56 
Модератор
Аватара пользователя


11/01/06
5710
Аналогичное утверждение для уравнения
$$x^2-Ay^4=-1$$
доказывается в статье
C.J.Hua, P.Voutier "Complete Solution of the Diophantine Equation $X^2+1=dY^4$ and a Related Family of Quartic Thue Equations". Journal of Number Theory 62(1), 1997, 71-99.
и это довольно серьезный результат, вряд ли уместный в качестве задачи. Неужели случай $+1$ сильно проще?

 Профиль  
                  
 
 
Сообщение06.02.2009, 12:17 
Заслуженный участник


09/02/06
4401
Москва
maxal писал(а):
Неужели случай $+1$ сильно проще?

Да проще. Из общего решения уравнения Пелля поллучается
$$y^2=y_n=y_0\sum_{k=0}^{[(n-1)/2]} C_n^{2k+1}(y_0^2A)^kx_0^{n-2k-1$$ - слева не квадрат, когда $y_0$ не квадрат.

 Профиль  
                  
 
 
Сообщение06.02.2009, 13:05 
Модератор
Аватара пользователя


11/01/06
5710
Руст
А почему не квадрат?
Например, при $n$ кратном $y_0$ получается делимость на $y_0^2$...

 Профиль  
                  
 
 
Сообщение07.02.2009, 09:38 
Заслуженный участник


09/02/06
4401
Москва
Если $n=2^km$, m - нечётное.
Из $y_{2n}=2y_nx_n$ получаеm, что из $y_n$ - квадрат следует $y_mx_m$ (k чётное) квадрат или $2y_mx_m$ (k нечётное) квадрат. Если уже дошли до нечётного n, то дальнейшей спуск по нечётным простым делителям n одинаково сложен для случаев $x2-Ay^4=\pm 1$. Так что у меня сейчас появились сомнения, было ли у меня тогда решение, или я ошибался, думая, что оно у меня есть.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 6 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: YandexBot [bot]


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group