定理1:x^3+y^3=z^2,(x,y)=1,(x+y,(x+y)^2-3xy)=3 ......(1)
(1)的解: x、y=1.5p^2q^2+-0.5(3p^4-q^4)/2,z=3/4*pq(3p^4+q^4),p、q为奇数
证明:当(x+y,(x+y)^2-3xy)=3时,x+y=3a^2,(x+y)^2-3xy=3b^2,z=3ab
9a^4-3xy=3b^2,xy=3a^4-b^2,,x,y=1.5a^2+-0.5(4b^2-3a^4)^0.5
4b^2-3a^4=m^2 ,(2b+m)(2b-m)=3a^4,a=pq,b=(3p^4+q^4)/4,m=(3p^4-q^4)/2
或a=pq,b=(p^4+3q^4)/4,m=(p^4-3q^4)/2
2x=3p^2q^2+(3p^4-q^4)/2,2y=3p^2q^2-(3p^4-q^4)/2,p、q为奇数
或2x=3p^2q^2+(p^4-3q^4)/2,2y=3p^2q^2-(p^4-3q^4)/2,p、q为奇数
此二组解形式相同。归并为:
x、y=1.5p^2q^2+-0.5(3p^4-q^4)/2,z=3/4*pq(3p^4+q^4),p、q为奇数 ......(2)
(2)完全满足x^3+y^3=z^2,从推导过程要求p、q为奇数,如p、q为奇数,也是原方程的解,不过x、y不互素!
自评:不定方程一般要求系数是整数,(2)可以化为整系数,但表达式太复杂。