形式的べき級数を用いた解法です.
公式解説と同様にマス目を白黒に塗り分けるとき, ci=(i+1行目にある黒マスの数)−(i行目にある黒マスの数) とする.(ただし c0=(1行目にある黒マスの数),c7=7−(7行目にある黒マスの数) とする)
公式解説より, c0,…,c7 は非負整数であり,総和は 7 である.黒マスの個数は 7c0+6c1+…+c6 個で,条件よりこれは奇数.
また,非負整数の組 (c0,c1,…,c7) と各マスの数の割り当て方は一対一対応していることから,上記を満たす組 (c0,c1,…,c7) の個数を数えればよい.
ここで, 7c0+6c1+…+c6 が奇数という条件は c0+c2+c4+c6 が奇数であることに等しい.
したがって, f(x,y)=(1−xy1)4(1−x1)4 とすると,求めるべき値は, f(x,y) の x の次数が 7 で y の次数が奇数である項の係数の総和である.これは以下のように求められる.
[x7]21(f(x,1)−f(x,−1))=[x7]21{(1−x)81−(1−x)4(1+x)41}=21(14C7−0)=1716
ただし,以下の式を用いた.
(1−x)n1=i=0∑∞(n−1i+n−1)xi