9.1. Что такое аксиомы

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

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

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

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

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

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

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

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

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

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

Аксиома и теорема: роль в геометрии

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

Разбор задач

Задача 1. Определите, какое утверждение является аксиомой, а какое — теоремой: «Через любые две точки проходит прямая»; «Вертикальные углы равны». Нужно различить исходное положение и утверждение, которое обосновывают доказательством. Не будем решать это по виду фраз или по чертежу. Сравним роль каждого утверждения в геометрических рассуждениях.

1. Утверждение о прямой через любые две точки принимают как исходное положение.
2. Равенство вертикальных углов получают рассуждением, используя известные свойства углов.
3. Значит, первое утверждение — аксиома, второе — теорема.

Ответ: «Через любые две точки проходит прямая» — аксиома; «Вертикальные углы равны» — теорема.

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

1. Используем определение: равными называют отрезки, длины которых равны.
2. По условию длины отрезков равны, следовательно, отрезки равны по определению.
3. Общий конец можно отметить как дополнительную информацию, но он не служит основанием равенства.
4. Чертёж может выглядеть так, будто отрезки одинаковы, однако изображение не доказывает точного равенства длин.

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

Задача 3. Составьте цепочку рассуждений из условия, определения и исходного положения. Укажите, что в ней является аксиомой, а что — выводом. Возьмём две различные точки A и B и используем положение о прямой через любые две точки. Затем выразим результат через понятие принадлежности точке прямой.

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

Ответ: аксиомой в цепочке служит положение о прямой через две точки; вывод — точки A и B лежат на одной прямой. Определение объясняет, как назвать полученный факт.

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

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

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

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

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

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

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

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

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

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