>>799
日高氏の頭の中では背理法は用いておらず、
x^p+y^p=z^pの解を求めようとしている。
その際、定数rを用いてx^p+y^p=(x+r)^pとx,yの二変数にして
rごとに有理数解x,y,x+rをさがしているのでは。