= (ay? —2abry +b’x’) + (a2 —2cazx+Cx”) + (b’s — 2bcyz+c’y’)

=(ay—bx)’+(az—cx)’+ (bz—cy’) 20

여 세 개의 괄호에 싸인 식을 각각 완전제곱식으로 인수분해를 합니다. 그러면 바로 (실수)“이 되므로 각각의 실수 제곱의 합이 므로 결과는 당연히 0보다 크거나 같게 됩니다. 양수가 된다는 것은 바로 이 절대부등식의 결백함이 증명되는 셈입니다. 그래서

우리는 다음과 같음을 말할 수 있습니다.

(a +0’ +c’) (2° +y?+2) = (ax+by+cz)°

슈바르츠가 들려주는 절대부등식 이야기