Аксиомы, теоремы и доказательства

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

Аксиоматический метод

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

Аксиоматический метод можно представить в виде цепочки:

$$A \Rightarrow B \Rightarrow C \Rightarrow D$$

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

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

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

{"questions":[{"content":"В цепочке рассуждений $A \\Rightarrow B \\Rightarrow C \\Rightarrow D$ какое утверждение является аксиомой?[[choice-2]]","widgets":{"choice-2":{"type":"choice","options":["Утверждение $C$","Утверждение $B$","Утверждение $A$","Утверждение $D$"],"explanations":["","","В цепочке логических импликаций $A \\Rightarrow B \\Rightarrow C \\Rightarrow D$ каждое последующее утверждение выводится из предыдущего. Это означает, что:<br /><br />Истинность $A$ влечет за собой истинность $B$.<br /><br />Истинность $B$, в свою очередь, влечет за собой истинность $C$.<br /><br />Истинность $C$ влечет за собой истинность $D$.<br /><br />Таким образом, вся цепочка опирается на самое первое утверждение $A$.",""],"answer":[2]}}}]}

Теоремы и доказательства

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

Доказательство — это цепочка умозаключений, которые обосновывают истинность теоремы.

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

Аксиоматический метод опирается на дедуктивный способ рассуждений. Из общих утверждений (аксиом) выводятся частные следствия (теоремы). В процессе доказательства важно уметь правильно выстраивать цепочку «если… то», связывая посылки и выводы.

Задача

Дан квадрат $ABCD$ и ромб $A_1B_1C_1D_1$. Известно, что сторона квадрата $AB$ равна стороне ромба $C_1D_1$. Докажите, что периметры квадрата и ромба равны.

Решение

Скрыть

{"questions":[{"content":"[[matcher-5]]","widgets":{"matcher-5":{"type":"matcher","labels":["Теорема","Доказательство"],"items":["утверждение, истинность которого установлена с помощью доказательства","это цепочка умозаключений, которые обосновывают истинность теоремы"]}},"explanation":"Теорема — утверждение, истинность которого установлена с помощью доказательства.<br />Доказательство — это цепочка умозаключений, которые обосновывают истинность теоремы."}]}

Интересные теоремы в геометрии

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

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

• Теорема Эйлера о многогранниках. Ее считают одной из самых красивых и универсальных теорем.

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

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

{"questions":[{"content":"Соедини название и формулу теоремы[[matcher-5]]","widgets":{"matcher-5":{"type":"matcher","labels":["Теорема Эйлера о многогранниках","Теорема Пифагора"],"items":["$V — E + F = 2$","$a^2 + b^2 = c^2$"]}}}]}

Часто задаваемые вопросы