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:

GT	a ≠ b, a ⊥ c, b ⊥ c.
KL	a // b.

Chứng minh định lí:

Vì a ⊥ c (GT) nên A^1=90°

Vì b ⊥ c (GT) nên B^1=90°

Do đó A^1=B^1=90°

Mà hai góc A^1 và B^1 ở vị trí đồng vị

Suy ra a // b.

Vậy a // b.