Kąty AOc i BOD są wierzchołkowe
OE jest dwusieczną kąta AOC
Udowodnić że przedłużenie OE' dwusiecznej OE jest dwusieczna kąta BOD
∡AOC=∡BOD jako wierzchołkowe
∡AOB=∡COD jako wierzchołkowe
α+∡AOB+β=180o
α+∡COD+γ=180o
Z równości kątów AOB i COD mamy że
∡α=∡β oraz oraz ∡ α=∡γ
Stąd także wnioskujemy że ∡ β=∡γ
Z równości tych katów wynika że OE' jest także dwusieczną kąta BOD