证明：连接OC，如图，
∵OA=OC，
∴∠OAC=∠OCA，
∵∠DAC=∠BAC，
∴∠OCA=∠DAC，
∴OC∥AD，
∵AD⊥EF，
∴OC⊥CF，
∴EF是⊙O的切线．