Способы математического доказательства

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

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

Чтобы доказать данное утверждение, рассмотрим произвольный четырехугольник, в котором три угла прямые. Так как в любом выпуклом четырехугольнике сумма углов равна 360°, то и в данном она составляет 360°. Сумма трех прямых углов равна 270° (90° · 3 = 270°), и, значит, четвертый имеет величину 90° (360°- 270° = 90°). Если все углы четырехугольника прямые, он - прямоугольник. Следовательно, данный четырехугольник будет прямоугольником. Что и требовалось доказать.

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

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

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

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

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

1. В любом выпуклом четырехугольнике сумма углов равна 360°; данная фигура- выпуклый четырехугольник, следовательно, сумма углов в нем 360°.

2. Если известна сумма всех углов четырехугольника и сумма трех из них, то вычитанием можно найти величину четвертого; сумма всех углов данного четырехугольника равна 360°, сумма трех 270° (90° · 3 = 270°), то величина четвертого 360° - 270° = 90°.

3. Если в четырехугольнике все углы прямые, то этот четырехугольник- прямоугольник; в данном четырехугольнике все углы прямые, следовательно, он прямоугольник.

Все приведенные умозаключения выполнены по правилу заключения и, следовательно, являются дедуктивными.

Самое простое доказательство состоит из одного умозаключения. Таким, например, является доказательство утверждения о том, что 6 < 8 (см. п. 26).

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

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

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

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

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

З а д а ч а 1. Доказать, что каждое составное натуральное число, больше 4, но меньше 20, представимо в виде суммы двух простых чисел.

Р е ш е н и е. Вспомним определение простого и составного числа. Простым называется такое натуральное число, которое делится только на 1 и на себя. Числа 2, 13, 5, 17- простые. Числа, которые имеют более двух делителей, называются составными. Число 1 не является ни простым, ни составным.

В данной задаче рассматривается промежуток чисел, которые больше 4, но меньше 20. Составными в нем будут числа: 6, 8, 9, 10, 12, 14, 15, 16, 18. Каждое из них можно представить в виде суммы двух простых чисел: 6 = 3 + 3; 8 = 5 + 3; 9 = 7 + 2; 10 = 5+5 (или 7+3); 12 = 5+7; 14 = 11+3 (или 7+7); 15 = 13+2; 16=13 + 3 (или 11 + 5), 18 = 13 + 5 (или 11 + 7). Так как данное утверждение истинно во всех частных случаях, то оно доказано.

Примером косвенного доказательства является доказательство методом от противного. Сущность его состоит в следующем. Пусть требуется доказать теорему А=> В. При доказательстве методом от противного допускают, что заключение теоремы (В) ложно, а, следовательно, его отрицание истинно. Присоединив предложение В к совокупности истинных посылок, используемых в процессе доказательства (среди которых находится и условие А), строят цепочку дедуктивных умозаключений до тех пор, пока не получится утверждение, противоречащее одной из посылок и, в частности, условию А. Как только такое противоречие устанавливают, процесс доказательства заканчивают и говорят, что полученное противоречие доказывает истинность теоремы А=$ В.

З а д а ч а 3. Доказать, что если а + 3 > 10,то а≠7.

Р е ш е н и е. Предположим, что заключение данного утверждения ложно, тогда истинным будет его отрицание, т.е. предложение а - 1. Подставим это значение а в неравенство а + 3 > 10. Получим предложение 7 + 3 > 10 или 10 > 10, которое ложно. Пришли в противоречию с определением отношения «больше» для чисел. Следовательно, наше предположение неверное, и поэтому, если а + 3 > 10, то а ≠ 7.

З а д а ч а 4. Доказать, что если х² - четное число, то х - четно.

Р е ш е н и е. Предположим, что заключение данного утверждения ложно, тогда истинным будет его отрицание, т.е. предложение: «х- число нечетное». Любое нечетное число можно представить в виде х = 2n + 1, где n Z₀. Тогда х² = (2n +1)² = 4 n ²+4 n +1 = 2(2 n² + 2) + 1 = 2k + 1, где k = 2n²+2. Но это число нечетное. Пришли к противоречию с тем, что дано. Следовательно, наше предположение неверное, и поэтому если х² - четное число, то х тоже четное число.

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

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

Проиллюстрируем это, решив следующую задачу.

З а д а ч а 5. Даны четыре последовательных натуральных числа. Верно ли, что произведение средних чисел этой последовательности больше произведения крайних на 2?

Р е ш е н и е. Попытаемся сначала высказать предположение относительно ответа на вопрос задачи. Для этого рассмотрим несколько конкретных случаев. Пусть 1,2,3,4 составляют данную последовательность. Образуем произведение средних чисел и произведение крайних и сравним их: 2·3 - 1·4 = 2. Возьмем еще одну последовательность, например, 5, 6, 7, 8, опять образуем произведения средних и крайних чисел и сравним их: 6 · 7 -5 · 8 = 2. Рассмотренные случаи позволяют предположить, что утверждение «Произведение средних чисел заданной последовательности всегда больше произведения крайних на 2» истинно. Это предположение является по существу выводом в умозаключении, называемом неполной индукцией.

Но истинность предложения с квантором общности надо доказывать.

Обозначим четыре последовательных натуральных числа так: n, n + 1, n + 2, n + 3. Образуем произведения средних и крайних чисел, получим (n + 1)( n + 2) и n (n + 3). Выполним преобразования этих выражений: (n +1)( n + 2) = n² + 3n + 2; n(n+3) = n² +3n.

Видим, что действительно первое произведение больше второго на 2. Что и требовалось доказать.

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

З а д а ч а 6. Верно ли, что если натуральное число п не кратно 3, то значение выражения п² + 2 кратно 3?

Р е ш е н и е. Попытаемся сначала однозначно определиться с ответом на вопрос задачи. Для этого возьмем несколько чисел, не кратных 3, и найдем соответствующие значение выражения n² + 2.

Если n = 1,то 12 + 2 = 3, 3 = 3,

Если n = 2, то 22 + 2 = 6, 6:3,

Если n = 3, то 32 + 2= 18, 18:3.

На основе рассмотренных случаев можно предположить, что утверждение «если натуральное число n не кратно 3, то значение выражения n²+ 2 кратно 3» истинно. Это вывод, который мы получили на основе неполной индукции. Но его надо доказывать.

Если натуральное число n не кратно 3, то при делении его на 3 в остатке получается 1 либо 2 и, соответственно, число n имеет вид 3q + 1 (q Z₀) либо 3q + 2 (q Z₀).

Если n = 3q + 1, то n² + 2 = (3q + 1)² + 2 = 9q² + 6q + 3. В выражении 9q² + 6q + 3 каждое слагаемое делится на 3, следовательно, на 3 делится и вся сумма, т.е. значение выражения n²+ 2.

При n = 3q+2 картина аналогична, т.е. значение выражения n²+ 2 и в этом случае делится на 3.

Полученные результаты позволяют заключить, что при любом натуральном n, которое не кратно 3, значение выражения n² + 2 делится на 3.

Способ доказательства в данной задаче - полная индукция. Но применяется она иначе, чем в задаче 1. Дело в том, что отношению «иметь один и тот же остаток при делении на 3» соответствует разбиение множества натуральных чисел на 3 класса- это множество чисел, кратных 3, множество чисел, которые при делении на 3 дают в остатке 1, и множество чисел, которые при делении на 3 дают в остатке 2. Следовательно, все натуральные числа, не кратные 3, разбиваются на 2 класса, в первом содержатся числа вида 3+1, а во втором -числа вида 3q+2. Нами доказано, что при любом п из этих двух классов значение выражения п2 + 2 кратно 3.