logo search
книга1

Аксиомы порядка

Hi. Из трех точек на прямой одна и только одна лежит между двумя другими.

П2. Прямая разбивает плоскость на две полуплоскости. Если концы ка- кого-нибудь отрезка принадлежат разным полуплоскостям, то отрезок пере­секается с прямой. Если концы отрезка принадлежат одной полуплоскости, то отрезок не пересекается с прямой.

Аксиомы данной группы позволяют ввести понятия отрезка, луча, тре­угольника. С помощью этих аксиом и аксиом III и IV групп можно доказать, что точка А, лежащая на прямой а, разбивает эту прямую на два луча и явля­ется начальной точкой для каждого из них. Данное утверждение позволяет ввести понятие дополнительного луча. Затем, используя понятия луча и до­полнительного луча, можно ввести понятие угла и развернутого угла.