Trong hình vẽ trên, ta có hai đường thẳng a và b song song với nhau.

Đường thẳng c vuông góc với đường thẳng a.

Giao điểm của hai đường thẳng a và b với đường thẳng c lần lượt là A và B.

Do đường thẳng a vuông góc với đường thẳng c nên aAc^=90°.

Do đường thẳng a song song với đường thẳng b nên aAc^=bBc^ (hai góc đồng vị)

Do đó bBc^=90°.

Vậy đường thẳng b vuông góc với đường thẳng c.

Trong chứng minh này, chúng ta sử dụng các kiến thức về số đo của góc vuông, các góc tạo bởi hai đường thẳng cắt nhau, tính chất hai đường thẳng song song.