при k=1 имеем 2^1+1=3 делится на 3
Пусть при к=2n+1 выполняется 2^(2n+1)+1 делится 3;
покажем, что при к=2(n+1)+1 2^k+1 делится на 3
2^(2(n+1)+1)+1=2^((2n+1)+2)+1=(2^2)*(2^(2n+1))+1=
=(1+3)*2^(2n+1)+1=(2^(2n+1)+1)+3*2^(2n+1)
первое слагаемое делится на 3 по предположению, а второе
содержит множитель 3. Следовательно и сумма делится на 3.
Мы доказали по методу математической индукции.