1. (2022八下·宣化期末) 如图，在Rt△ABC中，∠ACB＝90°，D是斜边AB的中点，把△BCD沿BC翻折得到△BCE，作EF⊥AB于点F．

1. （1） 求证：四边形BDCE是菱形；
3. （2） 若AC＝12，AB＝20，求EF的长．