Руст писал(а):
незванный гость писал(а):
:evil:
Воспользуйтесь индукцией два раза.
Достаточно применить индукцию один раз, действительно:

.
Выполнение при n=0 очевидно.
Тонкость применения индукционного метода в данном примере состоит в том, что удаётся лишь показать истинность следствия

вместо обычного перехода

. Отсюда выходит, что проверка истинности одного утверждения

недостаточна. В таких случаях необходимо проверять истинность

, то есть обоих случаев для самых первых n. Если бы утверждение

в данном примере было бы ложно, то и всё приведённое выше доказательство не имело бы никакой силы.
