How can we prove that $\gcd((n^4) + (n+1)^4 , (n+1)^4 + (n+2)^4) = 1$? I have found through experimentation that the consecutive sums of consecutive natural numbers raised to certain powers$(1,2,4)$ are always coprime. I was looking for modular multiplicative inverses and came across this facet. 
If you define a sequence $a(n): n^k + (n+1)^k$ , then $a(n)$ and $a(n+1)$ are coprime when $k=1,2$ or $4$ but no others. How can we prove this?
Since $a(n)$ and $a(n+1)$ are coprime when $k=1,2$ or $4$, their modular multiplicative inverse exists, and are sequences in the OEIS already. 
I sincerely hope that this is moderately worthy and not cringe. 

Suppose $d$ is a common factor of $n^4+(n+1)^4$ and $(n+1)^4+(n+2)^4$. Then
$$d\bigg|(n+2)^4-n^4\\
\implies d\bigg|4(n+1)(n^2+(n+2)^2)$$
But note that $4(n+1)$ and $d$ are coprime (since both of the given numbers are odd, hence $d$ is also odd, also, if $k$ is a common factor of $d$ and $n+1$, then $k$ also divides $n^4$ which is a contradiction, since, $k$ and $n$ are coprime). Hence,
$$d\bigg|n^2+(n+2)^2\tag1\\
\implies d\bigg|n^4+2(n+1)^4+(n+2)^4-\Big(n^2+(n+2)^2\Big)^2\\
\implies d\bigg|2(n+1)^4-2n^2(n+2)^2\\
\implies d\bigg|\Big((n+1)^2-n(n+2)\Big)\Big((n+1)^2+n(n+2)\Big)$$
$$\implies d\bigg|2n^2+4n+1\tag2$$
Subtracting the second equation from the first one, we get,
$$d\bigg|3\tag3$$
Hence, $d$ is either $1$ or $3$. Since exactly one of $n, n+1$ and $n+2$ is divisible by $3$, we are done.
EDIT
As N.S. pointed out in comments, after $(1)$, if one observes that
$$\Big(n^2+1\Big)\Big(n^2+(n+2)^2\Big)-\Big(n^4+(n+1)^4\Big)=3$$
then $d$ being a common factor of both terms in LHS, is also a factor of RHS and we again reach $(3)$.
