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