21. Использование аксиом при доказательстве теорем

Определения и обозначения

Аксиома — исходное утверждение, которое принимают без доказательства. Например, геометрия опирается на аксиому о единственной прямой, проходящей через любые две точки. Аксиома задаёт основание для дальнейших рассуждений, поэтому её не нужно каждый раз выводить заново.

Теорема — утверждение, истинность которого требуется обосновать с помощью аксиом и ранее доказанных фактов. В отличие от аксиомы, теорему нельзя просто принять: нужно показать, почему она верна. Так новые свойства геометрических фигур становятся частью системы знаний.

Доказательство теоремы — последовательная цепочка рассуждений, в которой каждый вывод обоснован аксиомой, определением или уже доказанным утверждением. Это позволяет проверить ход мысли от условия задачи до заключения. Если убрать основание хотя бы одного шага, связь между условием и выводом может стать непонятной.

Следствие аксиомы — утверждение, которое не принимают отдельно, а выводят из аксиомы логическим рассуждением. Оно может показаться очевидным, но всё равно должно вытекать из исходного правила. Следствия расширяют наши знания и помогают доказывать новые теоремы.

Как это устроено

В начале доказательства полезно отдельно записать условие и заключение: что уже известно и что требуется получить. Затем нужно найти связь между ними в определениях, аксиомах или изученных теоремах. Такой порядок нужен потому, что сразу угадывать ответ по рисунку легко, а вот обоснованно перейти от данных к выводу можно только через подходящие факты.

Предположим, что две различные прямые имеют две общие точки. Через эти две точки можно провести только одну прямую, значит, обе прямые должны быть одной и той же прямой. Это противоречит условию, что прямые различны, поэтому у них не может быть двух общих точек. Так аксиома о прямой через две точки помогает вывести утверждение, которое отдельно не принимали.

Аксиомы сложения применяют, когда расположение объектов соответствует их условиям. Если точка B лежит между A и C, длина всего отрезка AC равна сумме длин AB и BC: AC = AB + BC. Если луч BD проходит внутри угла ABC, то весь угол равен сумме частей: ∠ABC = ∠ABD + ∠DBC. Расположение точки или луча здесь важно, потому что без него нужные равенства не следуют из аксиом.

Рисунок помогает понять, где находятся точки и лучи, но может быть неточным или изображать лишь один частный случай. Например, на чертеже прямые могут казаться параллельными, хотя это не задано и не доказано. Поэтому к каждому переходу в рассуждении нужно подобрать основание: определение, аксиому или ранее доказанное утверждение. Слова «это очевидно» не объясняют, почему вывод верен.

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

Как аксиома используется в рассуждении

Таблица показывает, какое условие должно быть известно, чтобы применить соответствующее основание, и к какому выводу оно приводит. При решении сначала найди в условии задачи подходящую ситуацию, а затем сверь её с колонкой «Что известно». После этого можно использовать вывод из таблицы и указать его роль в доказательстве.

Разбор задач

Задача: докажите, что две различные прямые не могут иметь две общие точки. Нужно не полагаться на то, как прямые нарисованы, а проверить, к чему привело бы предположение о двух общих точках. Для этого подходит аксиома, связывающая две точки и проходящую через них прямую.

1. Предположим обратное: две различные прямые имеют две общие точки A и B. Общими они являются потому, что каждая из прямых проходит через A и B.
2. По аксиоме через две точки A и B проходит единственная прямая. Значит, обе прямые должны совпасть с этой единственной прямой.
3. Получили, что прямые совпадают, хотя по условию они различны. Это противоречие показывает, что исходное предположение неверно.

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

Задача: точка B лежит между A и C, AB = 4 см, BC = 7 см. Найдите AC и обоснуйте использованное равенство. Здесь важно сначала заметить порядок точек: именно положение B между A и C позволяет сложить длины частей отрезка. Без этого условия сумма AB и BC не обязательно была бы длиной AC.

1. Запишем, что известно: B лежит между A и C, AB = 4 см и BC = 7 см. Требуется найти длину всего отрезка AC.
2. По аксиоме сложения отрезков AC = AB + BC, потому что B лежит между концами A и C.
3. Подставим известные длины: AC = 4 см + 7 см = 11 см. Равенство обосновано аксиомой, а не только положением отрезков на рисунке.

Ответ: AC = 11 см. Перед сложением длин мы проверили, что точка B действительно лежит между A и C. Это условие и даёт право применить аксиому сложения отрезков.

Задача: внутри угла ABC проведён луч BD. Докажите, что если ∠ABD = ∠DBC, то каждый из этих углов равен половине ∠ABC. Сначала нужно выразить весь угол через его части, а затем использовать, что части равны. Обозначим величину каждого из равных углов через x.

1. Поскольку луч BD проходит внутри угла ABC, по аксиоме сложения углов ∠ABC = ∠ABD + ∠DBC. Это равенство применимо именно из-за расположения луча внутри угла.
2. По условию ∠ABD = ∠DBC. Если величина каждого из них равна x, то ∠ABC = x + x = 2x.
3. Из равенства ∠ABC = 2x получаем x = ½∠ABC. Значит, величина каждого угла-части равна половине величины всего угла.

Ответ: ∠ABD = ∠DBC = ½∠ABC. Сложение частей обосновано аксиомой о сложении углов, а равенство частей — условием задачи. Так из двух известных отношений получен нужный вывод.

Типичные ошибки

Считать аксиому теоремой — значит требовать доказательства там, где утверждение принимают как исходное, или, наоборот, принимать теорему без обоснования. Такую путаницу допускают, потому что оба вида утверждений звучат как правила о геометрических объектах. Проверь себя: аксиома служит начальным основанием, а теорема должна быть доказана.

Ссылаться на рисунок как на доказательство нельзя: чертёж показывает предполагаемое расположение объектов, но может быть неточным. Ошибка возникает, когда видимую на рисунке особенность принимают за заданное условие. Спроси себя, следует ли вывод из аксиом и условия задачи, даже если рисунок не использовать.

Пропускать основания промежуточных выводов — значит оставлять непонятным, почему один шаг ведёт к следующему. Часто так делают, когда связь кажется привычной или очевидной. Чтобы проверить доказательство, укажи возле каждого вывода его причину: аксиому, определение либо ранее доказанный факт.

Применять аксиому без проверки её условий тоже неправильно. Например, нельзя сразу сложить длины AB и BC, чтобы получить AC, если не установлено, что B лежит между A и C. Эта ошибка появляется, когда смотрят только на схему. Перед использованием правила проверь, выполнено ли именно то расположение точек или лучей, которое требуется аксиомой.

Связь с другими темами

Для работы с аксиомами нужны определения точки, прямой, отрезка и угла, а также правила их обозначения. Эти понятия помогают точно понять условие задачи и не перепутать объект с его длиной или величиной. Тема опирается на ранее изученные аксиомы о прямых, отрезках и углах.

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

Что запомнить

• Аксиомы принимают без доказательства.
• Теорему необходимо доказать.
• В доказательстве каждый вывод должен иметь основание.
• Аксиомами можно обосновывать не только теоремы, но и простые следствия.
• Рисунок помогает анализировать условие, но сам по себе ничего не доказывает.
• Перед применением аксиомы проверьте, выполнены ли её условия.