Cho đị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í “Hai đường thẳng phân biệt cùng vuông góc với một đường thẳng khác thì song song với nhau”.

a) Ta có hình vẽ:

b) Giả thiết, kết luận của định lí:

c) Chứng minh định lí:

Ta có: a⊥c tại A nên A^1=90o;

b⊥c tại B nên B^1=90o.

Khi đó, A^1=B^1=90o.

Mà A^1 và B^1 ở vị trí đồng vị.

Do đó a // b.