명제 17
평행한 평면들이 두 직선을 자르면, 그들의 잘린 선분들의 길이의 비율은 같다.
두 선분 , 에 대하여, 세 점 , , 와 세 점 , , 가 평행한 세
평면 , , 위에 각각 있으면, 이다.
증명
두 선분 , 에 대하여, 세 점 , , 와 세 점 , , 가 평행한 세
평면 , , 위에 각각 있다.
그러면, 인 것을 보이자.
세 직선 , , 를 그리자. 직선 와 평면 와 교점을 라 하자. 두 선분 , 를 그리자.
그러면 평행한 두 평면 , 을 평면 가 자르기 때문에 그들 각각의 두 교선 , 는
평행하다. [XI권 명제 16] 같은 이유로 평행한 두 평면 , 을 평면 가 자르기 때문에 그들 각각 두 교선
, 는 평행하다. [XI권 명제 16]
그리고 선분 는 삼각형 의 한 변인 선분 와 평행하기 때문에 이다. [VI권 명제 2] 그리고 다시 선분 는 삼각형 의 한 변인 선분 와 평행하기 때문에 이다. [VI권 명제 2]
그런데 이므로 이다.
그러므로 평행한 평면들이 두 직선을 자르면, 그들의 잘린 선분들의 길이의 비율은 같다.
Q.E.D.