# Закари Абель: «Никогда не используйте фразы „это очевидно“ в доказательствах» Источник: https://www.youtube.com/watch?v=_NYsYuzMLs0 Канал: MIT OpenCourseWare Опубликовано: 22.07.2025 --- В рамках курса 6.1200 в Массачусетском технологическом институте (MIT) профессор Закари Абель представил фундаментальные методы построения математических доказательств. Лекция охватывает логические выводы, стратегии работы с теоремами существования и всеобщности, а также глубокое погружение в методы доказательства от противного и математическую индукцию. ## 🧠 Логические выводы и правила вывода [[JUMP:01:06]] Математическое доказательство строится из последовательности логических дедукций, начиная от базового набора аксиом [0:40]. Правило вывода (inference rule) — это алгоритм объединения истинных пропозиций для формирования новых истинных утверждений [1:26]. Профессор Абель выделяет несколько классических правил: * **Modus ponens:** если известно $P$ и известно, что $P$ влечет $Q$, то $Q$ истинно [2:10]. * **Modus tollens:** если $P$ влечет $Q$, но $Q$ ложно, то $P$ также должно быть ложным [2:40]. * **Доказательство через ложь:** если отрицание $P$ влечет ложь, то $P$ истинно [3:06]. Для проверки этих правил можно использовать таблицы истинности, что гарантирует их справедливость при любых значениях переменных [3:37]. Однако лектор призывает не перерисовывать таблицы в каждом доказательстве, а использовать правила как понятные инструменты, если они очевидны из контекста [5:38]. ### Опасность «доказательства запугиванием» Закари Абель настоятельно рекомендует исключить из математического словаря фразы «очевидно, что...», «это интуитивно понятно» или «ясно, что...» [6:32]. По мнению профессора, использование таких слов — это «доказательство запугиванием» (proof by intimidation), которое несет три риска: 1. Читатель (или проверяющий) может не счесть это очевидным, что приведет к потере баллов или демотивации [6:46]. 2. Фраза часто маскирует ошибку: автор пропускает шаг вместо того, чтобы его доказать [7:16]. 3. Доказательство существует именно для проверки правильности, и пропуск шагов лишает систему избыточности, помогающей ловить ошибки [7:28]. ## 📋 Структуры и шаблоны доказательств [[JUMP:08:21]] Для типичных математических утверждений существуют стандартные «шаблоны» (outlines), которые помогают структурировать мысли и не упустить важное. ### Теоремы существования ($\exists$) Чтобы доказать утверждение «существует $x$ в множестве $S$, обладающий свойством $P$», стандартный путь выглядит так: * Выбрать конкретное значение $x$ [12:39]. * Показать, почему это $x$ принадлежит множеству $S$. * Доказать, почему для этого $x$ выполняется свойство $P$ [12:52]. Например, для доказательства существования простого числа $n \ge 10$ достаточно выбрать $n = 17$, подтвердить его принадлежность к натуральным числам и проверить отсутствие делителей [9:20]. ### Универсальные теоремы ($\forall$) Для доказательства утверждения «для всех $x$ в множестве $S$ верно $P(x)$»: * Предположить, что $x$ — произвольный (generic) элемент множества $S$ [14:24]. * В процессе доказательства нельзя выбирать конкретное значение или использовать дополнительные свойства $x$, кроме его принадлежности к $S$ [14:51]. * Вывести свойство $P(x)$ [15:05]. ### Импликации ($P \implies Q$) Прямое доказательство импликации начинается с предположения, что $P$ истинно [18:56]. Это создает гипотетическую среду, в которой $P$ принимается как факт, из которого нужно вывести $Q$ [19:24]. ## 🔄 Доказательство от противного и контрапозиция [[JUMP:21:56]] Если прямое доказательство затруднено, используются косвенные методы. * **Метод контрапозиции:** вместо «$P \implies Q$» доказывается эквивалентное утверждение «не $Q \implies$ не $P$» [22:14]. Например, чтобы доказать «если $n^2$ четное, то $n$ четное», проще доказать «если $n$ нечетное, то $n^2$ нечетное» [23:26]. * **Доказательство от противного (by contradiction):** 1. Предполагается, что теорема ложна (отрицание тезиса) [28:26]. 2. Путем логических шагов выводится противоречие (утверждение $R$, которое одновременно истинно и ложно) [28:38]. 3. Делается вывод: раз математика «сломалась», исходное предположение было неверным, а значит, теорема верна [29:17]. ### Классический пример: иррациональность $\sqrt{2}$ Профессор Абель демонстрирует этот метод на доказательстве того, что $\sqrt{2} \notin \mathbb{Q}$ [32:07]. 1. Предположим, $\sqrt{2} = a/b$, где дробь несократима (нет общих делителей) [34:01]. 2. Тогда $a^2 = 2b^2$, значит, $a^2$ четное, и $a$ четное [34:47]. 3. Раз $a = 2c$, то $4c^2 = 2b^2$, откуда $2c^2 = b^2$, значит, $b$ тоже четное [35:47]. 4. Противоречие: мы предположили, что дробь несократима, но нашли общий делитель 2 [36:37]. ## 🪜 Математическая индукция: принцип домино [[JUMP:44:11]] Индукция часто кажется студентам сложной из-за «архаичных формулировок», похожих на «призыв древнего демона» [45:06]. Однако, по словам Абеля, это интуитивно понятный механизм, напоминающий падение бесконечного ряда домино. Для доказательства того, что свойство $P(n)$ верно для всех $n \ge 0$, необходимо: 1. **Базовый случай (Base case):** доказать $P(0)$ [1:02:00]. 2. **Индуктивный переход (Inductive step):** доказать, что если $P(n)$ верно, то верно и $P(n+1)$ [1:02:25]. ### Пример: Сумма натуральных чисел Для формулы $1 + 2 + \dots + n = \frac{n(n+1)}{2}$ интуиция подсказывает, что переход от $n$ к $n+1$ — это просто добавление члена $(n+1)$ к обеим частям равенства [51:55]. Алгебраическая проверка подтверждает, что если формула верна для $n$, она автоматически становится верной для $n+1$ [52:39]. Принцип индукции — это фактически аксиома о строении натуральных чисел: если начать с нуля и бесконечно прибавлять единицу, мы пройдем через все числа [1:00:05]. ## 🧩 Задача об L-тромино [[JUMP:1:05:32]] Для визуализации силы индукции профессор использует задачу о замощении двоичного квадрата (сторона $2^n \times 2^n$) фигурками L-тромино (уголки из 3 клеток). Теорема гласит: любой такой квадрат, из которого удалена **одна любая** клетка, можно полностью заполнить L-тромино [1:07:25]. Доказательство по индукции: * **База ($n=1$):** Квадрат $2 \times 2$ без одной клетки — это и есть одна фигурка L-тромино. Решено [1:09:50]. * **Переход ($n \to n+1$):** Квадрат $2^{n+1} \times 2^{n+1}$ делится на четыре квадранта размером $2^n \times 2^n$ [1:13:31]. * Один квадрант уже содержит «удаленную» клетку (по условию). * **Ключевая идея:** Поместим одно L-тромино в центр доски так, чтобы оно занимало по одной клетке в каждом из трех оставшихся квадрантов [1:15:05]. * Теперь каждый из четырех квадрантов имеет ровно одну «отсутствующую» клетку. * По индуктивному предположению, мы умеем мостить такие квадраты $2^n$. Следовательно, вся доска замостится [1:16:13]. Этот алгоритм рекурсивен: чтобы замостить доску $16 \times 16$, мы разбиваем её до тех пор, пока не дойдем до базовых блоков $2 \times 2$ [1:19:16].