先证AE垂直BC（可联结AC，△ABC是等边三角形，三线合一）因为∠AEF=60°，所以∠FEC=30°，因为菱形ABCD中，∠B=60°，所以∠C=120°所以在△EFC中，∠EFC=∠FEC=30°，所以CE=CF所以BE=DF
