El triángulo rectángulo FCE tiene un ángulo de 45º, luego es isósceles, por lo que EF=FC.
Los triángulos rectángulos ABE y AFE son iguales por tener común la hipotenusa AE e iguales los catetos AB=AF; luego BE=EF.
Los tres segmentos son, por tanto, iguales.
