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 本の対角線があることに注意せよ。)
ステップ 5/5: 9∣n9\mid n を結論する
ざっくり言うと

表全体の II の個数と二方向からの数え上げが一致するには、n2/9n^2/9 が3で割り切れなければならない。 33

13n2=49n2−3a⇒9∣n\tfrac13n^2=\tfrac49n^2-3a\quad\Rightarrow\quad 9\mid n
詳しい解説

行の条件から II のマスはちょうど n2/3n^2/3 個である。これをステップ3、4の数え上げと等置すると n2/3=4n2/9−3an^2/3=4n^2/9-3a、したがって 3a=n2/93a=n^2/9。よって 3∣n2/93\mid n^2/9 であり、3∣n3\mid n と合わせてこれは 9∣n9\mid n と同値である。明示的な周期タイルと合わせ、答えは正の 99 の倍数ちょうどである。