유클리드 원론 · 제1권 · 명제 19

증명하라.

어느 삼각형에서든 큰 각은 큰 변과 마주본다.

주어진 것
삼각형 ABC. ∠ABC 가 ∠BCA 보다 크다.
보여야 할 것
변 AC 가 변 AB 보다 큼을 보이는 것.

증명.

(1)만약 AC 가 AB 보다 크지 않다면, AC 는 AB 와 같거나 그보다 작다.