フィボナッチ・リュカ数列の定理を並べるスレ

　　Π_(k=1, [n/2]) (1 + 4*cos(kπ/n)^2) = F_n,　　　(n≧2)

(解説)
カステレインは平方格子グラフ上のダイマー模型について分配函数Zを計算した。
これはグラフの隣接行列に適当な重みと符号を乗じて得られる反対称行列（カステレイン行列）
のパフ形式（Pfaffian）として表わされた。
その後、（平方格子でない）一般の平面的２部グラフに拡張された。

(文献)
1. P.W.Kasteleyn, Physica, ２７, p.1209-1225 (1961)
　"The physics of dimers on a lattice"
2. http://www.math.h.kyoto-u.ac.jp/~takasaki/res/kok0608.pdf
　「ダイマー模型とその周辺」 (京都大 人間･環境学部)
3. 細矢, ｢数学100の問題｣, 数セミ増刊, 日本評論社, p.90-92 (1984.9)
　「フィボナッチ数の問題｣