>>650 >>653

(右辺)^2 - (左辺)^2
= (a^2 + b^2)(x^2 + y^2) - (ax+by)^2
= (bx-ay)^2
≧ 0,

ラグランジュの恒等式