Предположим, что при n=k выражение (2*7^(k)+1) делится на 3.
Покажем, что при n=k+1 выражение тоже делится на 3:
2*7^(k+1)+1=2*7*7^(k)+1+7-7=(2*7*7^(k)+7)+(1-7)=7(2*7^(k)+1)-6.
Так как (2*7^(k)+1) делится на 3, то 7(2*7^(k)+1) тоже делится на 3. Число -6 тоже делится на 3. Значит, сумма 7(2*7^(k)+1)-6 делится на 3. Следовательно, утверждение верно при любом натуральном n, что и требовалось доказать.