Перпендикуляром, опущенным из данной точки данную плоскость, называется отрезок, соединяющий данную точку с точкой плоскости и лежащий на прямой, перпендикулярной плоскости. Конец этого отрезка, лежащий в плоскости, называется основанием перпендикуляра.
Наклонной, проведенной из данной точки к данной плоскости, называется любой отрезок, соединяющий данную точку с точкой плоскости, не являющийся перпендикуляром к плоскости. Конец отрезка, лежащий в плоскости, называется основанием наклонной. Отрезок, соединяющий основания перпендикуляра наклонной, проведенных из одной и той же точки, называется проекцией наклонной.



AB – перпендикуляр к плоскости α.
AC – наклонная, CB – проекция.

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

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

  Доказательство

Пусть AB — перпендикуляр к плоскости α, AC — наклонная и c — прямая в плоскости α, проходящая через точку C и перпендикулярная проекции BC. Проведем прямую CK параллельно прямой AB. Прямая CK перпендикулярна плоскости α (так как она параллельна AB), а значит, и любой прямой этой плоскости, следовательно, CK перпендикулярна прямой c. Проведем через параллельные прямые AB и CK плоскость β (параллельные прямые определяют плоскость, причем только одну). Прямая c перпендикулярна двум пересекающимся прямым, лежащим в плоскости β, это BC по условию и CK по построению, значит, она перпендикулярна и любой прямой, принадлежащей этой плоскости, значит, перпендикулярна и прямой AC.