Рассмотрим теорему: если одна сторона прямого угла параллельна плоскости проекций (или лежит в ней), то прямой угол проецируется на эту плоскость без искажения.

Приведем доказательство для прямого угла ABC , одна сторона которого ВС параллельна горизонтальной плоскости (рис. 32).

Плоскость, в которой находится сторона угла АВ и ее проекция ab , перпендикулярна горизонтальной плоскости, так как содержит перпендикуляр Вb к этой плоскости. Прямая ВС перпендикулярна плоскости Q вследствие ее перпендикулярности двум пересекающимся прямым этой плоскости (АВ и Вb ). Прямая bc параллельна ВС , т. е. она также перпендикулярна Q , а значит и прямой ab , которая лежит в ней.

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

Предположим, что ab ⊥bc, b́с́ || x.

Это показано на рисунке 33.

Можно провести через проекцию аb плоскость Q , проектирующую прямую АВ на горизонтальную плоскость (рис. 33). Проекция bс

перпендикулярна плоскости Q вследствие того, что она перпендикулярна двум прямым этой плоскости, т. е. проекции аb (по условию), и проецирующему лучу Вb как перпендикуляру горизонтальной плоскости.

Прямая ВС является параллельной горизонтальной плоскости, так как ее фронтальная проекция bс параллельна оси х , поэтому она параллельна своей горизонтальной проекции, т. е. справедливо выражение ВС || bс . Следовательно, прямая ВС перпендикулярна плоскости Q и поэтому перпендикулярна прямой АВ вне зависимости от ее положения в плоскости Q .

Через некоторую точку М можно провести огромное количество прямых, которые перпендикулярны данной прямой АВ . Они образуют целую плоскость Р , перпендикулярную АВ (рис. 34).

Из всех перпендикулярных прямых, которые при этом образуются, только одна пересекает данную прямую. Это прямая MN , которая проходит через точку N пересечения прямой АВ и плоскости Р .

Под перпендикуляром к прямой подразумевается прямая, не только перпендикулярная данной прямой, но и пересекающая в отличие от просто перпендикулярных скрещивающиеся прямые.

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