Como se muestra en la figura, en el triángulo abc, d está en bc, bd=dc, ángulo fde=90 grados, f y e están en ab y ac respectivamente, lo que demuestra que bf ce>ef
Demostración: Extender ED hasta el punto G para que ED=GD, conectar BG y FG
∵BD=CD, ED=FD, ∠BDG=∠CDE
∴△BDG≌△CDE (SAS)
∴BG=CE
∵BF BG>FG
∴BF CE>FG
∵∠FDE=90
∴DF biseca EG verticalmente
∴EF=FG
∴BF CE>EF