Prove $\gcd(n, n + 1) = 1$ for any $n$

Let $a$ and $b$ be integers.

Any integer that divides both $a$ and $b$ must also divide their difference (can you see why this is?).

Suppose $\gcd(n,n+1)=d>1$ for some $n\in\mathbb{N}$. Then by Bezout's identity, there are $a,b\in\mathbb{Z}$ such that $$an+b(n+1)=d\Rightarrow (a+b)n+b=d$$.....

Edit: This is far too complicated for no reason. The real solution is the one given: $d|n$ and $d|n+1$ implies $d|(n+1)-n\Rightarrow d|1$ so $d=\pm 1$.

I would personally just say the following. Say $n$ has a divisor $q$, for which $\frac{n}{q} = p, p \in \mathbb{Z}$. Then if we divide $n+1$ by $q$ we obtain $\frac{n+1}{q} = p + \frac{1}{q}$, thus for all $q \ne 1$ (since the $\gcd(1,q)=1$), $n+1$ will not be divisible by $q$.

Therefore $\gcd(n, n+1) =1$.