"Геометрия", Шарыгин И.Ф.
Аксиомы Биркгофа — исходные правила, на которых строят геометрию и доказывают теоремы. Они связывают геометрические фигуры с числами: точкам на прямой можно сопоставить координаты, расстояние измерить, а углу назначить меру в градусах. По этим правилам складывают меры частей угла и устанавливают равенство треугольников по двум сторонам и углу между ними. Понимание аксиом помогает не только решать задачи, но и видеть, на каких основаниях держится каждое доказательство.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Аксиома Биркгофа — исходное утверждение геометрии, которое принимают без доказательства. Аксиомы задают правила, на которых строят дальнейшие рассуждения. Благодаря им можно доказывать теоремы, не пытаясь обосновать каждое утверждение с нуля.
Расстояние между точками — неотрицательное число, сопоставляемое паре точек. Расстояние от A до B такое же, как от B до A, а нулю оно равно только тогда, когда точки совпадают. Это позволяет сравнивать длины отрезков и находить их числовые значения.
Мера угла — число градусов от 0° до 180°, сопоставляемое углу. Если луч делит угол на две части, мера всего угла равна сумме мер этих частей. Мера помогает сравнивать углы и находить неизвестную часть по известной целой величине.
Равенство треугольников означает, что их соответствующие стороны и углы равны. По аксиоме Биркгофа достаточно знать, что равны две стороны и угол между ними. Это позволяет установить равенство фигур, не измеряя все их элементы по отдельности.
Геометрическое доказательство не может начинаться из ничего: для обоснования каждого шага нужны другие утверждения. Если требовать доказательства всех утверждений, то каждое из них пришлось бы связывать с предыдущими без конца. Поэтому в геометрии выбирают исходные положения — аксиомы — и принимают их как основу. Из этой основы затем выводят теоремы и решают задачи.
Аксиома расстояния связывает точки с числом, потому что сами точки не говорят, насколько далеко они расположены друг от друга. Когда паре точек поставлено в соответствие расстояние, отрезки можно сравнивать и выполнять вычисления. Расстояние не может быть отрицательным: оно описывает длину, а не направление движения. Оно одинаково при перестановке точек, поскольку путь от A до B и от B до A имеет одну длину.
На прямой точкам можно назначить координаты — числа, показывающие их положение относительно начала отсчёта. Такое назначение согласуется с измерением: для точек с координатами a и b расстояние равно |a − b|. Модуль нужен потому, что результат должен быть неотрицательным независимо от того, какая точка расположена правее. Например, разность координат можно записать в любом порядке, но расстояние от этого не меняется.
Аксиома меры угла позволяет описывать углы числами градусов и сравнивать их. Если луч проходит внутри угла и делит его на две соседние части, то эти части вместе составляют исходный угол. Поэтому мера целого угла равна сумме мер его частей. Это правило помогает находить неизвестную меру по известным частям, но применять его можно только тогда, когда углы действительно образуют исходный угол.
Аксиома равенства треугольников нужна, чтобы по ограниченному набору данных сделать вывод о совпадении фигур по форме и размеру. Если в двух треугольниках равны две соответствующие стороны и угол, заключённый между ними, эти элементы задают треугольник однозначно. Значит, совпадут и остальные соответствующие элементы. Важно сопоставлять именно угол между данными сторонами, а не любой другой угол треугольника.
| Аксиома | К чему относится | Основное содержание | Что позволяет делать |
|---|---|---|---|
| Аксиома расстояния | Парам точек и их расстояниям | Каждой паре точек соответствует неотрицательное расстояние; оно симметрично и равно нулю только для совпадающих точек. | Сравнивать отрезки и вычислять расстояния. |
| Аксиома координат на прямой | Точкам прямой и числам | Расстояние между точками с координатами a и b равно |a − b|. | Находить длину отрезка по координатам. |
| Аксиома меры угла | Углам и их величинам | Углу соответствует мера в градусах, а мера целого угла равна сумме мер его частей. | Сравнивать углы и находить неизвестные меры. |
| Аксиома равенства треугольников | Треугольникам | Равенство двух сторон и угла между ними в соответствующих треугольниках устанавливает их равенство. | Доказывать равенство треугольников по трём элементам. |
Сначала определите, к каким объектам относится условие задачи: к точкам на прямой, углам или треугольникам. Затем выберите строку таблицы с подходящим правилом и проверьте, выполнены ли его условия. Так легче не перепутать формулу расстояния с правилом сложения углов или условие равенства треугольников.
Точки A и B на координатной прямой имеют координаты −3 и 5. Найдём расстояние AB. Поскольку координаты могут быть расположены в любом порядке, нельзя просто считать их разность расстоянием без проверки знака. Используем модуль разности координат.
Ответ: AB = 8. Расстояние получилось положительным, как и должно быть. Можно проверить результат по прямой: от −3 до 0 — три единицы, а от 0 до 5 — пять, всего восемь.
Луч OC делит угол AOB на два угла с мерами 37° и 48°. Нужно найти меру всего угла AOB. Луч делит исходный угол на соседние части, а значит, их меры складываются. Перед сложением полезно проверить, что оба указанных угла действительно составляют весь угол AOB.
Ответ: ∠AOB = 85°. Проверка простая: целый угол должен быть больше каждой из его частей, и 85° больше и 37°, и 48°. Если бы углы не составляли исходный угол, складывать их для такого ответа было бы нельзя.
В треугольниках ABC и A′B′C′ равны AB и A′B′, AC и A′C′, а также углы BAC и B′A′C′. Нужно обосновать равенство треугольников. Сначала определим, какие стороны и углы соответствуют друг другу. Угол BAC расположен между сторонами AB и AC, а угол B′A′C′ — между A′B′ и A′C′.
Ответ: △ABC = △A′B′C′. Вывод основан не просто на наличии двух равных сторон и равного угла, а на том, что этот угол заключён между данными сторонами. Это условие позволяет однозначно сопоставить треугольники.
Принимать аксиому за теорему. Иногда кажется, что любое утверждение нужно доказывать, но аксиома по определению служит исходным правилом. Проверка: спросите себя, требуется ли обоснование утверждения в рамках задачи или оно дано как основа рассуждений. Теорему доказывают, а аксиому используют.
Получать отрицательное расстояние. Если вычесть меньшую координату из большей в неподходящем порядке, можно получить число со знаком минус. Так происходит, когда забывают, что длина не показывает направление. Проверяйте вычисление модулем: AB = |a − b|, поэтому расстояние неотрицательно.
Складывать меры любых двух углов. Самого факта, что известны две меры, недостаточно: углы могут не быть частями одного угла. Ученик может применить знакомое правило, не проверив расположение лучей. Перед сложением убедитесь, что углы соседние и вместе составляют исходный угол.
Использовать для равенства треугольников угол не между сторонами. При таком рассуждении одно из условий аксиомы подменяется похожим, но недостаточным. Чтобы не ошибиться, укажите вершину угла и проверьте, что его стороны — именно те две стороны, которые сравниваются. Если угол не заключён между ними, данное правило применять нельзя.
Для изучения аксиом нужно знать, что такое точка, прямая, отрезок, луч, угол и треугольник, а также уметь сравнивать отрезки и углы. Формула расстояния по координатам связывает геометрию с числовой прямой и пригодится при вычислении длин. Аксиома равенства треугольников станет основой для изучения признаков их равенства и доказательства геометрических утверждений. Поэтому эти правила помогают перейти от простых измерений к обоснованным выводам.
Почему аксиомы не доказывают?
Аксиомы принимают как исходные правила геометрии. Если пытаться доказать каждое утверждение, для доказательства пришлось бы опираться на другое, и так без конца. Аксиомы дают начальную основу для рассуждений.
Чем аксиома отличается от теоремы?
Аксиому принимают без доказательства. Теорему, наоборот, доказывают, используя аксиомы и уже доказанные утверждения.
Может ли расстояние между точками быть отрицательным?
Нет, расстояние всегда неотрицательно. На координатной прямой его находят как модуль разности координат, поэтому результат не бывает меньше нуля.
Когда можно складывать меры углов?
Когда углы соседние и вместе составляют один угол. Тогда мера целого угла равна сумме мер этих частей.
Почему для равенства треугольников важен угол именно между двумя сторонами?
Такой угол задаёт взаимное положение двух известных сторон. Если взять угол, который не лежит между ними, одних этих данных может быть недостаточно, чтобы однозначно определить треугольник.
9.4. Аксиомы Биркхофа
