自然数a,b,c,dが
a^2+b^2=c^2+d^2,a<b,c<d
を満たすならば
a=c,b=d
であることの証明がわかりません。
例えばa^2-c^2を作って因数分解してみてもその先に進めません。
ご教授ください。