在边长为a的菱形ABCD中,∠DAB=60°,E是AD上异于A,D两点的动点,F是CD上的动点,满足AE+CF=a