>>70
a≧0, b≧0 のとき a=b ⇔ a^2=b^2