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

증명하라.

같은 직선에 평행한 직선들은 서로도 평행하다.

주어진 것
두 직선 AB 와 CD 가 각각 직선 EF 와 평행하다.
보여야 할 것
AB 와 CD 가 서로 평행함을 보이는 것.

증명.

(1)세 직선을 가로지르는 직선 GK 를 긋고, AB, EF, CD 와 만나는 점을 각각 G, H, K 라 하자.