四边形ABCD是正方形△ECF是等腰直角三角形