§ 5. Понятие об аксиоматическом методе в геометрии

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

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

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

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

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

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

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

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

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

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

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

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

Исходные и доказываемые утверждения в геометрии

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

Разбор задач

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

1. Обозначим две различные точки A и B. Условие «различные» означает, что это не одна и та же точка.
2. Используем аксиому о прямой: через любые две различные точки проходит единственная прямая. Она непосредственно утверждает именно то, что требуется обосновать.
3. Следовательно, для этой задачи не нужно подбирать более раннюю теорему, чтобы доказывать аксиому. Указываем её как исходное основание вывода.

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

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

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

Ответ: через точки A, B и C проходит единственная плоскость по аксиоме о трёх точках, не лежащих на одной прямой.

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

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

Ответ: искомая прямая — AB; она лежит в обеих плоскостях по аксиоме о прямой, две точки которой принадлежат плоскости.

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

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

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

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

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

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

Для изучения темы нужны базовые понятия: точка, прямая, плоскость и принадлежность точки фигуре. Также важны навыки логических рассуждений и понимание формулировок вида «если…, то…»: условие задаёт известное, а заключение — то, что требуется получить. Аксиоматический метод особенно пригодится в стереометрии, где доказывают утверждения о прямых и плоскостях в пространстве. Умение замечать основание каждого шага помогает разбирать доказательства и в других разделах геометрии.

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

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