如图，在四边形ABCD中，AD∥BC，点O是对角线AC的中点，过点O作AC的垂线，分别交AD、BC于点E、F，连接AF、CE.试判断四边形AECF的形状，并证明.