Точка F касания прямой l и окружности с центром в точке О служит серединой отрезка…

Мы имеем 4-ник, у которого диагонали взаимно перпендикулярны и в т. Пересечения делятся пополам, так как OF перп. АВ и AF=FB, OF=FD — по условию. Значит этот 4-ник — ромб. Что и требовалось доказать.