如图，矩形ABCD中，AB＝3，BC＝4，将矩形沿AC折叠，使点B与点E重合，AD与EC相交于点F.(1)求证：EF＝DF；(2)求EF的长．

如图，矩形ABCD中，AB＝3，BC＝4，将矩形沿AC折叠，使点B与点E重合，AD与EC相交于点F.