>>342

じゃあ君の論法と同じことを次に。

　x^2 = y^2 という方程式を考える。
　x=2k, y=2m ・・・①とおける。代入すると、 4k^2 = 4m^2 よって k^2 = m^2 ・・・(*)となる。
　式の形から、与式を満たすx,y と (*)を満たすk,m について、x=k, y=m が成り立つ。
　①と連立して、x=y=0 。