• 1. 如图，在菱形ABCD中，对角线AC，BD相交于点O，点E，F在对角线BD上，且BE=DF，OE=OA．求证：四边形AECF是正方形．