Sort:  

because (a*a) = a^2
and ( (a+1) * (a-1) ) = (a^2 - 1^2) = a^2 - 1
[3rd binomial formula]

Great work on the proof!!

WARNING! The comment by david-ams below links to a known phishing site that could steal your account. Do not open links from users you do not trust. Do not provide your private keys to any third party websites.

Thanks for the heads up!

Great tip! I love "formulas" like this