如图,已知ABCD是正方形,AFEC是菱形