Что такое метод доказательства «от противного».

Что такое метод доказательства «от противного»

Содержание статьи

  • Что такое метод доказательства «от противного»
  • Как доказывать теоремы
  • Как научиться понимать математику

Доказательство с помощью истины

Доказательство «от противного» (по-латински «reductio ad absurdum») характеризуется тем, что сам процесс доказательства какого-либо мнения осуществляется путем опровержения противоположного суждения. Ложность антитезиса можно доказать, установив тот факт, что он несовместим с истинным суждением.

Обычно такой метод наглядно демонстрируется с помощью формулы, где А – антитезис, а В – истина. Если при решении получается, что наличие переменной А приводит к результатам отличным от В, то доказывается ложность А.

Доказательство «от противного» без использования истины

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

Апагогия

В процессе доказательства от противного (которое еще называется «приведением к нелепости») часто используется апагогия. Это логический прием, цель которого доказать неверность какого-либо суждения так, чтобы непосредственно в нем или в вытекающих из него следствиях было выявлено противоречие. Противоречие может выражаться в тождестве заведомо различных предметов или в качестве выводов: конъюнкция или эквивалентность пары В и не В (истина и не истина).

Прием доказательства «от противного» часто используется в математике. Во многих случаях доказать неверность суждения другим способом не представляется возможным. Кроме апагогии существует и парадоксальная форма доказательства от противного. Такая форма применялась еще в «Началах» Евклида и представляет собой следующее правило: А считается доказанным, если получается продемонстрировать и «истинность ложности» А.

Читать еще:  Приснился краб — особенности толкования по разным сонникам. Большой краб

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

ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО

Философия: Энциклопедический словарь. — М.: Гардарики . Под редакцией А.А. Ивина . 2004 .

Философский энциклопедический словарь. — М.: Советская энциклопедия . Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов . 1983 .

Философский энциклопедический словарь . 2010 .

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия . Под редакцией Ф. В. Константинова . 1960—1970 .

Смотреть что такое «ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО» в других словарях:

ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — (proof by contradiction) Доказательство, при котором признание исходной предпосылки неверной ведет к противоречию. То есть предположение об ошибочности исходной посылки позволяет одновременно и доказать какое либо утверждение, и опровергнуть его; … Экономический словарь

ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — один из видов косвенного доказательства … Большой Энциклопедический словарь

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

доказательство от противного — один из видов косвенного доказательства. * * * ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО, один из видов косвенного доказательства (см. КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО) … Энциклопедический словарь

Доказательство от противного — (лат. reduction ad absurdum) вид доказательства, при котором справедливость некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса достигается путем… … Исследовательская деятельность. Словарь

ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — (лат. reductio ad absurdum) вид доказательства, при котором справедливость некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса достигается путем… … Профессиональное образование. Словарь

доказательство от противного — см.: Косвенное доказательство … Словарь терминов логики

Доказательство от противного — (лат. reductio ad absurdum) вид Доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения антитезиса. Опровержение антитезиса при этом достигается… … Большая советская энциклопедия

Читать еще:  К чему снится соперница смотрит на меня. Дралась во сне: что означает сон

ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — один из видов косвенного доказательства … Естествознание. Энциклопедический словарь

Доказательство от противного — см. Абсурд1 … Философский словарь Спонвиля

Метод доказательства «от противного» при изучении темы «Параллельные прямые»

Разделы: Математика

Одной из важнейших задач, которую ставит перед собой учитель математики, начиная курс геометрии – научить ребят доказывать теоремы. Задача сколь важная, столь и сложная. Без кропотливой работы на каждой уроке, без использования наглядных средств, памяток, выполнения разнообразных упражнений эту задачу не решить.

Одним из наиболее сложных методов доказательства является метод «от противного».

Этот метод доказательства основан на логическом приеме апагогии (греч. лат. deductio), когда несостоятельность какого-нибудь мнения доказывается таким образом, что или в нём самом, или же в необходимо из него вытекающих следствиях мы открываем противоречие.

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

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

Хотя с методом доказательство «от противного» ученики знакомятся довольно рано (при доказательстве теоремы о двух прямых, перпендикулярных третьей), редко кто из ребят схватывает суть доказательства. Наиболее эффективно, по нашему мнению начать работу над этим методом при рассмотрении темы «Параллельные прямые».

Ход урока

Подготовительный этап.

На этом этапе важно научить школьников строить отрицания утверждений.

Пример 1. Постройте отрицание следующих утверждений:

  1. Прямая а параллельная прямой b.
  2. Прямая a пересекает прямую b.
  3. Прямая а пересекает прямую b и прямую c.
  4. Прямая а параллельна прямой b и прямой c.
  5. Прямая а пересекает прямую а или прямую b или прямую с (вариант : Прямая а пересекает одну из прямых b или с).
  6. Прямая а параллельна прямой b или прямой с (вариант : Прямая а параллельна одной из прямых b или с).

Этап знакомства с методом доказательства «от противного».

На уроке по теме «Аксиома параллельных прямых» учащиеся знакомятся с аксиомой параллельных прямых и доказательством следствий из нее.

Читать еще:  Математическая формула. Математика, которая мне нравится

Перед проведением доказательства полезно раздать учащимся следующие схемы:

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

Вот как это выглядит:

  1. Этап рассуждений является самым трудным. Первоначально его можно включить в карточку целиком, а впоследствии усложнить задачу, разрезав на отдельные этапы.
  2. При доказательству нужно стараться поменьше использовать условных обозначений, по крайней мере, на этапе знакомства с методом.
  3. Старайтесь не использовать чертеж – он учащихся, как правило, только запутывает.

Удобство и эффективность работы с такими карточками несомненна: они пригодны и для повторения, и для контроля, и для самоконтроля при работе над доказательством.

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

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

Этап закрепления.

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

Методом доказательства «от противного» докажите:

  1. Если прямые параллельны, то внутренние односторонние углы, образованные при пересечении этих прямых секущей, не могут быть оба тупыми (вариант: Если прямые параллельны, то все углы, образованные при пересечении этих прямых секущей, не могут быть тупыми).
  2. Если прямые параллельны, то внутренние односторонние углы, образованные при пересечении этих прямых секущей, не могут быть оба острыми (вариант: Если прямые параллельны, то все углы, образованные при пересечении этих прямых секущей, не могут быть острыми).

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

Методом доказательства «от противного» докажите:

  1. В треугольнике не может быть два тупых угла.
  2. В треугольнике не может быть два прямых угла.
  3. В равнобедренном треугольнике угол при основании не может быть тупым.

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

Источники:

http://www.kakprosto.ru/kak-906988-chto-takoe-metod-dokazatelstva-ot-protivnogo-

http://dic.academic.ru/dic.nsf/enc_philosophy/349/%D0%94%D0%9E%D0%9A%D0%90%D0%97%D0%90%D0%A2%D0%95%D0%9B%D0%AC%D0%A1%D0%A2%D0%92%D0%9E

http://urok.1sept.ru/%D1%81%D1%82%D0%B0%D1%82%D1%8C%D0%B8/528717/

Ссылка на основную публикацию
Статьи на тему:

Adblock
detector