O - точка пересечения диагоналей ромба
Диагонали ромба перпендикулярны, BD⊥AC
FO - наклонная
BO - проекция наклонной на плоскость (ABC)
Если проекция наклонной перпендикулярна прямой в плоскости, то и наклонная перпендикулярна этой прямой.
FB⊥(ABC), BO⊥AC => FO⊥AC (по теореме о трех перпендикулярах)
То есть b⊥a
