Формулировка теоремы

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

Проекцией прямой на плоскость, не перпендикулярную к этой прямой, является прямая.

Определение. Углом между прямой и плоскостью, пересекающей эту прямую и не перпендикулярной к ней, называется угол между прямой и её проекцией на плоскость.