Математические доказательства

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

Прямым доказательством теоремы Т называется конечная последовательность предложений j ₁, j ₂,..., j_n данной теории, удовлетворяющая следующим требованиям:

1) предложение j ₁ – какое-либо несомненное начало;

2) каждое предложение j_i последовательности или аксиома, или получается из предшествующих предложений по какому-либо из правил вывода математической логики;

3) последнее предложение последовательности j_n есть Т.

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

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

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

Среди косвенных доказательств встречаются разделительные, в которых есть разделительное суждение вида «S есть Р ₁, Р ₂», где число всевозможных случаев n ³ 2 и конечно.

По форме умозаключения, в которой совершаются доказательства, различают индуктивные и дедуктивные. Индуктивные доказательства получаются в результате применения методов полной индукции и математической индукции.

Метод математической индукции – специальный метод доказательства, применяющийся к предложениям типа (" n Î N) P (n), т.е. к предложениям, выражающим некоторое свойство Р, присущее любому натуральному числу n. Многие утверждения содержат целочисленную переменную n, и если надо доказать, что утверждение верно для любого числа n ³ n ₀, то это можно осуществить в два этапа:

1) Утверждение проверяют для n = n ₀.

2) Предположив, что утверждение справедливо для некоторого n = k ³ n ₀, доказывают его справедливость для n = k + 1.

Если это осуществлено, то утверждение оказывается (этап 1) верным для n = n ₀ и следовательно (этап 2), для n = n ₀ + 1. Тогда (этап 2) оно верно для n = n ₀ + 2 и т.д.

Эти этапы составляют основу метода математической индукции.

П р и м е р. Докажем методом математической индукции, что для всех n ³ 1 верное равенство

.

Для упрощения выкладок введем обозначение S (n) = 1 + 2 + … + n; требуется доказать, что для всех n ³ 1 верно равенство .

1) Для n = 1 оно очевидно.

2) Допустим, что для n = k оно выполнено, т.е. . Докажем, что тогда исходное равенство верно и для n = k + 1, т.е. . Действительно, S (k + 1) = 1 + 2 + … + k + (k + 1) =
= .

Ввиду того, что непосредственная проверка наличия этого свойства у любого натурального числа невозможна из-за бесконечности множества N, поступают так: устанавливают наличие этого свойства для n = 1 и доказывают, что из допущения о наличии его для n = k, где k – произвольное натуральное число, следует наличие этого свойства и для n = k + 1, т.е. для числа, «непосредственно следующего за k».

После этого заключают об истинности предложения (" n Î N) P (n), т.е. о том, что свойством Р обладает любое натуральное число.

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

Дата добавления: 2015-07-18