Для справки: Луч - участок прямой, ограниченный точкой с одной стороны (т.е. полупрямая).
Тогда уточним ранее сказанное:
А почему то, что разрешено одним (Уайлсу), другим нельзя?
Почему нельзя, например, сопоставить предположительно целочисленные решения уравнения Ферма не с эллиптической кривой, а с полупрямой (графиком частного случая линейной зависимости) и доказать, что такая
полупрямая, полученная из гипотетических решений уравнения Ферма, не существует?
topic112769-15.html
Доказал же, что для степени
![$n=3$ $n=3$](https://dxdy-03.korotkov.co.uk/f/a/a/6/aa6905d780872f0007f642420d7a2d9c82.png)
и гипотетических натуральных
![$a,b,c$ $a,b,c$](https://dxdy-01.korotkov.co.uk/f/0/b/1/0b1666db7be254fa8998cf3a27c985bb82.png)
не существует полупрямой (
![$Y=kX+B$ $Y=kX+B$](https://dxdy-03.korotkov.co.uk/f/e/b/0/eb0c26a27bdbb1569f9cf03a7c0b1ba282.png)
, где
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
и
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
- числа,
![$X>0$ $X>0$](https://dxdy-02.korotkov.co.uk/f/9/f/c/9fca06022c0c8b47bd0e5eab0efdfbac82.png)
), потому что имеет место неравенство:
![$Y \neq {kX}+B$ $Y \neq {kX}+B$](https://dxdy-01.korotkov.co.uk/f/4/7/c/47c0f39db3165c03af9cf078148a3ece82.png)
, где
![$k=2^3$ $k=2^3$](https://dxdy-01.korotkov.co.uk/f/c/b/8/cb80f898f96daef5daf37a44f283e2d082.png)
,
![$X=x^3$ $X=x^3$](https://dxdy-04.korotkov.co.uk/f/f/6/a/f6a6fa35bc8912bc6b779b94af10d80582.png)
,
![$B=c^3-(a^3+b^3)=0$ $B=c^3-(a^3+b^3)=0$](https://dxdy-03.korotkov.co.uk/f/e/2/f/e2fa3fa8fd5a1347e190d8273c150a7d82.png)
,
![$Y=3(ab-2cx)$ $Y=3(ab-2cx)$](https://dxdy-04.korotkov.co.uk/f/b/c/3/bc39c07d30d0be25583f93f2f693676182.png)
При этом неравенство
![$Y \neq {kX}$ $Y \neq {kX}$](https://dxdy-01.korotkov.co.uk/f/8/6/2/8627a9104aefb94b3df168c14892243482.png)
для всех положительных
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
и
![$X$ $X$](https://dxdy-01.korotkov.co.uk/f/c/b/f/cbfb1b2a33b28eab8a3e59464768e81082.png)
достаточно выявить при
![$X=x^3=1^3=1$ $X=x^3=1^3=1$](https://dxdy-02.korotkov.co.uk/f/1/5/b/15b8599d5c204d87af20f6229ce191a082.png)
, потому что для построения такой полупрямой графика прямо пропорциональной зависимости (
![$b=0$ $b=0$](https://dxdy-03.korotkov.co.uk/f/2/3/e/23e4100189d0f69f67a8aad4b053e22f82.png)
,
![$y=kx$ $y=kx$](https://dxdy-04.korotkov.co.uk/f/b/a/b/bab726496e160965f9c88d3886028e6e82.png)
,
![$x>0$ $x>0$](https://dxdy-03.korotkov.co.uk/f/e/b/9/eb9b46f46cfcebc82f6f2be2576597cb82.png)
) достаточно двух точек, одна из которых начало координат.
Что означает:
уравнение
![$a^3+b^3=c^3$ $a^3+b^3=c^3$](https://dxdy-04.korotkov.co.uk/f/f/d/6/fd6fba75527b1203b6cc0aabd04dc1be82.png)
не имеет натуральных решений
![$a,b,c$ $a,b,c$](https://dxdy-01.korotkov.co.uk/f/0/b/1/0b1666db7be254fa8998cf3a27c985bb82.png)
(и такой алгоритм применим для всех
![$n>2$ $n>2$](https://dxdy-03.korotkov.co.uk/f/2/a/9/2a9dfa29692859379213db21d3f8a1f482.png)
).
http://dxdy.ru/topic112769-15.htmlСледует добавить, что для степени
![$n=2$ $n=2$](https://dxdy-02.korotkov.co.uk/f/d/a/6/da60d8ce586cf444dfc2735588ee6cab82.png)
такая полупрямая (
![$Y=kX+B$ $Y=kX+B$](https://dxdy-03.korotkov.co.uk/f/e/b/0/eb0c26a27bdbb1569f9cf03a7c0b1ba282.png)
, где
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
и
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
- числа,
![$X>0$ $X>0$](https://dxdy-02.korotkov.co.uk/f/9/f/c/9fca06022c0c8b47bd0e5eab0efdfbac82.png)
,
![$x>0$ $x>0$](https://dxdy-03.korotkov.co.uk/f/e/b/9/eb9b46f46cfcebc82f6f2be2576597cb82.png)
) существует для всех известных на сегодня натуральных решений
![$0<x<a<b<c$ $0<x<a<b<c$](https://dxdy-02.korotkov.co.uk/f/1/0/c/10c60bda436b9dbf71290e1a6134b72c82.png)
в системе равенств:
![$a^2+b^2=c^2$ $a^2+b^2=c^2$](https://dxdy-03.korotkov.co.uk/f/e/1/a/e1affc0a43f89ae2da953b789d29e42c82.png)
и
![$a+b=c+2x$ $a+b=c+2x$](https://dxdy-02.korotkov.co.uk/f/9/0/c/90cfdab39461506f58de27e0f1fba19d82.png)
, то есть для таких решений всегда выполняется равенство:
![$Y=kX+B$ $Y=kX+B$](https://dxdy-03.korotkov.co.uk/f/e/b/0/eb0c26a27bdbb1569f9cf03a7c0b1ba282.png)
, где
![$k=2^2$ $k=2^2$](https://dxdy-03.korotkov.co.uk/f/2/7/3/2738c26257b0858d3fb34dea8a84a78182.png)
,
![$X=x^2$ $X=x^2$](https://dxdy-01.korotkov.co.uk/f/4/a/5/4a5bdeb50207755acb794fd412ee067c82.png)
,
![$B=c^2-(a^2+b^2)=0$ $B=c^2-(a^2+b^2)=0$](https://dxdy-04.korotkov.co.uk/f/3/a/5/3a5adca40db40a792c42377b1e852e9182.png)
,
![$Y=2(ab-2cx)$ $Y=2(ab-2cx)$](https://dxdy-01.korotkov.co.uk/f/4/e/9/4e932c6d5af4b370a43c382f74abdc8882.png)
При этом неравенство
![$Y \neq {kX}$ $Y \neq {kX}$](https://dxdy-01.korotkov.co.uk/f/8/6/2/8627a9104aefb94b3df168c14892243482.png)
для всех положительных
![$X$ $X$](https://dxdy-01.korotkov.co.uk/f/c/b/f/cbfb1b2a33b28eab8a3e59464768e81082.png)
достаточно выявить при
![$X=x^3=1^3=1$ $X=x^3=1^3=1$](https://dxdy-02.korotkov.co.uk/f/1/5/b/15b8599d5c204d87af20f6229ce191a082.png)
, потому что для построения такой полупрямой графика прямо пропорциональной зависимости (
![$B=0$ $B=0$](https://dxdy-04.korotkov.co.uk/f/7/6/3/763814191b25e1c232695e45d424fe1e82.png)
,
![$Y=kX$ $Y=kX$](https://dxdy-03.korotkov.co.uk/f/6/c/8/6c8b6917a86937973b1ecd2835ca8edd82.png)
) достаточно двух точек, одна из которых начало координат.
Что означает:
равенство
![$a^3+b^3=c^3$ $a^3+b^3=c^3$](https://dxdy-04.korotkov.co.uk/f/f/d/6/fd6fba75527b1203b6cc0aabd04dc1be82.png)
не имеет натуральных решений
![$a,b,c$ $a,b,c$](https://dxdy-01.korotkov.co.uk/f/0/b/1/0b1666db7be254fa8998cf3a27c985bb82.png)
(и такой алгоритм применим для всех
![$n>2$ $n>2$](https://dxdy-03.korotkov.co.uk/f/2/a/9/2a9dfa29692859379213db21d3f8a1f482.png)
).
http://dxdy.ru/topic112769-15.html