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\)(đpcm)