a=b　⇒　a^2=b^2
これは同値変形ではないですよね。

√a=√b　⇔　a=b
これは同値変形と呼べるのでしょうか？