Prove by Induction: $8^n - 3^n$ is divisible by $5$ for all $n geq 1$

Prove by Induction that for all $n \geq 1$ we have

$$8^n - 3^n \text{is divisible by 5} ...(*)$$

My proof so far

Step 1: For $n=1$ we have $8^1 - 3^1 = 8 - 3 = 5$ which is divisible by 5.

Step 2: Suppose (*) is true for some $n=k\geq 1$ that is $8^k-3^k$ is divisible by 5.

Step 3: Prove that (*) is true for $n=k+1$, that is $8^{k+1} - 3^{k+1}$ is divisible by 5. We have

$$8^{k+1}-3^{k+1} = 8*8^k - 3*3^k$$

Can anyone explain the next logical expansion?

Update:

$$8^{k+1}-3^{k+1} = 8*8^k - 3*3^k = 5*8^k + 3*8^k - 3*3^k = 5*8^k + 3(8^k - 3^k)$$

Now we can say that $5*8^k$ is divisible by 5 since it has the form $5*p$ where $p$ is an integer $\geq 1$

And it is assumed that $8^k-3^k$ is divisible by $5$, then $3(8^k-3^k)$ is divisible by $5$ which means it has the form $5p$

so we reduce the expression to
$$5p+5p = 5(p+p)$$

which is of the form $5p$, which is divisible by $5$.

Is my proof correct?

Answer

There is, more or less, somewhat of a "standard" way of writing out these divisibility proofs involving induction. Given your recent questions on induction, I really would encourage you to take a look at this post on how to write a clear induction proof--I think it would force you to construct clear proofs and it would also force you to know what you are doing and why at each step. That said, see if the following proof makes sense (I am going to write it using the template provided in the linked post above):

---

For all $n\geq 1, 8^n-3^n$ is divisible by $5$; that is, $5\mid(8^n-3^n)$, and this notation simply means that "$5$ divides $8^n-3^n$."

Proof. For $n\geq 1$, let $S(n)$ denote the statement
$$
S(n):5\mid(8^n-3^n)\iff 8^n-3^n=5m, m\in\mathbb{Z}.
$$
Base case ($n=1$): $S(1)$ says that $5\mid (8^1-3^1)$, and this is true (all it is saying is that $5$ divides $5$, and that is clearly true).

Inductive step: Fix some $k\geq1$ and assume that
$$
S(k):5\mid(8^k-3^k)\iff 8^k-3^k=5\ell, \ell\in\mathbb{Z}
$$

is true. To be shown is that $S(k+1)$ follows where
$$
S(k+1):5\mid(8^{k+1}-3^{k+1})\iff 8^{k+1}-3^{k+1}=5\eta, \eta\in\mathbb{Z}.
$$
Beginning with the left-hand side of $S(k+1)$,
\begin{align}
8^{k+1}-3^{k+1}&= 8(8^k)-3(3^k)\tag{law of exponents}\\[0.5em]
&= (8^k-3^k)8+5(3^k)\tag{manipulate}\\[0.5em]
&= (5\ell)8+5(3^k)\tag{by $S(k)$, the ind. hyp.}\\[0.5em]
&= 5(8\ell+3^k)\tag{factor out the $5$}\\[0.5em]

&= 5\eta\tag{$\eta=8\ell+3^k, \eta\in\mathbb{Z}$}
\end{align}
we end up at the right-hand side of $S(k+1)$, completing the inductive step.

By mathematical induction, the proposition $S(n)$ is true for all $n\geq1$. $\blacksquare$

---

Does all of that make sense? Near the end of your own proof, you write that $5(p+p)$ is of the form $5p$ which is not actually true. The key is to realize how to generalize as above where you can use any number of symbols so long as you do it effectively. Feel free to comment if a step remains unclear.