En todo triángulo rectángulo, el circuncentro es el punto medio de la hipotenusa,
Entonces los puntos E y F son respectivamente, los circuncentros de los triángulos ABD y BCD, rectángulos en A y B.
El segmento EF es la paralela media del triángulo BCD, y vale BC/2.
Si BD=a y CD=b, será \( BC=\sqrt[ ]{b^2-a^2} \)
