Тождество Кассини

Тождество Кассини — тождество, утверждающее, что для n-ого числа Фибоначчи выполняется следующее соотношение:

Fn1Fn+1Fn2=(1)n.
Тождество Каталана обобщает это соотношение:

Fn2FnrFn+r=(1)nrFr2.
  Формула Кассини была открыта в 1680 году Джованни Кассини, бывшим в то время директором Парижской обсерватории, доказана Робертом Симсоном в 1753 году. В 1879 году Эжен Каталан обобщил результат.
 Быстрое доказательство тождества Кассини можно дать, если представить левую часть тождества в виде определителя матрицы из чисел Фибоначчи размером 2×2, показав, что эта матрица является n-ой степенью матрицы с определителем −1:

  F\_\{n-1\}F\_\{n+1\} - F\_n\^2

\{

det\{left[\{begin\{matrix\}F\_\{n+1\}\&F\_n\{\{F\_n\&F\_\{n-1\}\{end\{matrix\}\{right]
 \{det\{left[\{begin\{matrix\}1\&1\{\{1\&0\{end\{matrix\}\{right]\^n

\{

left(\{det\{left[\{begin\{matrix\}1\&1\{\{1\&0\{end\{matrix\}\{right]\{right)\^n
 (-1)\^n