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

증명하라.

삼각형의 두 각이 서로 같으면, 같은 각과 마주보는 두 변도 서로 같다.

주어진 것
삼각형 ABC. ∠ABC = ∠ACB.
보여야 할 것
AB = AC 임을 보이는 것.

증명.

(1)만약 AB ≠ AC 라면, 둘 중 하나가 크다. AB 가 크다고 하자.