已知:如图,四边形ABCD是菱形,对角线AC,BD交于点O.
求证:AC⊥BD.
以下是排乱的证明过程:
①又BO=DO;
②∴AO⊥BD,即AC⊥BD;
③∵四边形ABCD是菱形;
④∴AB=AD.
证明步骤正确的顺序是( )