如图，AB是圆O的直径，点C、D在圆O上，且AD平分∠CAB．过点D作AC的垂线，与AC的延长线相交于E，与AB的延长线相交于点F．

求证：EF与圆O相切．