因为BD是角B的平分线
所以角FBD等于角CBD
又因为DF平行于BC
所以角FDB等于角CBD
所以角FBD等于角BDF
所以BF=DF
又可证CE=DE(等腰三角形)
则DF=EF+ED=EF+CE=BF