§ 33. Структура геометрии

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

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

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

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

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

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

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

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

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

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

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

Основные элементы геометрической теории

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

Разбор задач

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

1. Найдите высказывание, которое объясняет значение понятия. Оно является определением, потому что вводит или уточняет термин.
2. Найдите утверждение, которое принимается без доказательства и служит основанием для рассуждений. Это аксиома.
3. Определите, какое утверждение устанавливает свойство и требует обоснования. Это теорема; её истинность нужно доказать.

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

Задача 2. В теореме выделите условие и заключение, затем назовите, что нужно установить в доказательстве. Чтобы не перепутать части, представьте формулировку как рассуждение «если…, то…». Условие отвечает на вопрос, что дано, а заключение — что требуется получить.

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

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

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

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

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

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

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

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

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

Использовать недоказанное утверждение как основание опасно, поскольку тогда вывод зависит от положения, истинность которого ещё не установлена. Иногда его принимают за известное из-за знакомого названия или правдоподобного вида. Проверьте каждую ссылку в доказательстве: это должно быть условие, определение, аксиома или ранее доказанная теорема.

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

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

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

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

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