Попытка доказательства теоремы ферма 3

[natalya_1]

Elfhybr в сообщении #1613830 писал(а):

natalya_1 в сообщении #1613746 писал(а):

потому что я опять ошиблась, а вы опять быстро нашли ошибку....
$a_2-a_1+3k-3h-b_2+b_1=a_2-a_1+3k-3h-c+a_1'+2h-a_2'=(a_1'-a_1)-(a_2'-a_2)$
я опять не доказала то, что мне надо

Наталья, мне кажется, вы зря не прислушиваетесь к моему совету попробовать свой метод на второй степени, там будет всё попроще и понятнее в том ли направлении вы идете..

мой метод не работает на 2 степени, смысл его именно в разнице четных и нечетных степеней:
$a^2+b^2=c^2+p$ - мой полином построен на этой дельте $p$
и на этой дельте: $d$: $a+b=c+d$

[Elfhybr]

natalya_1 в сообщении #1613834 писал(а):

мой метод не работает на 2 степени, смысл его именно в разнице четных и нечетных степеней:
$a^2+b^2=c^2+p$ - мой полином построен на этой дельте $p$
и на этой дельте: $d$: $a+b=c+d$

Наталья, а если рассмотреть частный случай:$x^3+y^3=(y+1)^3$? Его разве не будет проще доказать?

[natalya_1]

Elfhybr в сообщении #1613971 писал(а):

natalya_1 в сообщении #1613834 писал(а):

мой метод не работает на 2 степени, смысл его именно в разнице четных и нечетных степеней:
$a^2+b^2=c^2+p$ - мой полином построен на этой дельте $p$
и на этой дельте: $d$: $a+b=c+d$

Наталья, а если рассмотреть частный случай:$x^3+y^3=(y+1)^3$? Его разве не будет проще доказать?

когда-то давно его рассматривала, но мне интересно в общем виде попробовать.

[Elfhybr]

natalya_1 в сообщении #1614102 писал(а):

когда-то давно его рассматривала, но мне интересно в общем виде попробовать.

Так вы покажите нам, если там всё ок, это будет доказательством, что вы идете в правильном направлении. Или не так?

[natalya_1]

что-то у меня очень странное получилось...

$b^3(cd-p)-c^2db^2+c^2pb=-((a'-(k-h))^3(cd-p)-c^2d(a'-(k-h))^2+c^2p(a'-(k-h))-2f(k))$.

так как графики у нас симметричны,
$(b+1)^3(cd-p)-c^2d(b+1)^2+c^2p(b+1)=-(((a'-1)-(k-h))^3(cd-p)-c^2d((a'-1)-(k-h))^2+c^2p((a'-1)-(k-h))-2f(k))$

$(b^3(cd-p)-c^2db^2+c^2pb)+((3b^2+3b+1)(cd-p)-c^2d(2b+1)+c^2p)=-((a'-(k-h))^3(cd-p)-c^2d(a'-(k-h))^2+c^2p(a'-(k-h))-2f(k))+(-3(a'-(k-h)^2+3(a'-(k-h))-1)(cd-p)-c^2d(-2(a'-(k-h))+1)-c^2p)$


$3(b^2+b)(cd-p)-c^2d(2b+1)=3((a'-(k-h))^2-(a'-(k-h)))(cd-p)-c^2d(2(a'-(k-h))-1)$


$3(b^2-(a'-(k-h))^2)+(b+(a'-(k-h)))(cd-p)=2c^2d(b-(a'-(k-h))+1)$

$3(b+(a'-(k-h)))(cd-p)(b-a'+(k-h))=2c^2d(b-a'+(k-h)+1)$.

$b+a'=c$, $k-h=\frac{c^2d-3cp}{3(cd-p)}$,

следовательно
$3(b+(a'-(k-h)))(cd-p)=3(c-(k-h))(cd-p)=\frac{3(3c^2d-3cp-c^2d+3cp)(cd-p)}{3(cd-p)}=2c^2d$,

следовательно

$b-a'+(k-h)=b-a'+(k-h)+1$

где ошибка?

[natalya_1]

совсем уже глупые ошибки делаю...

[Elfhybr]

Наталья! Не сдавайтесь! Покажите доказательство хоть для частного случая!

[natalya_1]

Всем привет!
Долго не подходила к своему "доказательству", чтобы посмотреть на него свежим взглядом.
Вчера опять вернулась и получила соотношения
$(a-b_1)(b_2-a)=(b-a_1)(a_2-b)$, $(b_2-a)(b_2-a_1)=(a_2-b)(a_2-b_1)$ итд.


И продвинулась немного, доказала, что $b>b_1$ всегда.
Посмотрим, даст ли это что- нибудь.

[natalya_1]

Доказала, что $a<a_2$, тогда получается, что при максимальном значении $a$ ( $c-a=1$), $a-b<1$, а если $a-b>1$, то $c-a<1$.
Столько раз уже ошибалась, что боюсь писать. Перепроверю, потом, если вдруг не найду ошибку, выложу.