2014 dxdy logo

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

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




На страницу Пред.  1, 2, 3, 4
 
 Re: Попытка доказательства Теоремы Ферма 4
Сообщение04.06.2024, 22:22 
Rak so dna
вот так:
Ферма утверждал, что не существует решения уравнения $x^3+y^3=z^3$ в целых ( а значит, в рациональных) числах.
Попробуем доказать обратное.
Предположим, что такое решение существует при $x=a$, $y=b$, $z=c$, $a>b$.$a$, $b$, $c$ - взаимно простые числа.


1.1. Пусть $a^3+b^3=vk^3c^3$,
$a^2+b^2=v(k^2c^2+p)$, где $p=a^2+b^2-c^2$ ( целое число).
$a+b=v(kc+d)$ где $d=a+b-c$ целое число.

$a^3+b^3=c^3$
$a^2+b^2=c^2+p$
$a+b=c+d$ ($k=1$, $v=1$)


1.2. $a+b-vkc=vd$,
$a^2+b^2-vk^2c^2=vp$ Перемножаем левые и правые части, получаем: $pa+pb-vkpc=a^2d+b^2d-vk^2c^2d$, $a(ad-p)+b(bd-p)=vkc(kcd-p)$

1.3. $a(ad-p)+b(bd-p)=vkc(kcd-p)$, $a^3+b^3=vk^3c^3$ (п.1.1). Перемножаем левые и правые части, получаем:$k^3c^{3}a(ad-p)+k^3c^{3}b(bd-p)=a^{3}kc(kcd-p)+b^{3}kc(kcd-p)$ , следовательно, $(kcd-p)a^{3}-k^2c^{2}dx^2+k^2c^{2}px=-((kcd-p)y^3-k^2c^{2}dy^2+k^2c^{2}py)$
$(kcd-p)a^{3}-k^2c^{2}da^2+k^2c^{2}pa=-((kcd-p)b^3-k^2c^{2}db^2+k^2c^{2}pb)$

Найдем все значения $k$ при которых уравнение
$(kcd-p)(a^3+b^3)-k^2c^{2}d(a^2+b^2)+k^2c^{2}p(a+b)=0$ имеет решения:
$(kcd-p) +k^2(a^2+b^2)-ck^2(a+b)=0$
$k^2(cd-p)-kcd+p=0$
$D=c^2d^2-4p(cd-p)=(cd-2p)^2$
$k=\frac{cd\pm(cd-2p)}{2(cd-p)}$.
$k=1$ или $k=\frac{p}{cd-p}$.
Тогда $a^3+b^3=vc^3\frac{p^3}{(cd-p)^3}$, следовательно $v=\frac{(cd-p)^3}{p^3}$.
$a+b=\frac{(cd-p)^2}{p^3}(cp+d(cd-p))$
$p^3(a+b)=(cd-p)^2(cp+d(cd-p))$
$\frac{p^3(a+b)}{(cd-p)^2}$ должно быть целым числом, что невозможно, поскольку $\frac{a^2+b^2}{a+b}$ не может быть целым числом.
Мы пришли к противоречию, значит, наше предположение о существовании решений уравнения Ферма в рациональных числах было неверным.
Уравнение $x^3+y^3=z^3$ не имеет решения в рациональных числах.
Теорема доказана.

Этим же способом она доказывается для всех нечетных степеней.

 
 
 
 Re: Попытка доказательства Теоремы Ферма 4
Сообщение05.06.2024, 07:11 
Rak so dna, опять поторопилась и наошибалась. Но я упрямая. :D


1.1. Пусть $x^3+y^3=vk^3c^3$, где $c$ - целое положительное число.
$x^2+y^2=vk^2c^2+p$,
$x+y=vkc+d$ где $p$ и $d$ - целые положительные числа такие, что при существовании решения уравнения Ферма в целых числах $a$ и $b$, система имеет решение

$a^3+b^3=c^3$
$a^2+b^2=c^2+p$
$a+b=c+d$ ($k=1$, $v=1$)


1.2. $x+y-vkc=d$,
$x^2+y^2-vk^2c^2=p$ Перемножаем левые и правые части, получаем: $px+py-vkpc=x^2d+y^2d-vk^2c^2d$, $x(xd-p)+y(yd-p)=vkc(kcd-p)

1.3. $x(xd-p)+y(yd-p)=vkc(kcd-p)$, $x^3+y^3=vk^3c^3$ (п.1.1). Перемножаем левые и правые части, получаем:$k^3c^{3}x(xd-p)+k^3c^{3}y(yd-p)=x^{3}kc(kcd-p)+y^{3}kc(kcd-p)$ , следовательно, $(kcd-p)x^{3}-k^2c^{2}dx^2+k^2c^{2}px=-((kcd-p)y^3-k^2c^{2}dy^2+k^2c^{2}py)$ .

2.1функция $y=(kcd-p)x^3-k^2c^{2}dx^2+k^2c^{2}px$ в точках $a$ и $b$ принимает одинаковые значения разных знаков и она является целой рациональной функцией, непрерывна и определена при всех значениях $x$, следовательно, между $a$ и $b$ существует точка ( назовем ее
$h$, значение функции в которой равно $0$.

2.1.2 Найдем все точки, значение функции в которых равно нулю.

$(kcd-p)x^3-k^2c^{2}dx^2+k^2c^{2}px=0$.
$x=0$ или

$(kcd-p)x^2-k^2c^{2}dx+k^2c^{2}p=0$
$D=k^4c^4d^2-4(kcd-p)k^2c^2p$, отсюда
$x=\frac{k^2c^2d\pm\sqrt{k^2c^2(kcd-2p)^2}}{2(kcd-p)}$
$x=ck$ или $x=\frac{kcp}{kcd-p}$.
Поскольку $a<c$, $b>0$, $h=\frac{kcp}{kcd-p}$.

3.1.1 поскольку
функция $y=(kcd-p)x^3-k^2c^{2}dx^2+k^2c^{2}px$ является целой рациональной функцией, непрерывна и определена при всех значениях $x$ и ее значение равно нулю в точках 0, h и с,
существует три точки, в которых она принимает одинаковые отрицательные значения ($a$,$a_1$ и $a_2$) и три , в которых она принимает одинаковые положительные значения ($b$, $b_1$ и $b_2$).
Эти числа действительные (поскольку если они они комплексные, это противоречит существованию рационального $h$ между $a$ и $b$.


3.1.2. Найдем все значения $k$ при которых уравнение
$(kcd-p)(x^3+y^3)-k^2c^{2}d(x^2+y^2)+k^2c^{2}p(x+y)=0$ имеет решения:
$(kcd-p)(a^3+b^3)-k^2c^{2}d(a^2+b^2)+k^2c^{2}p(a+b)=0$
$(kcd-p) +k^2(a^2+b^2)-ck^2(a+b)=0$
$k^2(cd-p)-kcd+p=0$
$D=c^2d^2-4p(cd-p)=(cd-2p)^2$
$k=\frac{cd\pm(cd-2p)}{2(cd-p)}$.
$k=1$ или $k=\frac{p}{cd-p}$.
Очевидно, что $k=\frac{cp}{cd-p}$ не будет решением системы уравнений при $x=a$, $y=b$.
Проверим, является ли $k=\frac{p}{cd-p}$ решением системы уравнений при других $x$ и $y$:
$(kcd-p)(x^3+y^3)-k^2c^{2}d(x^2+y^2)+k^2c^2p(x+y)=0$
$(kcd-p)vk^3c^3-k^2c^2((a^2+b^2)d-(a+b)p)=0$
$(kcd-p)vkc-((vk^2c^2+p)d+(vkc+d)p)=0$
$kc(kcd-p)-kc(kcd-p)=0$ верно.
Следовательно, существует как минимум одно решение системы при $k=\frac{p}{cd-p}$ и $x=a_1$ или $x=a_2$, $у=b_1$ или $y=b_2$.
Пока остановлюсь на этом. Проверю и тогда напишу концовку.
Дальше завтра распишу, проверю как следует.

 
 
 
 Re: Попытка доказательства Теоремы Ферма 4
Сообщение05.06.2024, 13:20 
Аватара пользователя

(Оффтоп)

Суха теория, мой друг, НО древо жизни пышно зеленеет
vs
Суха теория, мой друг, А древо жизни пышно зеленеет.
Жизнь - она проходит без остановки...
Главное - не опоздать в выборе между НО и А.

 
 
 
 Re: Попытка доказательства Теоремы Ферма 4
Сообщение09.06.2024, 22:34 
Rak so dna в сообщении #1640841 писал(а):
natalya_1 мы остановились на вот этом:
$(2a-b)(cd-p)+c^2d=((k_1+k_2)c+(r_1+r_2)d)(cd-p)$ - целое число

Продолжайте доказательство.

(Оффтоп)

вот почему я вас не всегда слушаю? Сто раз убеждалась, что вы всегда оказываетесь правы. Разобралась с написанным на предыдущей странице. Путь бесперспективный. $v=2$ получается просто потому, что это случай $a=b$. Поэтому вернулась к тому, с чего начинала


$x^3+y^3=kc^3$
$x^2+y^2=kc^2+p$
$x+y=kc+d$, отсюда
$k=\frac{x^2+y^2-p}{c^2}=\frac{x+y-d}{c}$, следовательно
$a_1^2+b_2^2-p=ca_1+cb_2-cd$
$a_1=\frac{c^2d-a(cd-p)-\sqrt{D_1}}{2(cd-p)}$
$b_2=\frac{c^2d-b(cd-p)+\sqrt{D_2}}{2(cd-p)}$
$\sqrt{D_1}\not=\sqrt{D_2}$
$(c^2d-a(cd-p))^2-2\sqrt{D_1}(c^2d-a(cd-p))+D_1+(c^2d-b(cd-p))^2+2\sqrt{D_2}(c^2d-b(cd-p))+D_2-4p(cd-p)^2-2c^2d(cd-p)(2c^2d-(a+b)(cd-p)-\sqrt{D_1}+\sqrt{D_2})+4cd(cd-p)^2=0$, следовательно
$\sqrt{D_1}((c+a)(cd-p)-c^2d)+\sqrt{D_2}(c^2d-(c+b)(cd-p))$ - рациональное число
$(c+a)(cd-p)-c^2d\not=c^2d-(c+b)(cd-p)$, следовательно $\sqrt{D_1} $, $\sqrt{D_2}$ - рациональные числа.
$a_1$, $b_2$, $a_2$, $b_1$ - рациональные числа

 
 
 [ Сообщений: 49 ]  На страницу Пред.  1, 2, 3, 4


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group