+) Với x=0 [tex]\Rightarrow y=1[/tex]
+) Với [tex]x\neq 0 , pt \Leftrightarrow 216x^3.54x^3+216x^3=216x^3y^3\Leftrightarrow (108x^3)^2 + 2.108x^3+1=(6xy)^3+1\Leftrightarrow (108x^3+1)^2 =(6xy+1)(36x^2y^2-6xy+1)[/tex]
Đặt xy=t (ĐK: [tex]t\epsilon \mathbb{Z},t\neq 0[/tex])
pt [tex]\Leftrightarrow (108x^3+1)^2=(t+1)(t^2-t+1)[/tex] (1)
- t=1 thay vào (1) không thỏa mãn
- t>1
Khi đó [tex]t+1,t^2-t+1[/tex] nguyên dương.
Gọi d = ƯCLN ([tex]t+1,t^2-t+1[/tex] )
Tự CM d= {1;3}
d=3 (loại vì không TM (1)) nên d=1
[tex]\Rightarrow (t+1,t^2-t+1)=1[/tex] [tex]\Rightarrow (t+1,t^2-t+1)=1[/tex]
Áp dụng tính chất nếu 2 số nguyên dương nguyên tố cùng nhau có tích là 1 scp thì mỗi số đều là scp cho t+1 và [tex]t^2-t+1[/tex] ta được t+1 và [tex]t^2-t+1[/tex] đều là scp
Ta thấy [tex]t^2-2t+1<t^2-t+1<t^2\Leftrightarrow (t-1)^2<t^2-t+1<t^2 [/tex]
nên [tex]t^2-t+1[/tex] khong thể là số chính phương
do đó t>1 không xra
Vậy....