Formula Cassini, atau sering juga disebut dengan identitas Cassini ditemukan oleh Giovanni Domenico Cassini di tahun 1680 saat ia menjabat sebagai direktur Observatorium Paris. Formula ini dibuktikan secara independen olah Robert Simson pada tahun 1753. Puzzle berikut didasarkan pada identitas Cassini.[br]Diawali dari barisan bilangan Fibonacci F[sub]1 [/sub]= F[sub]2 [/sub]= 1 dan F[sub]n [/sub]= F[sub]n-2 [/sub]+ F[sub]n-1[/sub] untuk n>3, [br]1, 1, 2, 3, 5, 8, 13, 21, 34, 55, ...[br]Ambil tiga suku berurutan barisan bilangan Fibonacci F[sub]n-1[/sub], F[sub]n[/sub], F[sub]n+1 [/sub]kemudian susun menjadi bangun seperti applet-applet di bawah. Geser slider, dan amati luas bangun kiri dan kanan.

[color=#9900ff]Benarkah luas kanan bisa dihitung dengan rumus luas jajargenjang? Di mana letak kesalahannya?[/color]

Ambil sebarang 3 suku berurutan barisan bilangan Fibonacci:[br][table][tr][td][/td][td] Barisan[/td][td] Luas Kiri [/td][td] 'Luas' Kanan [/td][td] Hubungan [/td][/tr][tr][td][/td][td][color=#6fa8dc]3,[/color]  5, [color=#ff0000]8[/color], 13[/td][td] [math]8^2=64[/math][/td][td] [math]5\times13-8^2=1[/math] [/td][td] [math]5\times13-8^2=1[/math][/td][/tr][tr][td][/td][td][color=#9fc5e8]5,[/color] 8, [color=#ff0000]13[/color], 21[/td][td] [math]13^2=169[/math][/td][td] [math]8\times21=168[/math][/td][td] [math]8\times21-13^2=-1[/math][/td][/tr][tr][td][/td][td][color=#6fa8dc]8, [/color]13, [color=#ff0000]21[/color], 34[/td][td] [math]21^2=441[/math][/td][td] [math]13\times34=442[/math] [/td][td] [math]13\times34-21^2=1[/math][/td][/tr][/table][br]Cobalah mengambil 3 suku yang lain, misal[br] [color=#6fa8dc]1,[/color] 1, 2, 3[br] [color=#6fa8dc]1,[/color] 2, 3, 5 [br] [color=#6fa8dc]2,[/color] 3, 5, 8[br][br]coba juga untuk suku yang lebih besar[br] [color=#6fa8dc]21,[/color] 34, 55, 89[br][br]Dari proses induktif di atas, dapat diduga: [math]F_{n-1}\times F_{n+1}-F_n^2=\left(-1\right)^n[/math][br]Identitas ini dikenal sebagai Identitas Cassini.[br][br][b][color=#9900ff]Tugas[/color][/b]: [color=#9900ff]Buktikan bahwa identitas berlaku untuk semua bilangan asli n.[/color]