Giả sử có 2 đường thẳng phân biệt a,b cùng vuông góc với một đường thẳng c.
Ta có: \(\widehat {{A_1}} = \widehat {{B_2}}(=90^0)\), mà hai góc này ở vị trí đồng vị nên a//b (Dấu hiệu nhận biết 2 đường thẳng song song)
Như vậy, định lí trên có thể được suy ra trực tiếp từ định lí về dấu hiệu nhận biết hai đường thẳng song song.