поскольку ABCD - ромб, диагонали будут перпендикулярны (AC⊥BD)
следовательно BD⊥OC, а тогда по теореме о трёх перпендикулярах BD⊥FO
Доказано.
