정리

증명

그림을 그려보면,
(실수!B-A가 아닌 A-B이다.)
와 같다.

좌표를 표시해 보면,
(실수!B-A가 아닌 A-B이다.)
와 같다.

이 때, 두 점 사이의 거리인 d는 이다.

루트는 복잡하니 루트를 제거하기 위해 d를 제곱하면,

정리의 우항과 비슷한 모양이 되었다. A-B를 조금 더 보면 다음과 같다.

아까처럼 좌표를 표시해 보면,

마찬가지로,

1=2이므로,

증명 완료