Геометрия теоремы и аксиомы

е от его начала можно отложить только один отрезок, равный данному.
8. Отрезки, полученные сложением или вычитанием соответственно равных отрезков, равны.
Используя операцию сложения отрезка с самим собой можно определить операцию умножения отрезка на натуральное число. А именно, положим для отрезка АВ
2АВ АВ АВ,3АВ 2АВ АВ, . . . , nАВ (n-1)АВ АВ, . . . .
Определим также операцию деления отрезка на натуральное число, или, что то же самое, операцию деления отрезка на n равных частей, считая AB:n отрезком, при умножении которого на n получается исходный отрезок АВ, т. е. n(AB:n) AB.
В качестве аксиомы принимается следующее свойство.
9. Любой отрезок можно разделить на n равных частей, n 2,3, . . . .
Следующее свойство принимается в качестве аксиомы взаимного расположения точек на плоскости относительно данной прямой.
10. Каждая прямая на плоскостиразбивает эту плоскость на две части, для точек которых говорят, что они лежат по разные стороны от данной прямой. При этом, если две точки, принадлежат разным частям плоскости относительно данной прямой, то отрезок, соединяющий эти точки, пересекается с прямой. Если две точки принадлежат одной части, то отрезок, соединяющий эти точки, не пересекается с прямой.
Часть плоскости, состоящую из точек данной прямой и точек, лежащих по одну сторону от этой прямой, называется полуплоскостью.
Два луча с общей вершиной так же разбивают плоскость на две части. Если лучи не лежат на одной прямой, то меньшая из этих частей является общей частью двух полуплоскостей, определяемых данными лучами.
Фигура, образованная двумя лучами с общей вершиной и одной из частей плоскости, ограниченной этими лучами, называется углом. Общая вершина называется вершиной угла, а сами лучи - стор