평행한 세 직선이 다른 두 직선을 만날때, 선분의 길이 비가 같다.
AB‾\overline{AB}AB : BC‾\overline{BC}BC = DE‾\overline{DE}DE : EF‾\overline{EF}EF
삼각형과 평행선의 성질로, AB‾:BC‾=AG‾:GH‾\overline{AB} : \overline{BC} = \overline{AG} : \overline{GH}AB:BC=AG:GH 이 성립한다.
□AGED\square AGED□AGED는 평행사변형이기 때문에, 대변의 길이가 같다. AG‾=DE‾\overline{AG} = \overline{DE}AG=DE, GH‾=EF‾\overline{GH} = \overline{EF}GH=EF 이기때문에, AB‾:BC‾=DE‾:EF‾\overline{AB} : \overline{BC} = \overline{DE} : \overline{EF}AB:BC=DE:EF 이 성립한다.