①平行四边形的对角线互相平分;
②菱形的四个内角相等;
③矩形的对角线相等且互相垂直;
④正方形具有矩形和菱形的所有性质.
如图,矩形ABCD中,点E,F分别在AB,CD边上,连接CE、AF,∠DCE=∠BAF.试判断四边形AECF的形状并加以证明.