How to prove, using recursion, that for every natural n:$$5^n - 2^n$$ can be divided by 3.
-
hmm yeah, sorry... fixed – jaldk Dec 27 '15 at 13:04
6 Answers
Hint $a^n-b^n=(a-b)((a)^{n-1}+...+b^{n-1})$ from general terms of binomial $(a-b)^n$

- 15,910
Since $5\equiv 2\pmod 3$, you get $5^n\equiv 2^n\pmod 3$.
Or use the binomial formulas $$ A^n-B^n=(A-B)(A^{n-1}+A^{n-2}B+…+B^{n-1}) $$
Or use the binomial theorem $$ 5^n=(2+3)^n=2^n+n2^{n-1}·3+\binom n2 2^{n-2}·3^2+…+3^n $$

- 126,666
- setting $n=1$, $\implies 5^1-2^1=3$ is divisible by $3$
Thus, the number $5^n-2^n$ is divisible by $3$ for $n=1$
assume for $n=k$, the number $5^n-2^n$ is divisible by $3$ then $$\color{blue}{5^k-2^k=}\color{blue}{3m}$$ where, $m$ is some integer
setting $n=k+1$, $$5^{k+1}-2^{k+1}=5\cdot 5^k-2\cdot 2^k$$ $$=5\cdot 5^k-5\cdot 2^k+3\cdot 2^k$$ $$=5(\color{blue}{5^k-2^k})+3\cdot 2^k$$ $$=5(\color{blue}{3m})+3\cdot 2^k$$ $$=3(5m+2^k)$$ since, $(5m+2^k)$ is an integer hence, the above number $3(5m+2^k)$ is divisible by $3$
Hence, $5^n-2^n$ is divisible by $3$ for all integers $n\ge 1$

- 37,450
It clearly holds for $n=1$. Suppose it holds for some $k$.
$5^{k+1} - 2^{k+1} = 5^k(5-2) + 2(5^k - 2^k)$. $3$ goes into both terms, so it holds for $k+1$. QED.

- 12,462
Hint: $(x-y)\,|\,(x^n-y^n)$ for all $x,y$

- 4,984

- 84,454
-
1For some reason, it's the second time I review this. I think this hint gets straight to the point of the exercise. While one could argue whether a hint could be considered an answer, I'll explain why I think this should not be deleted "for not using induction". The OP does not show any effort or context; therefore, as a corollary, it provides no argument against the use of the very basilar identity that has been suggested here. – Dec 27 '15 at 14:11
In using recursion, we can consider the following:
It holds for $n=1$.
Suppose it holds for some $n\geq 1$, that is $5^n-2^n=3k$ for some integer $k$, then $5^{n+1}-2^{n+1}=3\cdot 5^n+2\cdot 5^n-2\cdot 2^n=3(5^n+2\cdot 3k)$.
Hence, by recursion, the result follows.

- 2,843