Аксиомы планиметрии (часть 1)

Геометрия зародилась очень давно. Ещё в Древнем Египте были найдены формулы вычисления объёмов и площадей некоторых тел. В образование геометрии, как науки внесли огромный вклад древнегреческие ученые Фалес, Пифагор, Демокрит, Евклид и другие.
В сочинении Евклида «Начала» были упорядочены известные в то время сведения о геометрии. В «Началах» был развит аксиоматический, состоящий в том, что сначала строились утверждения (аксиомы) , принимаемые без доказательств, а потом на их основе строились иные утверждения (теоремы). Качественно новая геометрия была создана нашим соотечественником Лобачевским, пытавшимся доказать, как теорему постулат Евклида «О параллельных прямых» от противного и, не получив никаких утверждений, противоречащих данному постулату смог построить геометрию, отличную от Евклидовой. Сообщение открытии было сделано в1826 году.
Развитие геометрии

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

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

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

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

Любая точка O прямой разделяет её на два луча так, что две точки одного луча находятся по одну сторону от точки O, а любые две точки разных лучей – по разные стороны от точки О.
Точка О делит прямую а пополам, точки А и В, А1 и В1 находятся по одни стороны от точки О, а точки А и А1, В и В1 – по разные стороны.
О
А
А1
В1
В
а

Каждая прямая а разделяет плоскость на две полуплоскости так, что любые две точки одной полуплоскости лежат по одну сторону прямой а, а любые две точки разных полу плоскостей лежат по разные стороны от прямой а.
а
А
А1
В1
В
Точки А1 и В1, А и В лежат по одни стороны от прямой а, а точки А и А1, В и В1 – по разные стороны

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

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

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

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

Любая фигура равна самой себе.
A
Квадрат А равен самому себе.

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

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

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

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