如图，在菱形ABCD中，AC为对角线，点E、F分别是边BC、AD的中点．