En el triángulo abc, el ángulo bac=90, ab=ac, am es cualquier ángulo que pasa por el punto a

Prueba:

∵∠BAC=90°

∴∠BAD ∠CAE=90°

∵BD⊥AM, CE ⊥AM

∴∠BDA=∠AEC=90°

∴∠ACE ∠CAE=90°

∴∠BAD=∠ACE

También ∵AB=AC

∴△BDA≌△AEC (AAS)

∴BD=AE, AD=CE

∴DE=AE -AD=BD-CE