Nie bardzo kapuję, co tu ma do rzeczy 3^n
Według mnie, sprawa wygląda dość prosto: mamy nieskończony ciąg [1, 2, ..., i, ..., +∞[ liczb naturalnych. Okej. Do tego mamy pewien operator, czy też, jak kto woli, funkcję k(i), która dla każdego naturalnego argumentu "i" z tego ciągu jako dziedziny zwraca w charakterze wartości inną liczbę, również naturalną. Pytanie: co to za funkcja k(i), jeśli dla dowolnych argumentów m, n ma być spełniony warunek: k(m)+k(n) nie jest potęgą 2 ?
Moim zdaniem, najprostsza odpowiedź (aczkolwiek, być może, nie jedyna) brzmi: a czemu nie k(i)=3i ?
Przecież k(m)+k(n)=3m+3n=3(m+n) jest zawsze podzielna przez 3. Podczas gdy 2 do dowolnej potęgi, czyli 2*2*...*2 nigdy nie dzieli się bez reszty przez 3. Czy z tego nie wynika, iż 3(m+n) nie może być potęgą dwójki?
A jeśli tak, to część druga, czyli rozwiązanie nierówności, to już technikalia.
Sorki, maźku, że zawracam Ci głowę tymi bzdurami