Содержание
Аксиоматика Гильберта
Основные (неопределяемые) объекты и отношения
Основные объекты
- Точки
- Прямые
Основные отношения
- Точка лежит на прямой
1. Аксиомы принадлежности
Аксиома 1.1
Для любых двух точек $A$ и $B$ существует прямая $a$, принадлежащая каждой из этих двух точек.
Аксиома 1.2
Для любых двух точек $A$ и $B$ существует не более одной прямой, принадлежащей каждой из этих двух точек.
Аксиома 1.3
На прямой существуют по крайней мере две точки. Существует по крайней мере три точки, не лежащие на одной прямой.
2. Аксиомы порядка
Аксиома 2.1
Если точка $B$ лежит между точкой $A$ и точкой $C$, то $A, B, C$ суть три различные токи прямой, и $B$ лежит также между $C$ и $A$.
Аксиома 2.2
Для любых двух точек $A$ и $C$ на прямой $AC$ существует по крайней мере одна точка $B$ такая, что точка $C$ лежит между $A$ и $B$.
Аксиома 2.3
Среди любых трех точек прямой существует не более одной точки, лежащей между двумя другими.
Аксиома 2.4 (Паша)
Пусть $A, B, C$ – три точки, не лежащие на одной прямой, и $a$ - прямая в плоскости $ABC$, не проходящая ни через одну из точек $A, B, C$. Если при этом прямая $a$ проходит через одну из точек отрезка $AB$, то она должна пройти через одну из точек отрезка $AC$ или через одну из точек отрезка $BC$.
3. Аксиомы конгруентности
Замечание
Отрезки (в некоторых случаях) находятся один к другому в определенном отношении, для обозначения которого нам служат слова «конгруентен» или «равен».
Аксиома 3.1 (об откладывании отрезка)
Если $A, B$ суть две точки на прямой $a$ и $A'$ – точка на той же прямой или на другой прямой $a'$, то всегда можно найти точку $B'$, лежащую по данную сторону от точки $A'$ на прямой $a'$, и притом такую, что отрезок $AB$ конгруентен, иначе говоря, равен отрезку $A'B'$.
Аксиома 3.2
Если отрезок $A'B'$ и отрезок $A''B''$ конгруентны одному и тому же отрезку $AB$, то отрезок $A'B'$ конгруентен также и отрезку $A''B''$.
Теорема Отношение конгруентности отрезков обладает свойствами рефлексивности, симметричности и транзитивности.
Аксиома 3.3 (о сложении отрезков)
Пусть $AB$ и $BC$ суть два отрезка прямой $a$, не имеющие ни одной общей точки, и пусть, далее, $A'B'$ и $B'C'$ суть два отрезка той же прямой или другой прямой $a'$, также не имеющие общих точек. Если при этом $AB=A'B'$ и $BC=B'C'$, то $AC=A'C'$
Замечание
Углы (в некоторых случаях) находятся один к другому в определенном отношении, для обозначения которого нам служат слова «конгруентен» или «равен».
Аксиома 3.4
Пусть даны угол $\angle(h,k)$ в плоскости $\alpha$ и прямая $a'$ в плоскости $a'$, а также