PILAME杯2025 問20解説

2025,PLM,20

176

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

前書き

この問題は自信がある...かな？
解答が出てないので間違えてる可能性があります.
(めっちゃ頭いい黄色solverさんと回答一致しました)

PLM2025問題20 (OMC700点級?)

$1$ 以上 $3$ 以下の整数の組 $(x_{1}, x_{2}, \dots, x_{13})$ であって，
$\sum_{k_{1} = 0}^{1} \sum_{k_{2} = 0}^{3} \dots \sum_{k_{n} = 0}^{2 n - 1} \dots \sum_{k_{13} = 0}^{25} (- 1)^{[\frac{k_{1} + k_{2} + \dots + k_{13}}{2}]} x_{1}^{k_{1}} x_{2}^{k_{2}} \dots x_{13}^{k_{13}} = 0$
をみたすものはいくつあるか．

解く際に考えたこと

式の見た目がかなり厳ついな～
でも, $(- 1)$ の厳つい項を取り除くと, 与式は
$(1 + x_{1}) (1 + x_{2} + x_{2}^{2} + x_{2}^{3}) \dots (1 + x_{13} + x_{13}^{2} + \dots + x_{13}^{25})$
で表せるよな...となれば,
$f (t) = (1 + x_{1} t) (1 + x_{2} t + x_{2}^{2} t^{2} + x_{2}^{3} t^{3}) \dots (1 + x_{13} t + x_{13}^{2} t^{2} + \dots + x_{13}^{25} t^{25})$
と置いて, 代入する数を考えたら元の式の形に持ってけるのではないかと考えられる. 元の式の(-1)の項は4周期で動いているので $i^{n}$ が使えそうだな～と考えられる.
形を実数にするために $(- i)^{n}$ を足し合わせた $i^{n} + (- i)^{n}$ は $2, 0, - 2, 0$ となるので, 一つずらしたやつを足し合わせたらうまくいきそうだな～と感じる.
したがって本解答のようにうまく $f (t)$ で表すことができる.

解説

$f (t) = (1 + x_{1} t) (1 + x_{2} t + x_{2}^{2} t^{2} + x_{2}^{3} t^{3}) \dots (1 + x_{13} t + x_{13}^{2} t^{2} + \dots + x_{13}^{25} t^{25})$
とする.
このとき $a_{n} = i^{n} (1 - i) + (- i)^{n} (1 + i)$ とおくと,
$\begin{aligned} a_{4 m} & = (1 - i) + (1 + i) = 2 \\ a_{4 m + 1} & = i (1 - i) - i (1 + i) = 2 \\ a_{4 m + 2} & = - (1 - i) - (1 + i) = - 2 \\ a_{4 m + 3} & = - i (1 - i) + i (1 + i) = - 2 \end{aligned}$
であるので, $a_{n} = 2 (- 1)^{[\frac{n}{2}]}$
$\begin{aligned} (1 - i) f (i) + (1 + i) f (- i) \\ = & \sum_{k_{1} = 0}^{1} \sum_{k_{2} = 0}^{3} \dots \sum_{k_{n} = 0}^{2 n - 1} \dots \sum_{k_{13} = 0}^{25} ((1 - i) i^{k_{1} + \dots + k_{13}} + (1 + i) (- i)^{k_{1} + \dots + k_{13}}) x_{1}^{k_{1}} x_{2}^{k_{2}} \dots x_{13}^{k_{13}} \\ = & 2 \sum_{k_{1} = 0}^{1} \sum_{k_{2} = 0}^{3} \dots \sum_{k_{n} = 0}^{2 n - 1} \dots \sum_{k_{13} = 0}^{25} (- 1)^{[\frac{k_{1} + k_{2} + \dots + k_{13}}{2}]} x_{1}^{k_{1}} x_{2}^{k_{2}} \dots x_{13}^{k_{13}} \\ = & 0 \end{aligned}$
となる.
したがって, $(1 - i) f (i) + (1 + i) f (- i) = 0$ となるような $(x_{1}, x_{2}, \dots, x_{13})$ を見つければよい.
また,
$\begin{aligned} f (t) & = (1 + x_{1} t) (1 + x_{2} t + x_{2}^{2} t^{2} + x_{2}^{3} t^{3}) \dots (1 + x_{13} t + x_{13}^{2} t^{2} + \dots + x_{13}^{25} t^{25}) \\ = \frac{(1 - (x_{1} t)^{2}) (1 - (x_{2} t)^{4}) \dots (1 - (x_{13} t)^{26})}{(1 - x_{1} t) (1 - x_{2} t) \dots (1 - x_{13} t)} \end{aligned}$
が成立する. このことを踏まえると,
$\begin{aligned} (1 - i) f (i) + (1 + i) f (- i) \\ = & (1 - i) \frac{(1 + (x_{1})^{2}) (1 - (x_{2})^{4}) \dots (1 + (x_{13})^{26})}{(1 - x_{1} i) (1 - x_{2} i) \dots (1 - x_{13} i)} + (1 + i) \frac{(1 + (x_{1})^{2}) (1 - (x_{2})^{4}) \dots (1 + (x_{13})^{26})}{(1 + x_{1} i) (1 + x_{2} i) \dots (1 + x_{13} i)} \\ = & (1 + (x_{1})^{2}) (1 - (x_{2})^{4}) \dots (1 + (x_{13})^{26}) (\frac{1 - i}{(1 - x_{1} i) (1 - x_{2} i) \dots (1 - x_{13} i)} + \frac{1 + i}{(1 + x_{1} i) (1 + x_{2} i) \dots (1 + x_{13} i)}) = 0 \end{aligned}$
(i) $(1 + (x_{1})^{2}) (1 - (x_{2})^{4}) \dots (1 + (x_{13})^{26}) = 0$ のとき
$k$ が偶数のとき $x_{k}$ が $1$ であれば, $(1 + (x_{1})^{2}) (1 - (x_{2})^{4}) \dots (1 + (x_{13})^{26}) = 0$ となり, この方程式は成立することがわかる.

(ii) $(1 + (x_{1})^{2}) (1 - (x_{2})^{4}) \dots (1 + (x_{13})^{26}) \neq 0$ のとき
$\frac{1 - i}{(1 - x_{1} i) (1 - x_{2} i) \dots (1 - x_{13} i)} + \frac{1 + i}{(1 + x_{1} i) (1 + x_{2} i) \dots (1 + x_{13} i)}) = 0 \dots (*)$
が成立する.
このとき, $x_{1}, x_{2}, . . ., x_{13}$ の中に含まれる $m$ の数を $a_{m}$ とすると, $a_{1} + a_{2} + a_{3} = 13$ となる.これにより, $(*)$ は以下のように表せられる.
$\begin{aligned} \frac{i - 1}{(1 - x_{1} i) (1 - x_{2} i) \dots (1 - x_{13} i)} & = \frac{1 + i}{(1 + x_{1} i) (1 + x_{2} i) \dots (1 + x_{13} i)} \\ \frac{i - 1}{(1 - i)^{a_{1}} (1 - 2 i)^{a_{2}} (1 - 3 i)^{a_{3}}} & = \frac{1 + i}{(1 + i)^{a_{1}} (1 + 2 i)^{a_{2}} (1 + 3 i)^{a_{3}}} \\ \frac{(1 + i)^{a_{1} - 1} (1 + 2 i)^{a_{2}} (1 + 3 i)^{a_{3}}}{(1 - i)^{a_{1} - 1} (1 - 2 i)^{a_{2}} (1 - 3 i)^{a_{3}}} & = - 1 \\ i^{a_{1} - 1} (\frac{- 3 + 4 i}{5})^{a_{2}} (\frac{- 4 + 3 i}{5})^{a_{3}} & = - 1 \dots (* *) \end{aligned}$
このとき, $a_{2} \neq a_{3}$ だと左辺が純虚数または実数にならないので, $a_{2} = a_{3}$ となる.
$a_{1} + a_{2} + a_{3} = 13$ より, $a_{1} = 13 - 2 a_{2}$ となるので, $(* *)$ より
$i^{12 - 2 a_{2}} (- i)^{a_{2}} = i^{a_{2}} = - 1$
よって, $(a_{1}, a_{2}, a_{3}) = (9, 2, 2), (1, 6, 6)$
鳩の巣原理により $a_{1} \geq 8$ なら(i)は必ず満たすので, $(1, 6, 6)$ のときのみ考えればよい.

以上より(i)を満たすパターンが $3^{13} - 3^{7} \times 2^{6}$ 通り. (i)は満たさないが, (ii)を満たすパターンは $7 \times_{12} C_{6}$ したがって求めるべきパターンは $3^{13} - 3^{7} \times 2^{6} + 7 \times_{12} C_{6}$ 通りである.