Общие аксиомы конструктивной геометрии

1. Если построены две точки А и В, то построена прямая АВ, их соединяющая, а также отрезок АВ и любой из лучей АВ и ВА (аксиома линейки).

2. Если построена точка О и отрезок АВ, то построена окружность с центром в точке О и радиусом АВ, а также любая из дуг этой окружности.

3. Если построены две прямые, то построена точка их пересечения (если она существует).

4. Если построена прямая и окружность, то построена любая из точек их пересечения (если она существует).

5. Если построены две окружности, то построена любая из точек их пересечения (если она существует).

Сведение решения каждой задачи к элементарным построениям делает решение громоздким. Поэтому часто решение задачи сводят к так называемым основным построениям. Выбор некоторых построений в качестве основных в известной степени произволен. Например, в качестве основных построений можно рассмотреть следующие задачи: деление данного угла пополам; построение отрезка, равного данному; построение угла, равного данному; построение параллельной прямой, построение перпендикулярной прямой, деление отрезка в данном отношении; построение треугольника по трём сторонам, по двум сторонам и углу между ними, по стороне и двум прилежащим к ней углам; построение прямоугольного треугольника по гипотенузе и катету.

Решить задачу на построение – значит найти все её решения.

Последнее определение требует некоторых разъяснений.

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

Рассмотрим следующую простейшую задачу: построить треугольник по трём сторонам и углу между ними. Точный смысл этой задачи состоит в следующем: построить треугольник так, чтобы две стороны его были соответственно равны двум данным отрезкам, а угол между ними был равен данному углу. Здесь искомая фигура (треугольник) связана с данными фигурами (два отрезка и угол) только соотношениями равенства, расположение же искомого треугольника относительно данных фигур безразлично. В этом случае легко построить треугольник, удовлетворяющий условию задачи. Все треугольники, равные этому треугольнику, также удовлетворяют условию поставленной задачи. Однако нет никакого смысла рассматривать эти треугольники как различные решения данной задачи, ибо они отличаются один от другого только положением на плоскости, о чем в условии задачи ничего не сказано. Будем поэтому считать, что задача имеет единственное решение.

Итак, если условие задачи не предусматривает определённого расположения искомой фигуры относительно данных фигур, то условимся искать только все неравные между собой фигуры, удовлетворяющие условию задачи. Можно сказать, что задачи этого рода решаются «с точностью до равенства». Это означает, что задача считается решённой, если: