Горизонтальный след прямой

Горизонтальный след прямой

Горизонтальный след прямой

принадлежит как прямой, так и плоскости проекции H:
lH ∈ l ∧ lH ∈ H
поэтому
l"H ∈ l" и l"H ∈ x, следовательно l"H = l" ∩ x
Горизонтальная проекция l`H ∈ l` (так как lH ∈ l).
Таким образом, для того чтобы найти горизонтальный след прямой необходимо:
- отметить точку пересечения фронтальной проекции прямой с осью x (l" ∩ x = lH);
- через полученную точку провести прямую перпендикулярную оси x, являющейся линией связи точки lH;
- пересечение линии связи точки lH с горизонтальной проекцией прямой l` укажет положение горизонтального следа lH.

Горизонтальный след прямой l находят по следующему алгоритму:
lH = (l" ∩ x = l"H);(a ┴ x, a ∋ l"H);a ∩ l`
Здесь a - прямая перпендикулярная оси x, являющаяся линией связи точки lH.