Кратко и понятно: теорема — это утверждение в математике, которое нельзя просто принять за истинное — его нужно доказать. Доказательство основывается наDefinitions (определениях), аксиомах и ранее доказанных теоремах.
Пошагово, как понимать и запомнить
- Что в составе теоремы:
- предпосылки (условия, при которых утверждение должно выполняться)
- заключение (то, что утверждается)
- формулировка обычно выглядит так: Если [условия], то [вывод].
- Как доказывают:
- используют аксиомы и определения
- используют уже доказанные теоремы
- приводят логическую цепочку аргументов, которая ведёт к выводу из предпосылок
- Отличие от другого:
- аксиома: принимается без доказательства
- лемма: вспомогательное утверждение, которое часто помогает доказывать основную теорему
- королла (следствие): вывод, который сразу следует из теоремы
- Пример (практический): теорема Пифагора
- Утверждение: в любом прямоугольном треугольнике сумма квадратов длин двух катетов равна квадрату гипотенузы: a^2 + b^2 = c^2.
- Краткая схема доказательства: возьмём прямоугольный треугольник с катетами a и b и гипотенузой c, построим квадрат со стороной a+b, в который поместим четыре таких треугольника. В большом квадрате останется центральный квадрат со стороной c. По площади: (a+b)^2 = 4*(ab/2) + c^2. Раскрывая скобки и упрощая, получаем a^2 + b^2 = c^2.
- Что взять на заметку:
- теорема утверждает не просто факт, а факт, который можно обоснованно доказать на основе базисной теории.
- чтобы понять теорему, смотрят на условия и на вывод, и на приведённое доказательство.
Итого: теорема — это доказуемое в рамках заданной теории утверждение; текстом она записывается как «Если условия, то вывод», и к ней обязательно приводится доказательство. Если хочешь, могу привести ещё примеры теорем разных разделов (геометрия, алгебра, теория чисел) или разобрать конкретную теорему по шагам.