4. Обратная теорема о трёх перпендикулярах

Формулировка (обратная теорема): Прямая, проведённая в плоскости через основание наклонной перпендикулярно ей (наклонной), перпендикулярна её проекции.

Условие: aαaAC (наклонной), Ca.
Заключение: aBC (проекции).

Доказательство (аналогично прямому):

  1. ABα → ABa (так как aα).

  2. aAC (по условию).

  3. Прямая a перпендикулярна двум пересекающимся прямым в плоскости ABCAB и AC. Следовательно, a плоскости ABC.

  4. Но BC лежит в плоскости ABC, значит, aBCДоказано.

Ключевая фраза: «Перпендикуляр к наклонной — перпендикуляр к проекции».