证明:过D作DP‖AB交BC于P
则有:△EFB∽△EDP ,△CDP∽△CAB
∴EF:FD=EB:BP AD:BP=AC:BC即AD:BP=AC:BC
∵AD=BE
∴EF:FD=AD:BP
∴EF:FD=AC:BC