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

증명하라.

임의의 직선에 대하여 그 위의 한 점에서, 같은 쪽에 있지 않은 두 직선이 이웃한 두 각의 합을 두 직각과 같게 만들면, 두 직선은 서로 한 직선을 이룬다.

주어진 것
직선 AB 와 그 위의 점 B. B 에서 나온 두 직선 BC, BD 는 AB 의 같은 쪽에 있지 않고, ∠ABC 와 ∠ABD 의 합은 두 직각과 같다.
보여야 할 것
BD 가 CB 와 한 직선을 이룸을 보이는 것.

증명.

(1)만약 BD 가 CB 와 한 직선이 아니라면, CB 를 B 너머로 곧게 이어 BE 가 CB 와 한 직선을 이룬다고 하자.