回答

✨ ベストアンサー ✨

√2 を含む項を左辺に、含まない項を右辺にまとめましょう。

①式は、√2(y-y') = x'-x

y ≠ y' と仮定しているので、両辺 y-y' で割って、
√2 = -(x-x') / (y-y') ・・・★

☆【1】の答えは⑥です。

x, x', y, y' は有理数なので、★も有理数でなければなりませんが、これは √2 が無理数であることに矛盾します(左辺は無理数なのに、右辺は有理数)。

☆【2】の答えは②, 【3】の答えは①です。

よって、仮定 y=y' が間違っていることになるので、y=y' が言えます。

☆【4】の答えは④です。

y=y' を①式に代入すると、√2 を含む項が消えて、x=x' となります。

☆【5】の答えは③です。

これで題意は証明されました。

【訂正】
よって、仮定 y=y'
⇒ よって、仮定 y ≠ y'

この回答にコメントする
疑問は解決しましたか?