Уважаемый
Someone!
Спасибо, за отзыв о методе.
То, что Вы не поняли суть предложенного, это полностью моя вина.
Постараюсь быть кратким и последовательным.
Прямой анализ возможных рациональных точек на кубике затруднен сложностью кривой. Можно в анализируемой точке
A, провести касательную к кубике и анализировать их совместно, однако это мало что даст.
Я предлагаю провести в этой точке кубики еще одну касательную – касательный эллипс способом, который был рассмотрен ранее.
Теперь мы имеем анализируемую точку
A на двух кривых – кубике и эллипсе.
Если из анализа
только эллипса выяснится, что она не может быть рациональной, то по отношению к кубике она таковою и останется. А анализировать кривую второго порядка заведомо проще, чем третьего.
Таким образом, речь идет о доказательстве того, что на эллипсе
![$$x_0 x^2 + y_0 y^2 = 1\eqno (7)$$ $$x_0 x^2 + y_0 y^2 = 1\eqno (7)$$](https://dxdy-04.korotkov.co.uk/f/7/e/e/7ee28a84d27a912c9c7a3890f0c944d882.png)
не может быть рациональных точек.
Так можно действовать для любой точки
A на кубике.
Можно также
любое нечетное уравнение ВТФ свести к этому уравнению эллипса.
Пусть дано такое уравнение:
![$$
x^{37} + y^{37} = 1
$$ $$
x^{37} + y^{37} = 1
$$](https://dxdy-02.korotkov.co.uk/f/9/3/a/93a5fb0235714469f40e349294421d7382.png)
Представим его графическое отображение. Предположим на нем наличие рациональной точки
![$A\left[ {x_0 ;y_0 } \right]$ $A\left[ {x_0 ;y_0 } \right]$](https://dxdy-02.korotkov.co.uk/f/1/3/4/134d50868619e4ebb13709c78c85e6e182.png)
].
Проведем в этой точке Высшую Касательную к этой кривой степени 36:
![$$
x_0 x^{36} + y_0 y^{36} = 1
$$ $$
x_0 x^{36} + y_0 y^{36} = 1
$$](https://dxdy-02.korotkov.co.uk/f/5/4/e/54e1b64b769eb58db2f7cb8499377c5b82.png)
Сделаем замену переменных:
![$$
\left\{ \begin{gathered}
u = x^{18} \hfill \\
v = y^{18} \hfill \\
\end{gathered} \right.
$$ $$
\left\{ \begin{gathered}
u = x^{18} \hfill \\
v = y^{18} \hfill \\
\end{gathered} \right.
$$](https://dxdy-02.korotkov.co.uk/f/1/4/0/14033ebcb388e7cbe749407eb45ea9ae82.png)
Получаем уравнение
которое ничем отличается от (7), а
![$$
\left\{ \begin{gathered}
u_0 = x_0 ^{18} \hfill \\
v_0 = y_0 ^{18} \hfill \\
\end{gathered} \right.
$$ $$
\left\{ \begin{gathered}
u_0 = x_0 ^{18} \hfill \\
v_0 = y_0 ^{18} \hfill \\
\end{gathered} \right.
$$](https://dxdy-04.korotkov.co.uk/f/3/2/8/3281e01492c57f193528303ab8165ed282.png)
Таким образом, достаточно доказать отсутствие рациональных точек на касательном эллипсе
чтобы доказать ВТФ для всех нечетных показателей степени.
А вот этого я пока не доказал, но предложенный метод Высших Касательных позволяет «радикально» упростить подход к доказательству ВТФ.