Принадлежность точки прямой

Принадлежность точки прямой на комплексном чертеже определяется согласно аксиоме инцидентности, которая устанавливает зависимости и отношения принадлежности между данными элементами евклидова пространства, которая гласит: - если точка B принадлежит прямой a, то проекции точки B` и B" принадлежат одноименным проекциям прямой a` и a" соответственно.

Принадлежность точки прямой

В символической форме эти выражения могут быть записаны
B ∈ a ⇒ B` ∈ a` ∧ B" ∈ a"

Задача на принадлежность точки прямой может быть выражена следующим образом:
- заключить точку B(B`, B") в;
- провести через точку B(B`, B")
прямую a общего положения.
На эпюре решение данной задачи сводится к проведению через проекции заданной точки одноименных проекций прямой.