如图，⊙O与Rt△ABC的斜边AB相切于点D，与直角边AC相交于E、F两点，连接DE．已知∠B＝30°，⊙O的半径为12，弧DE的长度为4π．
（1）求证：DE∥BC；
（2）若AF＝CE，求线段BC的长度．