如图,在矩形abcd中,ab=3,bc=4沿EF折叠