I'm doing some homework, and can't seem to get my head around this inductive proof.
So far I have got:
Atom case: $4^1 -1 = 3$, so proved for basic case.
Closure:
Assume $4^k - 1$ is divisible by $3$, Show that $4^{k+1} -1$ is divisible by $3$.
So: $4^k-1 = 4^k\cdot4 -1$ but this is where I get stuck, unsure where to go from here.
Any help much appreciated.
Hint $ $ To induct $\rm\color{#c00}{multiply}$ the first two congruences below (using the Congruence Product Rule)
$$\begin{align} \bmod 3\!:\quad\ \ 4&\equiv 1\\[.3em] 4^{\large n}&\equiv 1\ \ \ {\rm i.e.}\ \ P(n)\\ \overset{\color{#c00}{\rm multiply}}\Longrightarrow\ 4^{\large n+1} &\equiv 1\ \ \ {\rm i.e.}\ \ P(n\!+\!1) \end{align}$$
Remark $ $ The proof is a special case of an inductive proof of the Congruence Power Rule, which is the straightforward inductive extension of the Product Rule.
If congruences are unfamiliar then we can instead use the Product Rule in Divisibility form:
$$\begin{align} {\rm mod}\,\ m\!:\, A\equiv a,\, B\equiv b&\ \ \,\Longrightarrow\,\ \ AB\equiv ab\qquad\text{Congruence Product Rule}\\[3pt] m\mid \color{#c00}{A-a},\ B-b&\,\Rightarrow\, m\mid \color{#0a0}{AB-ab}\qquad\text{Divisibility Product Rule}\\[4pt] {\bf Proof}\quad (A-a)B+a(B&-b)\, = AB-ab\end{align}$$
This way it is: $\,\ 3\,\mid\, \underbrace{4-1}_{\large \color{#c00}{A\,-\,a}},\, \underbrace{4^n-1}_{\large B\,-\,b}\,\Rightarrow\, 3\,\mid\, \underbrace{4\cdot 4^{\large n}-1\cdot 1}_{\large \color{#0a0}{AB\,-\,ab}} = 4^{\large n+1}-1$.
Note $ $ If you examine the common inductive proofs of this and similar results you will see that the proofs are precisely special cases of the above proof of the Product Rule (in either f0rm), e.g. see here where I explain that at length. Thus these Product Rules can be seen as the inductive essence of the matter. Bringing this innate arithmetical structure to the fore enables us to greatly simplify the inductive structure - so much so that the induction becomes completely obvious - boiling down to the obvious inductive proof that $\,1^n\equiv 1$.