Induction Proof for $F_{2n} = F^2_{n+1} - F^2_{n-1}$ As stated in the tag, I'm trying to prove by induction the claim $F_{2n} = F^2_{n+1} - F^2_{n-1}$, where $F_{n}$ is the $n^{th}$ Fibonacci number. I've spent hours on the inductive step without substantial progress, and am hoping someone can provide a path to the desired result.  
To facilitate the proof, we're given $F_{2n-1} = F^2_{n} + F^2_{n-1}$
(Also, in various past attempts not reflected here I tried to use the following substitutions whenever it seemed prudent: $F_{n} = F_{n-1} + F_{n-2} = F_{n+1} - F_{n-1}$; and $(x^{2} - y^{2}) = (x - y)(x + y)$).
For the inductive step, let $n\geq 1$ and assume $F_{2n} = F^2_{n+1} - F^2_{n-1}$. For $n+1$ we want to show $F_{2(n+1)} = F^2_{n+2} - F^2_{n}$. So
\begin{align}
  F_{2(n+1)} &= F_{2n + 2} \\
             &= F_{2n+1} + F_{2n} \\
             &= (F_{2n} + F_{2n-1}) + F_{2n} \\
             &= 2 F_{2n} + F_{2n - 1} \\
             &= 2 (F^2_{n+1} - F^2_{n-1})
                  + F^2_{n} + F^2_{n-1} 
                     &&\text{by the inductive hypothesis} \tag{1} \\
             &=...F^2_{n+2} - F^2_{n}                     
\end{align}
I have two challenges.  The first is squeezing $-2 F^2_{n}$ out of (1).  The only reasonable way I can see to do that is to expand the $-F^2_{n-1}$ term in  $2 F^2_{n+1} - F^2_{n-1}$ to $-(F_{n} - F_{n-2})^2$. If in instead I combine it with $F^2_{n-1}$ then it seems impossible to generate the $-2 F^2_{n}$ term needed to offset $F^2_{n}$ and produce $-F^2_{n}$. 
The second challenge is to find $(F^2_{n+2}$ in (1), and the only way I can see to do that is to expand the $F^2_{n+1}$ term in $2(F^2_{n+1} - F^2_{n-1})$to $(F_{n+2} - F_{n})^2$. Doing that not only generates $2 F^2_{n}$ which totally screws things up, but it also generates a bunch of intermediate terms I can't get rid of, and it's driving me crazy.  

As this is a difficult result to prove, I shall prove another result and then derive the said result through it.
Proposition: $F_{n+m} = F_n F_{m-1} + F_{n+1} F_m$
Base cases:  $n = 1$:
$\begin{align}
     F_{m+1} &= F_m + F_{m-1} \\
            &= F_2 F_m + F_1 F_{m-1}
  \end{align}$
Case $n = 2$:
$\begin{align}
   F_{m+2} 
     &= F_{m+1} + F_m \\
     &= F_{m-1} + 2 F_m \\
     &= F_2 F_{m-1} + F_3 F_m
\end{align}$
Hypothesis: $F_{k+m-1} = F_{k-1} F_{m-1} + F_k F_m$ and
$F_{k + m}   = F_k F_{m-1} + F_{k +1} F_m$
Induction step: Adding both the hypothesis statements
$\begin{align}
   F_{k + m + 1} &= F_{k+m} + F_{k+m-1} \\
                &=F_{k+1} F_{m-1} + F_{k+1+1} F_m
\end{align}$
Hence, proved.
$F_{n+m} = F_n F_{m-1} + F_{n+1} F_m$
Putting $n = m$:
$\begin{align}
   F_{2n} &= F_n F_{n-1} + F_{n+1} F_n \\
         &= (F_{n+1} - F_{n-1}) F_{n-1} + F_{n+1} F_n \\
         &= F_{n+1} F_{n-1} + F_{n+1} F_n - F^2_{n-1} \\
         &= F_{n+1}(F_{n-1} + F_n) - F^2_{n-1} \\
         &= F^2_{n+1} - F^2_{n-1}
\end{align}$
