АКСИОМЫ ГЕОМЕТРИИ
Здесь мы рассмотрим различные аксиоматики евклидовой геометрии, используемые в той или иной степени в школьных учебниках по геометрии.
В Энциклопедии элементарной математики 1 евклидово пространство определяется как совокупность объектов трех видов, называемых точками, прямыми и плоскостями,и преобразованиями, переводящими совокупность всех точек в себя, называемые движениями. Между этими объектами определены отношения: точка принадлежит прямой(прямая проходит через точку), точка принадлежит плоскости (плоскость проходит через точку), прямая лежит на плоскости, точка лежит между двумя другими точками.
Указанные объекты и отношения удовлетворяют следующим аксиомам.
1. Аксиомы принадлежности.
1. 1. Через две различные точки проходит единственная прямая.
1. 2. На каждой прямой имеются, по крайней мере, две точки, ей принадлежащие.
1. 3. Существуют три точки, не принадлежащие одной прямой.
1. 4. Через каждые три точки, не принадлежащие одной прямой, проходит единственная плоскость.
1. 5. На каждой плоскости имеется, по крайней мере, одна точка, ей принадлежащая.
1. 6. Если две точки прямой принадлежат плоскости, то и вся прямая лежит на этой плоскости.
1. 7. Если две плоскости имеют общую точку, то они имеют, по крайней мере, еще одну общую точку.
1. 8. Существуют четыре точки, не принадлежащие одной плоскости.
2. Аксиомы порядка.
2. 1. Из любых трех различных точек прямой одна и только одна лежит между двумя другими.
2. 2. Для любых двух точек прямой существует такая третья точка на этой прямой, что вторая лежит между первой и третьей.
2. 3. Если прямая лежит на плоскости, определяемой тремя точками A, B, C, не проходит ни через одну из этих точек и пересекает отрезок AB,
Страницы: 1 | 2 | 3 > >>