如图,把矩形ABCD沿EF对折,点A与点C重合,若AC=6cm,BC=8cm,求证四边形AFCE为菱形;求EF长