四边形ABCD是正方形,延长AB到点E,使AE=AC,以对角线AC为一边,以AE为另一边作菱形AEFC,若菱形的面积为9