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

증명하라.

한 직선이 두 직선과 만나 엇각을 서로 같게 만들면, 두 직선은 서로 평행하다.

주어진 것
직선 EF 가 두 직선 AB, CD 와 각각 E, F 에서 만나고, 엇각 ∠AEF = ∠EFD 이다.
보여야 할 것
AB 와 CD 가 평행함을 보이는 것.

증명.

(1)AB 와 CD 가 평행하지 않다고 하자. 평행선은 어느 쪽으로 연장하여도 만나지 않는 직선들이므로, 평행하지 않다면 B, D 쪽이나 A, C 쪽에서 만난다.