日本数学オリンピック(JMO)2024年予選解答私的解説 その1

はじめに

背景

さる2024年1月8日(月,祝)実施された、第34回日本数学オリンピック予選につき、公開された問題を解いてみました。昨年は解けない問題があったので記事にするのを見合わせましたが、今年は一応全問解けたので、解説を挙げてみようと思います。
予選は全部で12問あり、前半と後半とでは大分難易度が違います。最初の方はあっさりと、後の方はややしっかりめにバランスを考え、3回くらいにわけて解説しようと思います。

参考情報

• その2 … https://zenn.dev/angel_p_57/articles/f0dd1569d85f56
• その3 … https://zenn.dev/angel_p_57/articles/72c9dda63af6e9
• 問題公開先 … https://www.imojp.org/archive/mo2024/problems/jmo34yqa.pdf

解説

それでは、今回の「その1」では、前半の6問を解説していきます。

第1問

• 問題: 以下の値は有理数である。これを既約分数の形で表せ。
  $123!−122!122!−121!\sqrt{\frac{123!-122!}{122!-121!}}$
• 答: $12211\frac{122}{11}$

まずは第1問です。予想に反して西暦に関係ない普通の計算問題でした。
階乗が出てくるのにびびらず、共通部分を見出すことができれば次のように計算できます。

$$123!−122!122!−121!=123⋅122⋅121!−122⋅121!122⋅121!−121! =123⋅122−122122−1 =(123−1)⋅122121 =1222112 =12211 \begin{align*} \sqrt{\frac{123!-122!}{122!-121!}}&=\sqrt{\frac{123\cdot 122\cdot 121!-122\cdot 121!}{122\cdot 121!-121!}} \\ ~&=\sqrt{\frac{123\cdot 122-122}{122-1}} \\ ~&=\sqrt{\frac{(123-1)\cdot 122}{121}} \\ ~&=\sqrt{\frac{122^2}{11^2}} \\ ~&=\frac{122}{11} \end{align*}$$

まあ、ここはサクサク行きましょう。

第2問

• 問題: どの桁に現れる数字も素数であるような正の整数を素敵な数とよぶ。3桁の正の整数$nn$であって、$n+2024n+2024$と$n−34n-34$がともに素敵な数であるものはちょうど2つある。このような$nn$をすべて求めよ。

• 答: 309, 311

2問目でついに西暦の2024にちなんだ問題の登場です。まあ、これ以降も出てくるのですが。

ここで出てくる「素敵な数」とは、結局どの桁も 2,3,5,7 のいずれかということで、候補をしらみつぶしに探してもそんなに大変ではありません。が、その中でできれば効率よく探したいところではあります。

まず、$nn$を変数として直接使うより、$x=n−34, y=n+2024x=n-34,~y=n+2024$ として置いた $x,yx,y$ これらが素敵な数であるところから攻めていくことにします。
$nn$ を消去して $y=x+2058y=x+2058$ さらに $y=x+2100−42y=x+2100-42$ と変形すると桁同士を比較し易くなります。
※なぜかと言うと、$−42-42$ の計算で繰り下がりが発生しない ( $2−72-7$が繰り下がりの発生するギリギリのケースなので、5以上の桁を含む数を引く形でないと繰り下がりになり得ない ) からです。

• 1の位に着目し、差が2となる桁の組み合わせは$x,yx,y$の順で$(5,3),(7,5)(5,3), (7,5)$の2通り
• 10の位に着目し、差が4となる桁の組み合わせは$x,yx,y$の順で$(7,3)(7,3)$のみ
• 100の位に着目し、差が1となる桁の組み合わせは$x,yx,y$の順で$(2,3)(2,3)$のみ

以上より、$(x,y)=(275,333),(277,335)(x,y)=(275,333), (277,335)$が分かり、$x=n−34⇔n=x+34x=n-34 \Leftrightarrow n=x+34$ から $n=309,311n=309, 311$ が答えとなります。

第3問

• 問題: 一辺の長さが10の正三角形$ABCABC$がある。$AA$を通る円が辺$BCBC$(端点を除く)と点$XX$で接し、辺$AB,ACAB, AC$とそれぞれ$AA$でない点$D,ED,E$で交わっている。$BX>CX, AD+AE=13BX\gt CX,~AD+AE=13$がともに成り立つとき、線分$BXBX$の長さを求めよ。
  
• 答: $5+105+\sqrt{10}$

ここで最初の図形問題です。何が有難いかと言うと、ちゃんと状況を問題の方で図示してくれているところです。

まあ、取り敢えず求めるべきところ $BX=xBX=x$ と、あと一箇所 $BD=yBD=y$ くらいおいて進めてみましょう。
この時、折れ線$BAE=20,DAE=13BAE=20, DAE=13$ から $CE=7−yCE=7-y$ が分かります。

そうして、同じ色(赤/青)の線分を見てみます。

それぞれ、方べきの定理を適用できる形であり、

• $BD⋅BA=BX2BD\cdot BA=BX^2$ すなわち $x2=10yx^2=10y$
• $CE⋅CA=CX2CE\cdot CA=CX^2$ すなわち $(10−x)2=10(7−y)(10-x)^2=10(7-y)$

これで、$x,yx,y$に関する連立方程式が立ちました。この2つの式を辺々足し合わせるとそのまま $yy$ が消えて $x2+(10−x)2=70x^2+(10-x)^2=70$ という2次方程式が残ります。
詳細は省略しますが、$x>5x\gt 5$ に注意して解くと、答え $x=5+10x=5+\sqrt{10}$ が得られます。

第4問

• 問題: $nn$を0以上$555^5$以下の整数とする。黒石$nn$個と白石$55−n5^5-n$個を横一列に並べ、次の操作を5回繰り返す。

  • 石の列を左から順に5個ずつ組にする。各組に対して、その組に属する5個の石を、それらの5個の石のうち多い方の色の石1個に置きかえる。

  最初の石の並べ方によらず、最後に残る1個の石が必ず黒石であるような$nn$としてありうる最小の値を求めよ。

• 答: 2883

操作を行うことで、トータルの石の数が$55→54→53→52→51→15^5\rightarrow 5^4\rightarrow 5^3\rightarrow 5^2\rightarrow 5^1\rightarrow 1$ と変化していくわけなので、なんかとても規則性から数列的なものを考えてください、的な雰囲気を感じる問題です。

さて、なんとなくですが、数の少なくなるであろう白石を数えた方が楽な気がしますので、次のような数列を考えます。

• 数列${wk} ( k=1,2,3,⋯ )\{w_k\}~(~k=1,2,3,\cdots~)$ を、黒白合計$5k5^k$ 個から問題の操作を繰り返し、最後に残る1個の石が白石になるような最初の石の並べ方のある、白石の最小個数と定める。

こうすることで、

• 黒白合計$5k5^k$個での $wk−1w_k-1$ は、最初の石の並べ方によらず、最後に残る1個の石が必ず黒石である ( 最後に白石が残る並べ方がない ) ような白石の最大の個数である。
  ※1つ少なくなっていることに注意

というように、問題の条件を満たす白石の個数を考えているのと同じことになります。

実はここまで整理してしまえば、${wk}\{w_k\}$ については白石が3個ずつ組になるという最も効率の良い白石の残し方を考えることで、$wk+1=3wkw_{k+1}=3w_k$ という漸化式が分かります。
明らかに $w1=3w_1=3$ なので、漸化式と併せて $wk=3kw_k=3^k$ です。

ということで、問題の黒石の個数 $nn$ については、全体 $555^5$ から最後に残る1個の石が必ず黒石であるような白石の個数 $w5−1w_5-1$ を引いて、 $n=55−(w5−1)=55−35+1=2883n=5^5-(w_5-1)=5^5-3^5+1=2883$ と計算できます。これが答えです。

第5問

• 問題: 10以上の整数$nn$であって、
  $[n1][n2]⋯[n10]= nC10[\frac n 1][\frac n 2]\cdots[\frac n {10}]=~_nC_{10}$
  をみたすようなもののうち、最小のものを求めよ。
• 答: 2519

ここで今までと毛色の違う問題が出てきました。なお、問題文中の $[ ][~]$ はガウス記号 ( 記号内の数を越えない最大の整数を表すもの ) です。
何にしてもそのままでは方針が立たないので、1～10の範囲になっているところを、例えば1～4の範囲に縮小して色々値を試してみます。

$$[81][82][83][84]=8⋅4⋅2⋅2=128 > 8C4=8⋅7⋅6⋅54⋅3⋅2⋅1=70 [91][92][93][94]=9⋅4⋅3⋅2=216 > 9C4=9⋅8⋅7⋅64⋅3⋅2⋅1=126 [101][102][103][104]=10⋅5⋅3⋅2=300 > 10C4=10⋅9⋅8⋅74⋅3⋅2⋅1=210 [111][112][113][114]=11⋅5⋅3⋅2=330 = 11C4=11⋅10⋅9⋅84⋅3⋅2⋅1=330 \begin{align*} ~&[\frac 8 1][\frac 8 2][\frac 8 3][\frac 8 4]&=8\cdot 4\cdot 2\cdot 2&=128~\gt~_8C_4&=\frac{8\cdot 7\cdot 6\cdot 5}{4\cdot 3\cdot 2\cdot 1}&=70 \\ ~&[\frac 9 1][\frac 9 2][\frac 9 3][\frac 9 4]&=9\cdot 4\cdot 3\cdot 2&=216~\gt~_9C_4&=\frac{9\cdot 8\cdot 7\cdot 6}{4\cdot 3\cdot 2\cdot 1}&=126 \\ ~&[\frac {10} 1][\frac {10} 2][\frac {10} 3][\frac {10} 4]&=10\cdot 5\cdot 3\cdot 2&=300~\gt~_{10}C_4&=\frac{10\cdot 9\cdot 8\cdot 7}{4\cdot 3\cdot 2\cdot 1}&=210 \\ ~&[\frac {11} 1][\frac {11} 2][\frac {11} 3][\frac {11} 4]&=11\cdot 5\cdot 3\cdot 2&=330~=~_{11}C_4&=\frac{11\cdot 10\cdot 9\cdot 8}{4\cdot 3\cdot 2\cdot 1}&=330 \end{align*}$$

ただ、正直これだけだと「$[ ][~]$を掛け合わせた方が大きそうだけどたまに等しくなる時もある??」くらいでまだまだよく分かりません。しかし、これを次のように整理すると途端に見通しがたちます。

$$[81][82][83][84]=81⋅82⋅63⋅84 > 8C4=81⋅72⋅63⋅54 [91][92][93][94]=91⋅82⋅93⋅84 > 9C4=91⋅82⋅73⋅64 [101][102][103][104]=101⋅102⋅93⋅84 > 10C4=101⋅92⋅83⋅74 [111][112][113][114]=111⋅102⋅93⋅84 = 11C4=111⋅102⋅93⋅84 \begin{align*} ~&[\frac {8} 1][\frac {8} 2][\frac {8} 3][\frac {8} 4]&=&\frac{\color{red} 8}{1}\cdot \frac{\color{red} 8}{2}\cdot \frac{\color{red} 6}{3}\cdot \frac{\color{red} 8}{4}&~\gt~_8C_4&=\frac{\color{red} 8}{1}\cdot \frac{\color{red} 7}{2}\cdot \frac{\color{red} 6}{3}\cdot \frac{\color{red} 5}{4} \\ ~&[\frac {9} 1][\frac {9} 2][\frac {9} 3][\frac {9} 4]&=&\frac{\color{red} 9}{1}\cdot \frac{\color{red} 8}{2}\cdot \frac{\color{red} 9}{3}\cdot \frac{\color{red} 8}{4}&~\gt~_9C_4&=\frac{\color{red} 9}{1}\cdot \frac{\color{red} 8}{2}\cdot \frac{\color{red} 7}{3}\cdot \frac{\color{red} 6}{4} \\ ~&[\frac {10} 1][\frac {10} 2][\frac {10} 3][\frac {10} 4]&=&\frac{\color{red} 10}{1}\cdot \frac{\color{red} 10}{2}\cdot \frac{\color{red} 9}{3}\cdot \frac{\color{red} 8}{4}&~\gt~_{10}C_4&=\frac{\color{red} 10}{1}\cdot \frac{\color{red} 9}{2}\cdot \frac{\color{red} 8}{3}\cdot \frac{\color{red} 7}{4} \\ ~&[\frac {11} 1][\frac {11} 2][\frac {11} 3][\frac {11} 4]&=&\frac{\color{red} 11}{1}\cdot \frac{\color{red} 10}{2}\cdot \frac{\color{red} 9}{3}\cdot \frac{\color{red} 8}{4}&~=~_{11}C_4&=\frac{\color{red} 11}{1}\cdot \frac{\color{red} 10}{2}\cdot \frac{\color{red} 9}{3}\cdot \frac{\color{red} 8}{4} \end{align*}$$

すなわち、分母を1,2,3,…の順番で揃える、ガウス記号の部分を整数でなく分数の形にしておくことで、並べて見ると各項の大小関係が見えてくるということです。
例えば最初の$n=8n=8$の例なら、ガウス記号の積の分子部分は 8,8,6,8、C の式の方の分子部分は 8,7,6,5 で、各項で前者が後者以上となっています。最後の例ではじめて 11,10,9,8 同士等しくなっているくらいで、基本的に後者が前者が上回ることはないと推測できます。

実際、一般の$nn$で確認してみると、

• ガウス記号の積
  ※なお、数式中の$mod(n,k)mod(n,k)$ は$nn$を$kk$で割った余りを、$∏\prod$ は総積を表します

$$[n1][n2][n3][n4] =n−mod(n,1)1⋅n−mod(n,2)2⋅n−mod(n,3)3⋅n−mod(n,4)4 =∏k=14n−mod(n,k)k \begin{align*} ~&[\frac {n} 1][\frac {n} 2][\frac {n} 3][\frac {n} 4]\\ ~&=\frac{n-mod(n,1)}{1}\cdot\frac{n-mod(n,2)}{2}\cdot\frac{n-mod(n,3)}{3}\cdot\frac{n-mod(n,4)}{4}\\ ~&=\prod_{k=1}^4 \frac{n-mod(n,k)}{k}\end{align*}$$

• Cの計算

$$nC4 =n−01⋅n−12⋅n−23⋅n−34 =∏k=14n−(k−1)k \begin{align*} ~&~_nC_4\\ ~&=\frac{n-0}{1}\cdot\frac{n-1}{2}\cdot\frac{n-2}{3}\cdot\frac{n-3}{4}\\ ~&=\prod_{k=1}^4 \frac{n-(k-1)}{k}\end{align*}$$

このように整理すると、余りの性質 $mod(n,k)≤k−1mod(n,k)\le k-1$ と照らし合わせて、確かに後者が前者を上回ることがないこと、加えて全ての $kk$ で $mod(n,k)=k−1mod(n,k)=k-1$ が成り立つ $n=11n=11$ のところで等しくなっているのも尤もであることが分かります。
この等しくなる条件は $n≡−1 mod k ( k=1,2,3,⋯ )n\equiv -1~~mod~k~(~k=1,2,3,\cdots)$ と書き換えることができますから、最小の$nn$は $n=LCM(1,2,3,⋯ )−1n=LCM(1,2,3,\cdots)-1$ ( LCMは最小公倍数を表す ) となります。

では問題に立ち戻ると、上の話の $k=1,2,3,⋯ ,10k=1,2,3,\cdots,10$ の場合に相当しますから、最小の$nn$は $n=LCM(1,2,3,⋯ ,10)−1n=LCM(1,2,3,\cdots,10)-1$ となります。登場する数の範囲的に素因数 2,3,5,7 の分に着目すれば十分なので、$8×9×5×7−1=25198\times 9\times 5\times 7-1=2519$ と計算でき、これが答えとなります。

第6問

• 問題: $AB=AC=5AB=AC=5$なる二等辺三角形$ABCABC$の辺$ABAB$上に$AD=3AD=3$をみたす点$DD$が、辺$BCBC$上(端点を除く)に点$EE$がある。点$EE$を通り直線$ABAB$に点$BB$で接する円を$ω\omega$とすると、$ω\omega$は三角形$ADEADE$の外接円に接した。$ω\omega$と直線$AEAE$の交点のうち$EE$でない方を$FF$とすると、$CF=10CF=10$が成り立った。このとき、辺$BCBC$の長さを求めよ。
• 答: $146513\frac{14\sqrt{65}}{13}$

2つ目の図形問題です。が、図は描かれていません。適切に図を描けることができればそれだけ解に近づきますし、そういう能力が求められているんではないかと思います。
その際にコツと感じるのは、いきなり全体を問題文通りに描くのではなく、とっつき易いところから順々に拡張していくではないか、というところです。

この問題では、まず円$ω\omega$ ( $△BEF\triangle{BEF}$の外接円 ) と、 $△ADE\triangle{ADE}$の外接円が接することから、点$EE$での共通接線を引いて、辺$ABAB$との交点を$PP$としておきます。

そうすると、三角形と外接円と円の接線の関係から、図中の〇同士✕同士の角の大きさが等しくなります。具体的には $∠BFE=∠PBE=∠PEB, ∠PAE=∠PED\angle BFE=\angle PBE=\angle PEB,~~\angle PAE=\angle PED$ です。
これで$△PBE\triangle{PBE}$が二等辺三角形と分かりますから、$PB=PE=xPB=PE=x$と置いて、分かる範囲の長さを $AD=5−x, DP=2−xAD=5-x,~DP=2-x$ と整理しておきます。

続いて、✕の角の等しさを活かすため、三角形$AEPAEP$に注目します。

等しい角があれば相似形ができるのは世の常です。すなわち $△DPE∼△EPA\triangle{DPE}\sim\triangle{EPA}$ です。
そのため、$DP:PE=EP:PA⇒2−x:x=x:5−x⇔(2−x)(5−x)=x2DP:PE=EP:PA\Rightarrow 2-x:x=x:5-x\Leftrightarrow (2-x)(5-x)=x^2$ と辺の比から$xx$の方程式がたち、これを解いて $x=107x=\frac{10}{7}$ が分かります。

実は、これでもう$DD$のことを忘れることができます。代わりに、まだ図に書き込んでいなかった$C (AC=5)C~(AC=5)$を加えます。

$CC$の追加により、$AB=AC=5AB=AC=5$ で $△ABC\triangle{ABC}$ も二等辺三角形であり、かつ $△PBE\triangle{PBE}$ に相似だと分かります。
この相似比が $PE:AC=107:5=2:7PE:AC=\frac{10}{7}:5=2:7$ なので、$BE:EC=2:5BE:EC=2:5$ と長さの比が明らかになります。

これで$PP$を忘れることができます。そして問題文で使っていない最後の条件 $CF=10CF=10$ を加えます。

ただ、長さを考える前に、$∠ACB=∠AFB\angle ACB=\angle AFB$ から、これが同一の円弧に対する円周角になっており$A,B,F,CA,B,F,C$が同一円周上にあること、そこから更に $∠ABC=∠AFC\angle ABC=\angle AFC$ と〇の角がもう一つ現れることを確認しておきます。
そうすると、直線$FAFA$が$∠F\angle F$の二等分線になっていますから、$BF:CF=BE:CE=2:5BF:CF=BE:CE=2:5$ と辺の比が伝播し、$BF=4BF=4$ が分かります。

これで$EE$も忘れることができ、最後に残るのは円に内接する辺の長さ$5,5,4,105,5,4,10$の四角形です。とてもすっきりした形になりました。

円に内接することから$∠F=θ\angle F=\theta$ とおけば $∠A=180°−θ\angle A=180\degree-\theta$ です。$BC=yBC=y$ とおいて余弦定理から条件式を整理します。

• $52+52−y2−2⋅5⋅5cos⁡(180°−θ)=0⇔50−y2+50cos⁡θ=05^2+5^2-y^2-2\cdot 5\cdot 5\cos{(180\degree-\theta)}=0 \Leftrightarrow 50-y^2+50\cos{\theta}=0$
• $42+102−y2−2⋅4⋅10cos⁡θ=0⇔116−y2−80cos⁡θ=04^2+10^2-y^2-2\cdot 4\cdot 10 \cos{\theta}=0 \Leftrightarrow 116-y^2-80\cos{\theta}=0$

この2つの式の上の方の8倍と下の方の5倍を辺々足し合わせることで $cos⁡θ\cos{\theta}$ を消去し $8(50−y2)+5(116−y2)=08(50-y^2)+5(116-y^2)=0$ これを解いて得られる $146513\frac{14\sqrt{65}}{13}$ が答えとなります。

おわりに

ということで、比較的難易度が低めの前半、一気に半分を解説しました。
後半については、4問分と2問分に分けて解説していこうと思います。