А теперь, после всех ошибок, поправок, исправлений и пируэтов,
напишите Ваше 'доказательство' с начала и до конца, в окончательной версии, со всеми объяснениями.
![$X^s+Y^s=Z^s$ $X^s+Y^s=Z^s$](https://dxdy-02.korotkov.co.uk/f/d/2/5/d25864235366437a62fc5f82a0cf295282.png)
- нет целых решений при
![$s>2.$ $s>2.$](https://dxdy-04.korotkov.co.uk/f/b/8/8/b88496d4e5ac2accde9d3eff2607b0e882.png)
Введем
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
и перейдем к "маленьким" буквам.
![$X+Y=Z+n$ $X+Y=Z+n$](https://dxdy-03.korotkov.co.uk/f/2/1/e/21ed78fe7a8f9bea8e3b66449ac9f64a82.png)
![$Z-Y=X-n=x$ $Z-Y=X-n=x$](https://dxdy-03.korotkov.co.uk/f/a/e/b/aebedb11bbd5fb975cd6007ea550c49782.png)
![$Z-X=Y-n=y$ $Z-X=Y-n=y$](https://dxdy-01.korotkov.co.uk/f/0/2/e/02e4c47f0cb5c4548d714f62329ec04d82.png)
Теперь вместо
![$X,Y,Z$ $X,Y,Z$](https://dxdy-01.korotkov.co.uk/f/4/3/a/43a24bd5c0cee465742619c690c704f082.png)
будем искать
![$x,y,n.$ $x,y,n.$](https://dxdy-01.korotkov.co.uk/f/0/f/9/0f999f53e7b00c66b6b23e418f33982682.png)
![$(X+Y)^s=(Z+n)^s$ $(X+Y)^s=(Z+n)^s$](https://dxdy-04.korotkov.co.uk/f/b/1/b/b1baa439788575478a33dc6c3aee8f7582.png)
![$$(x+y+2n)^s=(x+y+2n)^s$ $$(x+y+2n)^s=(x+y+2n)^s$](https://dxdy-01.korotkov.co.uk/f/c/2/a/c2af42b57774b752cadfb0abf5329f6c82.png)
Если
![$(x+n)^s+(y+n)^s=(x+y+n)^s$ $(x+n)^s+(y+n)^s=(x+y+n)^s$](https://dxdy-04.korotkov.co.uk/f/f/e/3/fe398c761bb97495c368a698ce1ab93282.png)
то
![$s=2, n^2=2xy $ $s=2, n^2=2xy $](https://dxdy-04.korotkov.co.uk/f/b/e/1/be19cca7a289bc35ee0e61326eab28a782.png)
![$s=3,n^3=3xy(X+Y)$ $s=3,n^3=3xy(X+Y)$](https://dxdy-03.korotkov.co.uk/f/6/b/a/6ba316b2c9fc2eba044a41419766fd5782.png)
![$s=4,n^4=2xy(2(X+Y)^2-XY-Zn)$ $s=4,n^4=2xy(2(X+Y)^2-XY-Zn)$](https://dxdy-01.korotkov.co.uk/f/4/c/8/4c87992c56141b3dbfbaf041e72e259682.png)
![$s=5,n^5=5xy(X+Y)((X+Y)^2-XY-Zn)$ $s=5,n^5=5xy(X+Y)((X+Y)^2-XY-Zn)$](https://dxdy-01.korotkov.co.uk/f/0/4/2/042c527def2e897c814a3bfd89e031ec82.png)
Запишем это так :
![$n^2=xyM_0$ $n^2=xyM_0$](https://dxdy-04.korotkov.co.uk/f/7/9/8/7980c5b7e1e68a3b25c5acfdd09ae2f482.png)
![$n^3=xyM_1$ $n^3=xyM_1$](https://dxdy-04.korotkov.co.uk/f/7/2/e/72e7899336edb5c541d22a76e1ed8bb382.png)
![$n^4=xyM_2$ $n^4=xyM_2$](https://dxdy-03.korotkov.co.uk/f/2/f/9/2f9217acf64ef61acc7987c705012ac282.png)
![$n^5=xyM_3$ $n^5=xyM_3$](https://dxdy-01.korotkov.co.uk/f/4/e/5/4e58e7d3de0d7d4a42fb1724ecd688aa82.png)
т.е.
![$n^s=xyM_{s-2}$ $n^s=xyM_{s-2}$](https://dxdy-01.korotkov.co.uk/f/8/a/1/8a15aff5e24431e2e568fae3e582978482.png)
![$M$ $M$](https://dxdy-04.korotkov.co.uk/f/f/b/9/fb97d38bcc19230b0acd442e17db879c82.png)
-многочлен,индекс-это его степень,
![$x,y$ $x,y$](https://dxdy-01.korotkov.co.uk/f/0/a/c/0acac2a2d5d05a8394e21a70a71041b482.png)
-с одинаковыми коэффициентами и степенями.
Не известно,как выглядит
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
в первой степени .
Обозначим его
![$n=uv.$ $n=uv.$](https://dxdy-02.korotkov.co.uk/f/9/e/1/9e10a550c6950100310dd2c0187aa2ac82.png)
![$u^s=x,v^s=yM_{s-2}$ $u^s=x,v^s=yM_{s-2}$](https://dxdy-01.korotkov.co.uk/f/c/d/c/cdc5b724cc15aa324a467e1e15645bce82.png)
Но эта запись не учитывает случай при котором
![$x,y$ $x,y$](https://dxdy-01.korotkov.co.uk/f/0/a/c/0acac2a2d5d05a8394e21a70a71041b482.png)
имеют общий множитель.Учтем это.
![$K^2n^2=K_2u^2K_2v^2$ $K^2n^2=K_2u^2K_2v^2$](https://dxdy-04.korotkov.co.uk/f/7/7/9/779e22674eacd75fa31799a99942e2ea82.png)
![$K^3n^3=K_3u^3K_3^2v^3$ $K^3n^3=K_3u^3K_3^2v^3$](https://dxdy-03.korotkov.co.uk/f/a/7/4/a748a13b8c47a62d97f2a70ac14f426e82.png)
![$K^4n^4=K_4u^4K_4^3v^4$ $K^4n^4=K_4u^4K_4^3v^4$](https://dxdy-01.korotkov.co.uk/f/0/6/d/06d3574842cff4f89657b4338445a6f682.png)
![$K^5n^5=K_5u^5K^4v^5$ $K^5n^5=K_5u^5K^4v^5$](https://dxdy-01.korotkov.co.uk/f/c/f/1/cf1bb52e2c32afed9a9933526ccb449182.png)
![$K^sn^s=K_su^sK_s^{s-1}v^s$ $K^sn^s=K_su^sK_s^{s-1}v^s$](https://dxdy-02.korotkov.co.uk/f/d/0/f/d0f8d1d8ea3f3d5546d9661056215d9582.png)
Т.е.
![$Kn=K_1uK_1^{s-1}v$ $Kn=K_1uK_1^{s-1}v$](https://dxdy-02.korotkov.co.uk/f/d/5/b/d5be010ea808e0c18c999405efb5fc7082.png)
Исходя из того,что
-при
![$K\ne1$ $K\ne1$](https://dxdy-04.korotkov.co.uk/f/b/1/0/b109cb2c79f7e36aea397ed3d9e2a63a82.png)
видно,что для каждой степени
![$K_1$ $K_1$](https://dxdy-03.korotkov.co.uk/f/6/d/6/6d6968ce16fa7a6d8af6261f0d09b3b982.png)
разное, и не может быть равенства между
![$K_1u$ $K_1u$](https://dxdy-02.korotkov.co.uk/f/d/4/d/d4d942475b4d2d305a421dd252e2773c82.png)
или
![$K_1v$ $K_1v$](https://dxdy-04.korotkov.co.uk/f/b/2/1/b2131163444f2f95f9869a51128a72bd82.png)
для разных степеней.
-при
![$s=2$ $s=2$](https://dxdy-04.korotkov.co.uk/f/b/c/6/bc6fbe503df69329ff9c195d4418c4cb82.png)
,
![$Kn=K_1uK_1v$ $Kn=K_1uK_1v$](https://dxdy-04.korotkov.co.uk/f/b/3/3/b3312811d2d2733660221f210ed4145482.png)
- существует для всех целых чисел (
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
-четное).
Делаем вывод:
-для
![$s>2$ $s>2$](https://dxdy-01.korotkov.co.uk/f/8/f/b/8fb4b78e55700ee4588f6502d5e17d3f82.png)
не существует тройки целых чисел
![$x,y,n$ $x,y,n$](https://dxdy-01.korotkov.co.uk/f/8/5/9/85994bf5f70a65c69cbd297478116abb82.png)
,а значит и тройки целых
![$X,Y,Z.$ $X,Y,Z.$](https://dxdy-03.korotkov.co.uk/f/2/3/e/23e6449d7835f0e1de2d80a2312352c182.png)
Что и требовалось доказать.