△ABC内接於圆O,D点在圆O上,AD平分∠BAC,DE⊥AB於E,DF⊥AC交AC延长线於F,求证:BE=CF