xx′∩yy′≡Oxx′∩yy′≡O
⇒ ˆxOy=ˆx′Oy′xOy^=x′Oy′^ (đối đỉnh)
ˆxOy′=ˆx′OyxOy′^=x′Oy^ (đối đỉnh)
Ta có: OtOt là phân giác ˆxOyxOy^
⇒ ˆxOt=ˆyOtxOt^=yOt^
mà ˆx′Ot′=ˆxOtx′Ot′^=xOt^ (đối đỉnh)
ˆy′Ot′=ˆyOty′Ot′^=yOt^ (đối đỉnh)
⇒ ˆx′Ot′=ˆy′Ot′x′Ot′^=y′Ot′^
mà ˆxOy′=ˆx′OyxOy′^=x′Oy^
⇒ ˆx′Ot′+ˆx′Oy=ˆy′Ot′+ˆxOy′x′Ot′^+x′Oy^=y′Ot′^+xOy′^
hay ˆxOt′=ˆyOt′xOt′^=yOt′^
b) ˆxOy′xOy′^ và ˆxOyxOy^ là hai góc kề bù
mà OmOm là phân giác ˆxOy′xOy′^
OtOt là phân giác ˆxOyxOy^
⇒ ˆmOt=90o