이 부등식은 일반적인 복소벡터공간에 대해서도 성립하지만 여기서는
인
경우에 대해서만 증명하기로 한다.
인 경우에는 등식이 항상 성립하므로 더 이상 논의할 것이 별로 없다.
를 가정하자.
, 로 놓고
을 보여야 한다. 모든 실수 에 대하여 다음의 부등식이 성립함에 주목한다.
에 대한 2차식으로 정리하면
모든 에 대하여 위의 부등식이 성립한다는 것은 (2차항의 계수가 0이 아니므로)
판별식이 0 이하라는 것을 함의한다. 즉,
이 성립하며 이것이 바로 우리가 보이려던 부등식 이다.
이제 등호 관련 명제를 증명하기 위하여
을
가정하자. 그러면 판별식이 0이며 따라서 의 좌변의 값,
즉 의 좌변의 값이 0이 되는 가 존재한다.
제곱들의 합이 0이라는 것은 모든 이 각각 0이라는 것을 의미하므로
이 성립한다.
즉 이다.
역방향의 증명은 아주 쉽다.
(1)의 증명:
, 즉 을 보이면 된다.
이 부등식은 , 로 두고
코시-슈바르츠 부등식을 적용하면 바로 얻어진다.
(2)의 증명:
이므로 는 모든 점들이
를 만족할 때, 즉 적합선 상에 있을 때, 그리고 이때만 성립한다.
은 코시-슈바르츠 부등식에서 등호가 성립함을 의미하며 이는 또는
인 이 존재함을 의미한다.
만일 모든 에 대해서
라면 (이므로)
이고 이는 ,
즉 를 함의한다. 따라서 이다. 역방향의 증명은
비슷한 방법으로 쉽게 이루어지므로 생략한다.
의 값이 1에 가까울수록 는 0에 가깝다는 사실은 [정리 7.7]과
[정리 7.8]에 의하여 얻어지는 로부터 알 수 있다.
(3)의 증명:
(4)의 증명:
의 부호는 정의에 의하여 의 부호와 일치한다. 적합선의 기울기는
로 계산되므로 역시 부호가 와 일치한다.