диагонали равны => это прямоугольник, диагонали в прямоугольнике в точке пересечения делятся попалам => AB=CD; BO=OD; AO=OD => треугольники равны(по 3 сторонам)
