Prvo rješenje.
Neka je P sjecište pravaca AD i BE, a Q sjecište AC i DE.
P i Q">
Budući da je točka E na opisanoj kružnici trokuta ABD, slijedi ∠BAD=∠BED (obodni kutovi nad tetivom BD). Budući da je ∠DPE=90∘, slijedi
∠BED=∠PED=90∘−∠EDP=90∘−∠QDA.
Budući da je ∠DQA=90∘, slijedi
∠DAC=∠DAQ=90∘−∠QDA.
Dakle, ∠BED=90∘−∠QDA=∠DAC. Zaključujemo da je
∠BAD=∠BED=∠DAC,
tj. AD je simetrala kuta BAC.
Drugo rješenje.
Neka je P sjecište pravaca AD i BE, a Q sjecište AC i DE. Budući da je točka E na opisanoj kružnici trokuta ABD slijedi
∠ABP=∠ABE=[obodni nad lukom AE]=∠ADE=∠ADQ.
Budući da je ∠BPA=∠DQA=90∘, zaključujemo da trokuti ABP i ADQ imaju iste kutove. Stoga je
∠BAD=∠BAP=∠DAQ=∠DAC,
tj. AD je simetrala kuta BAC.