>>625
式の形からは（２）の右辺が常に＞０とは言えないと。
これを＞０としている根拠は左辺が＞０であることだろうと。
それを方程式の同値変形に使っていいのか疑問だ。
もしこれでいいのなら、a=bとa^2=b^2の同値性の条件がa>0だけでいいってことにならないか？

ということでいいかな？