第二回四国中国数学コンテスト　解説

ここでは,私とRankTurnipが主催する第二回四国中国数学コンテストの全問題の解説を紹介しようと思います.

解説.

$2023×2024×2025$の直方体を$1×1×1$の立方体で埋め尽くすことを考えよう.このとき$2023×2025$の面を底面として左下から数えて奇数行、奇数列、奇数段のものと偶数行、偶数列、偶数段のものがあった場所を黒く塗りつぶすことを考える.このとき,ブロックはつねにちょうど$1$つの黒く塗られた立方体と共通部分をもつのでこのブロックを置く個数はこの黒く塗られた立方体の個数と一致するが,この黒く塗られた立方体の個数は$\dfrac{2023×2024×2025}{4}$と一致しないので矛盾.よってこのような操作は不可能であることが示される.

解説.

$x,y$ への代入を $P(x,y)$ とする. $P(x,y),P(y,x)$ より, $f(x+1)-f(x)=c\ (cは定数)$. これより $n\in \mathbb{Z}^+$ で $f(n)=c(n-1)+f(1)$. $x,y\in \mathbb{Z}^+$ について, これを与式に適用すると $(c,f(1))=(1,2)$ を得る. これより, $f(x)=x+1\ (x\in\mathbb{Z}^+)$ がわかる. 正整数 $x,y$ について $P(\frac{x}{y},y)$ より $f(\frac{x}{y}\cdot y)+f(\frac{x}{y})+f(y+1)=f(\frac{x}{y})f(y)+3 \Longleftrightarrow f(\frac{x}{y})=\frac{x}{y}+1$. したがって, $f(x)=x+1\ (x\in\mathbb{Q}^+)$.

解説.

三角形$ABC$の内心を$I$とし，$\Omega$における$D'$の対蹠点を$S$とする．いま，$S$における$\Omega$の接線は明らかに直線$BC$と平行であるから，$\omega$を$\Omega$に移す$A$を中心とする相似拡大を考えることにより，$A,D,S$は共線である．したがって，$\angle DGD' = 180^{\circ} - \angle SGD' = 90^{\circ}$であるから，$\angle DHD' = 90^{\circ}$である．よって，線分$DD'$の中点を$M$とすればこれは円$DHD'$の中心である．これまでの結果より，直線$HD'$と直線$IM$は平行であるから，$D$を中心として直線$IM$を2倍に拡大することにより，直線$D'H$が$\omega$における$D$の対蹠点$K$を通ることが分かる．$A,D',S$の共線から$A,K,D'$の共線が明らかに従うから先述の結果と併せて$A,K,H,D'$の共線が従い，特に題意は示される．

解説.

$f(n)=2^n+n^2+k$とする.$f(1)$と$f(2)$のいずれかは奇数であるので,そのようなものを$f(c)$とする.ここで$f(c)$を割り切る素因数を一つとってきてそれを$p_1$とする.ここでフェルマーの小定理と$LTE$の補題から$$2^{((p_1-1)p_1^{v_{p_1}(f(c))+1})}\equiv 1 \pmod{p_1^{v_{p_1}(f(c))+1}}$$であることから$$2^c\equiv 2^{c+((p_1-1)p_1^{v_{p_1}(f(c))+1})}\pmod{p_1^{v_{p_1}(f(c))+1}}$$$$c^2\equiv (c+((p_1-1)p_1^{v_{p_1}(f(c))+1}))^2\pmod{p_1^{v_{p_1}(f(c))+1}}$$より $$f(c) \equiv f(c+(p_1-1)p^{v_{p_1}(f(c))+1}))\pmod {p_1^{v_{p_1}(f(c))+1}}$$である.よって$$v_p(f(c))=v_p(f(c+(p_1-1)p^{v_{p_1}(f(c))}+1))$$であり,かつ$f(c)< f(c+(p_1-1)p^{(v_{p_1}(f(c))+1})$から$f(c+(p_1-1)p^{v_{p_1}(f(c))+1}))$は$p_1$でない素因数をもつ.ここで関数$g(n)$を次のように定義しよう.$$g(1)=(p_1-1)p_1^{v_{p_1}(f(c))+1},g(n+1)=g(n)×(p_{n+1}-1)p_{n+1}^{v_{p_{n+1}}(f(c+\sum_{k=1}^n g(k))+1}$$このとき$p_n$は$\displaystyle f(c+\sum_{k=1}^{n-1} g(k))$に含まれる素因数であって$p_1,p_2...p_{n-1}$でないものである.(このような$p_n$が取れることは一連の議論より従う.)ここで$\displaystyle f(c+\sum_{k=1}^{m-1} g(k))$は少なくとも$p_1,p_2...p_m$で割り切れるので示された.

解説.

$B$に$\varnothing ,S$を代入することによって任意の$S$の部分集合$A$に対して$F(\varnothing)\subset F(A) \subset F(S)$がわかる.ここで$S$の要素$p,a,b$であって次の条件を満たすようなものが存在すると仮定しよう.$$ p\in F(A) \implies \lbrace a,b \rbrace \subset A$$ここで集合$X$を$A$の要素であって$a$でないもの全体の集合とする.このとき与式から$$p \in F(\lbrace a \rbrace) \cup F(X)$$となるはずだがこれは仮定に矛盾.よってこのような要素の組は存在しないことがわかる.ここから$S$の任意の要素$x$は$x\in F(S)$ならば$S$のある要素$r$が存在して$x\in F(\lbrace r \rbrace)$となる.よって全ての$x$それぞれに対して$x \in F(\varnothing)$とするか$x\not\in F(\varnothing)$かつ$2^n$通りの$x\in F(\lbrace r \rbrace)$なる$r$の部分集合を定めれば$F$は$1$意に定まり,このとき確かに条件をみたすので求める$F$の個数は$(2^n+1)^n$個である.

解説.

条件は$3^n-2^n-1=a^2$なる整数$a$が存在することと同値である.このとき$3^n-2^n=a^2+1$となるので$3^n-2^n$は$4$で割って$3$余る素因数を持たない.このとき$n$がある奇素数$p$で割りきれると仮定すると$3^n-2^n$は$3^p-2^p$を約数に持ち,$3^p-2^p\equiv 3^p\equiv 3\pmod4$よりこれは$4$で割って$3$あまる素因数で割り切れるので矛盾.よって$n$はある非負整数$k$を用いて$n=2^k$とあらわすことができる.ここで式を以下のように変形する.$$3^{2^k}-1=2^{2^k}+a^2$$ $k=0,1,2$のときは条件を満たす整数$a$が存在する.以下$k>2$と仮定する.LTEの補題より$v_2(左辺)=k+2$.$k>2$より$2^k>k+2$であるので$v_2(右辺)=v_2(a^2)=k+2$であり,$v_2(a)=\dfrac{k}{2}+1$である.ここで再び式を以下のように変形する.$$(3^{2^{k-1}}-a)(3^{2^{k-1}}+a)=2^{2^k}+1$$このとき左辺を割り切る任意の素数$p$について$2^{2^k}\equiv -1\pmod{p},2^{2^{k+1}}\equiv 1\pmod{p}$であることから$\mod p$における$2$の位数が$2^{k+1}$であることが分かるので$p\equiv1\pmod{2^{k+1}}$である.しかし$3^{2^{k-1}}\equiv1\pmod{2^{k+1}}$と$v_2(a)=\dfrac{k}{2}+1< k+1$から$(3^{2^{k-1}}-a)\not\equiv1\pmod{2^{k+1}}$であるので$3^{2^{k-1}}-a$は$p\not\equiv1\pmod{2^{k+1}}$なる素因数$p$をもち矛盾.以上より$n=1,2,4$である.

問題・解説共に
1W2TZMS
2ButterFlv(とW2TZMS)
3かえで
4W2TZMS
5W2TZMS
6W2TZMS
が担当しました.また,私は難易度順に並べたつもりでしたが参加者の成績を見ると123564の順の方が適切だったかもしれません.読んでいただきありがとうございます.