矩形ABCD AB=4 AD=3 沿EF将矩形对折 使B和D重合 求EF的长度