CD e bisectoare , ∡C=2x
in triunghiurile dreptunghice ADC si EDC unghiul y=∡A-∡x=∡E-x=90-x
prin urmare tr. ADC si EDC sunt congruente (ULU) si in consecinta AC=CE,
tr. ACE este isoscel
DE⊥BC, AF⊥BC ⇒ DE║AF ⇒ ∡EDC=∡DFA=y (alterne interne)
rezulta ca tr. DAF este isoscel deoarece are 2 unghiuri congruente, y