数学問題

数学問題

$a,x,y,z$をそれぞれ異なる自然数とし、$x>y>z$とする。
この時、$$(\frac{a^{2}-x^{2}}{2x})^{2}+(\frac{a^{2}-y^{2}}{2y})^{2}=(\frac{a^{2}-z^{2}}{2z})^{2}$$を成り立たせるそれぞれが異なる有理数$a,x,y,z$の組について、$x,y,z$を$x^{2}+y^{2}=t^{2}$($t$を有理数とする),$z=\frac{xy}{t}$と定めると解が存在しないことを証明せよ。

解答形式

あまり大雑把にならないようにしてください。