已知四边形ABCD是菱形（四条边都相等的平行四边形）．AB＝4，∠ABC＝60°，∠EAF的两边分别与边BC，DC相交于点E，F， 且∠EAF＝60°．