日本数学オリンピック(JMO)2025年予選解答私的解説 その1
はじめに
背景
さる2025年1月13日(月,祝)実施された、第35回日本数学オリンピック予選につき、公開された問題を解いてみましたので、解説を挙げてみようと思います。
予選は全部で12問あり、例によって前半と後半とでは大分難易度が違います。最初の方はあっさりと、後の方はややしっかりめにバランスを考え、3回くらいにわけて解説します。
参考情報
- その2 … https://zenn.dev/angel_p_57/articles/d3030e1b4edd3a
- その3 … https://zenn.dev/angel_p_57/articles/40b8189a34918c
- 問題公開先 … https://www.imojp.org/archive/mo2025/jmo/problems/jmo35yqa.pdf
解説
それでは、今回の「その1」では、前半の6問を解説していきます。
第1問
- 問題: 図のように六角形のマスが7個並んでおり、それぞれのマスに1以上7以下の整数を重複のないように1つずつ書き込む。辺を共有して隣りあうどの2マスについても書き込まれた整数の和が10以下となるように書き込む方法は何通りあるか。
ただし、回転や裏返しにより一致する書き込み方も異なるものとして数える。
- 答: 72通り
これはもう、7 の特殊性に気付けるかどうかが全てです。
「和が10以下」という条件から、7 に隣接できるのは 1,2,3 だけで、当然 7 は中央に置けないというだけでなく、7 に隣接できる3マスが 1,2,3 で埋まります。
後は、5,6 同士 ( 和が11 ) が隣接できないことも考慮し、7 の対面に 4 を配置して 5,6 を分離するのが必然です。
結局、
- 中央以外で 7 を置くマス … 6通り
- 7 に隣接する 1,2,3 の配置 … 3!通り
- 5,6 の配置 … 2通り
ということで、これらを掛け合わせた
第2問
- 問題:
をみたす正の整数の組abcd=2025 であって、(a,b,c,d) がいずれも平方数であるようなものはいくつあるか。ab,~bc,~cd,~da - 答: 44組
2025年に関わる問題がここで来ました。しかも
ということで
平方数かどうかについては指数で整理すればよく、
と置くことができ、
-
がそれぞれ偶数a_3+b_3,~b_3+c_3,~a_5+b_5,~b_5+c_5 - かつ
a_3+b_3+c_3\le 4,~a_5+b_5+c_5\le 2
が必要十分条件となります。
いずれにせよ、それほどパターン数が多いわけではないので、特に小細工せずに列挙します。
-
(a_3,b_3,c_3)
(0,0,0),(0,0,2),(0,0,4),(0,2,0),(0,2,2),(0,4,0),
(1,1,1),(2,0,0),(2,0,2),(2,2,0),(4,0,0)
… 11通り -
(a_5,b_5,c_5)
(0,0,0),(0,0,2),(0,2,0),(2,0,0)
… 4通り
偶奇と和の上限から、
さて、この3の指数、5の指数の条件は独立なので、両者で任意の組を採用することができます。なので最終的なパターン数は掛け合わせて
第3問
- 問題: 正の整数
に対して、図のようなn マスからなるピースを3n+2 とよぶ。いま、ピースP_n が1枚ずつある。10×10のマス目にこれら6枚をマス目にそって重なりなく置く方法は何通りあるか。P_1,~P_2,~P_4,~P_5,~P_7,~P_8
ただし、ピースを回転させてもよい。また、マス目の回転や裏返しにより一致する置き方も異なるものとして数える。
- 答: 512通り
なんというか、視力検査の時に見るアレみたいなピースです。とにかくマス目に大きい方から置いてみることにします。
すると、実は
ただ、
…。実はそうすると、その次に小さい
例えば次の図は、(下開け→右開け)×3 のパターンで配置したものですが、実際に空いたマス目にピッタリと、縦横2ピース3組で収まっているのが分かると思います。
ということで、全体としては上で述べた8通りを3回選ぶパターンということで、
第4問
- 問題: 1以上1000以下の整数であって、2,3,4,5,6 それぞれで割った余りがどの2つも異なるようなものはいくつあるか。
- 答: 49個
続いては余りに関する問題です。対象の数を
-
が偶数の場合x
「余りがどの2つも異なる」ということは、一度現れた余りが使えないということに注意して、2,4,6 で割った余りを整理していきます。
まず、偶数ということは 2で割った余りは 0、次に4で割った余りは 0 が使えないので 2、更に 6 で割った余りは 0,2 が使えないので 4 と確定します。これを ( 4,6の最小公倍数である ) 12 で割った場合を考えると余りは10、つまり という形になります。x=12n+10
※6で割った余りだけだと の形もありそうに見えますが、それだと4で割った余りが整合しないことに注意してください。x=12n+4
ついでにこのとき なので3で割った余り 1 も確定します。x=12n+10\equiv 1~\mod~3
残りは 5 で割った余りですが、残っているのは 3 しかありません。
すなわち、 で、両辺に 3 をかけて整理することでx=12n+10\equiv 3~\mod~5 と分かります。まあ、mod 5 なので5通りの状況を虱潰ししても構いません。n\equiv 4~\mod~5
ともかく、 すなわちn\equiv 4~\mod~5 の形になるため、結局n=5m+4 の形となることが分かります。x=60m+58 -
が奇数の場合x
偶数の場合の話と同じく、2,4,6 で割った余りを整理していくと、同じような理由でそれぞれ 1,3,5 となることが分かります。12で割った余りは 11、つまり です。x=12n+11
ついでに なので3で割った余り 2 も確定します。x=12n+11\equiv 2~\mod 3
ところが今度、5 で割った余りとして、候補が 0,4 の2通りあります。なので更に場合分けします。- 5で割った余り0の場合
の両辺に3をかけて整理して、x=12n+11\equiv 0~\mod~5 と分かります。すなわちn\equiv 2~\mod~5 の形になるため、結局n=5m+2 です。x=60m+35 - 5で割った余り4の場合
の両辺に3をかけて整理して、x=12n+11\equiv 4~\mod~5 と分かります。すなわちn\equiv 4~\mod~5 の形になるため、結局n=5m+4 です。x=60m+59
- 5で割った余り0の場合
以上により、
-
の場合x=60m+58
の16個 (58,~118,~178,\cdots,~958 )(958-58)\div 60+1=16 -
の場合x=60m+35
の17個 (35,~95,~155,\cdots,~995 )(995-35)\div 60+1=17 -
の場合x=60m+59
の16個 (59,~119,~179,\cdots,~959 )(959-59)\div 60+1=16
それぞれの系統の個数を合計して
第5問
- 問題: 円に内接する四角形
が半径6の円に外接している。また、半直線ABCD と半直線AB が点DC で交わり、半直線P と半直線AD が点BC で交わっている。三角形Q の内接円の半径がそれぞれ5,3であるとき、PBC,~QCD の値を求めよ。\frac{BC}{CD}
ただし、 で線分XY の長さを表すものとする。XY
- 答え:
\frac{15}{11}
今回3問ある内の図形問題の第一弾です。まだ問題に図を描いていてくれるのが有難いところです。
そしていたるところに円があるため、円絡みの性質をどう使うかが焦点と言えます。
まず、一般的な話として四角形に外接する円がある場合、次の図のような三角形の相似が現れます。
ということで問題を眺めてみると、ちょうど同じような相似があることが分かります。
しかも内接円付きなので大きさの比も分かると言うおまけ付き。
ここから
同じように (抽出して図示はしませんが)
ここまでの話で、適当な
そうすると残ったのは四角形とその内接円です。なので、向かい合う辺同士の長さの合計が等しく
後は大詰めです。最終的に必要なのは
円絡みの性質を適切に使うことができれば瞬殺出来る問題であり、見抜けるとなかなか気持ちいいところかと思います。
第6問
-
問題: 正の整数からなる2つの数列
とa_1,a_2,\dots があり、任意の正の整数b_1,b_2,\dots について以下をみたしている。n -
または(a_{n+1},b_{n+1})=(\frac{a_n}{2},b_n+\frac{a_n}{2}) が成立する。(a_{n+1},b_{n+1})=(\frac{a_n}{2},b_n+\frac{a_n}{2})
このとき、
としてありうる40以下の正の整数の組はいくつあるか。(a_1,b_1) -
-
答え: 1064組
それでは前半最後の問題です。
しかしまず、問題の意図を掴む必要があります。「
-
を用意したときに、(a_1,b_1) または(a_{n+1},b_{n+1})=(\frac{a_n}{2},b_n+\frac{a_n}{2}) という数列の次の項を作る操作を繰り返して、正の整数列(a_{n+1},b_{n+1})=(\frac{a_n}{2},b_n+\frac{a_n}{2}) をどこまでも構成することができる。{a_n},~{b_n}
となると制約となるのは「正の」と「整数」です。が、数列の次の項を作る操作で、大きさが小さくなるのは
そうすると制約として考えるのは「整数」です。これは2で割るという操作を行う関係で「
とは言え、ここからどう考えるかですが、先に結論を言ってしまうと「
なぜそんなことが分かるのか、というのは破綻が発生する「
念のためウラをとっておきます。
-
ある
で2の指数が同じになる場合a_n,b_n
( ただしa_n=a\cdot 2^x,~b_n=b\cdot 2^x は正の奇数、a,b ) と置くことができます。x\ge 0
ここで だと既に共に奇数ということで破綻しているので、x=0 の時を考えますが、次の項を作る操作としてx\ge 1 -
を選択(a_{n+1},b_{n+1})=(\frac{a_n}{2},b_n+\frac{a_n}{2})
ということで、a_{n+1}=a\cdot 2^{x-1},~b_{n+1}=(2b+a)\cdot 2^{x-1} いずれも奇数なので、a,~2b+a の2の指数はa_{n+1},b_{n+1} と1少ない状態で揃います。x-1 -
を選択(a_{n+1},b_{n+1})=(\frac{a_n}{2},b_n+\frac{a_n}{2})
となり、直前と同じ話でやはり 2の指数がa_{n+1}=(2a+b)\cdot 2^{x-1},~b_{n+1}=b\cdot 2^{x-1} と1少ない状態で揃います。x-1
つまり、次の項を作る度に2の指数が揃ったまま1ずつ減っていくことが避けられず、いつか揃って奇数ができて破綻となります。
-
-
ある
で2の指数が異なる場合a_n,b_n
( ただしa_n=a\cdot 2^{x+d},~b_n=b\cdot 2^x は正の奇数、a,b ) として、x\ge 0,~d\ge 1 の2の指数の方が大きい場合で考えてみます。a_n
※ の2の指数の方が大きくても逆にして考えれば同じ話になるため、こちらで代表して考えれば十分です。b_n
この時、次の項を作る操作は と(a_{n+1},b_{n+1})=(\frac{a_n}{2},b_n+\frac{a_n}{2}) を半減させる方を選択します。a_n
そうすると、 ですが、a_{n+1}=a\cdot 2^{x+(d-1)},~b_{n+1}=(a\cdot 2^{d-1}+b)\cdot 2^x によって状況が2つに分かれます。d -
の場合d\gt 1
の2の指数はa_{n+1} で1減っていますが依然としてx+(d-1) よりは大きく、一方でx の部分が奇数であることから(a\cdot 2^{d-1}+b) の2の指数はb_{n+1} のままです。x
そのため とも2の指数は異なる状態が維持されます。a_{n+1},b_{n+1} -
の場合d=1
となりa_{n+1}=a\cdot 2^x,~b_{n+1}=(a+b)\cdot 2^x の2の指数はa_{n+1} ですが、x の部分が偶数となるため(a+b) の2の指数がb_{n+1} より大きくなります。x
ということで、大きさが逆転する形ながら、やはり とも2の指数は異なる状態が維持されます。a_{n+1},b_{n+1}
結局のところ、2の指数が大きい方を半減させる操作を選択し続ければ、2の指数が異なる状態はずっと維持される、つまり破綻はずっと避けられるということです。
-
では問題に戻ります。求めるのは 1~40 の範囲で2の指数が揃ってない2数
なので、全体から「揃ってる」方の数を引くことで計算することができます。
1~40の数を2の指数で分類すると、
2の指数0 … 20個、2の指数1 … 10個、2の指数2 … 5個、2の指数3 … 3個、2の指数4 … 1個、2の指数5 … 1個
と6種類になるため、最終的に
おわりに
ということで、比較的難易度が低めの前半、一気に半分を解説しました。ここらへんはポイントに気付けばすぐに答えに辿り着くことができて爽快な気分を味わえるところでしょうか。
後半については、より緻密さが要求されることになります。4問分と2問分に分けて解説していきます。
Discussion
解説ありがとうございます。非常に参考になりました。
細かいことで申し訳ないのですが、問8のa2=2025の時はa3=3038だと7076-2025=4051で条件的に不適なので、3037、3543、3796・・・・となると思うのですが、どうでしょうか?
追記
頭がこんがらがって間違えただけでした。気にしないでください。