<s>[INST] Induction proof concerning Pell numbers Problem: The Pell numbers $p_n$ are defined by the recurrence relation \begin{align*} p_{n+1} = 2p_n + p_{n-1} \end{align*} for $n \geq 1$, together with $p_0 = 0$ and $p_1 = 1$. 
Prove with mathematical induction that \begin{align*} p_{n+1} p_{n-1} - p_n^2 = (-1)^n \end{align*} for every $n \in \mathbb{N} \setminus \left\{0\right\}$.
Proof: Initial step: for $n = 1$ we have $p_2 p_0 - p_1^2 = (-1)$ which is true given the initial conditions.
Inductive step: Suppose the above expression is true for $n > 1$. Then we have to show that it is also true for $n + 1$. So we have \begin{align*} p_{n+1} p_{n-1} - p_n^2 = (-1)^n. \end{align*} I now plugged in the expression for $p_{n+1}$ given above, and thus got: \begin{align*} (2p_n + p_{n-1}) p_{n-1} - p_n^2 = (-1)^n, \end{align*} or \begin{align*} 2p_n p_{n-1} + p_{n-1}^2 - p_n^2 = (-1)^n. \end{align*}
I'm not sure if I'm doing this right, and I don't know how to proceed. Any help would be appreciated.
 [/INST] Look at what you want to show: you want to show that $p_{n+2}p_n-p_{n+1}^2=(-1)^{n+1}$. You know that $p_{n+2}=2p_{n+1}+p_n$, so this is equivalent to
$$(-1)^{n+1}=(2p_{n+1}+p_n)p_n-p_{n+1}^2=p_n^2+2p_np_{n+1}-p_{n+1}^2\;.\tag{1}$$
Your induction hypothesis is that $p_{n+1}p_{n-1}-p_n^2=(-1)^n$; that has a $p_{n-1}$ that isn’t present in $(1)$, so perhaps we should manipulate the target $(1)$ a bit more to get a $p_{n-1}$. We might apply $p_{n+1}=2p_n+p_{n-1}$ to one of the factors of $p_{n+1}$ in $p_{n+1}^2$ to get
$$\begin{align*}
p_n^2+2p_{n+1}-p_{n+1}^2&=p_n^2+2p_{n+1}-p_{n+1}(2p_n+p_{n-1})\\
&=p_n^2+2p_np_{n+1}-2p_np_{n+1}-p_{n-1}p_{n+1}\\
&=p_n^2-p_{n-1}p_{n+1}\;.
\end{align*}$$
Can you finish it from there?
</s>