∡AOT=∡BOT
∡ABT=∡YBT
Stim ca orice punct de pe bisectoare este egal departat de laturile unghiului
Folosind aceasta proprietate vom avea:
OT bisectoare⇒ d(T,OX)=d(T,OY)
BT bisectoare⇒ d(T,OY)=d(T,AB)
d(T,OX)=d(T,AB)⇒ T ∈ bisectoarei ∡BAX⇒ AT este bisectoarea ∡BAX