Có thể coi định lí “Hai đường thẳng phân biệt cùng vuông góc với một đường thẳng

Định lí này có đượ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.

Giả sử zz’ ⊥ xy và zz’ ⊥ x’y’. Ta chứng minh được xy // x’y’

Ta có zz’ ⊥ xy suy ra $\widehat{zHy}$ = 90°

zz’ ⊥ x’y’ suy ra $\widehat{HKy\text{'}}$ = 90°

Suy ra $\widehat{zHy}=\widehat{HKy\text{'}}=90°$

Hai góc này ở vị trí đồng vị nên xy // x’y’.