Теорема о трёх перпендикулярах

В условии задачи еще дано, что прямая а перпендикулярна плоскости АВС.

Расстоянием от точки до прямой является длина перпендикуляра, проведенного из точки к прямой.

Проведем МК⊥АС. МК - искомое расстояние.

МВ⊥АВС, МК - наклонная к АВС, тогда ВК - ее проекция на плоскость АВС.

Так как МК⊥АС, то и ВК⊥АС по теореме, обратной теореме о трех перпендикулярах.

ΔВКС: ∠ВКС = 90°, ВК = а · sinα.

ΔMBK: ∠МВК = 90°, по теореме Пифагора

МК = √(МВ² + ВК²) = √(m² + a² · sin²α)