Nach Definition gilt \(f_{n+1}=f_n+f_{n-1}\).$$\Leftrightarrow f_{n+1}-f_n=f_{n-1}$$$$\Leftrightarrow (f_{n+1}-f_n)\cdot f_{n+2}=f_{n-1}\cdot f_{n+2}$$$$\Leftrightarrow (f_{n+1}-f_n)\cdot(f_{n+1}+f_n)=f_{n-1}\cdot f_{n+2}$$$$\Leftrightarrow f_{n+1}^2-f_n^2=f_{n-1}\cdot f_{n+2}.$$