Текст выступления:

Доказательство от противного
1. Доказательство от противного

Косвенное доказательство часто называют «доказательством от противного», и это звучит как математический детектив: сначала принимают обратное утверждение, а затем аккуратно проверяют, к чему оно приведёт. Как правило, именно невозможность заставляет вернуться к правильной мысли.

Сегодня разберём логику этого метода — так, чтобы к нему хотелось прибегать не только на уроках алгебры, но и в обычных рассуждениях.

2. Пример 2: неравенство и сравнение

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

Это и есть сила косвенного доказательства: оно фиксирует не просто «неравенство не так», а показывает, что допущенная подмена приводит к неизбежному противоречию.

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

3. Пример 3: уравнение без действительных корней

Третий пример обычно связан с уравнениями: как доказать, что действительных корней нет, не решая всё «в лоб»? Косвенный ход прост: предполагают существование действительного корня и подставляют его в уравнение, а затем ищут невозможный вывод.

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

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

4. Пример 4: наглядная числовая ситуация

Четвёртый пример — наглядная числовая ситуация. Она помогает понять сам механизм: доказательство от противного работает, когда можно представить цепочку «если бы было так — тогда…».

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

И здесь полезно помнить: косвенное доказательство не «магия», а чёткая схема — от допущения к проверке. Когда конфликт найден, правильное утверждение не просто вероятно, а доказано.

5. Частые ошибки

На пути к хорошему доказательству чаще всего мешают ошибки, похожие на мелкие «логические трещины».

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

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

Третья — преждевременно прекращать рассуждение. Если кажется, что «что-то не так», нужно довести цепочку до конкретного несовпадения: например, получить одновременно «x больше y» и «x меньше y», либо «величина отрицательная и положительная».

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

После примеров полезно собрать всё воедино и понять, как именно оформлять такие рассуждения — чтобы их принимали и учителя, и проверяющие.

6. Как оформлять доказательство

Оформление доказательства от противного похоже на строгий протокол: каждый шаг должен быть на своём месте.

Первое: чётко сформулировать исходное утверждение и сразу обозначить допущение противоположного. Важно, чтобы текст был однозначным: «пусть верно обратное» — и далее конкретная запись.

Второе: выписать, какие свойства используются. Обычно это определения, правила неравенств, свойства чётности, квадратов, модулей или логические эквивалентности.

Третье: вести цепочку до явного противоречия. Противоречие должно быть «узнаваемым»: две несовместимые формулировки, нарушение условия, или невозможное значение (например, одновременно больше и меньше).

Четвёртое: финальная фраза. После конфликта не нужно «додумывать». Делают прямой вывод: исходное утверждение верно, потому что обратное невозможно.

Если доказательство оформлено так, логика становится прозрачной, а оценивание — справедливым: читатель сразу видит, где именно возникла невозможность.

7. Где искать противоречие

Где искать противоречие — часто решает успех. Оно не возникает «в воздухе», как внезапная мысль. Его нужно проверять по источникам, которые уже считаются надёжными.

Противоречие удобно ловить в трёх местах. Во-первых, в самом условии задачи: не нарушено ли оно напрямую. Во-вторых, в определениях: например, что именно означает «чётность», «действительный корень», «положительное число».

В-третьих, в свойствах чисел и в фактах, которые уже доказаны или приняты. Когда сверка шага с условием и определениями проходит аккуратно, конфликт находится быстрее.

И ещё один практический совет: если доказательство трудно довести до конца, возвращаются к самым базовым свойствам и проверяют каждый шаг как «проверку совместимости». В таком случае вывод получается не только правильным, но и точным.

8. Как работает косвенное доказательство

Косвенное доказательство — это способ доказательства, при котором временно принимают обратное утверждение и проверяют, не приведёт ли оно к невозможности.

Математика любит честность: нельзя просто сказать «и так ясно». Зато можно построить логическую проверку — как в игре «если бы получилось иначе, что бы тогда случилось?»

Если цепочка приводит к конфликту, то обратное утверждение не может быть верным. Значит, исходное утверждение доказано.

9. Когда нужно доказывать через невозможность

Когда нужно доказывать через невозможность? Обычно это происходит в ситуациях, где прямой путь слишком сложен или пока непонятно, как «напрямую» получить нужный результат.

Во многих задачах достаточно показать, что допущение «так не может быть» порождает невозможный вывод. Например, когда приходится работать с чётностью, знаками, границами и сравнениями.

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

Ещё один частый случай — утверждения вида «объекта не существует» или «корней нет». Если предположить существование и показать, что такое существование невозможно, цель достигнута.

Таким образом, «невозможность» здесь не каприз: она превращается в строгую проверку мышления. А теперь сформулируем саму идею метода — как цепочку действий.

10. Идея метода в одной цепочке

Идея метода в одной цепочке — это стройная логическая последовательность.

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

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

И если в какой-то момент возникает конфликт — то есть следствие несовместимо с условиями или законами рассуждения — допущение отбрасывается.

В итоге сохраняется исходное утверждение: оно не просто «похоже верным», а обязательно верное, потому что обратное невозможно.

11. Когда этот метод особенно полезен

Когда этот метод особенно полезен, становится видно по типам задач.

Во-первых, при работе с целыми числами и их свойствами: чётность, остатки, делимость. Часто противоречие проявляется через невозможность получить одновременно два разных остатка.

Во-вторых, когда важны неравенства. Тут особенно легко показать невозможность: из допущения получается, что число должно быть больше и меньше одновременно или выходить за границы.

В-третьих, когда речь о существовании или несуществовании решения: уравнения могут не иметь действительных корней, и косвенный путь позволяет это доказать.

В-четвёртых, когда нужно доказать строгое «не может быть»: например, что в конкретной ситуации невозможно построить числа с определёнными свойствами.

После объяснения теории полезно почувствовать метод на простых примерах — с самого начала.

12. Алгоритм доказательства от противного

Алгоритм доказательства от противного удобно представить как путь от предположения к конфликту и затем к выводу.

Формулируют исходное утверждение.
Делают допущение обратного, то есть предполагают, что исходное утверждение неверно.
Из этого допущения строят логические следствия, опираясь на определения, свойства и условия задачи.
Проверяют: возникает ли противоречие.
Если конфликт есть — допущение невозможно, а значит исходное утверждение верно.
Если конфликта не найдено — нужно продолжать рассуждения или выбирать другие шаги, потому что «не нашли сразу» ещё не означает «доказали».

Такой ход напоминает строгую проверку гипотезы: не угадывание, а последовательная проверка с финальным результатом.

13. Какие бывают противоречия

Какие бывают противоречия? На практике они бывают разного «вида», но логическая роль у них одна: показать, что допущение несовместимо с реальностью задачи.

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

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

Третий тип — противоречие в знаках и сравнениях. Допущение приводит к двум несовместимым неравенствам: x больше y и одновременно x меньше y.

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

Понимание «какого противоречия ждём» помогает искать его быстрее. Теперь — разбор очень простого примера.

14. Разбор очень простого примера

Разбор очень простого примера помогает почувствовать технику без сложных вычислений.

Идея такая: берут утверждение и временно предполагают противоположное. Затем рассматривают, какие следствия неизбежны при этом допущении.

В ходе рассуждения появляется не просто «ошибка», а несовместимость: один и тот же факт начинает противоречить другому уже известному факту.

После этого шаги становятся понятными: допущение отбрасывается, а исходное утверждение фиксируется как доказанное.

Такой маленький пример важен ещё и тем, что показывает ритм доказательства: предположение — следствие — конфликт — вывод.

15. Пример 1: четность и квадрат числа

Пример 1: чётность и квадрат числа — отличный старт, потому что чётность легко контролировать.

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

Ключевое наблюдение из школьной алгебры: квадрат чётного числа снова чётный, потому что чётность сохраняется при умножении на себя. А у квадратов нечётных чисел другая структура.

Если допустить «неправильную» чётность квадрата, то следствие потребует невозможного: число должно одновременно соответствовать двум несовместимым остаткам по модулю 2.

Когда противоречие найдено, исходное утверждение становится неизбежным: квадрат не может иметь ту чётность, которая не соответствует природе исходного числа.

16. Чек-лист самопроверки

Название — «Чек-лист самопроверки», и его смысл предельно практичный: проверка рассуждения шаг за шагом помогает не пропустить ключевое — предположение, конфликт и итоговый вывод.

В логике этот подход похож на контрольный список в науке и инженерии: сначала фиксируется стартовая точка, затем проверяется путь, и только в конце подтверждается результат. Рассуждение без самопроверки бывает коварным: можно быстро убедиться «кажется верно», но так и не заметить, где именно появилось слабое место.

Чек-лист начинается с предположения. Оно должно быть сформулировано ясно, без «на глаз». Далее проверяется, какие выводы следуют из этого предположения. На этом этапе особенно важно отслеживать условия: одно и то же предположение в разных обстоятельствах может давать разные результаты.

Затем наступает центральная часть — конфликт. В логической цепочке конфликтом называют противоречие: вывод не совпадает с тем, что должно быть, или противоречит уже принятому факту. Иногда противоречие выглядит как «не сходится ответ», а иногда — как невозможная ситуация.

И завершается все итоговым выводом: что именно мы должны признать после обнаруженного конфликта. Самое ценное в таком подходе — он превращает рассуждение из догадки в доказательство: не просто «кажется», а «проверено по шагам».

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

17. Тренировочные задачи

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

Смысл тренировок в том, чтобы каждый раз проходить одну и ту же внутреннюю процедуру: сформулировать, что принимается за старт, вывести следствия и отследить, не появляется ли противоречие. Так формируется привычка не «прыгнуть» к ответу, а проверить путь.

Важно, чтобы задачи были разного типа: где-то конфликт очевиден, а где-то его приходится искать, как логический «маяк». Когда конфликт находится, решение начинает напоминать работу детектива: каждое звено либо подтверждает цепочку, либо подсказывает, где она сломалась.

Тренировочные задачи полезны ещё и потому, что они развивают внимательность к формулировкам. Даже одно слово в предположении может изменить последствия. Поэтому в обучении логике сильнее всего растёт не скорость, а точность: меньше ошибок — больше уверенности.

И после набора таких тренировок появляется следующий вопрос: с чего начинать, чтобы не теряться. Именно это раскрывает следующая подсказка — «Подсказка: с чего начать».

18. Подсказка: с чего начать

Подсказка «с чего начать» нужна, потому что многие теряются в первых минутах: слишком много вариантов, а хочется быстрее увидеть ответ. Метод доказательства от противного выигрывает, когда старт выбран правильно.

Начинать стоит с ясного предположения, которое будет проверяться. Оно формулируется как то, что «мы допустим верным» — и именно это допущение затем будет проверяться на устойчивость. Если старт расплывчатый, вся цепочка становится хрупкой.

Далее следует определить, какие выводы обязаны следовать из этого предположения. Не обязательно пытаться решать «в один шаг»: полезно разбить путь на короткие этапы и на каждом этапе спрашивать себя, полученные следствия логичны.

Затем — поиск конфликта. Здесь важно понимать: конфликт не обязательно выглядит как громкое «невозможно». Иногда он проявляется как несоответствие правилам, как невозможность одновременно выполнить два условия или как противоречие тому, что уже известно.

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

Чтобы лучше удержать общий каркас, следующий слайд предлагает его визуально-логическое название — «Скелет решения».

19. Скелет решения

«Скелет решения» помогает держать рассуждение под контролем. Это не про украшения и не про долгие вычисления, а про каркас: какие элементы обязательно должны быть в тексте доказательства.

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

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

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

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

Такой «скелет» особенно ценен, когда прямое решение выглядит слишком длинным. Именно об этом — в финале, в слайде «Итог: как работает метод».

20. Итог: как работает метод

Итог: как работает метод. Доказательство от противного работает как цепочка: предположение, выводы, конфликт и итог. Этот метод особенно полезен, когда прямое решение слишком длинное, а правильный ответ можно получить через невозможность.

Источники

Канторович Л. В., Крылов В. И. «Приближённые методы высшего анализа». М.: Наука, 1970.

Бурбаки Н. «Элементы математики. Теория множеств». М.: Мир, 1971.

Гельфанд И. М., Лившиц И. М. «Введение в теорию чисел». М.: Наука, 1989.

А. Н. Колмогоров. «Математика: понятия, доказательства, методы». М.: Наука, 1986.

Ивин А.А. Логика: учебник. М.: Проспект, 2019.

Гальперин П.Я. и др. Психология мышления и обучение решению задач. М.: Педагогика, 1980.

Льюис К. Противоречие и доказательство в логике. Сборник трудов по логике и методологии науки. М.: Наука, 2005.

Куайн У.Ф. Логика и философия. М.: Московский философский фонд, 2000.