2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Решить в целых числах
Сообщение29.04.2015, 06:52 
Заслуженный участник


26/06/07
1929
Tel-aviv
Решите в целых числах следующее уравнение.
$$x^2+y^2=(x+1)^3$$

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение29.04.2015, 11:14 
Заслуженный участник


17/09/10
2146
С помощью Magma: только $(0,\pm{1})$ и $(88,\pm{835})$.

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение29.04.2015, 12:04 
Заслуженный участник


08/04/08
8562
$x^2+y^2=(x+1)^3$
От противного получаем, что $2|x$. Тогда $y\equiv 1\pmod 2$. Значит $1+i \nmid x+iy$
Ясно, что $\gcd(x,y)=1$.
$\mathbb{Z}[i]$ факториально.
$(x+iy)(x-iy)=(x+1)^3$
$\gcd(x+iy,x-iy)=\gcd(x+iy,2x)=\gcd(x+iy,2)=1$.
Значит $x+iy=(c+di)^3, x+1=(c+di)(c-di)$
$x=c^3-3cd^2$ и $x=c^2+d^2-1$, $\Rightarrow$
$c^3-3cd^2=c^2+d^2-1$
$d^2=\frac{c^3-c^2+1}{1+3c}$
$c^3-c^2+1\equiv -23c^3 \pmod {1+3c}$
$\gcd(1+3c,c^3)=1$
$1+3c\mid -23 \Leftrightarrow c=0;8 \Rightarrow d=1;\pm 5 \Rightarrow x=0;8^2+5^2=88$.

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение29.04.2015, 14:58 
Заслуженный участник


17/09/10
2146
Если рассмотреть уравнение $x^2+y^2=(x+k)^3$, где $k$ натуральное число, то оказывается, что при $k=1,2,3,4,7,9,10,12,14,15,16,20,22,24,25,28,34,36...\qquad(1)$ целые решения имеются и легко выписываются. Эта последовательность, кстати, отсутствует в OEIS. Самое большое число целых решений для перечисленных $k$ в случае $k=36$. Это $(-27,\pm{0}),(-26,\pm{18}),(-16,\pm{88}),(0,\pm{216}),(270,\pm{5346})$. На втором месте $k=4$ с решениями $(-2,\pm{2}),(0,\pm{8}),(9,\pm{46}),(16,\pm{88})$.
Интересны те значения $k$ при которых уравнение имеет рациональные решения, но не имеет целых. В указанных пределах это $k=18,29,33,35\qquad(2)$.
Неясно пока, бесконечно ли продолжаемы последовательности $(1),(2)$.

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение29.04.2015, 16:44 
Заслуженный участник


20/12/10
9116
scwec в сообщении #1009209 писал(а):
Неясно пока, бесконечно ли продолжаемы последовательности $(1),(2)$.
С $(1)$ ясно: если $k$ --- точный квадрат, то уравнение $x^2+y^2=(x+k)^3$ имеет по крайней мере тривиальное решение (с $x=0$).

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение29.04.2015, 17:38 
Заслуженный участник


17/09/10
2146
nnosipov в сообщении #1009235 писал(а):
С $(1)$ ясно: если $k$ --- точный квадрат, то уравнение $x^2+y^2=(x+k)^3$ имеет по крайней мере тривиальное решение (с $x=0$).

Конечно, а со второй, видимо, не так просто.
Лирическое отступление. Замечу, что порой проще придумать решение, чем доказать его отсутствие. :cry:

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение29.04.2015, 17:59 
Заслуженный участник


20/12/10
9116
scwec в сообщении #1009166 писал(а):
С помощью Magma:
А что, она умеет решать диофантовы уравнения какого-то специального вида (кроме линейных, естественно)? Maple с трудом переваривает уравнения Пелля.

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение29.04.2015, 18:07 
Заслуженный участник


17/09/10
2146
nnosipov в сообщении #1009268 писал(а):
А что, она умеет решать диофантовы уравнения какого-то специального вида (кроме линейных, естественно)? Maple с трудом переваривает уравнения Пелля.

Она умеет находить целые точки на эллиптических кривых с целыми коэффициентами.

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение29.04.2015, 18:09 
Заслуженный участник


20/12/10
9116
Да, действительно.

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение29.04.2015, 21:02 
Заслуженный участник


08/04/08
8562

(Оффтоп)

scwec в сообщении #1009209 писал(а):
рассмотреть уравнение $x^2+y^2=(x+k)^3$, где $k$ натуральное число, то оказывается, что при $k=1,2,3,4,7,9,10,12,14,15,16,20,22,24,25,28,34,36...\qquad(1)$ целые решения имеются и легко выписываются. ...
Интересны те значения $k$ при которых уравнение имеет рациональные решения, но не имеет целых. В указанных пределах это $k=18,29,33,35\qquad(2)$.
Неясно пока, бесконечно ли продолжаемы последовательности $(1),(2)$.
Как известно, общее решение имеет вид:
Sonic86 в сообщении #839945 писал(а):
Так же решается и уравнение $x^2+y^2=z^3$:
$x+iy=(c+di)(a+bi)^3$
$$\begin{cases}
x=(c^2+d^2)(ca(a^2-3b^2)-bd(3a^2-b^2))\\
y=(c^2+d^2)(cb(3a^2-b^2)+ad(a^2-3b^2))\\
z=(c^2+d^2)(a^2+b^2)
\end{cases}$$
Для $z=x+k$ получаем уравнение $k=(c^2+d^2)(a^2+b^2-ca(a^2-3b^2)+bd(3a^2-b^2))$. Перебором раскладываем на множители, из первого определяем $c,d$, из второго множителя получаем уравнение типа $\text{однородный многочлен 3-й степени}=\operatorname{const}$. Умеем ли мы решать такие уравнения? Я только теорему Туэ-Зигеля-Рота знаю :-(

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение30.04.2015, 08:10 


05/10/10
71
А без комплексных чисел, но доступно для школьников можно?

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение30.04.2015, 08:33 
Заслуженный участник


08/04/08
8562
Naf2000 в сообщении #1009448 писал(а):
А без комплексных чисел, но доступно для школьников можно?
Можно, но не имеет смысла: получится то же самое, только более громоздкое. Стандартный способ: заменить рассмотрение чисел $x+iy$ на $x^2+y^2$, $\mathbb{Z}[i]$ заменяется на полугруппу сумм двух квадратов и т.п.. Кроме того, я использую неявно стандартную теорию, а школьникам придется все заново доказывать: что простое число вида $4k+1$ или $2$ единственным образом раскладывается в сумму двух квадратов, что разложение числа $x^2+y^2$ в произведение простых чисел вида $a^2+b^2$ единственно. А потом все это применять.

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение30.04.2015, 21:29 
Заслуженный участник


17/09/10
2146

(Оффтоп)

Sonic86 в сообщении #1009354 писал(а):
Умеем ли мы решать такие уравнения?

Предпочитаю в данном случае иметь дело с исходным уравнением, поскольку это уравнение эллиптической кривой с целыми коэффициентами, причем уже в форме Вейерштрасса (после раскрытия скобок).
Для меня это более привычный вариант.
Но мы (nnosipov и я) года 3 назад рассматривали именно это уравнение с точки зрения общего решения уравнения $x^2+y^2=z^3$. Там, по-моему, все получилось, но деталей не помню.

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение01.05.2015, 08:57 
Заслуженный участник


08/04/08
8562

(Оффтоп)

scwec в сообщении #1009712 писал(а):
Но мы (nnosipov и я) года 3 назад рассматривали именно это уравнение с точки зрения общего решения уравнения $x^2+y^2=z^3$. Там, по-моему, все получилось, но деталей не помню.
Мне nnosipov подсказал ссылку: topic66827.html
Так у Вас там ограничение
scwec в сообщении #664826 писал(а):
Для уравнения $x^2+y^2=z^3$ известно общее решение в натуральных числах $x,y,z$, где $x,y$ взаимно простые.
У меня оно решений без ограничений.

Кстати, и решение там уже есть:
scwec в сообщении #664826 писал(а):
откуда $s^2=\frac{r^3-r^2+1}{3r+1}$.
Можно было тут ничего не решать :roll:

 Профиль  
                  
 
 Re: Решить в целых числах
Сообщение01.05.2015, 11:17 
Заслуженный участник


17/09/10
2146
Если позволит arqady, предложу решить в целых числах
уравнение $x^2+y^2=(x+1)^3+x^3$

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

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



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

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


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

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