В евклидовой геометрии для построения прямых через заданные точки используются постулаты, которые утверждают существование и уникальность определённых геометрических фигур и дают методы их создания с помощью циркуля и линейки. en.wikipedia.org
Некоторые из постулатов Евклида, которые касаются построений:
- От всякой точки до всякой точки можно провести прямую. math.msu.ru
- Ограниченную прямую можно непрерывно продолжать по прямой. math.msu.ru
- Из всякого центра всяким раствором может быть описан круг. math.msu.ru
- Все прямые углы равны между собой. en.wikipedia.org math.msu.ru
- Если прямая, пересекающая две прямые, образует внутренние односторонние углы, меньшие двух прямых, то продолженные неограниченно эти две прямые встретятся с той стороны, где углы меньше двух прямых. math.msu.ru