如图，AB是⊙O的直径，AC是弦，直线EF经过点C，AD⊥EF于点D，∠DAC=∠BAC．
求证：EF是⊙O的切线。