유클리드 원론 · 제1권 · 명제 14
증명하라.
임의의 직선에 대하여 그 위의 한 점에서, 같은 쪽에 있지 않은 두 직선이 이웃한 두 각의 합을 두 직각과 같게 만들면, 두 직선은 서로 한 직선을 이룬다.
- 주어진 것
- 직선 AB 와 그 위의 점 B. B 에서 나온 두 직선 BC, BD 는 AB 의 같은 쪽에 있지 않고, ∠ABC 와 ∠ABD 의 합은 두 직각과 같다.
- 보여야 할 것
- BD 가 CB 와 한 직선을 이룸을 보이는 것.
증명.
(1)만약 BD 가 CB 와 한 직선이 아니라면, CB 를 B 너머로 곧게 이어 BE 가 CB 와 한 직선을 이룬다고 하자.약속, 공준 2