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

증명하라.

두 삼각형에서 두 변이 두 변과 각각 같은데, 밑변이 한쪽에서 더 크면, 같은 변이 낀 각도 그쪽이 더 크다.

주어진 것
삼각형 ABC 와 DEF. AB = DE, AC = DF 이고 밑변 BC > 밑변 EF.
보여야 할 것
∠BAC > ∠EDF 임을 보이는 것.

증명.

(1)만약 ∠BAC 가 ∠EDF 보다 크지 않다면, 두 각은 같거나 ∠BAC 가 더 작다.