初等证明：使用无穷下降法证明丢番图方程x^4 - y^4 = z^2无非零整数解

题：使用无穷下降法证明丢番图方程$x^4-y^4=z^2$无非零整数解.(摘自《初等数论及其应用第六版》$13.3$习题$4$)

前言：近来头脑有些短路，如此清晰的题目竟想了半天不解，坐立不安，困惑于$y$为奇数时如何处理，然则可以转化到$y$为偶数的情况.

证：

假设该方程存在非零整数解$x,y,z$.因为用变量的相反数代入方程不改变方程的正确性，所以可以假设$x,y,z$都是正整数.

这里还可以假设$(x,y)=1$，理由如下：

$(x,y)=d\Rightarrow x=d{x}_1,y=d{y}_1,(x_1,y_1)=1$，其中$x_1,y_1$都是正整数

$x^4-y^4=z^2\Rightarrow (d{x}_1{)}^4-(d{y}_1{)}^4=z^2\Rightarrow d^4(x_1^4-y_1^4)=z^2$

因此$d^4|z^2$，由初等结论可得$d^2|z$.因此，$z=d^2{z}_1$，其中$z_1$时正整数.于是，

$d^4(x_1^4-y^{}$