명제 6
서로 다른 두 직선이 한 평면에 둘 다 수직이면 두 직선은 서로 평행하다.
두 직선 , 가 한 평면에 수직이면 두 직선 , 는 서로 평행하다.
증명
두 직선 , 가 한 평면에 수직이다.
그러면, 두 직선 , 는 서로 평행하다는 것을 보이자.
두 직선 , 가 한 평면과의 교점을 각각 , 라고 하자.
선분 를 그리자. 직선 와 수직이면서 평면 위에 있는 직선 를 가
되도록 그리자. [I권 명제 3] 세 직선 , , 를 그리자.
직선 는 평면과 수직이므로 직선과 평면의 교점 를 지나는 평면 위에 모든 직선은 직선 와 수직이다. [XI권
정의 3]
그러나 두 직선 , 각각 평면 위에 있으면서 직선 와 만난다. 그러므로 이다. 같은 이유로 이다.
두 삼각형 , 는 , 는 공통, 이므로 합동이다.(SAS 합동) [I권 명제 4] 그러므로 이다.
그런데 , 이므로 , 이다. 그리고 는 공통이다. 따라서 두 삼각형 , 는 합동이다.(SSS 합동) [I권 명제 8] 따라서 이다.
그런데 이므로 이다. 그러므로 두 직선 , 는 수직으로 만난다.
그런데 직선 는 두 직선 , 와 수직으로 만난다. 그러므로 한 점 에서 만나는 세 직선 ,
, 에 수직이 되도록 직선 를 그렸다. 따라서 세 직선 , , 는 한 평면 위에
있다. [XI권 명제 5]
그런데 두 직선 , 가 어떤 평면 위에 있으면 직선 도 그 평면 위에 있다. [XI권 명제 2]
따라서 세 직선 , , 는 한 평면 위에 있다. 그리고 이다. 따라서 두
직선 , 는 평행하다. [I권 명제 28]
그러므로 서로 다른 두 직선이 한 평면에 둘 다 수직이면 두 직선은 서로 평행하다.
Q.E.D.
부연설명
유클리드는 두 직선이 평면의 한 점에서 만날 가능성을 고려하지 않았지만 그 가능성은 쉽게 제거 할 수 있다. 실제로, 이러한 진술은 [XI권
명제13]이며, 따라서 이 명제 보다 앞서야 한다.
이 명제의 역은 [XI권 명제 8]이다.
이 명제의 사용
이 명제는 [XII권 명제 17], [XIII권 명제 16], [XIII권 명제 17]에서 사용되었다.