Система аксиом Гильберта. Обзор следствий из аксиом групп I—V

6.1. Группа III. Аксиомы конгруэнтности. Предполагается, что отрезок (угол) находится в известном отно­шении к какому-то отрезку (углу). Это отношение выражается сло­вом «конгруэнтен» или «равен» и обозначается символом «=». Должны быть удовлетворены следующие пять аксиом.

III₁. Если даны отрезок АВ и луч, исходящий из точки А', то существует точка В ', принадлежащая данному лучу, такая, что АВ = А' В'.

Можно доказать, что точка В' на данном луче единственная.

III₂. Если А'В' = АВ и А" В" = АВ, то А'В' = А" В".

III₃. Пусть А - В - С, А' - В' - С', АВ = А' В' и ВС = В'С'. Тогда АС = А' С'.

III₄. Пусть даны и флаг[4] (О', h', ). Тогда в полуплоско­сти существует один и только один луч k', исходящий из точки О', такой, что .

Каждый угол конгруэнтен самому себе.

III₅. Пусть А, В, С - три точки, не лежащие на одной прямой, и А', В', С' - тоже три точки, не лежащие на одной прямой. Если при этом АВ= А'В', АС=А'С', , то .

Укажем некоторые теоремы, которые следуют из аксиом конг­руэнтности.

. Отношение конгруэнтности отрезков является отношением эквивалентности на множестве отрезков.

. В равнобедренном треугольнике углы при основании равны.

По Гильберту, треугольник АВС называется конгруэнтным (рав­ным) треугольнику A'B'C' (), если АВ=А'В', ВС = В'С', СА = С'А', , , .

. Первый, второй и третий признаки равенства треугольников.

В качестве примера приведем доказательство первого признака равенства треугольников.

Если в треугольниках АВС и A'B'C' АВ = А'В', АС = А'С', , то .

Доказательство:

Так как АВ=А'В', АС = А'С', , то по аксиоме III₅ ,т.е. . Далее АВ = А'В', АС=А'С', , то по той же аксиоме , т.е. .

Докажем теперь, что ВС = В'С'. Доказательство проведем ме­тодом от противного. Пусть . По аксиоме III₁ на луче В'С' существует точка D', для которой . Так как точки С' и D' не совпадают, то лучи А'С' и A'D' также не совпадают (рис. 211). Из равенств ВА = В'А', ВС = B'D', , применяя аксиому III₅, получим . Но по условию . Последние два равенства противоречат условию единственности в аксиоме III₄. Следовательно, ВС = В'С'.

Доказательство завершено.

Пользуясь признаками равенства треугольников, легко доказать утверждение.

. Отношение конгруэнтности углов является отношением экви­валентности на множестве углов.

Далее даются обычные определения понятий «больше» и «мень­ше» для отрезков и углов и устанавливаются свойства сравнения отрезков и углов. Вводится понятие смежных углов и дается опре­деление прямого угла: угол называется прямым, если он равен углу, смежному с ним. Доказывается, что все прямые углы равны, друг другу.

Затем можно доказать известные теоремы о соотношениях между сторонами и углами треугольника.

. Внешний угол треугольника больше каждого угла треуголь­ника, несмежного с ним.

. В каждом треугольнике против большей стороны лежит боль­ший угол и обратно: против большего угла лежит большая сторона.

В заключение этого пункта отметим, что аксиомы групп 1—III поз­воляют дать обычные определения середины отрезка и биссектрисы угла и доказать следующие теоремы.

. Любой отрезок имеет одну и только одну середину.

. Любой угол имеет одну и только одну биссектрису.

6.2. В этом пункте мы несколько отклоняемся от схемы Гильберта и последние три аксиомы и следствия из них изложим так, как это принято в учебной литературе.