如图所示:
过点E作EG‖AF交BC于G
由于DE=DF
容易证明:
△EDG≌△FDC
∴CF=EG
∵EG‖AF
∴△BEG∽△BAC
故:
△BEG也为等腰三角形
即:
BE=EG
∴有:
BE=EG=CF
证明完毕!