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

증명하라.

같은 직선 위에 세워져 같은 두 끝점에서 나온 두 직선과 각각 같은 다른 두 직선이, 같은 쪽의 서로 다른 점에서 세워질 수는 없다.

주어진 것

밑변 AB 위 같은 쪽의 두 점 C 와 D. AC = AD 이고 BC = BD 라고 가정한다.

보여야 할 것

그러한 서로 다른 두 점 C, D 는 있을 수 없음을 보이는 것.