>>453
地道に計算するとおそらく
P_n(x,y) = C[n,(n-x-y)/2]*C[n,(n-x+y)/2]　(x+y≡n (mod2)かつ|x|+|y|≦n)
=0 (上記のx,y以外)
となるようですが証明は簡単ですか？