过D做DH//BC交AB于H∴HD:EB = DF:EF∵AD=BE∴DF:EF = HD:AD∵DH//BC∴HD:BC = AD:AC等号两边交换得到∴HD:AD = BC:AC∴DF:EF =BC:ACDF×AC =BCEF