>>632
右辺に条件をつけただけ、という意味合いがよくわからないのですが…
a=b <=> a^2=b^2 の同値性においてa>0,b>0という条件は<=の向きでしか使ってませんよ？