如图，矩形ABCD中，对角线AC的垂直平分线交AD、BC于点E、F，AC与EF交于点O，连结AF、CE。（1）求证：四边形AFCE是菱形；（2）若AB=4,AD

如图，矩形 ABCD 中，对角线 AC 的垂直平分线交 AD 、BC 于点 E 、F ， AC 与EF 交于点O ，连结 AF 、CE 。