Trên cùng phía của đường thẳng xy, vẽ 2 đường thằng AH và BK, sao cho AH vuông

Ta có: AH ⊥ xy ⇒\[\widehat {AHO} = 90^\circ \]

BK ⊥ xy ⇒\[\widehat {BKO} = 90^\circ \]

Xét △AHO vuông tại H và △BKO vuông tại K có:

AH = BK

\[\widehat {AHO} = \widehat {BKO} = 90^\circ \]

HO = OK (do O là trung điểm của HK)

⇒  △AHO = △BKO (c.g.c)

⇒\(\widehat {AOH} = \widehat {BOK}\)(2 góc tương ứng).