Руст писал(а):
незванный гость писал(а):
:evil:
Воспользуйтесь индукцией два раза.
Достаточно применить индукцию один раз, действительно:
.
Выполнение при n=0 очевидно.
Тонкость применения индукционного метода в данном примере состоит в том, что удаётся лишь показать истинность следствия
вместо обычного перехода
. Отсюда выходит, что проверка истинности одного утверждения
недостаточна. В таких случаях необходимо проверять истинность
, то есть обоих случаев для самых первых n. Если бы утверждение
в данном примере было бы ложно, то и всё приведённое выше доказательство не имело бы никакой силы.