在梯形ABCD中,AD平行BC,以AB为直径的圆O与CD相切于E点,对角线AC,BD相交于F点,求证:EF平行BC