Используя аксиомы 1-й, 2-й и 3-й групп аксиоматики Гильберта трехмерного евклидова пространства, докажите равенство двух треугольников по стороне и двум прилежащим к ней углам
Чтобы доказать равенство двух треугольников по стороне и двум прилежащим к ней углам (теорема SAA — Side-Angle-Angle), воспользуемся аксиомами Гильберта для трехмерного евклидова пространства.
Определение треугольника: Пусть у нас есть два треугольника \(ABC\) и \(A'B'C'\) с одинаковой стороной \(AB = A'B'\) и равными прилежащими углами \( \angle ABC = \angle A'B'C' \) и \( \angle ACB = \angle A'C'B' \).
Перенос треугольника: Согласно аксиоме 1 (аксиоман о существовании), мы можем перенести треугольник \(ABC\) в треугольник \(A'B'C'\) так, чтобы соответствующие точки \(A\) и \(A'\) совпали, а также угол \( \angle ABC \) совпал с углом \( \angle A'B'C' \).
Положение точки B: После переноса, так как длина стороны \(AB\) равна длине \ (A'B'), мы можем отложить от точки \(A\) длину \(AB\) в сторону точки \(B\) и получить точку \(B\) в новом положении, которое совпадает с \(B'\) по длине, но может не совпадать по направлению.
Использование аксиомы 2 (свойства угла): Поскольку мы сохранили порядок углов, точка \(C\) должна находиться на той же плоскости, определяемой \(A\) и \(B\). Углы \( \angle ACB \) и \( \angle A'C'B' \) также равны, что указывает на то, что точка \(C\) располагается на круге, описанном вокруг отрезка \(AB\).
Возвращаемся к совпадению: Учитывая, что оба угла и одна сторона равны, мы можем утверждать, что расстояние от \(C\) до линии \(AB\) также совпадает с растоянием от \(C'\) до линии \(A'B'\). Это означает, что точка \(C\) может совпасть с точкой \(C'\), потому что только одно положение для точки \(C\) может быть на фиксированном расстоянии от данной стороны и под заданными углами.
Заключение: Теперь, поскольку мы показали, что точки \(C\) и \(C'\) совпадают при равенстве всех углов и одной стороны, треугольники \(ABC\) и \(A'B'C'\) равны по всем сторонам и углам (по определению равенства фигур). Это позволяет заключить, что треугольники \(ABC \cong A'B'C'\).
Таким образом, мы доказали теорему о равенстве двух треугольников по стороне и двум прилежащим к ней углам, используя аксиомы Гильберта.
