将矩形ABCD折叠使A，C重合，折痕交BC于E，交AD于F，

（1）求证：四边形AECF为菱形；
（2）若AB=4，BC=8，求菱形的边长；
（3）在（2）的条件下折痕EF的长．