梯形ABCD中,AD//BC,AC与BD相交于点E,BF//CD交CA的延长线于F求证EF乘AD=EC乘BC