✨ ベストアンサー ✨
①
x=y→x+z=y+z
これは明らかに成り立つ。
x+z=y+z→x=y
これもまた成り立つ。
よってx=y⇔x+z=y+z
②
x=y→x^2=y^2
これは成り立つ。
x^2=y^2→x=y
x,yの符号が一致する時は成り立つが、
例えばx=-1,y=1のときは成り立たず。
よって同値とはいえない。
③
x=y→(x-y)^2=0
x=yよりx-y=0⇔(x-y)^2=0
これは成り立つ。
(x-y)^2=0→x=y
(x-y)^2=0⇔x-y=0⇔x=y
これも成り立つ。
よって、x=y⇔(x-y)^2=0
とても詳しく説明してくださり、ありがとうございました!