1. (2022·阳泉模拟) 如图，点O为Rt△ABC的斜边BC上一点，以点O为圆心、OC为半径的⊙O与边AB相切于点D，与边AC，BC分别相交于点E，F，连接OE，DE，DF．

1. （1） 求证：DE＝DF；
3. （2） 若∠B＝30°，⊙O的半径为8，求AC的长．