問題
2022 年 9 月 17・18 日 時間無制限 12 題
(注意事項)
一問でも解けたら採点係のところまで持ってきてください. 採点は何度でも可能です.
6 からは証明問題です. 答を求める問題であっても必ず証明をつけてください.
小学生は 4 問, 中学生は 6 問, 高校生は 8 問, OB・大学生は 10 問で殿堂入りです.
1
次の虫食い算を解け.
□ □ □ □ □ × □ □ □ □ □ □ □ □ 2 1 □ □ 8 □ 0 5 □ □ □ 2 1 5 □ □ 2 □ □ □ □ □ □ □ □ □ 7 □ 8 □ 5 □ □ □ \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} □ □ □ □ 5 □ 7 × □ □ □ □ □ □ □ □ □ 8 □ □ □ 8 □ 2 □ □ □ □ □ □ 2 □ 5 □ □ □ 0 1 □ □ □ 2 5 □ □ □ 1 □
2
次の虫食い算を解け.
□ □ □ □ □ × □ 9 □ □ □ 2 □ 1 □ □ □ □ 0 □ 7 □ □ □ 2 2 □ □ □ □ □ □ 2 1 □ □ □ □ □ □ 8 □ □ 0 □ □ □ □ □ □ □ \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} □ □ □ □ □ □ □ □ 0 × □ 2 □ □ □ 2 0 2 2 □ □ □ □ □ □ □ 1 8 □ □ 9 1 7 □ □ □ □ □ □ □ □ □ □ □ □ □ □ □ □ □ □
3
1 97 \dfrac{1}{97} 97 1 の小数第 1 位から小数第 2022 位までの数字をすべて足した値を求めよ。ただし 1 97 \dfrac{1}{97} 97 1 の循環節の長さは 96 である。(中学入試予想より)
4
6 × 6 6\times6 6 × 6 の盤面を以下の条件全てを満たすように 2 つのエリアに分割する方法は何通りか求めよ。
(条件) 各々のエリアは少なくとも 1 マスあり、どちらのエリアにおいてもそのエリア内の任意のマスはそのエリア内のマスの縦横の移動で同じエリアのどのマスにも移動できる (各々のエリアは辺で連結)。また盤面を ( 1 , 1 ) (1,1) ( 1 , 1 ) から ( 6 , 6 ) (6,6) ( 6 , 6 ) とあらわすときもし ( a , b ) (a,b) ( a , b ) , ( a , c ) (a,c) ( a , c ) が同じエリアであるなら ( a , b + 1 ) … ( a , c − 1 ) (a,b+1)\dots(a,c-1) ( a , b + 1 ) … ( a , c − 1 ) もその同じエリアであり ( a , b ) (a,b) ( a , b ) , ( c , b ) (c,b) ( c , b ) が同じエリアであるなら ( a + 1 , b ) … ( c − 1 , b ) (a+1,b)\dots(c-1,b) ( a + 1 , b ) … ( c − 1 , b ) もその同じエリアである。
5
1 1 1 から 100 100 100 の整数 100 こを使ってしりとり列を作ったときありうる最長の長さはいくつか。ただし「しりとり列」とは前の整数の 1 の位の値と後の整数の最大の位の値が等しい列のことである。たとえば 1 → 12 → 25 → 54 1\to 12\to 25\to 54 1 → 12 → 25 → 54 はしりとり列である。なお同じ整数は二度使ってはならない。
6
n f n ( m ) + m f m ( n ) = ( n + m + 1 ) 2 + 1 − 2 f ( n + m ) nf^n(m)+mf^m(n)=(n+m+1)^2+1-2f(n+m) n f n ( m ) + m f m ( n ) = ( n + m + 1 ) 2 + 1 − 2 f ( n + m ) が成り立つような正の整数全体から正の整数への関数 f f f を求めよ。
7
a + b + c ≤ 3 4 3 a + b + c \leq \dfrac{3}{\sqrt[3]{4}} a + b + c ≤ 3 4 3 を満たす任意の正の実数 a , b , c a,b,c a , b , c に対し以下が成り立つことを示せ. 1 a 2 b 2 + c + 1 b 2 c 2 + a + 1 c 2 a 2 + b ≥ 3 ( a 2 + b 2 + c 2 ) a 3 + b 3 + c 3 + 3 a 2 b 2 c 2 \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} a 2 b 2 + c 1 + b 2 c 2 + a 1 + c 2 a 2 + b 1 ≥ a 3 + b 3 + c 3 + 3 a 2 b 2 c 2 3 ( a 2 + b 2 + c 2 )
8
円 Γ \Gamma Γ に四角形 A B C D ABCD A BC D が内接している。Γ \Gamma Γ の中心を O O O 、A B AB A B , C D CD C D の交点を E E E 、A D AD A D , B C BC BC の交点を F F F 、A C AC A C , B D BD B D の中点をそれぞれ L L L , M M M とする。∠ E O F < 90 ° \angle EOF<90\degree ∠ EOF < 90° のとき三角形 O L M OLM O L M の外接円上に 2 点 X X X , Y Y Y をとったところ三角形 O X Y OXY OX Y の垂心が三角形 O E F OEF OEF の外接円上にあった。このとき直線 X Y XY X Y はある定点を通ることを示せ。
9
( p q + 1 ) p − 1 p q + 2 \dfrac{(pq+1)^p-1}{p^q+2} p q + 2 ( pq + 1 ) p − 1 が整数になるような, p ≥ q p\geq q p ≥ q をみたす素数 p p p , q q q の組を全て求めよ.
10
三角形 A B C ABC A BC において, 直線 A B AB A B の B B B に関して A A A を含まない側に D D D を, 直線 A C AC A C の C C C に関して A A A を含まない側に E E E を, B D = C E = B C BD=CE=BC B D = CE = BC を満たすようにとる. また, 直線 B C BC BC に対して A A A と対称な点を F F F , 三角形 A B C ABC A BC の内心を I I I とする. 三角形 A D E ADE A D E の外接円と三角形 A F I AFI A F I の外接円の交点での各々の接線が直交することを示せ.
11
N + 1 N+1 N + 1 項全てが正の実数である数列 { a n } \lbrace a_{n}\rbrace { a n } (n = 0 , 1 … N n=0,1\dots N n = 0 , 1 … N ) は以下の式を満たしている。a 0 = a N = 1 , a n = a n − 1 + a n + 1 a 1 ( 0 < n < N のとき) a_0=a_N=1,\quad a_n=\dfrac{a_{n-1}+a_{n+1}}{a_1}\ \text{(0 < n < N 0<n<N 0 < n < N のとき)} a 0 = a N = 1 , a n = a 1 a n − 1 + a n + 1 (0 < n < N のとき ) 任意の偶数 N N N に対して 2023 ( N + 2 ) < K a N 2 2023(N+2)<K a_{\frac{N}{2}} 2023 ( N + 2 ) < K a 2 N が成り立つような最小の整数 K K K を求めよ。
12
連続関数であり任意の実数 x x x , y y y に対して f ( f ( x ) 2 + x y ) + y f ( x + y ) = f ( f ( x ) + y ) 2 f(f(x)^2+xy)+yf(x+y)=f(f(x)+y)^2 f ( f ( x ) 2 + x y ) + y f ( x + y ) = f ( f ( x ) + y ) 2 を満たす関数 f f f を求めよ。
解答
1
51621 × 71151 = 3672885771 51621\times71151=3672885771 51621 × 71151 = 3672885771
2
60357 × 49754 = 3003002178 60357\times49754=3003002178 60357 × 49754 = 3003002178
3
0 ≤ k ≤ 48 0\leq k\leq 48 0 ≤ k ≤ 48 を満たす k k k において小数第 k k k 位と小数第 k + 48 k+48 k + 48 位の和は Midy の定理より 9 9 9 のため 2022 = 21 × 96 + 6 2022=21\times96+6 2022 = 21 × 96 + 6 に気を付けて ( 48 × 9 ) × 21 + 0 + 1 + 3 + 0 + 9 = 9085 (48\times9)\times21+0+1+3+0+9=\fbox{9085} ( 48 × 9 ) × 21 + 0 + 1 + 3 + 0 + 9 = 9085 .
4
エリアの境界線としてありうる通り数を求めればよくその値は 辺の縦横の移動で最短で右下から左上へ行く通り数 ( A ) + 右上から左下へ行く通り数 ( B ) − 4 (どちらかのエリアが 0 マスになる場合) − 10 ( A , B で共通している境界線の場合) = 2 × 12 C 6 − 4 − 10 = 1834 \text{辺の縦横の移動で最短で右下から左上へ行く通り数 ($A$)} + \text{右上から左下へ行く通り数 ($B$)} - 4 \text{ (どちらかのエリアが $0$ マスになる場合)} - 10 \text{ ($A$, $B$ で共通している境界線の場合)} = 2 \times {}_{12}\mathrm{C}_{6} - 4 - 10 = \fbox{1834} 辺の縦横の移動で最短で右下から左上へ行く通り数 ( A ) + 右上から左下へ行く通り数 ( B ) − 4 ( どちらかのエリアが 0 マスになる場合 ) − 10 ( A , B で共通している境界線の場合 ) = 2 × 12 C 6 − 4 − 10 = 1834 .
5
10 10 10 , 20 20 20 , 30 30 30 , 40 40 40 , 50 50 50 , 60 60 60 , 70 70 70 , 80 80 80 , 90 90 90 , 100 100 100 は必ずしりとり列の最後の数字になるためある最長のしりとり列に登場するのはこれらのうちの高々一つ。ゆえに最長のしりとり列は 91 91 91 以下の長さである。また 91 91 91 の構成例はたとえば 12 , 21 , 13 , 31 , 14 , 41 … , 19 , 91 12,21,13,31,14,41\dots,19,91 12 , 21 , 13 , 31 , 14 , 41 … , 19 , 91 があり 2 2 2 がとなりあうところに 23 , 32 , 24 , 42 … , 29 , 92 23,32,24,42\dots,29,92 23 , 32 , 24 , 42 … , 29 , 92 を入れる。ほかのところも同様にしてあとは 1 − 9 , 11 , 22 , 33 , … 99 1-9,11,22,33,\dots 99 1 − 9 , 11 , 22 , 33 , … 99 を適当に差し込み最後に 100 100 100 を付け加えることで構成できる。よって 91 \boxed{91} 91 。なお一般に 1 0 n 10^n 1 0 n の場合は答えが 9 × 1 0 n − 1 + 1 9\times10^{n-1}+1 9 × 1 0 n − 1 + 1 となる(評価、構成ともにこの解答と同様に行えばよい)
6
P ( x , y ) P(x,y) P ( x , y ) で n n n に x x x を, m m m に y y y を代入した式をあらわすこととする。P ( 1 , 1 ) 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) ( f ( 1 ) , f ( 2 )) = ( 1 , 4 ) ( 2 , 3 ) ( 3 , 2 ) ( 4 , 1 ) とわかる。( 1 , 4 ) (1,4) ( 1 , 4 ) のとき P ( 1 , 2 ) P(1,2) P ( 1 , 2 ) で f ( 3 ) = 4.5 f(3)=4.5 f ( 3 ) = 4.5 となり矛盾。( 3 , 2 ) (3,2) ( 3 , 2 ) のとき P ( 2 , 3 ) P(2,3) P ( 2 , 3 ) を代入して f ( 3 ) f(3) f ( 3 ) , f ( 5 ) f(5) f ( 5 ) のいずれかは整数ではないとわかり矛盾。( 4 , 1 ) (4,1) ( 4 , 1 ) のときは f ( 3 ) = 3 f(3)=3 f ( 3 ) = 3 , f ( 4 ) = 5 f(4)=5 f ( 4 ) = 5 とわかるが P ( 1 , 3 ) P(1,3) P ( 1 , 3 ) で矛盾。ゆえに ( f ( 1 ) , f ( 2 ) ) = ( 2 , 3 ) (f(1),f(2))=(2,3) ( f ( 1 ) , f ( 2 )) = ( 2 , 3 ) とわかる。ここで f ( 1 ) = 2 , … , f ( k ) = k + 1 f(1)=2,\dots,f(k)=k+1 f ( 1 ) = 2 , … , f ( k ) = k + 1 のとき f ( k + 1 ) = k + 2 f(k+1)=k+2 f ( k + 1 ) = k + 2 となることを示せばよい。k k k が偶数の時 P ( k 2 , k 2 ) P\biggl(\dfrac{k}{2},\dfrac{k}{2}\biggr) P ( 2 k , 2 k ) より示され、k k k が奇数の時 P ( k + 1 2 , k − 1 2 ) P\biggl(\dfrac{k+1}{2},\dfrac{k-1}{2}\biggr) P ( 2 k + 1 , 2 k − 1 ) より示される。ゆえに f ( n ) = n + 1 f(n)=n+1 f ( n ) = n + 1 とわかりこれは十分性を満たす。ゆえに答えは f ( n ) = n + 1 f(n)=n+1 f ( n ) = n + 1 。
7
∑ cyc f ( 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) cyc ∑ f ( a , b , c ) = f ( a , b , c ) + f ( b , c , a ) + f ( c , a , b ) と定義する. 与式の両辺に a 3 + b 3 + c 3 + 3 a 2 b 2 c 2 a^3+b^3+c^3+3a^2b^2c^2 a 3 + b 3 + c 3 + 3 a 2 b 2 c 2 を掛けて ∑ cyc a 3 + b 3 − 2 c 3 a 2 b 2 + c ≥ 0 \displaystyle\sum_{\text{cyc}} \frac{a^3+b^3-2c^3}{a^2b^2+c} \geq 0 cyc ∑ a 2 b 2 + c a 3 + b 3 − 2 c 3 ≥ 0 を示せばよいとわかる。
∑ cyc a 3 + b 3 − 2 c 3 a 2 b 2 + c = ∑ cyc ( a 3 − c 3 a 2 b 2 + c + b 3 − c 3 a 2 b 2 + c ) ≥ ∑ cyc ( a − b ) 2 ( a 2 + a b + b 2 ) − c 2 ( 3 4 3 − c ) + 1 ( c 2 a 2 + b ) ( b 2 c 2 + 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} cyc ∑ a 2 b 2 + c a 3 + b 3 − 2 c 3 = cyc ∑ ( a 2 b 2 + c a 3 − c 3 + a 2 b 2 + c b 3 − c 3 ) ≥ cyc ∑ ( a − b ) 2 ( a 2 + a b + b 2 ) ( c 2 a 2 + b ) ( b 2 c 2 + a ) − c 2 ( 3 4 3 − c ) + 1 ≥ 0
最後の不等式は, − c 2 ( 3 4 3 − c ) + 1 -c^2 \left (\dfrac{3}{\sqrt[3]{4}} - c \right ) + 1 − c 2 ( 3 4 3 − c ) + 1 は 0 ≤ c ≤ 3 4 3 0\leq c \leq \dfrac{3}{\sqrt[3]{4}} 0 ≤ c ≤ 3 4 3 において最小値が 0 0 0 であることが微分または相加相乗不等式によって得られることによる. したがって題意は満たされた.
8
ブロカードの定理より A C AC A C と B D BD B D の交点を G G G とすると三角形 E O F EOF EOF の垂心が G G G となり、∠ E O F \angle EOF ∠ EOF は鋭角のため G G G は E O F EOF EOF の内部にある。このとき O L M X Y G OLMXYG O L MX Y G は共円でありまた O E Y OEY OE Y の垂心を H H H とすると X H ∥ Y G XH\parallel YG X H ∥ Y G , Y H ∥ X G YH\parallel XG Y H ∥ XG となる。そのため H X G Y HXGY H XG Y の交点を H ′ H ^ \prime H ′ とするとこの点は E O F EOF EOF の九点円上にのる。ここで線分 E F EF EF の中点を P P P とすると ∠ G H ′ P = 90 ° \angle GH ^ \prime P=90\degree ∠ G H ′ P = 90° でありまた ∠ G H ′ Y = 90 ° \angle GH ^ \prime Y=90\degree ∠ G H ′ Y = 90° なので 4 点 X X X , H ′ H ^ \prime H ′ , Y Y Y , P P P は一直線上に並ぶ。ゆえに直線 X Y XY X Y は線分 E F EF EF の中点を必ず通ることが示され題意は示された。
9
p = 2 p=2 p = 2 のとき, p ≥ q p\geq q p ≥ q の条件より q = 2 q=2 q = 2 のみを調べればよく, このとき条件に適する. 以下 p ≥ 3 p\geq 3 p ≥ 3 とする. ここで次の補題が成り立つ.
補題 .
n n n を
2 2 2 以上の整数,
p p p を素数とすると
n p − 1 n − 1 \dfrac{n^p-1}{n-1} n − 1 n p − 1 の素因数は
p p p であるか
p p p で割って
1 1 1 余る.
したがって ( p q + 1 ) p − 1 p q \dfrac{(pq+1)^p-1}{pq} pq ( pq + 1 ) p − 1 は p p p または p p p で割って 1 1 1 余る素因数を持つ. gcd ( p q + 2 , q ) = 1 \gcd(p^q+2, q) = 1 g cd( p q + 2 , q ) = 1 のとき, 求めるものは ( p q + 1 ) p − 1 q p q + 2 \dfrac{\frac{(pq+1)^p-1}{q}}{p^q+2} p q + 2 q ( pq + 1 ) p − 1 が整数になる ( p , q ) (p,q) ( p , q ) の組である. この分子は p p p と p p p で割って 1 1 1 余る素因数のみを持つのに対し, 分母 p q + 2 p^q+2 p q + 2 は p p p で割って 2 2 2 余るため, p p p で割った余りが 1 1 1 でない素因数を持つことが背理法によって示される. よって gcd ( p q + 2 , q ) = 1 \gcd(p^q+2, q) = 1 g cd( p q + 2 , q ) = 1 のとき( p q + 1 ) p − 1 p q + 2 \dfrac{(pq+1)^p-1}{p^q+2} p q + 2 ( pq + 1 ) p − 1 は整数になりえない. gcd ( p q + 2 , q ) ≠ 1 \gcd(p^q+2, q) \neq 1 g cd( p q + 2 , q ) = 1 のとき, p q + 2 ≡ p + 2 ≡ 0 ( m o d q ) p^q+2\equiv p+2 \equiv 0 \pmod{q} p q + 2 ≡ p + 2 ≡ 0 ( mod q ) より p ≥ q p\geq q p ≥ q と併せて, 2 2 2 以上の整数 k k k を用いて p = k q − 2 p=kq-2 p = k q − 2 と表せる. ここで p q + 2 q = ( k q − 2 ) q + 2 q ≡ 2 q ≢ 0 , 1 ( m o d k q − 2 ) \dfrac{p^q+2}{q}=\dfrac{(kq-2)^q+2}{q} \equiv \dfrac{2}{q} \not\equiv 0,1 \pmod{kq-2} q p q + 2 = q ( k q − 2 ) q + 2 ≡ q 2 ≡ 0 , 1 ( mod k q − 2 ) であるから, 先ほどと同様の議論によって ( p q + 1 ) p − 1 p q + 2 \dfrac{(pq+1)^p-1}{p^q+2} p q + 2 ( pq + 1 ) p − 1 は整数になりえない. したがって p ≥ 3 p\geq 3 p ≥ 3 ならば条件を満たさない. よって求める解は ( p , q ) = ( 2 , 2 ) (p,q)=(2,2) ( p , q ) = ( 2 , 2 ) である.
10
A A A を中心として反転を行う. このとき, 反転した先において, ∠ A C B = 2 ∠ A C D \angle ACB=2\angle ACD ∠ A CB = 2∠ A C D となることから, D D D は ∠ A C B \angle ACB ∠ A CB の二等分線と A B AB A B の交点である. 同様にして, E E E は ∠ A B C \angle ABC ∠ A BC の二等分線と A C AC A C の交点である. また, F F F は三角形 A B C ABC A BC の外心, I I I は A A A における三角形 A B C ABC A BC の傍心となっている. このとき, D E ⊥ F I DE\perp FI D E ⊥ F I であることを示せばよい.
ここで, 三角形 A B C ABC A BC の B B B , C C C における傍心をそれぞれ I B I_B I B , I C I_C I C とおくと, A A A , B B B , C C C はそれぞれ三角形 I I B I C II_BI_C I I B I C において I I I , I B I_B I B , I C I_C I C から対辺におろした垂線の足となっている. また, 三角形 A B C ABC A BC の内心, すなわち三角形 I I B I C II_BI_C I I B I C の垂心を I ′ I^\prime I ′ とおく. このとき, 三角形 I B I ′ I C I_BI^\prime I_C I B I ′ I C に着目すると, F F F , I I I は三角形 I B I ′ I C I_BI^\prime I_C I B I ′ I C のそれぞれ九点円の中心, 垂心を表し, したがって直線 F I FI F I は三角形 I B I ′ I C I_BI^\prime I_C I B I ′ I C のオイラー線である. さらに, 三角形 I B I ′ I C I_BI^\prime I_C I B I ′ I C の垂軸は, I B I ′ I_BI^\prime I B I ′ と C A CA C A , I C I ′ I_CI^\prime I C I ′ と B A BA B A の交点, すなわち E E E と D D D の交点を通るので, 直線 D E DE D E は三角形 I B I ′ I C I_BI^\prime I_C I B I ′ I C の垂軸である. したがって, 垂軸とオイラー線は直交する (有名事実) ため, F I ⊥ D E FI\perp DE F I ⊥ D E であるので, 題意が示された.
11
与えられた式を変形して a 1 a n = a n − 1 + a n + 1 a_1a_n=a_{n-1}+a_{n+1} a 1 a n = a n − 1 + a n + 1 となりこれを n = 1 n=1 n = 1 から N − 1 N-1 N − 1 まで足すことで a 1 < 2 a_1<2 a 1 < 2 とわかる。ここで辺の長さが 1 1 1 , 1 1 1 , a 1 a_1 a 1 であるような二等辺三角形とその外接円 O O O を考える。a 1 a_1 a 1 の長さの辺の端点をそれぞれ A A A , A 1 A_1 A 1 とおき残りの頂点を A 0 A_0 A 0 とする。そして A 1 A_1 A 1 を中心とした半径 1 1 1 の円と O O O の交点のうち A 0 A_0 A 0 でないものを A 2 A_2 A 2 とする。四角形 A A 0 A 1 A 2 AA_0A_1A_2 A A 0 A 1 A 2 についてトレミーの定理をつかうことで A A 2 = a 2 AA_2=a_2 A A 2 = a 2 がわかる。同様に A 3 … A N A_3\dots A_N A 3 … A N も定めると A A n = a n AA_n=a_n A A n = a n が成り立つ。ここで a N = 1 a_N=1 a N = 1 より N + 1 N+1 N + 1 角形 A A 0 A 1 … A N AA_0A_1\dots A_N A A 0 A 1 … A N は一辺の長さが 1 1 1 の正 N + 2 N+2 N + 2 角形となる。よって a N 2 a_{\frac{N}{2}} a 2 N は円 O O O の直径の長さに等しいので N + 2 a N 2 < π \dfrac{N+2}{a_{\frac{N}{2}}}<\pi a 2 N N + 2 < π とわかる。また N N N が大きくなると正 N + 2 N+2 N + 2 角形は円に近づくことから求める m m m は [ 2023 π ] = 6356 [2023\pi]=6356 [ 2023 π ] = 6356 である。
12
以下 P ( a , b ) P(a,b) P ( a , b ) で x = a x=a x = a , y = b y=b y = b と代入した式をあらわす。いま f ( k ) = k f(k)=k f ( k ) = k となる k k k 全体の集合を S S S とする。このとき S S S に元があるかどうかで場合分けする。ある場合, 0 ∈ S 0\in S 0 ∈ S なら P ( 0 , y ) P(0,y) P ( 0 , y ) より f ( x ) = x または 0 f(x)=x\text{ または }0 f ( x ) = x または 0 とわかる。ここで f f f の連続性より f ( x ) = x f(x)=x f ( x ) = x , f ( x ) = 0 f(x)=0 f ( x ) = 0 とわかる (これは十分性を満たす)。また 0 0 0 が含まれないとき a ∈ S a \in S a ∈ S を一つとって P ( a , − a ) P(a,-a) P ( a , − a ) の両辺を f ( 0 ) ≠ 0 f(0)\neq0 f ( 0 ) = 0 で割って 1 − a = f ( 0 ) 1-a=f(0) 1 − a = f ( 0 ) となる。ここで P ( a , 0 ) P(a,0) P ( a , 0 ) より a 2 ∈ S a^2\in S a 2 ∈ S である。ここで a ≠ 1 a\neq1 a = 1 とすると上記のような議論で 1 − a 2 = f ( 0 ) 1-a^2=f(0) 1 − a 2 = f ( 0 ) となり矛盾する。ゆえに 1 ∈ S 1\in S 1 ∈ S 。ここで P ( 1 , y ) P(1,y) P ( 1 , y ) より f ( x ) = x f(x)=x f ( x ) = x (x ≠ 0 x\neq0 x = 0 ) となるが 0 0 0 でない実数 x x x を用いて P ( x , − x ) P(x,-x) P ( x , − x ) より f ( 0 ) − x f ( 0 ) = f ( 0 ) 2 f(0)-xf(0)=f(0)^2 f ( 0 ) − x f ( 0 ) = f ( 0 ) 2 とわかるが x x x は 0 0 0 以外の実数値をとるため f ( 0 ) = 0 f(0)=0 f ( 0 ) = 0 である必要があるが 0 ∈ S 0\in S 0 ∈ S となり条件に反する。次にない場合を考える。このとき連続性より任意の実数 x x x に対して f ( x ) > x f(x)>x f ( x ) > x を満たすか任意の実数 x x x に対して f ( x ) < x f(x)<x f ( x ) < x のどちらかである。前者の場合 f ( t ) = 0 f(t)=0 f ( t ) = 0 となる t t t があるかどうかで場合分けする。ある場合は P ( t , 0 ) P(t,0) P ( t , 0 ) より f ( 0 ) > 0 f(0)>0 f ( 0 ) > 0 のため f ( 0 ) = 1 f(0)=1 f ( 0 ) = 1 となり P ( 0 , 0 ) P(0,0) P ( 0 , 0 ) で f ( 1 ) 2 = f ( 1 ) f(1)^2=f(1) f ( 1 ) 2 = f ( 1 ) となるが f ( 1 ) > 1 f(1)>1 f ( 1 ) > 1 のため矛盾。存在しない場合連続性より f ( x ) f(x) f ( x ) は常に正実数の値をとる。ここで P ( x , f ( x ) 2 − x 1 − x ) P\biggl(x,\dfrac{f(x)^2-x}{1-x}\biggr) P ( x , 1 − x f ( x ) 2 − x ) と f f f が常に正であることから f ( x ) 2 + 1 − 2 x 1 − x \dfrac{f(x)^2+1-2x}{1-x} 1 − x f ( x ) 2 + 1 − 2 x は正。ここで x = 100 x=100 x = 100 などとすると f ( x ) > x f(x)>x f ( x ) > x のため分子は正で分母は負となりこの分数は負となるため矛盾。f ( x ) < x f(x)<x f ( x ) < x の場合 f ( t ) = 0 f(t)=0 f ( t ) = 0 となる t t t がある場合は同様に議論すればよく、ない場合は P ( x , f ( x ) 2 − x 1 − x ) P\biggl(x,\dfrac{f(x)^2-x}{1-x}\biggr) P ( x , 1 − x f ( x ) 2 − x ) と ( f ( t ) = 0 (f(t)=0 ( f ( t ) = 0 となる t t t が存在せず f ( x ) < x f(x)<x f ( x ) < x のため) f f f が常に負であることから f ( x ) 2 + 1 − 2 x 1 − x \dfrac{f(x)^2+1-2x}{1-x} 1 − x f ( x ) 2 + 1 − 2 x は負。ここで x = − 100 x=-100 x = − 100 などとすると分子は正、分母も正となり全体が正になり矛盾。以上の議論より答えは f ( x ) = x f(x)=x f ( x ) = x または f ( x ) = 0 f(x)=0 f ( x ) = 0 とわかる。