1. (2022·云南模拟) 求证：菱形的两条对角线互相垂直．

已知：如图所示，四边形ABCD是菱形，对角线AC，BD交于点O．

求证：AC⊥BD．

以下是打乱的证明过程：①∵BO=DO，②∴AO是BD的垂直平分线，即AC⊥BD．③∵四边形ABCD是菱形，④∴AB=AD．

证明步骤正确的顺序是（    ）