Mi sembra che l’identità rilevante sia in realtà (F_n)^2 – F_{n-2}F_{n+2}=(-1)^n. Immagino in qualche modo si possa ricavare dall’altra usando anche la formula di ricorsione, ma non mi sembra immediato e a quel punto la si può derivare direttamente solo dalla formula di ricorsione.