Да довършим уравнението което господин Стоянов пусна все пак

.От предишните ми разсъждения докудето са верни следва че [tex]x,y[/tex]-нечетни за да има даденото уравнение решение.Сега по модули съответно 7(за [tex]y[/tex]), 9(за [tex]x[/tex]), виждаме че [tex]x=6m+3, y=6n+5[/tex], ([tex]m,n \ge 0[/tex]). Сега даденото уравнение се записва като :[tex]\frac {a^3 + 5^3}{b^3 + 5^2}=9[/tex], където [tex]a=7^{2m+1}, b=3^{2n+1}, (a,5)=(b,5)=1[/tex].Добре известно е , че тогава [tex](a+5, a^2-5a+25)=1,3[/tex]. Оттук следва, че са възможни следните случаи:
1 случай)
[tex]-)a+5=3A[/tex]
[tex]-)a^2-5a+25=3B[/tex]
[tex]-)(A,B)=1[/tex]
Тогава [tex]\frac {AB}{b^3+5^2}=1[/tex]. Оттук следват 2 подслучая:
1.1 случай)
[tex]-)b^3+5^2=A= \frac {a+5}{3}[/tex], откъдето [tex]7(7^{2m}-10)=3b^3[/tex],.т.е [tex]7 | b^3[/tex], което е невъзможно.
1.2 случай)
[tex]-)b^3+5^2=B[/tex], откъдето [tex]a^2-5a+25=3(b^3+5^2)[/tex], което е квадратно относно [tex]a[/tex]. Дискриминантата му е :[tex]225+12b^3=l^2[/tex]. Ясно е , че [tex]3 | l, l=3l_1[/tex], откъдето последното се записва като [tex]75+4b^3=(l_1)^2[/tex], или [tex]25+4.(3^{3n+1})^2=(l_1)^2[/tex], или [tex](l_1-2.3^{3n+1})(l_1+2.3^{3n+1})=25[/tex]. Сега последно имаме следните подслучаи:
1.2.1 случай)
[tex]-)l_1-2.3^{3n+1}=1, 25[/tex]
[tex]-)l_1+2.3^{3n+1}=25, 1[/tex]
невъзможно за цели [tex]l_1,n[/tex], или [tex]3^{3n+1}=6[/tex]- невъзможно.
1.2.2 случай)
[tex]-)l_1-2.3^{3n+1}=5, -5[/tex]
[tex]-)l_1+2.3^{3n+1}=5, -5[/tex]
невъзможно за цели [tex]l_1,n[/tex]
1.2.3 случай)
[tex]-)l_1-2.3^{3n+1}=-1, -25[/tex]
[tex]-)l_1+2.3^{3n+1}=-25, -1[/tex]
невъзможно за цели [tex]l_1,n[/tex], или [tex]3^{3n+1}=6[/tex]- невъзможно.
2 случай)
[tex]-)a+5=A[/tex]
[tex]-)a^2-5a+25=B[/tex]
[tex]-)(A,B)=1[/tex]
Тогава [tex]\frac {AB}{b^3+5^2}=9[/tex]. Оттук следват 2 подслучая:
2.1 случай)
[tex]-)b^3+5^2 | A[/tex], откъдето [tex]A=B_1(b^3+5^2)[/tex] или [tex]B.B_1=9[/tex], откъдето [tex]B_1.(3^{2n})=3[/tex], което води до [tex]B_1={1,3}[/tex], откъдето [tex]3^{2n}={3,1}[/tex], което е възможно само във 2рия подслучай и тогава [tex]n=0[/tex]. Тогава[tex]x=3,y=5[/tex].
2.2 случай)
[tex]-)b^3+5^2 | B[/tex], откъдето [tex]B=B_1(b^3+5^2)[/tex] или [tex]A.B_1=9[/tex], откъдето [tex]А={9,3,1}[/tex], което води до [tex]a={4,-2,-4}[/tex], което е невъзможно.
Така даденото уравнение има единствено решение (3,5).