Help with Fibonacci Identity

[ramsey2879]

Can someone guide me on how to prove that
$$F_{4n+3} + F_{4n+6} = F_{2n+1}^2 + F_{2n+4}^2$$

either side of the above is the difference

$$(F_{2n+2}*F_{2n+3} + F_{2n+4}^2) - (F_{2n}*F_{2n+1} + F_{2n+2}^2)$$

I intend to post this sequence $$F_{2n}*F_{2n+1} + F_{2n+2}^2$$, with a comment re a few properties thereof, on Sloane's online encyclopedia of integer sequences but would like to verify the above identity first.

 

[tehno]

First thing springs to mind is to try use general formula for n^th
Fibbonacci number:

$$F_{n}=\frac{\phi^n-(1-\phi)^n}{\sqrt{5}}$$

In order to proceed with math induction.But I'm unsure will it work or not.
I'm sure there are better methods ,though.

 

[ramsey2879]

First thing springs to mind is to try use general formula for n^th
Fibbonacci number:

$$F_{n}=\frac{\phi^n-(1-\phi)^n}{\sqrt{5}}$$

In order to proceed with math induction.But I'm unsure will it work or not.
I'm sure there are better methods ,though.

Thanks
I think there is an identity for the following that works:

$$F_{i}*F_{j} + F_{i+1}*F_{j+1} = F_{?}$$

Let j = i = 2n+1 then

$$F_{2n+1}^{2} + F_{2n+2}^{2} = F_{4n+3}$$
$$F_{2n+2}^{2} + F_{2n+3}^{2} = F_{4n+5}$$
$$F_{2n+2}^{3} + F_{2n+4)^{2} = F_{4n+7}$$
\\
$$F_{4n+3} +F_{4n+6} = F_{4n+3} + F_{4n+7} - F_{4n+5}$$
$$=F_{2n+1}^{2} + F_{2n+4}^{2}$$