2022 SUKEN GRAND PRIX


問題

2022 年 9 月 17・18 日 時間無制限 12 題

(注意事項)

  • 一問でも解けたら採点係のところまで持ってきてください. 採点は何度でも可能です.
  • 6 からは証明問題です. 答を求める問題であっても必ず証明をつけてください.
  • 小学生は 4 問, 中学生は 6 問, 高校生は 8 問, OB・大学生は 10 問で殿堂入りです.

1

次の虫食い算を解け.

×218052152785\def\arraystretch{1.5} \begin{array}{cccccccccc} &&&&&\square&\square&\square&\square&\square\\ &&&\times&&\square&\square&\square&\square&\square\\ \hline &&&&&\square&\square&\square&2&1\\ &&&\square&\square&8&\square&0&5&\\ &&&\square&\square&\square&2&1&&\\ &&5&\square&\square&2&\square&&&\\ \square&\square&\square&\square&\square&\square&&&&\\ \hline \square&\square&7&\square&8&\square&5&\square&\square&\square \end{array}

2

次の虫食い算を解け.

×92107222180\def\arraystretch{1.5} \begin{array}{cccccccccc} &&&&&\square&\square&\square&\square&\square\\ &&&\times&&\square&9&\square&\square&\square\\ \hline &&&&2&\square&1&\square&\square&\square\\ &&&\square&0&\square&7&\square&\square&\\ &&\square&2&2&\square&\square&\square&&\\ &\square&\square&\square&2&1&\square&&&\\ \square&\square&\square&\square&\square&8&&&&\\ \hline \square&\square&0&\square&\square&\square&\square&\square&\square&\square \end{array}

3

197\dfrac{1}{97} の小数第 1 位から小数第 2022 位までの数字をすべて足した値を求めよ。ただし 197\dfrac{1}{97} の循環節の長さは 96 である。(中学入試予想より)

4

6×66\times6 の盤面を以下の条件全てを満たすように 2 つのエリアに分割する方法は何通りか求めよ。

(条件) 各々のエリアは少なくとも 1 マスあり、どちらのエリアにおいてもそのエリア内の任意のマスはそのエリア内のマスの縦横の移動で同じエリアのどのマスにも移動できる (各々のエリアは辺で連結)。また盤面を (1,1)(1,1) から (6,6)(6,6) とあらわすときもし (a,b)(a,b), (a,c)(a,c) が同じエリアであるなら (a,b+1)(a,c1)(a,b+1)\dots(a,c-1) もその同じエリアであり (a,b)(a,b), (c,b)(c,b) が同じエリアであるなら (a+1,b)(c1,b)(a+1,b)\dots(c-1,b) もその同じエリアである。

5

11 から 100100 の整数 100 こを使ってしりとり列を作ったときありうる最長の長さはいくつか。ただし「しりとり列」とは前の整数の 1 の位の値と後の整数の最大の位の値が等しい列のことである。たとえば 11225541\to 12\to 25\to 54 はしりとり列である。なお同じ整数は二度使ってはならない。

6

nfn(m)+mfm(n)=(n+m+1)2+12f(n+m)nf^n(m)+mf^m(n)=(n+m+1)^2+1-2f(n+m) が成り立つような正の整数全体から正の整数への関数 ff を求めよ。

7

a+b+c343a + b + c \leq \dfrac{3}{\sqrt[3]{4}} を満たす任意の正の実数 a,b,ca,b,c に対し以下が成り立つことを示せ. 1a2b2+c+1b2c2+a+1c2a2+b3(a2+b2+c2)a3+b3+c3+3a2b2c2\frac{1}{a^2b^2+c} + \frac{1}{b^2c^2+a} + \frac{1}{c^2a^2+b} \geq \frac{3(a^2+b^2+c^2)}{a^3+b^3+c^3+3a^2b^2c^2}

8

Γ\Gamma に四角形 ABCDABCD が内接している。Γ\Gamma の中心を OOABAB, CDCD の交点を EEADAD, BCBC の交点を FFACAC, BDBD の中点をそれぞれ LL, MM とする。EOF<90°\angle EOF<90\degree のとき三角形 OLMOLM の外接円上に 2 点 XX, YY をとったところ三角形 OXYOXY の垂心が三角形 OEFOEF の外接円上にあった。このとき直線 XYXY はある定点を通ることを示せ。

9

(pq+1)p1pq+2\dfrac{(pq+1)^p-1}{p^q+2} が整数になるような, pqp\geq q をみたす素数 pp, qq の組を全て求めよ.

10

三角形 ABCABC において, 直線 ABABBB に関して AA を含まない側に DD を, 直線 ACACCC に関して AA を含まない側に EE を, BD=CE=BCBD=CE=BC を満たすようにとる. また, 直線 BCBC に対して AA と対称な点を FF, 三角形 ABCABC の内心を II とする. 三角形 ADEADE の外接円と三角形 AFIAFI の外接円の交点での各々の接線が直交することを示せ.

11

N+1N+1 項全てが正の実数である数列 {an}\lbrace a_{n}\rbrace (n=0,1Nn=0,1\dots N) は以下の式を満たしている。a0=aN=1,an=an1+an+1a1 (0<n<N のとき)a_0=a_N=1,\quad a_n=\dfrac{a_{n-1}+a_{n+1}}{a_1}\ \text{(0<n<N0<n<N のとき)} 任意の偶数 NN に対して 2023(N+2)<KaN22023(N+2)<K a_{\frac{N}{2}} が成り立つような最小の整数 KK を求めよ。

12

連続関数であり任意の実数 xx, yy に対して f(f(x)2+xy)+yf(x+y)=f(f(x)+y)2f(f(x)^2+xy)+yf(x+y)=f(f(x)+y)^2 を満たす関数 ff を求めよ。

解答

1

51621×71151=367288577151621\times71151=3672885771

2

60357×49754=300300217860357\times49754=3003002178

3

0k480\leq k\leq 48 を満たす kk において小数第 kk 位と小数第 k+48k+48 位の和は Midy の定理より 99 のため 2022=21×96+62022=21\times96+6 に気を付けて (48×9)×21+0+1+3+0+9=9085(48\times9)\times21+0+1+3+0+9=\fbox{9085}.

4

エリアの境界線としてありうる通り数を求めればよくその値は 辺の縦横の移動で最短で右下から左上へ行く通り数 (A)+右上から左下へ行く通り数 (B)4 (どちらかのエリアが 0 マスになる場合)10 (AB で共通している境界線の場合)=2×12C6410=1834\text{辺の縦横の移動で最短で右下から左上へ行く通り数 ($A$)} + \text{右上から左下へ行く通り数 ($B$)} - 4 \text{ (どちらかのエリアが $0$ マスになる場合)} - 10 \text{ ($A$, $B$ で共通している境界線の場合)} = 2 \times {}_{12}\mathrm{C}_{6} - 4 - 10 = \fbox{1834}.

5

1010, 2020, 3030, 4040, 5050, 6060, 7070, 8080, 9090, 100100 は必ずしりとり列の最後の数字になるためある最長のしりとり列に登場するのはこれらのうちの高々一つ。ゆえに最長のしりとり列は 9191 以下の長さである。また 9191 の構成例はたとえば 12,21,13,31,14,41,19,9112,21,13,31,14,41\dots,19,91 があり 22 がとなりあうところに 23,32,24,42,29,9223,32,24,42\dots,29,92 を入れる。ほかのところも同様にしてあとは 19,11,22,33,991-9,11,22,33,\dots 99 を適当に差し込み最後に 100100 を付け加えることで構成できる。よって 91\boxed{91}。なお一般に 10n10^n の場合は答えが 9×10n1+19\times10^{n-1}+1 となる(評価、構成ともにこの解答と同様に行えばよい)

6

P(x,y)P(x,y)nnxx を, mmyy を代入した式をあらわすこととする。P(1,1)P(1,1) より (f(1),f(2))=(1,4)(2,3)(3,2)(4,1)(f(1),f(2))=(1,4)(2,3)(3,2)(4,1) とわかる。(1,4)(1,4) のとき P(1,2)P(1,2)f(3)=4.5f(3)=4.5 となり矛盾。(3,2)(3,2) のとき P(2,3)P(2,3) を代入して f(3)f(3), f(5)f(5) のいずれかは整数ではないとわかり矛盾。(4,1)(4,1) のときは f(3)=3f(3)=3, f(4)=5f(4)=5 とわかるが P(1,3)P(1,3) で矛盾。ゆえに (f(1),f(2))=(2,3)(f(1),f(2))=(2,3) とわかる。ここで f(1)=2,,f(k)=k+1f(1)=2,\dots,f(k)=k+1 のとき f(k+1)=k+2f(k+1)=k+2 となることを示せばよい。kk が偶数の時 P(k2,k2)P\biggl(\dfrac{k}{2},\dfrac{k}{2}\biggr) より示され、kk が奇数の時 P(k+12,k12)P\biggl(\dfrac{k+1}{2},\dfrac{k-1}{2}\biggr) より示される。ゆえに f(n)=n+1f(n)=n+1 とわかりこれは十分性を満たす。ゆえに答えは f(n)=n+1f(n)=n+1

7

cycf(a,b,c)=f(a,b,c)+f(b,c,a)+f(c,a,b)\sum_{\text{cyc}} f(a,b,c) = f(a,b,c)+f(b,c,a)+f(c,a,b) と定義する. 与式の両辺に a3+b3+c3+3a2b2c2a^3+b^3+c^3+3a^2b^2c^2 を掛けて cyca3+b32c3a2b2+c0\displaystyle\sum_{\text{cyc}} \frac{a^3+b^3-2c^3}{a^2b^2+c} \geq 0 を示せばよいとわかる。 cyca3+b32c3a2b2+c=cyc(a3c3a2b2+c+b3c3a2b2+c)cyc(ab)2(a2+ab+b2)c2(343c)+1(c2a2+b)(b2c2+a)0\begin{aligned} \sum_{\text{cyc}}\frac{a^3+b^3-2c^3}{a^2b^2+c} &=\sum_{\text{cyc}}\left(\frac{a^3-c^3}{a^2b^2+c}+\frac{b^3-c^3}{a^2b^2+c}\right) \\ &\geq\sum_{\text{cyc}}(a-b)^2(a^2+ab+b^2)\frac{-c^2\left(\dfrac{3}{\sqrt[3]{4}}-c\right)+1}{(c^2a^2+b)(b^2c^2+a)} \\ &\geq0 \end{aligned} 最後の不等式は, c2(343c)+1-c^2 \left (\dfrac{3}{\sqrt[3]{4}} - c \right ) + 10c3430\leq c \leq \dfrac{3}{\sqrt[3]{4}} において最小値が 00 であることが微分または相加相乗不等式によって得られることによる. したがって題意は満たされた.

8

ブロカードの定理より ACACBDBD の交点を GG とすると三角形 EOFEOF の垂心が GG となり、EOF\angle EOF は鋭角のため GGEOFEOF の内部にある。このとき OLMXYGOLMXYG は共円でありまた OEYOEY の垂心を HH とすると XHYGXH\parallel YG, YHXGYH\parallel XG となる。そのため HXGYHXGY の交点を HH ^ \prime とするとこの点は EOFEOF の九点円上にのる。ここで線分 EFEF の中点を PP とすると GHP=90°\angle GH ^ \prime P=90\degree でありまた GHY=90°\angle GH ^ \prime Y=90\degree なので 4 点 XX, HH ^ \prime, YY, PP は一直線上に並ぶ。ゆえに直線 XYXY は線分 EFEF の中点を必ず通ることが示され題意は示された。

9

p=2p=2 のとき, pqp\geq q の条件より q=2q=2 のみを調べればよく, このとき条件に適する. 以下 p3p\geq 3 とする. ここで次の補題が成り立つ.

したがって (pq+1)p1pq\dfrac{(pq+1)^p-1}{pq}pp または pp で割って 11 余る素因数を持つ. gcd(pq+2,q)=1\gcd(p^q+2, q) = 1 のとき, 求めるものは (pq+1)p1qpq+2\dfrac{\frac{(pq+1)^p-1}{q}}{p^q+2} が整数になる (p,q)(p,q) の組である. この分子は pppp で割って 11 余る素因数のみを持つのに対し, 分母 pq+2p^q+2pp で割って 22 余るため, pp で割った余りが 11 でない素因数を持つことが背理法によって示される. よって gcd(pq+2,q)=1\gcd(p^q+2, q) = 1 のとき(pq+1)p1pq+2\dfrac{(pq+1)^p-1}{p^q+2} は整数になりえない. gcd(pq+2,q)1\gcd(p^q+2, q) \neq 1 のとき, pq+2p+20(modq)p^q+2\equiv p+2 \equiv 0 \pmod{q} より pqp\geq q と併せて, 22 以上の整数 kk を用いて p=kq2p=kq-2 と表せる. ここで pq+2q=(kq2)q+2q2q≢0,1(modkq2)\dfrac{p^q+2}{q}=\dfrac{(kq-2)^q+2}{q} \equiv \dfrac{2}{q} \not\equiv 0,1 \pmod{kq-2} であるから, 先ほどと同様の議論によって (pq+1)p1pq+2\dfrac{(pq+1)^p-1}{p^q+2} は整数になりえない. したがって p3p\geq 3 ならば条件を満たさない. よって求める解は (p,q)=(2,2)(p,q)=(2,2) である.

10

AA を中心として反転を行う. このとき, 反転した先において, ACB=2ACD\angle ACB=2\angle ACD となることから, DDACB\angle ACB の二等分線と ABAB の交点である. 同様にして, EEABC\angle ABC の二等分線と ACAC の交点である. また, FF は三角形 ABCABC の外心, IIAA における三角形 ABCABC の傍心となっている. このとき, DEFIDE\perp FI であることを示せばよい.

ここで, 三角形 ABCABCBB, CC における傍心をそれぞれ IBI_B, ICI_C とおくと, AA, BB, CC はそれぞれ三角形 IIBICII_BI_C において II, IBI_B, ICI_C から対辺におろした垂線の足となっている. また, 三角形 ABCABC の内心, すなわち三角形 IIBICII_BI_C の垂心を II^\prime とおく. このとき, 三角形 IBIICI_BI^\prime I_C に着目すると, FF, II は三角形 IBIICI_BI^\prime I_C のそれぞれ九点円の中心, 垂心を表し, したがって直線 FIFI は三角形 IBIICI_BI^\prime I_C のオイラー線である. さらに, 三角形 IBIICI_BI^\prime I_C の垂軸は, IBII_BI^\primeCACA, ICII_CI^\primeBABA の交点, すなわち EEDD の交点を通るので, 直線 DEDE は三角形 IBIICI_BI^\prime I_C の垂軸である. したがって, 垂軸とオイラー線は直交する (有名事実) ため, FIDEFI\perp DE であるので, 題意が示された.

11

与えられた式を変形して a1an=an1+an+1a_1a_n=a_{n-1}+a_{n+1} となりこれを n=1n=1 から N1N-1 まで足すことで a1<2a_1<2 とわかる。ここで辺の長さが 11, 11, a1a_1 であるような二等辺三角形とその外接円 OO を考える。a1a_1 の長さの辺の端点をそれぞれ AA, A1A_1 とおき残りの頂点を A0A_0 とする。そして A1A_1 を中心とした半径 11 の円と OO の交点のうち A0A_0 でないものを A2A_2 とする。四角形 AA0A1A2AA_0A_1A_2 についてトレミーの定理をつかうことで AA2=a2AA_2=a_2 がわかる。同様に A3ANA_3\dots A_N も定めると AAn=anAA_n=a_n が成り立つ。ここで aN=1a_N=1 より N+1N+1 角形 AA0A1ANAA_0A_1\dots A_N は一辺の長さが 11 の正 N+2N+2 角形となる。よって aN2a_{\frac{N}{2}} は円 OO の直径の長さに等しいので N+2aN2<π\dfrac{N+2}{a_{\frac{N}{2}}}<\pi とわかる。また NN が大きくなると正 N+2N+2 角形は円に近づくことから求める mm[2023π]=6356[2023\pi]=6356 である。

12

以下 P(a,b)P(a,b)x=ax=a, y=by=b と代入した式をあらわす。いま f(k)=kf(k)=k となる kk 全体の集合を SS とする。このとき SS に元があるかどうかで場合分けする。ある場合, 0S0\in S なら P(0,y)P(0,y) より f(x)=x または 0f(x)=x\text{ または }0 とわかる。ここで ff の連続性より f(x)=xf(x)=x, f(x)=0f(x)=0 とわかる (これは十分性を満たす)。また 00 が含まれないとき aSa \in S を一つとって P(a,a)P(a,-a) の両辺を f(0)0f(0)\neq0 で割って 1a=f(0)1-a=f(0) となる。ここで P(a,0)P(a,0) より a2Sa^2\in S である。ここで a1a\neq1 とすると上記のような議論で 1a2=f(0)1-a^2=f(0) となり矛盾する。ゆえに 1S1\in S。ここで P(1,y)P(1,y) より f(x)=xf(x)=x (x0x\neq0) となるが 00 でない実数 xx を用いて P(x,x)P(x,-x) より f(0)xf(0)=f(0)2f(0)-xf(0)=f(0)^2 とわかるが xx00 以外の実数値をとるため f(0)=0f(0)=0 である必要があるが 0S0\in S となり条件に反する。次にない場合を考える。このとき連続性より任意の実数 xx に対して f(x)>xf(x)>x を満たすか任意の実数 xx に対して f(x)<xf(x)<x のどちらかである。前者の場合 f(t)=0f(t)=0 となる tt があるかどうかで場合分けする。ある場合は P(t,0)P(t,0) より f(0)>0f(0)>0 のため f(0)=1f(0)=1 となり P(0,0)P(0,0)f(1)2=f(1)f(1)^2=f(1) となるが f(1)>1f(1)>1 のため矛盾。存在しない場合連続性より f(x)f(x) は常に正実数の値をとる。ここで P(x,f(x)2x1x)P\biggl(x,\dfrac{f(x)^2-x}{1-x}\biggr)ff が常に正であることから f(x)2+12x1x\dfrac{f(x)^2+1-2x}{1-x} は正。ここで x=100x=100 などとすると f(x)>xf(x)>x のため分子は正で分母は負となりこの分数は負となるため矛盾。f(x)<xf(x)<x の場合 f(t)=0f(t)=0 となる tt がある場合は同様に議論すればよく、ない場合は P(x,f(x)2x1x)P\biggl(x,\dfrac{f(x)^2-x}{1-x}\biggr)(f(t)=0(f(t)=0 となる tt が存在せず f(x)<xf(x)<x のため) ff が常に負であることから f(x)2+12x1x\dfrac{f(x)^2+1-2x}{1-x} は負。ここで x=100x=-100 などとすると分子は正、分母も正となり全体が正になり矛盾。以上の議論より答えは f(x)=xf(x)=x または f(x)=0f(x)=0 とわかる。