Метод математической индукции
- Метод математической индукции
-
Математическая индукция — в математике — один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 — база индукции, а затем доказывается, что если верно утверждение с номером n, то верно и следующее утверждение с номером n + 1 — шаг индукции, или индукционный переход.
Доказательство по индукции наглядно может быть представлено в виде так называемого принципа домино. Пусть какое угодно число косточек домино выставлено в ряд таким образом, что каждая косточка, падая, обязательно опрокидывает следующую за ней косточку (в этом заключается индукционный переход). Тогда, если мы толкнём первую косточку (это база индукции), то все косточки в ряду упадут.
Точное описание
Предположим, что требуется установить справедливость бесконечной последовательности утверждений, занумерованных натуральными числами: 
Допустим, что
- Установлено, что P1 верно. (Это утверждение называется базой индукции.)
- Для любого n доказано, что если верно Pn, то верно Pn + 1. (Это утверждение называется индукционным переходом.)
Тогда все утверждения нашей последовательности верны.
|
Логическим основанием для этого метода доказательства служит так называемая аксиома индукции, пятая из аксиом Пеано, определяющих натуральные числа. Верность метода индукции эквивалентна тому, что в любом подмножестве натуральных чисел существует минимальный элемент.
Существует также вариация, так называемый принцип полной математической индукции. Вот его строгая формулировка:
Пусть имеется последовательность утверждений . Допустим, что
- Установлено, что P1 верно.
- Для любого натурального n доказано, что если верны все
, то верно и Pn + 1. (Это утверждение называется индукционным переходом.)
Тогда все утверждения в этой последовательности верны.
|
Принцип полной математической индукции также эквивалентен аксиоме индукции в аксиомах Пеано.
Примеры
Задача. Доказать, что, каковы бы ни были натуральное n и вещественное q ≠ 1, выполняется равенство

Доказательство. Индукция по n.
База, n = 1:

Переход: предположим, что

тогда

,
что и требовалось доказать.
Комментарий: верность утверждения Pn в этом доказательстве — то же, что верность равенства

См. также
Вариации и обобщения
Литература
- Н. Я. Виленкин Индукция. Комбинаторика. Пособие для учителей. М., Просвещение, 1976.—48 с
- Л. И. Головина, И. М. Яглом Индукция в геометрии, «Популярные лекции по математике», Выпуск 21, Физматгиз 1961.—100 с.
- Р. Курант, Г. Роббинс «Что такое математика?» Глава I, § 2.
- И. С. Соминский Метод математической индукции. «Популярные лекции по математике», Выпуск 3, Издательство «Наука» 1965.—58 с.
Wikimedia Foundation.
2010.
Полезное
Смотреть что такое "Метод математической индукции" в других словарях:
Принцип математической индукции — Математическая индукция в математике один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 база индукции, а затем… … Википедия
Метод индукции — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… … Википедия
Индуктивный метод — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… … Википедия
ГЕНЕТИЧЕСКИЙ МЕТОД — способ задания содержания и сущности исследуемого предмета не путем конвенции, идеализации или логического вывода, а с помощью изучения его происхождения (опираясь на изучение причин, приведших к его возникновению, механизм становления). Широко… … Философия науки: Словарь основных терминов
МЕТОД АКСИОМАТИЧЕСКИЙ — способ построения теории, при к ром в ее основу кладутся нек рые ее положения – аксиомы или постулаты, – из к рых все остальные положения теории (теоремы) выводятся путем рассуждений, называемых д о к а з а т е л ь с т в а м и. Правила, по к рым… … Философская энциклопедия
Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… … Большая советская энциклопедия
аксиоматический метод — АКСИОМАТИЧЕСКИЙ МЕТОД (от греч. axioma) принятое положение способ построения научной теории, при котором в доказательствах пользуются лишь аксиомами, постулатами и ранее выведенными из них утверждениями. Впервые ярко продемонстрирован… … Энциклопедия эпистемологии и философии науки
НАИМЕНЬШИХ КВАДРАТОВ МЕТОД — один из методов ошибок теории для оценки неизвестных величин по результатам измерений, содержащим случайные ошибки. Н. к. м. применяется также для приближенного представления заданной функции другими (более простыми) функциями и часто оказывается … Математическая энциклопедия
Математическая индукция — Математическая индукция один из методов математического доказательства, используется чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала пров … Википедия
Индуктивное умозаключение — У этого термина существуют и другие значения, см. Индукция. Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки… … Википедия