Are All Powers of Sequence Members Still Part of the Sequence?

[Natasha1]

Could anyone just run through my answer to this question and spote any mistakes, to let me know if I have done this correctly please? Thanks!

Question:

Which powers of numbers in the sequence are always in the sequence and which are not. Prove your findings.

sequence 2, 5, 8, 11, 14...

Answer:

a_n = 3n+2

So a member in the sequence taken to a power of a number in the sequence will be of the form (3n+2)^x where x is any member of the sequence.

So

(3n+2)^x = (3n)^x + (3n)^x-1 *2^1 + (3n)^x-2 * 2^2 +...+(3n)^1 * 2^x-1 + 2^x

Noticing from this that the last term is always 2^x.

If we set (3x+2)^x = 3q+2

Solving for q:

q= (2^x - 2)/3

As q has to be an integer, x has to take values for which (2^x - 2)/3 remains an integer are the odd numbers (1, 3, 5, 7, ...)

Therefore, the powers of the numbers which will always be in the sequence are the odd numbers. All the even powers do not lie in the sequence.

 

[VietDao29]

Could anyone just run through my answer to this question and spote any mistakes, to let me know if I have done this correctly please? Thanks!

Question:

Which powers of numbers in the sequence are always in the sequence and which are not. Prove your findings.

sequence 2, 5, 8, 11, 14...

Answer:

a_n = 3n+2

So a member in the sequence taken to a power of a number in the sequence will be of the form (3n+2)^x where x is any member of the sequence.

So

(3n+2)^x = (3n)^x + (3n)^x-1 *2^1 + (3n)^x-2 * 2^2 +...+(3n)^1 * 2^x-1 + 2^x

Noticing from this that the last term is always 2^x.

If we set (3x+2)^x = 3q+2

You've expanded the terms out incorrectly. Where are all the binomial coefficients?
(x + y) ^ n = \sum_{k = 0} ^ n \left( \begin{array}{l} n \\ k \end{array} \right) x ^ k y ^ {n - k}

Solving for q:

q= (2^x - 2)/3

Nope, this is wrong.
q = \frac{(3x + 2) ^ x - 2}{3}
Expand (3x + 2)^x out like above, we notice that all but the last term is divisible by 3, we have:
q = \frac{(3x + 2) ^ x - 2}{3} = A + \frac{2 ^ n - 2}{3}, where A is some positive integer.

As q has to be an integer, x has to take values for which (2^x - 2)/3 remains an integer are the odd numbers (1, 3, 5, 7, ...)

Therefore, the powers of the numbers which will always be in the sequence are the odd numbers. All the even powers do not lie in the sequence.

Why? Can you prove that: 2^{2n + 1} - 2, where n is an integer is divisible by 3?
---------------------
Hint, another way is that:
a_n \equiv -1 \mbox{ mod } 3
\Rightarrow (a_n) ^ {2k} \equiv ? \mbox{ mod } 3, \ k \in \mathbb{N}
\Rightarrow (a_n) ^ {2k + 1} \equiv ? \mbox{ mod } 3, \ k \in \mathbb{N}
Can you go from here? :)