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

증명하라.

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

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

증명.

(1)AC 가 AB 보다 크므로, 큰 AC 에서 AB 와 같은 AD 를 잘라 낸다.