在圆O上任取C点为圆心,作一圆与园O的直径AB相切于点D,圆C与圆O交于E,F,求证:EF平分CD