1. (2018八上·青山期中) 如图，在Rt△ABC中，∠A=30°，∠ACB=90°，点D为AC中点，点E为AB边上一动点，AE=DE，延长ED交BC的延长线于点F.

1. （1） 求证：△BEF是等边三角形；
3. （2） 若AB=12，求DE的长.