Chứng minh định lí: “Hai đường thẳng phân biệt cùng vuông góc với một đường thẳng thứ ba

Hình vẽ minh họa:

Viết giả thiết và kết luận bằng kí hiệu:

Chứng minh định lí:

Vì a ⊥ c (GT) nên ${\widehat{A}}_1=90°$

Vì b ⊥ c (GT) nên ${\widehat{B}}_1=90°$

Do đó ${\widehat{A}}_1={\widehat{B}}_1=90°$

Mà hai góc ${\widehat{A}}_1$ và ${\widehat{B}}_1$ ở vị trí đồng vị

Suy ra a // b.

Vậy a // b.