Se raza DG, perpendicular a EF; los triángulos rectángulos DAE y DGE tienen común la hipotenusa DE e iguales los ángulos AED y DEG, luego son iguales, y será EG=AE y DG=GA.
Se traza DF; los triángulos rectángulos AGF y ACF tienen común la hipotenusa DF e iguales los catetos AG y DC; luego son iguales y será GF=FC.
Entonces: AE+FC=EG+GF=EF