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

증명하라.

두 삼각형에서 두 변이 각각 같고 그 두 변이 낀 각이 같으면, 밑변도 같고, 삼각형 전체도 같으며, 같은 변과 마주보는 나머지 각들도 각각 같다.

주어진 것

삼각형 ABC 와 DEF. AB = DE, AC = DF, ∠BAC = ∠EDF.

보여야 할 것

BC = EF 이고, 두 삼각형이 같으며, ∠ABC = ∠DEF, ∠ACB = ∠DFE 임을 보이는 것.