Demostración: A partir de e, EM⊥BC está en m, a partir de e, EN⊥CA se extiende en n
Porque E está en la mediatriz de AB, AE=BE .
e está en la bisectriz de ∠ACB, por lo que EN=EM.
ENA=∠EMB=90 grados
Entonces △ENA≔△EMB. ∠AEN =∠Bem
EM⊥BC,EN⊥AC. Entonces EM⊥EN, ∠ man = 90
AEB = ∠ man - ∠AEN+∠ Bem = ∠ man = 90°
Entonces △ABC y △ABE son ambos triángulos rectángulos.
d es el punto medio de AB, por lo que DC es la línea media de la hipotenusa de RT△ABC, DC=AB/2.
Al mismo tiempo, DE es la línea media de la hipotenusa de RT△ABE, DE=AB/2.
Entonces virtud=DC