已知菱形ABCD的边长为2,角DAB=60度,EF分别是AD,CD上的动点