GT	a // b, c cắt a tại A, c cắt b tại B; $\widehat{A_1},\widehat{B_1}$ là hai góc đồng vị.
KL	$\widehat{A_1}=\widehat{B_1}.$

GT	$xx\text{'}$ cắt $yy\text{'}$ tại O. $\widehat{x^{\text{'}}O{y}^{\text{'}}}$ và $\widehat{xOy}$ đối đỉnh.
KL	$\widehat{x^{\text{'}}O{y}^{\text{'}}}=\widehat{xOy}.$

 

GT	$\widehat{xOy}$ và $\widehat{y\text{O}z}$ là hai góc kề bù, $\widehat{xOy}=\widehat{y\text{O}z}.$
KL	$\widehat{xOy}=\widehat{y\text{O}z}=90°.$

 

Hai góc bằng nhau thì chưa chắc đối đỉnh.

Hình vẽ bên dưới ta có $\widehat{xOy}=\widehat{x^{\text{'}}O{y}^{\text{'}}}=30°$ nhưng hai góc này không đối đỉnh.

Đị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 thì chúng song song với nhau” 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.

Trong hình vẽ trên, ta có hai đường thẳng a và b cùng vuông góc với đường thẳng c.

Giao điểm của hai đường thẳng a và b với đường thẳng c lần lượt là A và B.

Do đường thẳng a và đường thẳng b vuông góc với đường thẳng c nên $\widehat{aAc}=\widehat{bBc}=90°.$

Mà hai góc này ở vị trí đồng vị nên a song song với b.

Vậy ta có điều phải chứng minh.

Trong hình vẽ trên, ta có hai đường thẳng a và b song song với nhau.

Đường thẳng c vuông góc với đường thẳng a.

Giao điểm của hai đường thẳng a và b với đường thẳng c lần lượt là A và B.

Do đường thẳng a vuông góc với đường thẳng c nên $\widehat{aAc}=90°.$

Do đường thẳng a song song với đường thẳng b nên $\widehat{aAc}=\widehat{bBc}$ (hai góc đồng vị)

Do đó $\widehat{bBc}=90°.$

Vậy đường thẳng b vuông góc với đường thẳng c.

Trong chứng minh này, chúng ta sử dụng các kiến thức về số đo của góc vuông, các góc tạo bởi hai đường thẳng cắt nhau, tính chất hai đường thẳng song song.

Khẳng định (1) đúng dựa vào tính chất đường phân giác của góc.

Khẳng định (2) sai, ta có ví dụ như sau:

Trong hình vẽ trên, Oz là tia phân giác của góc xOy, Ot là tia đối của Oz.

Do Oz là tia phân giác của góc xOy nên $\widehat{xOz}=\widehat{zOy}$ (tính chất tia phân giác của góc).

Mà $\widehat{xOt}+\widehat{xOz}=180°,\widehat{y\text{O}t}+\widehat{zOy}=180°$ nên $\widehat{xOt}=\widehat{tOy}.$ 

Ta thấy $\widehat{xOt}=\widehat{tOy}$ mà Ot không phải tia phân giác của góc xOy nên khẳng định (2) sai.