2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Уравнение в целых числах
Сообщение01.12.2021, 05:36 
Заслуженный участник
Аватара пользователя


21/11/12
1968
Санкт-Петербург
nnosipov в сообщении #1541189 писал(а):
дополнительно выяснять, какие значения параметра $k$...
Числитель — $\gcd (...)$ выражений в прямых скобках, знаменатель любой кроме нуля.

На всякий случай. Для примитивного решения $u,v$ вз. просты и $\dfrac{u}{v}=-1 \pm \sqrt{\dfrac{(c-a)(x+y)(y+z)}{(a-b)(x-y)(y-z)}}.$
То, что я написал и есть "с точностью до пропорциональности" — стандартная ситуация.

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


20/12/10
9179
Andrey A в сообщении #1541191 писал(а):
Числитель — $\gcd (...)$ выражений в прямых скобках
Так его же надо вычислять. Поэтому и полуфабрикат.

Вот описание примитивных решений $(x,y,z)$ (т.е. с $\gcd{(x,y,z)}=1$) было бы более разумным занятием. Но, опять же, не верю, что оно имеет простой вид: слишком много в задаче параметров.

 Профиль  
                  
 
 Re: Уравнение в целых числах
Сообщение15.12.2021, 05:33 
Модератор
Аватара пользователя


11/01/06
5710
Andrey A в сообщении #1541042 писал(а):
$$(a-b)x^2+(b-c)y^2+(c-a)z^2=0$$ Тройка целых аргументов $a,b,c$ взаимно проста.

Это довольно стандартное уравнение. Описано, например, в книжке у Коэна, но с ошибкой, поэтому воспользуюсь теоремой 5 из своей статьи (Коэн там цитируется).
Берем частное решение $(x_0,y_0,z_0)=(1,1,1)$, из него получаем общее:
$$\begin{cases}
x =  \frac{p}q\left( (a-b)m^2 + 2(b-c)mn - (b-c)n^2\right), \\
y = \frac{p}q\left( -(a-b)m^2 + 2(a-b)mn + (b-c)n^2 \right), \\
z = \frac{p}q\left( (a-b)m^2 + (b-c)n^2 \right),
\end{cases}
$$
где $\gcd(m,n)=\gcd(p,q)=1$ и $q\mid 2\mathrm{lcm}(a-b,b-c)(c-a)$.

PS. Вот ещё статья (на французском) об оптимальной параметризации таких уравнений.
.

 Профиль  
                  
 
 Re: Уравнение в целых числах
Сообщение15.12.2021, 05:59 
Заслуженный участник
Аватара пользователя


21/11/12
1968
Санкт-Петербург
maxal
Разница в форме записи, на сколько понял. На новизну тут трудно претендовать, простота и общность решения как раз порадовали. Отчего и выложил. Спасибо за ссылки.

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


20/12/10
9179
maxal в сообщении #1542990 писал(а):
Берем частное решение $(x_0,y_0,z_0)=(1,1,1)$, из него получаем общее:
$$\begin{cases}
x =  \frac{p}q\left( (a-b)m^2 + 2(b-c)mn - (b-c)n^2\right), \\
y = \frac{p}q\left( -(a-b)m^2 + 2(a-b)mn + (b-c)n^2 \right), \\
z = \frac{p}q\left( (a-b)m^2 + (b-c)n^2 \right),
\end{cases}
$$
где $\gcd(m,n)=\gcd(p,q)=1$ и $q\mid 2\mathrm{lcm}(a-b,b-c)(c-a)$.
А получаются ли здесь числа $x$, $y$, $z$ всегда целыми? Возьмем $m=n=1$, $p=1$, $q=2(c-a)$. Тогда $z=-1/2$.

-- Ср дек 15, 2021 13:31:29 --

Andrey A в сообщении #1542991 писал(а):
Разница в форме записи
Эта разница принципиальная.

 Профиль  
                  
 
 Re: Уравнение в целых числах
Сообщение15.12.2021, 11:29 


26/08/11
2149
nnosipov в сообщении #1542997 писал(а):
Эта разница принципиальная.
Не думаю - все одно и тоже. Как более компактно превратить рациональные решения в целые. $\frac p q$ и есть тот спорный параметр, очень часто пропускающийся по умолчанию, знаменатель которого есть НОД получившихся значений, а числитель - любое целое. На самом деле имеем уравнение $aX^2+bY^2=(a+b)Z^2$ в целых, которое сводится к $ax^2+by^2=a+b$ в рациональных, которое полностью параметризуется, даже ничего не зная про $a,b$, благодаря точки $(1,1)$. И решение maxal есть и не больше, и не меньше чем решения данного уравнения в рац. числах от параметра $\frac m n$. Вот. Ровно как и другие решения, приведенные раньше. Принципиальное отличие, если что, вижу только в определении данного параметра $q$
maxal в сообщении #1542990 писал(а):
и $q\mid 2\mathrm{lcm}(a-b,b-c)(c-a)$.
Если нет опечатки, то было бы здорово.

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


20/12/10
9179
Shadow в сообщении #1543007 писал(а):
Не думаю - все одно и тоже.
Форма решения от maxal более разумна, потому что с ней проще работать дальше. Но она дает лишние решения (не целочисленные). Не исключаю, что это неустранимо.

 Профиль  
                  
 
 Re: Уравнение в целых числах
Сообщение15.12.2021, 11:56 


26/08/11
2149
nnosipov в сообщении #1543010 писал(а):
Форма решения от maxal более разумна
Я отредактировал свое сообщение - дал ссылку на решения maxal полученное с помощью секущих. Оно ничем не отличается и параметр $\frac p q$ вряд ли может иметь какой нибудь другой смысл, чем общепринятый.

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


20/12/10
9179
Мне следовало бы написать "Форма записи решения (ответа на вопрос задачи) ...". Метод решения задачи (метод касательных секущих), естественно, одинаков, всем хорошо известен и поэтому его неинтересно обсуждать. Но сам ответ можно записывать в разных формах.

Пример: стр. 5-6 из брошюры Острика и Цфасмана "Алгебраическая геометрия и теория чисел: рациональные и эллиптические кривые" (МЦНМО, 2001), формулы (3), (4) (это один вариант) и формула (3')-(4') (это другой вариант). Мне представляется, что первый вариант удобнее для приложений, чем второй: не зря, например, авторы брошюры при доказательстве теоремы Ферма (стр. 29) используют именно формулу (4).

И, поскольку мы теперь видим ссылки на научные статьи, вопрос о форме записи ответа вполне содержательный.

 Профиль  
                  
 
 Re: Уравнение в целых числах
Сообщение15.12.2021, 15:25 
Модератор
Аватара пользователя


11/01/06
5710
nnosipov в сообщении #1542997 писал(а):
А получаются ли здесь числа $x$, $y$, $z$ всегда целыми?

Нет, не всегда. Утверждение в другую сторону - любое целочисленое решение представимо в таком виде. Но добавив требование делимости каждого из многочленов от $m,n$ на $q$, можно получить утверждение и в обратную сторону.

 Профиль  
                  
 
 Re: Уравнение в целых числах
Сообщение15.12.2021, 18:01 
Модератор
Аватара пользователя


11/01/06
5710
maxal в сообщении #1542990 писал(а):
PS. Вот ещё статья (на французском) об оптимальной параметризации таких уравнений.

Кстати, результаты этой статьи запрограммированы в PARI/GP, который умеет решать и параметризовать однородные квадратные уравнения в рациональных числах (функции qfsolve и qfparam), что в свою очередь наследуется в SageMath.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 26 ]  На страницу Пред.  1, 2

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



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

Сейчас этот форум просматривают: Shadow


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

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