
шаг1: база индукции:

:

шаг2: допустим, что утверждение выполняется в случае

, где

- любое натуральное число.шаг3: Если докажем правдивость утверждения в случае

то покажем, что наше допущение также правда.Факт: Если разница числа P и Q делится на 9 нацело, то и их разница делится на 9 нацело и наоборот. P = 9*pQ = 9*qP - Q = 9(p-q)Воспользуемся этим:

- делится на 9 (известно из шага 2)
-1}+3(n+3)+4=2^{2n+5}+3(n+3) + 4)
- доказываем (с гипотезой, что случай n=n - прав)Разница:
 + 4 - (2^{2n-1}+3n+4)=2^{2n-1}(2^6-1)+9=)
)
то, что разница кратна 9, доказало кратность 9 выражения в случае

, а это подтверждает гипотезу.Вот в этом вся суть, логику можете расписать подробнее.