Quan sát Hình 51, biết Ox // HK, tia Ox là tia phân giác của góc yOK. Chứng minh hai góc OHK và OKH bằng nhau.

Vì Ox là tia phân giác của góc yOK nên $\widehat{xOy}=\widehat{xOK}$

Do Ox // HK nên ta có:

• $\widehat{xOy}=\widehat{OHK}$ (hai góc đồng vị);

• $\widehat{xOK}=\widehat{OKH}$ (hai góc so le trong).

Do đó $\widehat{OHK}=\widehat{OKH}$ (cùng bằng $\widehat{xOy}$ và $\widehat{xOK}$).

Vậy $\widehat{OHK}=\widehat{OKH}.$