已知：如图8，AB是⊙O的直径，AC是弦，直线EF是过点C的⊙O的切线，AD⊥EF于点D.
求证：∠BAC=∠CAD
若∠B=30°，AB=12，求的长.