• 1. (2023九上·宿州月考) 如图，在菱形ABCD中，对角线AC，BD相交于点O，点E，F在对角线BD上，且BE＝DF，AE⊥AF．

  求证：四边形AECF是正方形．