>138
>x=8,y=15,z=17はx^2×1=(z+y)(z-y)を満たすけれども1=(z-y)を満たさない。
1=(z-y)を満たさない場合の証明がないので証明は間違っています。

z=17/2、y=15/2ならば、満たします。