1. (2022·丘北模拟) 如图，四边形ABCD是矩形，点E、F分别在边AD、BC上，将矩形ABCD沿EF对折，点B与点D恰好重合．

1. （1） 求证：四边形BEDF是菱形；
3. （2） 若AB＝6，BC＝8，求折痕EF的长．