MathLabs

第2問

n×nn\times n の表の各マスに文字 II、MM、OO のいずれかを、次の条件を満たすように書き込めるような整数 nn をすべて求めよ:各行と各列において、II、MM、OO がそれぞれちょうど3分の1ずつ現れる。また、任意の対角線について、その対角線上のマスの個数が3の倍数ならば、II、MM、OO がそれぞれちょうど3分の1ずつ現れる。(n×nn\times n の表には両方向合わせて合計 4n−24n-2 本の対角線があることに注意せよ。)
ステップ 4/5: 行と列で残りの II マスを数える
ざっくり言うと

添字が3を法として2である行と列が補集合を数え、その共通部分もよい II マスになる。 22 と 33

∣C∪R∣=29n2−a,∣I∣=49n2−3a|C\cup R|=\tfrac29n^2-a,\quad |I|=\tfrac49n^2-3a
詳しい解説

CC を列 3s+23s+2 にある II のマス、RR を行 3r+23r+2 にある II のマスとする。選んだ各列・行は均衡しているので ∣C∣=∣R∣=n2/9|C|=|R|=n^2/9、共通部分は aa 個のよい II マスである。よって ∣C∪R∣=2n2/9−a|C\cup R|=2n^2/9-a。ちょうど一方の対角線族に属する部分は 2n2/9−2a2n^2/9-2a 個、行列の和集合は 2n2/9−a2n^2/9-a 個なので、II マスの総数は 4n2/9−3a4n^2/9-3a となる。