유클리드 원론 · 제1권 · 명제 27
증명하라.
한 직선이 두 직선과 만나 엇각을 서로 같게 만들면, 두 직선은 서로 평행하다.
- 주어진 것
- 직선 EF 가 두 직선 AB, CD 와 각각 E, F 에서 만나고, 엇각 ∠AEF = ∠EFD 이다.
- 보여야 할 것
- AB 와 CD 가 평행함을 보이는 것.
증명.
(1)AB 와 CD 가 평행하지 않다고 하자. 평행선은 어느 쪽으로 연장하여도 만나지 않는 직선들이므로, 평행하지 않다면 B, D 쪽이나 A, C 쪽에서 만난다.정의 23