質問: b2 の証明がうまくできないのでご教示ください。
回答: >両辺を平方するとき同値性が崩れる場合があることは分かる くずれません。 くずれる場合を挙げてみてください。 さて、a^2 = b^2であるならば、 aとbはとりあえず絶対値は等しい。 符号は同じかもしれないし、違うかもしれない。 ここで、a > 0, b > 0という条件があるので、 aとbは同符号。 絶対値が等しく同符号であるから、a = b。