如图，在四边形ABCD中，AD∥BC，对角线AC的中点为O，过点O作AC的垂直平分线分别与AD、BC相交于点E、F，连接AF。
求证：AE=AF。

如图，在四边形ABCD中，AD∥BC，对角线AC的中点为O，过点O作AC的垂直平分线分别与AD、BC相交于点E、F，连接AF。

求证：AE=AF。

如图，在四边形ABCD中，AD∥BC，对角线AC与BD相交于点O，AC平分∠BAD，请你再添一个什么条件，就能推出四边形ABCD是菱形，并给出证明．