1. (2016·浙江模拟)

如图，⊙O与Rt△ABC的斜边AB相切于点D，与直角边AC相交于E、F两点，连结DE，已知∠B=30°，⊙O的半径为12，弧DE的长度为4π．

1. （1） 求证：DE∥BC；

3. （2） 若AF=CE，求线段BC的长度．