作DG平行于AE交BF于G
由AE=EF,GD//AE可知GD=GF,因此BF=BG+GF=BG+GD
AC=AE+EC=EF+EC,
根据DG//AC,BD=DC可知EC=2GD,所以AC=EF+2GD
EF=GE-GF=GE-GD,根据D是BC中点且GD//EC可知GE=BG
所以EF=BG-GD
所以AC=BG-GD+2GD=BG+GD=BF
得证!
延长AD,取DG=AD,连结BG,CG,因D为BC的中点,则ABGC为平行四边形.
由已知,AE=EF,所以
∠EAF=∠AFE.
又AC‖BG,所以
∠EAF=∠BGF.
在三角形BGF中,∠EAF=∠BGF.
所以,三角形是等腰三角形,BF=BG.
又BG=AC,所以,BF=AC.