ルートの中身は正となる条件を確認してから両辺とも二乗する。