Аксиомы планиметрии

1. Каждой прямой принадлежат по крайней мере две точки1.

2. Имеются по крайней мере три точки, не лежащие на одной прямой.

3. Через любые две точки проходит прямая, и притом только одна.

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

5. Каждая точка О прямой разделяет ее на две части (два луча) так, что любые две точки одного и того же луча лежат по одну сторону от точки О, а любые две точки разных лучей лежат по разные стороны от точки О.

6. Каждая прямая а разделяет плоскость на две части (две полуплоскости) так, что любые две точки одной и той же полуплоскости лежат по одну сторону от прямой а, а любые две точки разных полуплоскостей лежат по разные стороны от прямой а.

7. Если при наложении совмещаются концы двух отрезков, то совмещаются и сами отрезки.

8. На любом луче от его начала можно отложить отрезок, равный данному, и притом только один.

9. От любого луча в данную полуплоскость можно отложить угол, равный данному неразвернутому углу, и притом только один.

10. Любой угол hk можно совместить наложением с равным ему углом h1k1 двумя способами: 1) так, что луч h совместится с лучом h1, а луч k — с лучом k1;

2) так, что луч h совместится с лучом k1, а луч k — с лучом h1.

11. Любая фигура равна самой себе.

12. Если фигура Ф равна фигуре Ф1, то фигура Ф1 равна фигуре Ф.

13. Если фигура Ф1 равна фигуре Ф2, а фигура Ф2 равна фигуре Ф3, то фигура Ф1 равна фигуре Ф3.

14. При выбранной единице измерения отрезков длина каждого отрезка выражается положительным числом.

15. При выбранной единице измерения отрезков для любого положительного числа существует отрезок, длина которого выражается этим числом.

16. Через точку, не лежащую на данной прямой, проходит только одна прямая, параллельная данной.

Комментарии