菱形ABCD中,E、F分别是BC、CD上的点,角BAD=120°,角EAF=60°.求证,三角形AEF为等腰三角形.