>>440
両辺二乗して、多項式部分を整理。
また、両辺二乗して、多項式部分を整理。
もいちど、両辺二乗して、多項式部分を整理。
すると、自明な式になる。

両辺二乗で「ならば」が逆向きにならないことを、
0≦A,0≦Bの下ではA≦B⇔A^2≦B^2で説明しとくこと。