§ 45. Понятие об аксиоматическом методе построения планиметрии

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

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

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

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

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

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

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

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

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

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

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

Роль утверждений в аксиоматическом построении геометрии

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

Разбор задач

Задача 1. Определите, какое утверждение принимается без доказательства, а какое нужно обосновать: «через две точки проходит единственная прямая»; «если две прямые имеют две общие точки, то они совпадают».

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

Ответ: первое утверждение — аксиома, второе — теорема; его истинность обосновывается доказательством.

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

1. Предположим, что существуют две разные прямые и у них есть две общие точки.
2. Тогда обе прямые проходят через одну и ту же пару точек.
3. Но по аксиоме через две точки проходит единственная прямая. Значит, обе прямые должны совпадать, что противоречит предположению, что они разные.

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

Задача 3. Составьте цепочку обоснования, по которой можно доказать новое свойство геометрических фигур, не подменяя доказательство рисунком.

1. Запишите условие задачи и отдельно укажите, что требуется доказать.
2. Подберите подходящие аксиомы и теоремы, условия которых связаны с данными задачи.
3. Выстройте промежуточные выводы: каждый следующий шаг должен следовать из условия и уже обоснованных положений.
4. Сопоставьте последний вывод с тем, что требовалось доказать, и проверьте, что ни один шаг не основан только на внешнем виде чертежа.

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

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

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

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

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

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

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

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

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

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