Глава 20 Суммирование

При решении задач, связанных с последовательностями, приходится доказывать утверждения такого типа: «Для любого целого n ? p (где p — целое) справедливо...»

Доказательство этих утверждений базируется на аксиоме индукции.

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

Теорема 1. Утверждение А справедливо для n = p.

Теорема 2. Из условия, что утверждение А справедливо для всех p ? n ? k, следует, что оно справедливо для n = k + 1.

Тогда в качестве аксиомы (она называется аксиомой индукции) принимают, что утверждение А справедливо для всех n ? p (n, p и А — целые числа).

Метод доказательства, основанный на использовании аксиомы индукции, называется методом математической индукции.

С помощью метода математической индукции можно доказать формулы