• 1. (2022八下·双台子期末) 如图，在平行四边形ABCD中，对角线AC、BD相交于点O，过点O作直线EF⊥BD，分别交AD、BC于点E和点F，求证：四边形BEDF是菱形．