int13 писал(а):
С чего мне начинать, какой способ лучше выбрать, чтобы возникло КАК МОЖНО МЕНЬШЕ вопросов по решению?
Есть такое правило

. То есть если верно

и

влечёт

, тогда верно

В нашем случае

есть предложение о том, что
для любого натурального
имеет место
(последняя задача). И чтобы доказать её необходимо принять что-то за аксиому, например формулу упомянутую ранее (есть и другой вариант индукции, но я им не пользовался пока). И эту аксиому вставляем вместо

Значит вопрос о том, что

влечёт

решён и остается убедиться в том, что

верно. И для этого доказываются базис и индукционный шаг.