Las bisectrices de dos ángulos opuestos por el vértice son semirrectas opuestas.
H) α y β, ángulos opuestos por el vértice O
OP: Bisectriz de α
OQ: Bisectriz de β
T) OP y OQ son semirrectas opuestas.
α y γ
Son adyacentes, por definición de ángulos opuestos por el vértice.
β y γ
Se considera la bisectriz MN del ángulo γ: OP ¥ OM y OQ ¥ OM en el punto O, por "P3"
Como "por un de una recta pasa una y solo una recta perpendicular a ella" se concluye que OP y OQ pertenecen a la misma recta, es decir, son semirrecras opuestas.
