東大文系数学2020入試過去問解答解説

※以下の解答と解説は東京大学が公表したものではなく,当サイトオリジナルのものです。問題は東京大学第2次試験問題からの引用です。

この記事では,東京大学の2020年度入学試験の文系数学について解説します。

第一問[微分]

第一問

a>0, b>0a>0,~b>0 とする。座標平面上の曲線 C: y=x33ax2+b C:~ y = x^3 -3ax^2 + b が以下の2条件を満たすとする。

条件1:  C~Cxx 軸に接する。

条件2:  x~x 軸と CC で囲まれた領域(境界は含まない)に,xx 座標と yy 座標がともに整数である点がちょうど1個ある。

bbaa で表し,aa のとりうる値の範囲を求めよ。

第一問です。この問題には小問がなく誘導がないので,自分で戦略を立てなければなりません。

微分してグラフの概形を書くと,x=0,2ax = 0,2a で極値を取ることがわかります。x=0x = 0 の方の極値は bb であり,条件より必ず正です。条件1として CCxx 軸に接しなければなりませんから,(x=2a(x = 2a における極値)) =0= 0 が成立すればよいです。

条件2がとても考えづらいですね。どうすれば良いでしょうか。

整数の問題では,必要条件から値を絞るということをよく考えると思います。それと同じように考えます。つまり,「条件2を満たすための必要条件を考え,その十分性を確認する」という流れで解答をつくります。よくわからないかもしれないので具体的にみていきましょう。

x=0x = 0 における曲線上の点の yy 座標は,条件1より 4a34a^3 であることが求められます。4a34a^3 がもし 22 より大きかったとすると,xx 軸と CC で囲まれた領域に (0,1),(0,2)(0,1), (0,2) という二点を含んでしまいことになり,条件2が成立しませんので,4a324a^3 \leq 2 が必要です。

また,4a34a^3 がもし 11 以下だとすると,xx 座標と yy 座標がともに整数である点が存在しないことが少しの議論の後にわかります。よって 4a3>14a^3 > 1 が必要です。

ここで 1<4a321 < 4a^3 \leq 2 のとき,(0,1)(0,1) 以外に xx 座標と yy 座標がともに整数である点は存在しないことを示すことができます。よってこの条件が必要かつ十分な条件であることになります。

解答が少し書きづらい問題だと思いますが,このような論理の流れを全面に押し出した解答例を以下に示してみたいと思います。

第一問

f(x)=x33ax2+b f(x) = x^3 -3ax^2 + b とする。f(x)=3x26ax=3x(x2a)f'(x) = 3x^2 -6ax = 3x(x - 2a) より,f(x)f(x) の増減表は以下のようになる。 x02af(x)+00+f(x)b4a3+b \begin{array}{c|ccccc} x & \cdots & 0 & \cdots & 2a & \cdots \\ \hline f’(x) & + & 0 & – & 0 & + \\ \hline f(x) & \nearrow & b & \searrow & -4a^3+b & \nearrow \end{array} ここで条件1は,b>0b>0 であることを考えると,4a3+b=0b=4a3 -4a^3+b = 0\\ \therefore b = 4a^3 と同値である。このとき f(x)=x33ax2+4a3=(x+a)(x2a)2 \begin{aligned} f(x) &= x^3 -3ax^2 + 4a^3\\ &= (x+a)(x-2a)^2 \end{aligned} であり,y=f(x)y=f(x) のグラフは以下のようになる。 第一問グラフ

条件2について考える。4a3>24a^3 > 2 のとき xx 軸と CC で囲まれた領域には (0,1),(0,2)(0,1), (0,2) という二点が含まれ,条件2が成立しない。よって条件2が満たされるには 4a324a^3 \leq 2 が必要である。

また,4a314a^3 \leq 1 のとき,a<x<2a-a < x < 2a において f(x)4a31f(x) \leq 4a^3 \leq 1 であるから,xx 軸と CC で囲まれた領域には xx 座標と yy 座標がともに整数である点は存在しない。よって条件2が満たされるには 1<4a321 < 4a^3 \leq 2 が必要である。

まとめると, 1<4a321 < 4a^3 \leq 2 つまり 143<a123\dfrac{1}{\sqrt[3]{4}} < a \leq \dfrac{1}{\sqrt[3]{2}} が必要である。この必要条件が条件2の十分条件でもあることを確認する。

2a223<22a \leq \dfrac{2}{\sqrt[3]{2}} < 2 と,a123>1-a \geq -\dfrac{1}{\sqrt[3]{2}} > -1 により,xx 座標と yy 座標がともに整数である点は x=0x = 0 上か x=1x = 1 上に限られる。f(1)f(1)11 の大小関係を考える。 f(1)1=13a+4a31=3a+4a3=3a(123a)(1+23a) \begin{aligned} f(1)-1 &= 1 -3a + 4a^3 - 1\\ &= -3a + 4a^3\\ &= -3a\left(1-\dfrac{2}{\sqrt{3}}a\right)\left(1+\dfrac{2}{\sqrt{3}}a\right) \end{aligned} ここで 123a123123>0 1-\dfrac{2}{\sqrt{3}}a \geq 1-\dfrac{2}{\sqrt{3}}\cdot\dfrac{1}{\sqrt[3]{2}} > 0 より f(1)1<0 f(1)-1 < 0 したがって f(1)<1f(1) < 1 であるから x=1x= 1 上には xx 座標と yy 座標がともに整数である点は存在しない。

x=0x = 0 上には xx 座標と yy 座標がともに整数である点が (0,1)(0,1) ただ一点のみ存在するから,条件2の必要十分条件は 143<a123 \dfrac{1}{\sqrt[3]{4}} < a \leq \dfrac{1}{\sqrt[3]{2}} であることが確かめられた。

ちなみに,最初からうまく必要かつ十分な条件をすんなりと見つけられる訳ではありません。試行錯誤の結果,十分性が保証される必要条件がみつかって初めて答えとして採用できています。整数の分野において,必要条件の見つけ方は問題によって異なるように,問題に合わせてうまくやれる方法を探す必要があります。

第二問[場合の数]

第二問

座標平面上に8本の直線 x=a(a=1,2,3,4),y=b(b=1,2,3,4) x = a \quad (a=1,2,3,4), \quad y = b \quad (b=1,2,3,4) がある。以下,16個の点 (a,b)(a=1,2,3,4,b=1,2,3,4) (a,b) \quad (a=1,2,3,4, \quad b = 1,2,3,4) から異なる5個の点を選ぶことを考える。

(1) 次の条件を満たす5個の点の選び方は何通りあるか。

\quad 上の8本の直線のうち,選んだ点を1個も含まないものがちょうど2本ある。

(2) 次の条件を満たす5個の点の選び方は何通りあるか。

\quad 上の8本の直線は,いずれも選んだ点を少なくとも1個含む。

設定はシンプルな問題ですが,第一問よりもさらに論述を書くのがとても大変な問題です。また,場合分けを正確にできないと数え間違いを起こしてしまいます。着実に丁寧にときましょう。

まず(1)ですが,選んだ点が一個も含まれない直線が,縦なのか横なのかで場合分けします(以下の議論は紙面上で図を書きながら追いかけることを推奨します)。

最初に縦の場合として,例えば,x=1,2x = 1,2 の直線上には点が一個も含まれない状況を考えます。すると,x=3,4x = 3,4y=1,2,3,4y = 1,2,3,4 は少なくとも一個以上の点を含まなければなりません。

ここで,y=1,2,3,4y = 1,2,3,4 に何個ずつ点を配分すれば良いかを考えます。全部で 55 個になるはずですから,44 本の直線のうち,11 本だけが 22 個点を含み,そのほかの 33 本には点が 11 つのみ含まれることになります。y=1y = 1 に点が 22 個含まれるとしましょう。x=1,2x = 1,2 には点が含まれないので,(3,1),(4,1)(3,1),(4,1) に点があることが確定します。

これにより x=3,4x = 3,4 に少なくとも点が一個以上あることが保証されたので,残りの三点について,(3,2),(4,2)(3,2),(4,2) のどちらか,(3,3),(4,3)(3,3),(4,3) のどちらか,(3,4),(4,4)(3,4),(4,4) のどちらかの 23=82^3 = 8 通りの選び方がありますから,これまでの議論をまとめると縦の場合の総数が求められます。

上記のように,具体的にあてはめながら解くのがこの問題では得策でしょう。ただし具体的に当てはめて解く際は,そのように仮定しても一般性を失わないかどうかきちんと考えるようにしましょう。

第二問(1)

(i)選んだ点を 11 個も含まない直線が x=x1,x2  (x1,x2=1,2,3,4)x = x_1, x_2 ~~ (x_1, x_2 = 1,2,3,4) であるとき

x1,x2x_1,x_2 の選び方は 4C2=6{}_4\mathrm{C}_2 = 6 通りある。ここでは x1=1,x2=2x_1 = 1, x_2 = 2 の状況を考える。このとき x=3,4x = 3,4y=1,2,3,4y = 1,2,3,4 には少なくとも点を 11 個含む。

ここで,y=1,2,3,4y = 1,2,3,4 に何個ずつ点が含まれるかを考える。これらは少なくとも 11 個の点を含むので,44 本の直線のうち,11 本だけが 22 個点を含み,そのほかの 33 本には点が 11 個のみ含まれる。22 個点を含む直線を y=y1y = y_1 とする。y1y_1 の選び方は 44 通りである。ここでは y1=1y_1=1 の状況を考える。

x=1,2x = 1,2 には点が含まれないので,(3,1),(4,1)(3,1),(4,1) には必ず点が選ばれる事になる。x=3,4x = 3,4 には少なくとも点が 11 個含まれなければならないという条件が満たされるので,y=2y = 2 上の点は (3,2),(4,2)(3,2),(4,2) のどちらか,y=3y = 3 上の点は (3,3),(4,3)(3,3),(4,3) のどちらか,y=4y = 4 上の点は (3,4),(4,4)(3,4),(4,4) のどちらかを選べば良い。これら 33 点の選び方は 23=82^3 = 8 通りである。

これらのことから,(i)の状況において,55 点の選び方は 6×4×8=192 6 \times 4 \times 8 = 192 通りである。

(ii)選んだ点を 11 個も含まない直線が y=y1,y2  (y1,y2=1,2,3,4)y = y_1, y_2 ~~ (y_1, y_2 = 1,2,3,4) であるとき

x,yx,y の対称性から,(i)と全く同様の議論をすれば,(i)と場合の数が同じになるはずなので,192192 通りである。

(iii)選んだ点を 11 個も含まない直線が x=x1,y=y1 (x1,y1=1,2,3,4)x = x_1, y = y_1 ~ (x_1, y_1 = 1,2,3,4) であるとき

x1,y1x_1,y_1 の選び方は 4C1×4C1=16{}_4\mathrm{C}_1 \times {}_4\mathrm{C}_1 = 16 通りある。ここでは x1=1,y1=1x_1 = 1, y_1 = 1 の状況を考える。このとき x=2,3,4x = 2,3,4y=2,3,4y = 2,3,4 には少なくとも点を 11 個含む。

ここで,y=2,3,4y = 2,3,4 に何個ずつ点が含まれるかを考える。y=2,3,4y = 2,3,4 に含まれる点の個数をそれぞれ n2,n3,n4n_2, n_3, n_4 とすれば,(n2,n3,n4)=(3,1,1),(1,3,1),(1,1,3),(2,2,1),(2,1,2),(1,2,2) \begin{aligned} (n_2,n_3,n_4) = &(3,1,1), (1,3,1), (1,1,3),\\ & (2,2,1), (2,1,2), (1,2,2) \end{aligned} という数の組み合わせが考えられる。

まず (n2,n3,n4)=(3,1,1)(n_2,n_3,n_4) = (3,1,1) について考える。x=1x = 1 には点が含まれないので,(2,2),(3,2),(4,2)(2,2), (3,2),(4,2) には必ず点が選ばれる事になる。x=2,3,4x = 2,3,4 には少なくとも点が 11 個含まれなければならないという条件が満たされるので,y=3y = 3 上の点は (2,3),(3,3),(4,3)(2,3),(3,3),(4,3) のどれか,y=4y = 4 上の点は (2,4),(3,4),(4,4)(2,4),(3,4),(4,4) のどれかを選べば良い。これら 22 点の選び方は 32=93^2 = 9 通りである。

(n2,n3,n4)=(1,3,1),(1,1,3)(n_2,n_3,n_4) = (1,3,1), (1,1,3) のときも同様に考えれば,それぞれ 99 通りである。

次に (n2,n3,n4)=(2,2,1)(n_2,n_3,n_4) = (2,2,1) について考える。 y=2y = 2 上で (a,2),(b,2)(a,2), (b,2) という点が含まれ,y=3y = 3 上で (a,3),(b,3)(a,3),(b,3) という点が選ばれたとする(つまりそれぞれの直線上で選ばれた 22 点の xx 座標が等しい状況を考える)。このとき,cc2,3,42,3,4 のうちの a,ba,b とは異なる数として,y=4y = 4x=cx = c 上の両方に点が少なくとも 11 個あることから,(c,4)(c,4) に必ず点が選ばれることになる。a,ba,b の選び方は 3C2=3{}_3\mathrm{C}_2 = 3 通りであるから,この状況での場合の数は 33 通り。

それぞれの直線上で選ばれた 22 点の xx 座標が等しくはない状況を考える。y=2,3y = 2,3 上の 44 点のうち,xx 座標が揃っている点は 22 点必ず存在する。その点を (d,2),(d,3)(d,2), (d,3) と表す。dd の選び方は 3C1=3{}_3\mathrm{C}_1 = 3 通りである。d=2d = 2 と仮定したとき,44 点のうちの残り 22 点の選び方は (3,2),(4,3)(3,2),(4,3) もしくは (3,3),(4,2)(3,3),(4,2)22 通りである。そして,最後の 11 点については (2,4),(3,4),(4,4)(2,4),(3,4),(4,4)33 通りのうちからどこをとってもよい。よってこの状況での場合の数は 3×2×3=18 3 \times 2 \times 3 = 18 通りである。 よって,(n2,n3,n4)=(2,2,1)(n_2,n_3,n_4) = (2,2,1) のとき 3+18=21 3 + 18 = 21 通りである。

(n2,n3,n4)=(2,1,2),(1,2,2)(n_2,n_3,n_4) = (2,1,2),(1,2,2) のときも同様に考えれば,それぞれ 2121 通りである。

これらのことから,(iii)の状況において,55 点の選び方は 16×(9+9+9+21+21+21)=1440 16 \times (9+9+9+21+21+21) = 1440 通りである。

(i),(ii),(iii)より,求める場合の数は 192+192+1440=1824 192 + 192 + 1440 = 1824 通りである。

横の場合は縦の場合との対称性で答えが同じになりますが,縦横 11 本ずつの場合もありますから,骨が折れる問題です。

(2)についても同様に緻密な場合分けが必要になります。

第二問(2)

y=1,2,3,4y = 1,2,3,4 に何個ずつ点が含まれるかを考える。これらは少なくとも 11 個の点を含むので,44 本の直線のうち,11 本だけが 22 個点を含み,そのほかの 33 本には点が 11 個のみ含まれる。22 個点を含む直線を y=y1y = y_1 とする。y1y_1 の選び方は 44 通りである。ここでは y1=1y_1=1 の状況を考える。y=1y = 1 上で 22 点を選ぶ選び方は 4C2=6{}_4\mathrm{C}_2 = 6 通りである。ここでは (1,1),(2,1)(1,1),(2,1) が選ばれたとする。

x=1,2,3,4x = 1,2,3,4 についても,それぞれが少なくとも 11 個の点を含むので,44 本の直線のうち,11 本だけが 22 個点を含み,そのほかの 33 本には点が 11 個のみ含まれる。22 個点を含む 11 本の直線を x=x1x = x_1 とする。

まず,x1=2x_1 = 2 の場合を考える。x=2x = 2 上ではすでに (2,1)(2,1) があるから,(2,2),(2,3),(2,4)(2,2),(2,3),(2,4) のどこかに残り 11 点を選ぶ必要がある。x=1x = 1 上ではすでに (1,1)(1,1) があるから,(1,2),(1,3),(1,4)(1,2),(1,3),(1,4) 上には点は選ばれない。よって,すでに選ばれている (1,1),(2,1)(1,1),(2,1) 以外の 33 点については x=2,3,4,y=2,3,4x = 2,3,4, y = 2,3,4 がそれぞれちょうど 11 点ずつ点を含むような場合を考えればよく,3×2×1=63\times 2\times 1 = 6 通りである。

x1=1x_1 = 1 の場合についても同様に考えれば,66 通りである。

次に x1=4x_1 = 4 の場合を考える。x=1x = 1 上ではすでに (1,1)(1,1) があるから,(1,2),(1,3),(1,4)(1,2),(1,3),(1,4) 上には点は選ばれない。また,x=2x = 2 上ではすでに (2,1)(2,1) があるから,(2,2),(2,3),(2,4)(2,2),(2,3),(2,4) 上には点は選ばれない。よって,x=3,y=2,3,4x = 3, y = 2,3,4 上にはちょうど 11 点,x=4x = 4 上にはちょうど 22 点選ばれるように 33 点を配置すれば良い。x=4x = 4 上の 22 点の選び方は 3C2=3{}_3\mathrm{C}_2 = 3 通りであり,例えば (4,2),(4,3)(4,2), (4,3) が選ばれたとすると,最後の 11 点は (3,4)(3,4) で決定するので最後の 11 点の選び方は 11 通りに必ず定まる。よって,x1=4x_1 = 4 の場合,33 通りである。

x1=3x_1 = 3 の場合についても同様に考えれば,33 通りである。

よって,(1,1),(2,1)(1,1),(2,1) が選ばれたという状況のもとでは 6+6+3+3=186+6+3+3=18 通りである。

したがって,求める場合の数は 4×6×18=432 4 \times 6 \times 18 = 432 通りである。

第三問[図形と方程式]

第三問

OO を原点とする座標平面において,放物線 y=x22x+4 y = x^2 - 2x + 4 のうち x0x\geq 0 を満たす部分を CC とする。

(1) 点 PPCC 上を動くとき,OO を端点とする半直線 OPOP が通過する領域を図示せよ。

(2) 実数 aa に対して,直線 l: y=ax l: ~ y = ax を考える。次の条件を満たす aa の範囲を求めよ。

C\quad C 上の点 AAll 上の点 BB で,3点 O,A,BO,A,B が正三角形の3頂点となるものがある。

まず(1)です。この問題は簡単です。半直線の動きを頭の中で想像してみましょう。接点の座標を (t,f(t))(t,f(t)) とすれば,tt が大きくなるにつれ,半直線は右に傾いていきます。ただ,この半直線が接線となったあと,直線は右ではなく左に傾くようになりますね。イメージとしては以下のような感じです。

第三問(1)動き

第三問(1)

f(x)=x22x+4 f(x) = x^2 -2x + 4 とする。これを微分して f(x)=2x2 f'(x) = 2x -2 であるから,P(t,f(t))P(t,f(t)) における接線は yf(t)=(2t2)(xt) y - f(t) = (2t-2)(x-t) この直線が OO を通るとき,f(t)=(2t2)(t)t2+2t4=2t2+2tt=±2 \begin{aligned} -f(t) &= (2t-2)\cdot (-t)\\ -t^2 + 2t -4 &= -2t^2 + 2t\\ t &= \pm 2 \end{aligned} CCx0x \geq 0 にあるから,t=2t = 2 として (2,f(2))(2,f(2)) における接線は y=2x y = 2x となる。よって,半直線 OPOP の通過する領域は以下の通り。 第三問(1)答え

(2)です。(1)で OAOA の動く範囲を求めました。半直線OAOAxx 軸の正の部分のなす角を θ\theta とすると,θ\thetaαθπ2 \alpha \leq \theta \leq \dfrac{\pi}{2} を動きます。ここで α\alphatanα=2, 0<α<π2\tan \alpha = 2, ~ 0 < \alpha < \dfrac{\pi}{2} を満たす数です。

OABOAB が正三角形をなすには,AOB=π3\angle AOB = \dfrac{\pi}{3} が必要です。AA を固定して θ\theta を決めたとき,xx 軸とのなす角が θ+π3\theta + \dfrac{\pi}{3} である直線と,xx 軸とのなす角が θπ3\theta-\dfrac{\pi}{3} である直線上には BB を取ることができます。よって,これら 22 本の直線の傾き tan(θ+π3),tan(θπ3)\tan\left(\theta + \dfrac{\pi}{3}\right),\tan\left(\theta - \dfrac{\pi}{3}\right)が,θ\theta を動かすことによってどう変わるかを見れば良いことがわかります。これを利用して解答をつくりましょう。

第三問(2)

半直線OAOAxx 軸の正の部分のなす角を θ\theta とすると,(1)より,θ\thetaαθπ2 \alpha \leq \theta \leq \dfrac{\pi}{2} の範囲を動く。ここで α\alphatanα=2, 0<α<π2\tan \alpha = 2, ~ 0 < \alpha < \dfrac{\pi}{2} を満たす定数である。tanα=2>3\tan \alpha = 2 > \sqrt{3} であることを考えると,π3<α<π2\dfrac{\pi}{3} < \alpha < \dfrac{\pi}{2} である。

さて,ある決まった θ\theta に対し,xx 軸とのなす角が θ+π3\theta + \dfrac{\pi}{3} である直線上,xx 軸とのなす角が θπ3\theta-\dfrac{\pi}{3} である直線上にはそれぞれ BB を取ることができる。

第三問(2)途中

xx 軸とのなす角が θ+π3\theta + \dfrac{\pi}{3} である直線の傾きと,xx 軸とのなす角が θπ3\theta-\dfrac{\pi}{3} である直線の傾きはそれぞれ tan(θ+π3),tan(θπ3) \tan\left(\theta + \dfrac{\pi}{3}\right),\tan\left(\theta - \dfrac{\pi}{3}\right) である。これらが αθπ2\alpha \leq\theta \leq \dfrac{\pi}{2} で動く範囲の,その和集合が,aa の動く範囲である。(π3<)αθπ2\left(\dfrac{\pi}{3} <\right) \alpha \leq\theta \leq \dfrac{\pi}{2} を満たす θ\theta の範囲では tan(θ+π3),tan(θπ3)\tan\left(\theta + \dfrac{\pi}{3}\right), \tan\left(\theta - \dfrac{\pi}{3}\right) は単調増加する。これより tan(απ3)atan(π2π3)tan(α+π3)atan(π2+π3) \begin{aligned} \tan\left(\alpha - \dfrac{\pi}{3}\right) \leq a \leq \tan\left(\dfrac{\pi}{2} - \dfrac{\pi}{3}\right)\\ \tan\left(\alpha + \dfrac{\pi}{3}\right) \leq a \leq \tan\left(\dfrac{\pi}{2} + \dfrac{\pi}{3}\right) \end{aligned} ここで tan(απ3)=tanαtanπ31±tanαtanπ3=231±23=8±5311tan(π2π3)=tanπ6=13tan(π2+π3)=tan5π6=13 \begin{aligned} \tan\left(\alpha \mp \dfrac{\pi}{3}\right) &= \dfrac{\tan \alpha \mp \tan \dfrac{\pi}{3}}{1 \pm \tan \alpha \tan \dfrac{\pi}{3}}\\ &= \dfrac{2 \mp\sqrt{3}}{1 \pm 2 \sqrt{3}}\\ &= \dfrac{-8 \pm 5\sqrt{3}}{11}\\ \tan\left(\dfrac{\pi}{2} - \dfrac{\pi}{3}\right) &= \tan \dfrac{\pi}{6}\\ &= \dfrac{1}{\sqrt{3}}\\ \tan\left(\dfrac{\pi}{2} + \dfrac{\pi}{3}\right) &= \tan \dfrac{5\pi}{6}\\ &= -\dfrac{1}{\sqrt{3}} \end{aligned} より,aa の範囲は 85311a13 \dfrac{-8 - 5\sqrt{3}}{11} \leq a \leq -\dfrac{1}{\sqrt{3}} または 8+5311a13 \dfrac{-8 + 5\sqrt{3}}{11} \leq a \leq \dfrac{1}{\sqrt{3}}

ちなみに,BB の軌跡を直接求めてから aa の範囲を出すこともできなくはないですが,とてもしんどいです。概略を以下に示します。

A(X,Y)A(X,Y) とおきます。また,別の表現として A(rcosθ,rsinθ)A(r\cos\theta, r\sin\theta) とおきます。AAOO を中心に π3\dfrac{\pi}{3} 回転させることを考えます。つまり,AAB(X,Y)=B(rcos(θ+π3),rsin(θ+π3)) B(X',Y') = B\left(r\cos\left(\theta + \dfrac{\pi}{3}\right), r\sin\left(\theta+ \dfrac{\pi}{3}\right)\right) に回転させることを考えます。加法定理を用いて整理すれば {X=12X32YY=32X+12Y \begin{cases} X' = \dfrac{1}{2}X - \dfrac{\sqrt{3}}{2}Y\\ Y' = \dfrac{\sqrt{3}}{2}X + \dfrac{1}{2}Y\\ \end{cases} また,X0X \geq 0 も軌跡に含まれる条件です。

ここで,Y=X22X+4Y = X^2 -2X +4 を用いて YY を消去し,{X=32X2+(3+12)X23Y=12X2+(321)X+2X0 \begin{cases} X' = -\dfrac{\sqrt{3}}{2}X^2 + \left( \sqrt{3} + \dfrac{1}{2}\right)X -2\sqrt{3}\\ Y' = \dfrac{1}{2}X^2 + \left(\dfrac{\sqrt{3}}{2}-1\right) X + 2\\ X \geq 0 \end{cases} と媒介変数表示で軌跡を求めることができます。概形は以下のようになります。

第三問媒介変数表示概形

ちなみに,理系数学の範囲の複素数による回転の話や,回転行列を知っている人ならば, BB の軌跡を比較的ラクに求めることができます。

また,同様にすると,AAOO を中心に π3-\dfrac{\pi}{3} 回転させたときの BB の軌跡は,{X=32X2+(3+12)X+23Y=12X2+(321)X+2X0 \begin{cases} X' = \dfrac{\sqrt{3}}{2}X^2 + \left(- \sqrt{3} + \dfrac{1}{2}\right)X +2\sqrt{3}\\ Y' = \dfrac{1}{2}X^2 + \left(-\dfrac{\sqrt{3}}{2}-1\right) X + 2\\ X \geq 0 \end{cases} 概形は以下のようになります。 第三問媒介変数表示概形2

この概形をみると,ここに接線を引いたり,端点を通る直線を引いたりして,y=axy = ax の動く範囲を求めれば答えに近づきそうなのはわかっていただけたと思います。 しかし,そんなことをやっているとあっという間に時間はなくなってしまうでしょう。また,XX が無限に大きくなったときに曲線がどこに漸近して行くかまで考えなければなりません。計算量的にこの解法は実戦では使えないでしょう。

ただ,ここで扱った回転の話はどこかで使えるかもしれないので,覚えておくと良いかもしれません。

第四問[数列]

第四問

n,kn,k を,1kn1\leq k \leq n を満たす整数とする。nn 個の整数 2m(m=0,1,2,,n1) 2^m \quad (m = 0,1,2,\cdots,n-1) から異なる kk 個を選んでそれらの積をとる。kk 個の整数の選び方すべてに対しこのように積をとることにより得られる nCk{}_n\mathrm{C}_k 個の整数の和を an,ka_{n,k} とおく。例えば,a4,3=202122+202123+202223+212223=120 a_{4,3} = 2^0 \cdot 2^1 \cdot 2^2 + 2^0 \cdot 2^1 \cdot 2^3 + 2^0 \cdot 2^2 \cdot 2^3 + 2^1 \cdot 2^2 \cdot 2^3 = 120 である。

(1) 22 以上の整数 nn に対し,an,2a_{n,2} を求めよ。

(2) 11 以上の整数 nn に対し,xx についての整式 fn(x)=1+an,1x+an,2x2++an,nxn f_n(x) = 1 + a_{n,1}x + a_{n,2}x^2 + \cdots + a_{n,n}x^n を考える。fn+1(x)fn(x)\dfrac{f_{n+1}(x)}{f_n(x)}fn+1(x)fn(2x)\dfrac{f_{n+1}(x)}{f_n(2x)}xx についての整式として表せ。

(3) an+1,k+1an,k\dfrac{a_{n+1,k+1}}{a_{n,k}}n,kn,k で表せ。

理系の第四問と共通の問題です。理系のセットの中でも一番難しいかも?というレベルであり,なんでこれが共通問題なんだろうという疑問を持ちました。

一見してまず感じるのは,問題の設定が複雑そうだ,ということですね。問題の設定さえ理解できれば,(1)は比較的容易に解くことができると思います。

an,2a_{n,2} が何を表すかを考えます。nn 個の整数 20,21,22,,2n1 2^0, 2^1, 2^2, \cdots , 2^{n-1} の中から,異なる 22 個を選ぶと,2021,2022,2023,,202n2,202n12122,2123,,212n2,212n12223,,222n2,222n1,,  2n32n2,2n32n12n22n1 \begin{aligned} 2^02^1, 2^02^{2},2^02^{3},\cdots,2^02^{n-2}, &2^02^{n-1}\\ 2^12^{2},2^12^{3},\cdots,2^12^{n-2}, &2^12^{n-1}\\ 2^22^{3},\cdots,2^22^{n-2}, &2^22^{n-1}\\ \ddots,\cdots\cdots\cdots, &~~\vdots\\ 2^{n-3}2^{n-2}, &2^{n-3}2^{n-1}\\ &2^{n-2}2^{n-1}\\ \end{aligned} という nC2=12n(n1){}_n \mathrm{C}_2 = \dfrac{1}{2} n(n-1) 個の組み合わせができます。これを全て足すことを考えます。これが an,2a_{n,2} になりますね。

さてここで,M=(20+21+22++2n1)(20+21+22++2n1)M = (2^0+ 2^1+ 2^2+ \cdots + 2^{n-1})(2^0+ 2^1+ 2^2+ \cdots + 2^{n-1}) を考えます。これらを全て展開すると,2020,2021,2022,2023,,202n2,202n12121,2122,2123,,212n2,212n12222,2223,,222n2,222n1,,  2n32n3,2n32n2,2n32n12n22n2,2n22n12n12n1 \begin{aligned} 2^02^0,2^02^1, 2^02^{2},2^02^{3},\cdots,2^02^{n-2}, &2^02^{n-1}\\ 2^12^1,2^12^{2},2^12^{3},\cdots,2^12^{n-2}, &2^12^{n-1}\\ 2^22^2,2^22^{3},\cdots,2^22^{n-2}, &2^22^{n-1}\\ \ddots,\cdots\cdots\cdots\cdots\cdots, &~~\vdots\\ 2^{n-3}2^{n-3},2^{n-3}2^{n-2}, &2^{n-3}2^{n-1}\\ 2^{n-2}2^{n-2}, &2^{n-2}2^{n-1}\\ &2^{n-1}2^{n-1}\\ \end{aligned} という数の組み合わせの和が出てきます。ただし,和の中で,2n2m2^n2^m において nmn\neq m となるものは 22 度登場します。n=mn=m となるものは 11 度だけ登場します。よって,MM から 2020+2121++2n12n1 2^02^0 + 2^12^1 + \cdots + 2^{n-1}2^{n-1} を引いたものを 22 で割れば,an,2a_{n,2} になります。

この議論は約数の総和を求めるときの基本的な公式でも登場します。→約数の総和を求める二つの公式と証明

第四問(1)

an,2=12{(20+21+22++2n1)2((20)2+(21)2++(2n1)2)}=12{(12n12)2(14n14)}=12{(2n1)2+13(14n)}=4n32n+23 \begin{aligned} a_{n,2} &= \dfrac{1}{2} \left\{(2^0+2^1+2^2+\cdots+2^{n-1})^2 \right. \\ & \left. -((2^0)^2 + (2^1)^2 + \cdots + (2^{n-1})^2) \right\}\\ &= \dfrac{1}{2} \left\{\left(\dfrac{1-2^n}{1-2}\right)^2-\left(\dfrac{1-4^n}{1-4}\right)\right\}\\ &= \dfrac{1}{2} \left\{(2^n-1)^2 + \dfrac{1}{3}(1-4^n)\right\} \\ &= \dfrac{4^n}{3} -2^n + \dfrac{2}{3} \end{aligned}

(2)がかなりの曲者です。とにかく方針が立てづらい問題です。本番の試験では,少し考えて思いつかなければ,違う問題に移るべきでしょう。

fn+1(x)fn(x)\dfrac{f_{n+1}(x)}{f_n(x)}xx についての整式で表せるということから,fn+1(x)f_{n+1}(x) の係数 an+1,ka_{n+1,k}an,1,an,2,,an,na_{n,1},a_{n,2},\cdots , a_{n,n} で表せて,それをつかって fn+1(x)f_{n+1}(x) を変形すると,fn+1(x)=(xの整式)×fn(x) f_{n+1}(x) = (x \text{の整式}) \times f_n(x) の形で表せるかもしれない,と予想しましょう。したがって,an+1,ka_{n+1,k} をなんとか an,1,an,2,,an,na_{n,1},a_{n,2},\cdots , a_{n,n} を使って構成できないか考えてみることから始めます。

an+1,ka_{n+1,k} とは 20,21,,2n1,2n 2^0, 2^1, \cdots, 2^{n-1}, 2^n という n+1n+1 個の整数の中から kk 個を選んで足したものです。an,1,an,2,,an,na_{n,1},a_{n,2},\cdots , a_{n,n} においては 2n2^n という整数は登場しないため,選び方としては,

  • 2n2^n を含めない nn 個の中から kk 個を選んだときの総和
  • 2n2^n に加え, nn 個の中から k1k-1 個を選んだときの総和

22 パターンに分類すれば,an,1,an,2,,an,na_{n,1},a_{n,2},\cdots , a_{n,n} を使って an+1,ka_{n+1,k} を表せそうだということに気づきましょう。

ちなみに,これと似たような話として,nCk=n1Ck1+n1Ck {}_n\mathrm{C}_k = {}_{n-1}\mathrm{C}_{k-1} + {}_{n-1}\mathrm{C}_{k} が同様な考え方をつかって証明できます。ぜひやってみてください。

このことをもとに議論を進めると,fn+1(x)=(1+2nx)fn(x) f_{n+1}(x) = (1+2^n x)f_n(x) という式を得ることができます。この式をよく観察すると,fn+1(x)fn(2x)\dfrac{f_{n+1}(x)}{f_{n}(2x)} についても解決の糸口が見えてきます。この式が, fn(x)f_n(x) の漸化式になっていることに気づきましょう。

f1(x)=1+xf_1(x) = 1+x と合わせれば,fn(x)f_n(x) の一般的な形を出すことができます。

第四問(2)

20,21,,2n1,2n 2^0, 2^1, \cdots, 2^{n-1}, 2^n n+1n+1 個の整数から kk 個を選び,その総和を考える。

20,21,,2n12^0, 2^1, \cdots, 2^{n-1} から kk 個を選ぶ場合の総和は,an,ka_{n,k} に等しい。

2n2^n を選んだ上で,20,21,,2n12^0, 2^1, \cdots, 2^{n-1} から残り k1k-1 個を選ぶ場合の総和は,2nan,k12^n \cdot a_{n,k-1} に等しい。

よって,an+1,k=an,k+2nan,k1 a_{n+1,k} = a_{n,k} + 2^n \cdot a_{n,k-1} が成立する。ここで,問題の条件より,この式が成立する kk の範囲は,{k11nk    2kn \begin{cases} k-1 \geq 1 \\ n \geq k \end{cases} \iff 2\leq k \leq n である。

an+1,1a_{n+1,1} について,{an,1=20+21++2n1an+1,1=20+21++2n1+2n \begin{cases} a_{n,1} = 2^0+ 2^1+ \cdots+ 2^{n-1}\\ a_{n+1,1} = 2^0+ 2^1+ \cdots+ 2^{n-1}+ 2^n \end{cases} より,an+1,1=an,n+2na_{n+1,1} = a_{n,n} + 2^n

an+1,n+1a_{n+1,n+1} について,{an,n=20212n1an+1,1=20212n12n \begin{cases} a_{n,n} = 2^0\cdot 2^1\cdot \cdots\cdot 2^{n-1}\\ a_{n+1,1} = 2^0\cdot 2^1\cdot \cdots\cdot 2^{n-1}\cdot 2^n \end{cases} より,an+1,n+1=an,n2na_{n+1,n+1} = a_{n,n} \cdot 2^n

これらを用いると,fn+1(x)= 1+an+1,1x+an+1,2x2++an+1,n+1xn+1= 1+(an,1+2n)x+(an,2+2nan,1)x2+(an,3+2nan,2)x3+ +(an,n+2nan,n1)xn+2nan,nxn+1= 1+2nx(1+an,1x+an,2x2++an,nxn)+an,1x+an,2x2++an,nxn= (1+2nx)fn(x) \begin{aligned} f_{n+1}(x) = &~1 + a_{n+1,1}x + a_{n+1,2}x^2 + \cdots + a_{n+1,n+1}x^{n+1}\\ = &~1\\ &+(a_{n,1}+2^n)x\\ &+ (a_{n,2}+2^n a_{n,1})x^2\\ &+ (a_{n,3}+2^n a_{n,2})x^3\\ &+ ~ \cdots\\ &+ (a_{n,n}+2^n a_{n,n-1})x^n\\ &+ 2^n \cdot a_{n,n} x^{n+1}\\ = &~1 + 2^nx(1 + a_{n,1}x + a_{n,2}x^2 + \cdots + a_{n,n}x^n)\\ &+ a_{n,1}x + a_{n,2}x^2 + \cdots + a_{n,n}x^n\\ = &~(1+2^nx)f_n(x) \end{aligned} したがって,fn+1(x)fn(x)=1+2nx\dfrac{f_{n+1}(x)}{f_n(x)} = 1+2^nx

また,{fn+1(x)=(1+2nx)fn(x)f1(x)=1+a1,1x=1+x \begin{cases} f_{n+1}(x) = (1+2^nx)f_n(x)\\ f_1(x) = 1+a_{1,1}x = 1+x\\ \end{cases} により,f2(x)=(1+2x)f1(x)=(1+2x)(1+x)f3(x)=(1+22x)f2(x)=(1+22x)(1+2x)(1+x)f4(x)=(1+23x)f3(x)=(1+23x)(1+22x)(1+2x)(1+x) \begin{aligned} f_2(x) &= (1+2x)f_1(x) = (1+2x)(1+x)\\ f_3(x) &= (1+2^2x)f_2(x) = (1+2^2x)(1+2x)(1+x)\\ f_4(x) &= (1+2^3x)f_3(x) = (1+2^3x)(1+2^2x)(1+2x)(1+x)\\ &\vdots \end{aligned} これと同様に考えれば fn(x)=(1+2n1x)(1+2n2x)(1+2x)(1+x) f_n(x) = (1+2^{n-1}x)(1+2^{n-2}x)\cdots (1+2x)(1+x) と表せる。これより,fn+1(x)fn(2x)=(1+2nx)(1+2n1x)(1+2x)(1+x)(1+2nx)(1+2n1x)(1+2x)=1+x \begin{aligned} \dfrac{f_{n+1}(x)}{f_n(2x)} &= \dfrac{(1+2^{n}x)(1+2^{n-1}x)\cdots (1+2x)(1+x)}{(1+2^{n}x)(1+2^{n-1}x)\cdots (1+2x)}\\ &= 1+x \end{aligned}

注意として,漸化式の適用できる範囲を確認するようにしましょう。

最後に(3)です。ここまでできた人にとってはあまり難しくありません。(2)で得た答えを利用します。

(2)において得た答えから,{fn+1(x)=(1+2nx)fn(x)fn+1(x)=(1+x)fn(2x) \begin{cases} f_{n+1}(x) = (1+2^nx)f_n(x)\\ f_{n+1}(x) = (1+x)f_n(2x) \end{cases} が成立します。1+x,1+2nx1+x, 1+2^nx が 両方とも同じ形をした xx の一次式なので,(1+2nx)fn(x),(1+x)fn(2x)(1+2^nx)f_n(x), (1+x)f_n(2x)xk+1x^{k+1} の係数には an,k+1,an,ka_{n,k+1}, a_{n,k} のみが,fn+1(x)f_{n+1}(x)xk+1x^{k+1} の係数には an+1,k+1a_{n+1,k+1} のみが出現します。また,22 式ありますから,邪魔な an,k+1a_{n,k+1} を消せることがわかります。これが使えそうです。

第四問(3)

(2)の結果より,{fn+1(x)=(1+2nx)fn(x)fn+1(x)=(1+x)fn(2x) \begin{cases} f_{n+1}(x) = (1+2^nx)f_n(x)\\ f_{n+1}(x) = (1+x)f_n(2x) \end{cases} が成立する。xk+1x^{k+1} の項の係数を比較すると,{an+1,k+1=2nan,k+an,k+1an+1,k+1=2kan,k+2k+1an,k+1 \begin{cases} a_{n+1,k+1} = 2^n\cdot a_{n,k} + a_{n,k+1}\\ a_{n+1,k+1} = 2^k\cdot a_{n,k} + 2^{k+1} a_{n,k+1} \end{cases} 一式目の変形 an,k+1=an+1,k+12nan,ka_{n,k+1} = a_{n+1,k+1} - 2^n\cdot a_{n,k} を二式目に代入して,an,k+1a_{n,k+1} を消去すると,an+1,k+1=2kan,k+2k+1(an+1,k+12nan,k)(12k+1)an+1,k+1=2k(12n+1)an,kan+1,k+1=2k(12n+1)12k+1an,k \begin{aligned} a_{n+1,k+1} &= 2^k\cdot a_{n,k} + 2^{k+1}(a_{n+1,k+1}-2^na_{n,k})\\ (1-2^{k+1})a_{n+1,k+1} &= 2^k(1-2^{n+1})a_{n,k}\\ \therefore a_{n+1,k+1} &= \dfrac{2^k(1-2^{n+1})}{1-2^{k+1}}a_{n,k} \end{aligned}

東大文系数学2020入試過去問解説まとめ

全体的に記述しにくい難問が多かったです。本番受験された受験生の方々はとても苦労されたと思います。

第一問は必要条件を見つけて,その十分性を確認するというところまでやって満点になりますが,必要条件を求めるだけでも部分点が来るでしょう。満点の解答をかけなくても,考えた形跡を答案に残しておく癖をつけましょう。

第二問は,場合分けの記述が大変です。具体的な状況を考えても一般性を失わないなら,具体的に考えて議論を進めましょう。

第三問は,この年の問題の中では一番簡単な問題と言えますが,(2)は少し工夫をしないと計算が煩雑になってしまって解けなかった人も多かったかもしれません。

第四問は方針すら見つからなかった人もいたと思います。本番ではいわゆる「捨て問」に当たると思いますが,普段の学習に使うならとても価値のある問題です。よく勉強しておきましょう。

文系数学にしてはかなり難易度高めな問題ばかりでしたね。