定義も何も、自然数解の有無を論じるんだから、
x,y,zはすべて自然数でなければNGやろ

x,y,zが、自然数じゃなくてもいいって日高の論を受け入れてる時点で日高の策にはまっている
比が等しいからどうこうって論もそもそもNG