2n x 2n の正方形を
1 x 2 のドミノで埋める場合の数を考えます

たとえば、2x2の正方形を1x2のドミノで埋める場合の数は、2通りです

4x4の正方形を1x2のドミノで埋める場合の数は、36通りです

一般に、n=0,1,2,3,,,,のとき、
1, 2, 36, 6728, 12988816, 258584046368,,,
となり、一般項は、

Π[j=1 to n]Π[k=1 to n]{4cos^2 πj/(2n+1)+4cos^2 πk/(2n+1)}

となるようなのですが、
どのようにその公式が導かれるのでしょうか?