от mkmarinov » 01 Окт 2011, 17:46
Ще продължа от [tex]t^3+63t=y^3[/tex]
Нека първо разгледаме случая [tex]t|y[/tex]. Тогава [tex]y=kt[/tex]:
[tex]t^3+63t=k^3t^3[/tex], [tex]t^2(k^3-1)=63[/tex]. Имаме два възможни случая - [tex]k=2; t= \pm 3[/tex] и [tex]k=4; t = \pm 1[/tex]. От първите две получаваме двойките [tex](-2;6); (5;-6)[/tex], а от другите - [tex](-3;4); (-4;-4)[/tex].
Нека [tex]t=ua[/tex], [tex]y=va[/tex] и [tex](u,v)=1[/tex], като двете числа не са +/- 1.
[tex]u^3a^2+63=v^3a^2[/tex]
[tex]a^2(v^3-u^3)=63[/tex]
a не е 1, защото тогава t,y биха били взаимно прости. Тогава [tex]a^2=9[/tex], а
[tex]v^3-u^3=7[/tex]
[tex](v-u)(v^2+uv+u^2)=7[/tex]. Ако [tex]v-u=\pm 1[/tex], получаваме [tex]3uv=-8[/tex] - противоречие.
Aко [tex]v-u=\pm 7[/tex], получаваме [tex]uv=-16[/tex], но те са взаимно прости, откъдето едно от тях е равно на +/-1, което е противоречие .