"Математика: алгебра и начала математического анализа, геометрия (базовый и углублённый уровни)", Козлов В.В., Никитин А.А., Белоносов В.С. и др. /Под ред. Козлова В.В. и Никитина А.А.
Аксиоматический метод позволяет строить геометрию как систему связанных утверждений: одни положения принимают без доказательства, а другие выводят из них логически. В «Началах» Евклида исходные элементы разделены на определения, постулаты и общие понятия; на их основе формулируются и доказываются теоремы. Особое место занимает пятый постулат о параллельных: его нельзя заменить наглядной очевидностью, а история попыток доказать его повлияла на развитие геометрии.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Аксиома — исходное утверждение, принимаемое без доказательства и используемое при обосновании других утверждений. Это не значит, что аксиома случайна: она задаёт основу рассуждений, на которой строится система теорем.
Постулат — требование или утверждение, принимаемое в геометрии за исходное. В системе Евклида постулаты задают геометрические возможности и положения, например связанные с проведением прямых; на них опираются при построениях и доказательствах.
Общее понятие — исходное положение, применимое не только к геометрическим объектам, но и к рассуждениям вообще. Такие правила помогают обосновывать выводы независимо от того, говорим ли мы о фигурах или о других предметах.
«Начала» Евклида — сочинение, в котором геометрические знания систематизированы и изложены через определения, исходные положения и доказательства. Оно показывает, как от пояснения понятий и принятия исходных положений перейти к последовательному доказательству утверждений.
Геометрии нужны исходные положения, потому что доказательство не может продолжаться бесконечно. Если для каждого утверждения требовать доказательство через другое, пришлось бы бесконечно отодвигать вопрос о том, на чём основано рассуждение. Поэтому некоторые положения принимают без доказательства и используют как начало для дальнейших выводов.
Аксиоматическое изложение устроено как цепочка обоснований: из исходных положений с помощью логики выводят теоремы, а затем используют доказанные теоремы при получении новых результатов. Так становится видно, откуда взялось каждое утверждение и какие предпосылки для него нужны. Если изменить исходные положения, могут измениться и выводы.
В «Началах» определения, постулаты и общие понятия выполняют разные задачи. Определение вводит термин и поясняет, о каком объекте идёт речь; оно не сообщает само по себе, что объект обладает тем или иным свойством. Постулат задаёт исходное геометрическое требование, а общее понятие формулирует правило, которое работает в рассуждениях шире геометрии.
Евклид строит изложение от понятий и исходных положений к утверждениям и их доказательствам. Сначала читатель получает язык, на котором описываются фигуры, и правила, на которые можно опираться. Затем утверждения доказываются последовательно: каждый шаг должен следовать из принятых положений или из результатов, полученных раньше.
Особое место занимает пятый постулат о параллельных прямых. Его формулировка сложнее и менее очевидна на вид, чем формулировки некоторых других исходных положений, поэтому математики пытались вывести его из остальных. Эти попытки показали, насколько важно различать аксиому и теорему: если положение действительно следует из других, его можно доказать, а если нет — система может принять его отдельно. Исследование этой проблемы привело к развитию геометрий с иными исходными предположениями.
| Элемент | Что сообщает | Роль в изложении |
|---|---|---|
| Определение | Поясняет смысл вводимого понятия | Уточняет, о каких объектах идёт речь |
| Постулат | Формулирует исходное геометрическое требование или положение | Используется при построениях и доказательствах |
| Общее понятие | Выражает общее правило рассуждения | Помогает обосновывать выводы |
| Теорема | Формулирует утверждение, которое нужно доказать | Выводится из исходных положений и ранее доказанного |
Чтобы классифицировать положение, спроси, какую работу оно выполняет: вводит термин, задаёт исходное правило или требует обоснования. Таблица помогает не спутать форму фразы с её ролью. Особенно полезно проверять, является ли положение исходным или уже получено логическим выводом.
Условие: определить, чем в изложении геометрии является утверждение, принимаемое без доказательства, и отличить его от теоремы. Нужно ориентироваться не на то, насколько утверждение кажется простым, а на то, как оно используется в системе. Сравним роль двух видов утверждений.
Проверим, требуется ли обосновать утверждение внутри рассматриваемой системы. Если оно принимается как начало рассуждений, перед нами аксиома или постулат.
Если для утверждения приводят логические шаги и опираются на исходные положения либо доказанные результаты, это теорема. Её истинность в изложении обосновывается доказательством.
Сформулируем различие кратко: исходное положение служит основанием, а теорема является результатом рассуждения. Внешняя очевидность не меняет эту классификацию.
Ответ: утверждение, принятое без доказательства, — аксиома (или постулат в геометрической терминологии Евклида); утверждение, которое обосновывают, — теорема.
Условие: распределить положения из «Начал» по группам: определения, постулаты и общие понятия. Конкретные формулировки могут звучать по-разному, поэтому одного поиска ключевых слов недостаточно. Нужно выяснить, какую функцию выполняет каждое положение.
Если фраза объясняет, что означает название объекта или понятия, отнесём её к определениям. Она уточняет язык геометрии, но не доказывает свойства объекта.
Если положение формулирует исходное требование, относящееся к геометрическим объектам или построениям, это постулат. Его принимают как геометрическую основу дальнейших рассуждений.
Если положение выражает правило, которое можно применять и за пределами геометрии, это общее понятие. Например, оно может задавать общий принцип сравнения величин.
Проверим результат по смыслу: определение отвечает на вопрос «что имеется в виду?», постулат — «что принимается для геометрии?», общее понятие — «какое общее правило используется в рассуждении?»
Ответ: каждое положение нужно отнести к группе по его функции, а не только по словам «прямая», «равно» или «точка» в формулировке.
Условие: объяснить, почему пятый постулат нельзя считать доказанным на основании того, что он кажется очевидным, и указать его роль в системе Евклида. Здесь важно различить наглядное представление и логический вывод. Проверим, что именно даёт каждое из них.
Наглядный чертёж может помочь представить параллельные прямые, но он показывает только отдельный рисунок. По нему нельзя логически обосновать утверждение для всех случаев.
Чтобы назвать положение доказанным, нужно вывести его из других исходных положений и ранее доказанных теорем. Одного впечатления «так и должно быть» для этого недостаточно.
Пятый постулат входит в исходную основу евклидовой геометрии и связан с теорией параллельных прямых. Теоремы, использующие его, зависят от этой предпосылки.
Попытки получить его из остальных положений были важны потому, что проверяли, является ли он независимым исходным требованием. Они также помогли понять, что изменение предположений о параллельных ведёт к другим геометрическим системам.
Ответ: очевидность не является доказательством; в системе Евклида пятый постулат принимается как исходное положение, связанное с параллельными прямыми.
Называть аксиому теоремой — значит путать основание рассуждения с его результатом. Так ошибаются, когда считают, что любое верное утверждение обязательно доказано; проверь себя вопросом, приводится ли для него доказательство или его принимают исходно.
Считать определения и аксиомы одним и тем же нельзя: определение поясняет смысл термина, а аксиома задаёт исходное утверждение. Путаница возникает потому, что оба вида положений встречаются в начале изложения; проверь, сообщает ли фраза значение слова или утверждает что-то о свойствах объектов.
Смешивать постулаты с общими понятиями — значит игнорировать разные функции этих положений. Оба вида принимаются без доказательства, поэтому их легко объединить; для проверки выясни, относится ли правило именно к геометрии или выражает более общий принцип рассуждения.
Полагать, что очевидность пятого постулата заменяет доказательство, — значит подменять логику наглядным впечатлением. Чертёж кажется убедительным, но не доказывает утверждение во всех возможных случаях; спроси себя, выведено ли оно из других положений или лишь выглядит правдоподобно.
Для понимания темы нужно различать определение, утверждение и доказательство, а также уметь прослеживать логические шаги рассуждения. Аксиомы стереометрии задают исходные положения геометрии пространства, так же как исходные положения нужны для плоской геометрии. Аксиоматический метод пригодится при изучении параллельности, перпендикулярности и взаимного расположения прямых и плоскостей: он помогает видеть, на каких основаниях строится доказательство.
Чем аксиома отличается от теоремы?
Аксиому принимают без доказательства как исходное положение системы. Теорему, напротив, нужно обосновать, опираясь на аксиомы и уже доказанные утверждения.
Чем постулат отличается от общего понятия?
Постулат у Евклида задаёт исходное требование или положение именно для геометрии. Общее понятие выражает более широкое правило рассуждения, применимое не только к геометрическим объектам.
Зачем в геометрии нужны аксиомы?
Без исходных положений каждое утверждение пришлось бы доказывать через другие, а цепочка обоснований не имела бы начала. Аксиомы дают такую основу, из которой логически выводят теоремы.
Почему пятый постулат Евклида выделяют среди остальных?
Он связан с параллельными прямыми и играет важную роль в построении геометрии. Его долго пытались вывести из остальных положений, но эти попытки привели к осознанию, что можно строить геометрии с другими исходными предположениями.
Можно ли доказать аксиому?
Внутри системы, где положение принято как аксиома, его не доказывают: на нём строят доказательства других утверждений. Можно исследовать, следует ли оно из иных положений, но для этого нужно задать систему исходных положений, в которой оно уже не считается аксиомой.
§ 1. Аксиомы и «Начала» Евклида
