|
эквивалентность |
AL A |
|
логическое следствие |
m |
^ |
знак соответствующий |
(h )^(h// 1) |
союзу «и» |
|
1.6. Прямая.
Проекция прямой есть прямая. Отсюда следует, что для построения проекций прямой линии достаточно знать проекции каких - либо двух ее точек. Соединяя прямыми одноименные проекции этих точек, получают проекции прямой, которой принадлежат заданные точки.
Рис.1.9.
В виде примера на рис. 1.9. построены проекции прямой ℓ, определяемой двумя произвольными точками: точкой А (проекции А′ и А") и точкой В (проекции В′ и В″). Если надо построить третью профильную проекцию той же прямой, то следует построить профильные проекции тех же точек - А″′ и В″′; проведенная через них прямая ℓ″′ и будет искомой профильной проекцией прямой.
1.7. Принадлежность точки прямой.
Если точка принадлежит прямой, то проекции точки принадлежат одноименным проекциям прямой (рис.1.10).
(С ℓ) ↔ {(С′ ℓ′ ) ^ ( С″ ℓ″ ) ^ (С″′ ℓ″′ )}
Рис. 1.10
1.8.Следы прямой.
Следом прямой называется точка пересечения прямой с плоскостью проекций.
Рис.1.11.
На рис. 1.11 приводится построение следов прямой, заданной отрезком АВ. Последовательность графических построений при определении следов прямой на комплексном чертеже показана стрелками.
ℓπ1 - горизонтальный след прямой ℓ,
11