В данной публикации мы рассмотрим, что из себя представляют аксиомы, теоремы и следствия. Определения сопровождаются соответствующими примерами для лучшего понимания.
Что такое аксиома
Для того, чтобы решить многие математические задачи, очень часто требуется выполнить определенные логические действия, благодаря которым удается получить то или иное решение/доказательство.
Но есть в математике такие утверждения, которые не требуют никаких доказательств.
Например:
- Через точку, не лежащую на прямой, проходит только одна прямая, параллельная данной.
- Через любые две точки можно провести прямую, притом только одну.
- Если при наложении совмещаются концы двух отрезков, то совмещаются и сами отрезки.
- Любая фигура равна самой себе.
Эти и другие подобные утверждения, не нуждающиеся в доказательстве и принимаемые в качестве исходных в какой-либо теории, называются аксиомами (от древнегреческого “axioma”, что означает “положение”, “утверждение”). Иногда их еще называются постулатами.
Аксиомы могут использоваться для решения конкретных задач или применяться для доказательства теорем.
Примечание: не допускается искажение формулировок аксиом и большинства теорем, т.е. их нужно учить наизусть.
Что такое теорема
В отличие от аксиомы, теорема – это суждение, которе требуется доказать. Т.е. в рассматриваемой теории для нее есть определенное доказательство.
Например:
- Теорема Пифагора
- Теорема о сумме углов треугольника (равна 180 градусам)
- Теорема о внешнем угле треугольника
- Теорема о трех перпендикулярах
Есть отдельный вид так называемых вспомогательных теорем, которые сами по себе не полезны и используются только для доказательства других теорем. Их называются леммами (от древнегреческого “lemma”, что означает “предположение”).
Например:
Если произведение нескольких сомножителей делится на простое число p, то по крайней мере один из сомножителей делится на p (лемма Евклида).
Что такое следствие
Следствие – это утверждение, которое было выведено из аксиомы или теоремы. И оно, также, требуется доказательства.
Например:
- Если прямая пересекает одну из двух параллельных прямых, то она пересекает и другую.
- Если две прямые, параллельны третьей прямой, то они параллельны.
