>777
簡単に話をしよう。
z=x+ルート2
こう置いた時点でz,xが共に自然数である事がなくなっている。
つまり、証明しようとしている事を仮定
している。ここが日高さんの主張の一番の誤謬です。