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

（1）求证：四边形AFCE是菱形；
（2）若AB=3，AD=4，求菱形AFCE的边长．