如图,四边形ABCD中,AB=DC,AD=BC,点E在BC上,点F在AD上,AF=CE,EF与对角线BD交与点O.求证: