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

（1）求证：EF与圆O相切；
（2）若AB=6，AD=4，求EF的长．