如图,在菱形ABCD中,AB=4,角BAD=120°,△AEF为正三角形.证明不论E、F分别在BC,CD上如何移动,总有