没有全不为0的整数解。
预备知识.假设x,y,z是满足formula_2的一组互质的整数解，那么存在互质的整数a,b，使得formula_3。
证明过程.
1.假设(x,y,z)为方程formula_4一个解并且x,y互质，y为偶数，则formula_3，其中formula_6，a、b互质，a、b的奇偶性相反。由formula_7得a必定是奇数，b必定是偶数。
2.另外，亦得formula_8，再从此得for