Giả sử cho 2 đường thẳng song song a và b, đường thẳng c vuông góc với a. Ta phải chứng minh c cũng vuông góc với b. Thật vậy:
Vì a//b nên \(\widehat {{A_1}} = \widehat {{B_1}}\) ( 2 góc đồng vị), mà \(\widehat {{A_1}} = 90^\circ \) nên \(\widehat {{B_1}} = 90^\circ \) hay \(b \bot c\)
Vậy một đường thẳng vuông góc với một trong hai đường thẳng song song thì nó cũng vuông góc với đường thẳng còn lại.
Trong chứng minh trên, ta đã sử dụng tính chất của hai đường thẳng song song.