東大理系数学2018入試過去問解答解説

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

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

第一問[微分・極限]

第一問

f(x)=xsin⁡x+cos⁡x  (0<x<π)f(x) = \dfrac{x}{\sin x} + \cos x ~~ (0 < x < \pi) の増減表をつくり，x→+0, x→π−0x \rightarrow +0,~x \rightarrow \pi - 0 のときの極限を調べよ。

六問の中では一番解きやすいです。東大入試の第一問は易しい問題が出る傾向がありますね。

増減表を調べよと言われていますから，とにかくまずは微分します。導関数を整理していくと，sin⁡2x−2x\sin 2x - 2x の正負を評価することになりまます。ここで，三角関数における非常に有名な不等式 sin⁡x≤x  (0≤x) \sin x \leq x ~~ (0 \leq x) 特に 0<x0 < x では sin⁡x<x \sin x < x が成立することを思い出したいところです。（ジョルダンの不等式とその３通りの証明やマクローリン型不等式（三角関数）で紹介しています。）

また，極限を求めるのもあまり難しくありません。三角関数の極限の問題では 変数 →0\to 0 になるように置換するとうまくいくことが多いです。

第一問

f(x)f(x) を微分して，f′(x)=sin⁡x−xcos⁡xsin⁡2x−sin⁡x=sin⁡x(1−sin⁡2x)−xcos⁡xsin⁡2x=cos⁡x(sin⁡xcos⁡x−x)sin⁡2x=cos⁡x(sin⁡2x−2x)2sin⁡2x \begin{aligned} f'(x) &= \dfrac{\sin x - x \cos x}{\sin ^2 x}- \sin x\\ &= \dfrac{\sin x \left(1-\sin^2 x\right)-x\cos x}{\sin^2 x}\\ &= \dfrac{\cos x \left(\sin x \cos x - x\right)}{\sin^2 x}\\ &= \dfrac{\cos x \left(\sin 2x -2x\right)}{2\sin^2 x} \end{aligned} ここで 0<x0 < x では sin⁡x<x \sin x < x が成立するので，sin⁡2x−2x\sin 2x - 2x は 0<x<π0 < x < \pi の範囲で負である。よって f(x)f(x) の増減表は以下の通り。

x0⋯π2⋯πf’(x)−0+f(x)lim⁡x→+0f(x)↘π2↗lim⁡x→π−0f(x) \begin{array}{c|ccccc} x & 0 & \cdots & \dfrac{\pi}{2} & \cdots & \pi \\ \hline f’(x) & & - & 0 & + & \\ \hline f(x) & \displaystyle\lim_{x\to +0}f(x) & \searrow & \dfrac{\pi}{2} & \nearrow & \displaystyle\lim_{x\to \pi -0}f(x) \end{array}

また，極限について，lim⁡x→+0f(x)=1+1=2 \lim_{x\to +0}f(x) = 1+1 = 2 さらに，y=π−xy = \pi - x とおくと f(x)=π−ysin⁡(π−y)+cos⁡(π−y)=π−ysin⁡y−cos⁡y \begin{aligned} f(x) &= \dfrac{\pi - y}{\sin (\pi - y)} + \cos(\pi - y)\\ &= \dfrac{\pi - y}{\sin y} - \cos y \end{aligned} より lim⁡x→π−0f(x)=lim⁡y→+0{π−ysin⁡y−cos⁡y}=+∞ \begin{aligned} \lim_{x\to \pi -0}f(x) &= \lim_{y \to +0}\left\{\dfrac{\pi - y}{\sin y} - \cos y\right\} \\ &= + \infty \end{aligned}

ちなみに，さらに二階微分などを計算すると，グラフの概形は以下のようになります。練習問題として書いてみてはどうでしょうか。

第一問概形

sin⁡2x−2x\sin 2x - 2x の正負を評価する際，上記の不等式を知らない場合どうすれば良いでしょうか。応用が効くアドバイスとして，「微分しても正負が評価できない時は，もう一度微分してみる」とよいでしょう。別解として以下に記します。

第一問別解

f(x)f(x) を微分するところまでは同じ。

g(x)=sin⁡2x−2xg(x) = \sin 2x - 2x とおいて，g(x)g(x) を微分すると，g′(x)=2cos⁡2x−2=2(cos⁡2x−1)≤0 \begin{aligned} g'(x) &= 2 \cos 2x - 2\\ &= 2(\cos 2x - 1)\\ &\leq 0 \end{aligned} よって g(x)g(x) は単調減少であり，g(0)=0−0=0g(0) = 0-0 = 0 であることと合わせると 0<x<π0 < x < \pi では g(x)<0g(x) < 0 である。

以下同様。

微分しても符号がわからなくて困ってしまったときは，このことを思い出してください。

ちなみに sin⁡xx\dfrac{\sin x}{x} という形はsinc関数と呼ばれる有名な関数です。工学的に意味のある関数としても知られていて，よく大学入試の題材として取りあげられます。→sinx/xについて覚えておくべき２つのこと

第二問[整数]

第二問

数列 a1,a2,⋯a_1, a_2, \cdots を，an=2n+1Cnn!a_n = \dfrac{{}_{2n+1}\mathrm{C}_n}{n!} (n=1,2,⋯ )(n = 1,2,\cdots) で定める。

(1) n≥2n \geq 2 とする。anan−1\dfrac{a_n}{a_{n-1}} を既約分数 qnpn\dfrac{q_n}{p_n} として表したときの分母 pn≥1p_n \geq 1 と分子 qnq_n を求めよ。

(2) ana_n が整数となる n≥1n \geq 1 をすべて求めよ。

(1)について，既約分数として表した時を考えるので，分母と分子が互いに素の関係になるようにする必要があります。互いに素かどうか，つまり最大公約数が 11 かどうかを考えるには，ユークリッドの互除法が便利です。→ユークリッドの互除法の証明と不定方程式

第二問(1)

mCn=m!n!(m−n)! {}_m \mathrm{C}_n = \dfrac{m!}{n!(m-n)!} より（コンビネーションの定義を忘れてしまった人は→順列と組合せの違いと例題） anan−1=2n+1Cnn!×(n−1)!2n−1Cn−1=1n×(2n+1)!n!(n+1)!×(n−1)!n!(2n−1)!=2(2n+1)n(n+1) \begin{aligned} \dfrac{a_n}{a_{n-1}} &= \dfrac{{}_{2n+1}\mathrm{C}_n}{n!} \times \dfrac{(n-1)!}{{}_{2n-1}\mathrm{C}_{n-1}}\\ &= \dfrac{1}{n} \times \dfrac{(2n+1)!}{n!(n+1)!}\times \dfrac{(n-1)!n!}{(2n-1)!}\\ &= \dfrac{2(2n+1)}{n(n+1)} \end{aligned} ここで，n(n+1)n(n+1) は連続する2つの整数の積であるから，22 の倍数である。（→連続するn個の整数の積と二項係数）よって，この分数は 22 で約分ができて，anan−1=2n+1{n(n+1)2} \dfrac{a_n}{a_{n-1}} = \dfrac{2n+1}{\left\{\frac{n(n+1)}{2}\right\}} とかける。これが既約分数であることを証明する。ユークリッドの互除法により，gcd⁡(2n+1,n)=gcd⁡(n,1)gcd⁡(2n+1,n+1)=gcd⁡(n,n+1)=gcd⁡(n,1) \begin{aligned} \gcd(2n+1, n) &= \gcd(n,1)\\ \gcd(2n+1, n+1) &= \gcd(n,n+1) = \gcd(n,1) \end{aligned} である，gcd⁡(n,1)=1\gcd(n,1) = 1 は明らかなので，2n+12n+1 と n(n+1)n(n+1) は互いに素である。つまり，さきほどの分数が既約分数であることが証明できた。

よって pn=n(n+1)2,   qn=2n+1 p_n = \dfrac{n(n+1)}{2}, ~~~q_n = 2n+1

次に(2)です。(1)の anan−1\dfrac{a_n}{a_{n-1}} をどのように解釈するかがポイントです。2通りの解釈の方法を紹介します。

1つは「漸化式」としてみることです（東大はこちら側の解答を想定していると思われます）。n≥2n\geq 2 に対して，漸化式を繰り返し用いると，an=qnpnan−1=qnpnqn−1pn−1an−2=qnpnqn−1pn−1qn−2pn−2an−3=⋯=qnpnqn−1pn−1⋯q2p2a1 \begin{aligned} a_n &= \dfrac{q_n}{p_n} a_{n-1} \\ &= \dfrac{q_n}{p_n} \dfrac{q_{n-1}}{p_{n-1}} a_{n-2}\\ &= \dfrac{q_n}{p_n} \dfrac{q_{n-1}}{p_{n-1}}\dfrac{q_{n-2}}{p_{n-2}} a_{n-3}\\ &= \cdots\\ &= \dfrac{q_n}{p_n} \dfrac{q_{n-1}}{p_{n-1}}\cdots \dfrac{q_2}{p_2} a_{1} \end{aligned} となります。(1)では既約分数を考えましたから，約数についてなにか解決の糸口がないかを考えます。すると qnq_n は常に奇数であり 22 を約数として持たないことに注目できます。よって，nn が大きくなって分母に素因数 22 が余分に出てきてしまえば，整数にはならなくなります。

この議論を用いて解答を作ります。

第二問(2)

a1=3C11!=3, a2=5C22!=5 a_1 = \dfrac{{}_3 \mathrm{C}_1}{1!} = 3, ~ a_2 = \dfrac{{}_5 \mathrm{C}_2}{2!} = 5 より，n=1,2n = 1,2 のとき題意をみたす。 さて，n≥2n \geq 2 に対し an=qnpnqn−1pn−1⋯q2p2a1 a_n = \dfrac{q_n}{p_n} \dfrac{q_{n-1}}{p_{n-1}}\cdots \dfrac{q_2}{p_2} a_{1} が成立する。この式において，qn,qn−1,⋯ ,q2q_n, q_{n-1}, \cdots, q_2 は全て奇数であり，a1a_1 も奇数であるから，分子に 22 を約数として含まない。これに対し，p3=6p_3 = 6 であって 22 を約数に含むので，p3p_3 が分母にある ana_n は整数になり得ない。つまり，n≥3n \geq 3 は答えに含まれない。よって答えは n=1,2n = 1,2

2つ目は，anan−1\dfrac{a_n}{a_{n-1}} を「比」としてみることです。(1)の計算結果からわかるように，分母は二次式，分子は一次式です。nn が大きくなれば0に近づいていくはずです。 よって ana_n は減少し，あるときから 11 より小さくなって整数になり得なくなるでしょう。したがって，有限個の ana_n を確認すれば全ての答えを導けそうです。

第二問(2)

まず，anan−1<1\dfrac{a_n}{a_{n-1}} < 1 が成立する範囲を考える。 2(2n+1)n(n+1)<14n+2<n2+nn2−3n−2>0n>3+172n≥4 \begin{aligned} \dfrac{2(2n+1)}{n(n+1)} &< 1\\ 4n + 2 &< n^2 + n\\ n^2 -3n -2& > 0\\ n &> \dfrac{3 + \sqrt{17}}{2}\\ n &\geq 4 \end{aligned} これより，a3>a4>a5>⋯ a_3 > a_4 > a_5 > \cdots である。さて，a1=3, a2=5, a3=356, a4=214, a5=7720, a6=14360, a7=143112, a8=24314032 a_1 = 3, ~ a_2 = 5, ~ a_3 = \dfrac{35}{6},\\ ~ a_4 = \dfrac{21}{4}, ~ a_5 = \dfrac{77}{20},\\ ~ a_6 = \dfrac{143}{60}, ~ a_7 = \dfrac{143}{112}, ~ a_8 = \dfrac{2431}{4032} であり，a8<1a_8 < 1 より 1>a8>a9>a10>⋯1 > a_8 > a_9 > a_{10} > \cdots であるから，n≥8n \geq 8 においては ana_n は整数になり得ない。よって n=1,2n = 1,2

第三問[ベクトル・軌跡・積分・極限]

第三問

放物線 y=x2y = x^2 のうち −1≤x≤1-1\leq x \leq 1 を満たす部分を CC とする。座標平面上の原点 OO と点 A(1,0)A(1,0) を考える。k>0k > 0 を実数とする。点 PP が CC 上を動き，点 QQ が線分 OAOA 上を動くとき，ORundefined=1kOPundefined+kOQundefined\overrightarrow{OR} = \dfrac{1}{k} \overrightarrow{OP} + k\overrightarrow{OQ} を満たす点 RR が動く領域の面積を S(k)S(k) とする。S(k)S(k) および lim⁡k→+0S(k),lim⁡k→∞S(k)\displaystyle\lim_{k\to +0}S(k), \lim_{k\to \infty}S(k) を求めよ。

なかなか骨のある軌跡の問題です。軌跡の問題は大まかに2つの考え方があります。**「軌跡を想像して解く方法」と「数式をいじって解く方法」**です。まずは前者を考えます。

まず問題設定より，P,QP,Q は独立して動きます。QQ の方が単純な動きをしますから，後から考えた方がよさそうです。QQ を固定して考えます。PP は CC 上を動きますから，1kOPundefined\dfrac{1}{k}\overrightarrow{OP} により表される点は放物線上を動きます。その後 QQ を動かします。RR が 1kOPundefined\dfrac{1}{k}\overrightarrow{OP} を kOQundefinedk\overrightarrow{OQ} だけ平行移動させた点だと考えると，放物線を右に kk だけ移動させたときの通過領域を考えれば良いことがわかります。

注意として，放物線を右に移動させるときに，kk の値によって領域の形が変わることに気をつけてください。次の2通りの領域のでき方がありますね。

klarger2

ksmaller2

第三問

P(a,b), Q(t,0)P(a,b),~Q(t,0) とおくと，(a,b),(t,0)(a,b),(t,0) が満たすべき条件は {b=a2−1≤a≤10≤t≤1 \begin{cases} b = a^2\\ -1 \leq a \leq 1\\ 0 \leq t \leq 1 \end{cases} である。R(x,y)R(x,y) とおくと，ORundefined=1kOPundefined+kOQundefined\overrightarrow{OR} = \dfrac{1}{k} \overrightarrow{OP} + k\overrightarrow{OQ} は以下の式と同値である。 (xy)=1k(ab)+k(t0) \begin{pmatrix} x\\ y\\ \end{pmatrix} = \dfrac{1}{k} \begin{pmatrix} a\\ b\\ \end{pmatrix} + k \begin{pmatrix} t\\ 0\\ \end{pmatrix} b=a2b = a^2 を代入し，その後に a=k(x−kt)a = k(x-kt) を代入して整理すると {−1k+kt≤x≤1k+kt0≤t≤1y=k(x−kt)2 \begin{cases} -\dfrac{1}{k} + kt \leq x \leq \dfrac{1}{k} + kt\\ 0 \leq t \leq 1\\ y = k(x-kt)^2 \end{cases} となる。これら3式を満たす tt が存在するような (x,y)(x,y) の条件を求めれば良い。

ここで tt を 0≤t≤10 \leq t \leq 1 で動かすと，RR が動く領域は以下の斜線部のようになる。

(i) 1k≤k−1k\dfrac{1}{k} \leq k-\dfrac{1}{k} のとき，つまり k≥2k \geq \sqrt{2} のとき

第三問(i)

図より，S(k)=k×1k+2∫01k(1k−kx2)dx=1+2[1kx−k3x3]01k=1+2(1k2−13k2)=1+43k2 \begin{aligned} S(k) &= k \times \dfrac{1}{k} + 2\int_0^{\frac{1}{k}} \left(\dfrac{1}{k} - kx^2\right)dx\\ &= 1 + 2\left[\dfrac{1}{k}x - \dfrac{k}{3} x^3\right]_0^{\frac{1}{k}}\\ &= 1 + 2\left(\dfrac{1}{k^2} - \dfrac{1}{3k^2}\right)\\ &= 1 + \dfrac{4}{3k^2} \end{aligned}

(i) 1k>k−1k\dfrac{1}{k} > k-\dfrac{1}{k} のとき，つまり (0<) k<2(0 < )~k < \sqrt{2} のとき

第三問(ii)

図より，S(k)2=∫k21kkx2dx+{(k+1k)−1k}×1k−∫kk+1kk(x−k)2dx=[k3x3]k21k+1−[k3(x−k)3]kk+1k=13k2−k424+1−13k2 \begin{aligned} \dfrac{S(k)}{2} &= \int_{\frac{k}{2}}^{\frac{1}{k}}kx^2 dx\\ &+ \left\{\left(k + \dfrac{1}{k}\right) - \dfrac{1}{k}\right\} \times \dfrac{1}{k} - \int_k^{k+\frac{1}{k}}k(x-k)^2dx\\ &= \left[\dfrac{k}{3}x^3\right]_{\frac{k}{2}}^{\frac{1}{k}} + 1 - \left[\dfrac{k}{3}(x-k)^3\right]_{k}^{k+\frac{1}{k}}\\ &= \dfrac{1}{3k^2} - \dfrac{k^4}{24} + 1 - \dfrac{1}{3k^2} \end{aligned} ∴ S(k)=2−k412 \therefore ~ S(k) = 2 - \dfrac{k^4}{12}

これらにより，lim⁡k→+0S(k)=2,  lim⁡k→∞S(k)=1 \begin{aligned} \lim_{k \to +0} S(k) = 2, ~~ \lim_{k \to \infty} S(k) = 1 \end{aligned}

面積の計算に関しては，どちらの場合も対称性を用いるとラクになります。極限の計算は何も難しくないですね。

次に「数式をいじって解く方法」を考えます。基本的には上の方法の方が計算量が少なくミスも防ぎやすいと思いますが，本番はどうしても緊張しますし，頭が真っ白になってしまって「軌跡が全く想像できない！」なんてこともあるかもしれません。

そんなときに，落ち着いて代入計算による同値変形を黙々とやることが緊張を和らげることに繋がる可能性もあります。以下の方法も試しておくと良いでしょう。

ただし，問題によっては数式だけをつかって解く方法の計算が煩雑すぎて解けないということもあるので注意しましょう。

第三問別解

P(a,b), Q(t,0), R(x,y)P(a,b),~Q(t,0),~R(x,y) として，{b=a2−1≤a≤10≤t≤1(xy)=1k(ab)+k(t0) \begin{cases} b = a^2\\ -1 \leq a \leq 1\\ 0 \leq t \leq 1\\ \begin{pmatrix} x\\ y\\ \end{pmatrix} = \dfrac{1}{k} \begin{pmatrix} a\\ b\\ \end{pmatrix} + k \begin{pmatrix} t\\ 0\\ \end{pmatrix} \end{cases} を満たす a,b,ta,b,t が存在するような (x,y)(x,y) の条件を考えれば良い，というところまでは同じ。

b=a2, t=x−1kakb = a^2, ~ t = \dfrac{x-\dfrac{1}{k}a}{k} を代入すれば，{−1≤a≤10≤x−1kak≤1y=1ka2  ⟺  {−1≤a≤10≤x−1ka≤ka=+kyky≥0 または {−1≤a≤10≤x−1ka≤ka=−kyky≥0 \begin{aligned} &\begin{cases} -1 \leq a \leq 1\\ 0 \leq \dfrac{x-\dfrac{1}{k}a}{k} \leq 1\\ y = \dfrac{1}{k} a^2 \end{cases}\\ &\\ &\iff \begin{cases} -1 \leq a \leq 1\\ 0 \leq x-\dfrac{1}{k}a \leq k\\ a = + \sqrt{ky}\\ ky \geq 0 \end{cases} ~\text{または}~ \begin{cases} -1 \leq a \leq 1\\ 0 \leq x-\dfrac{1}{k}a \leq k\\ a = - \sqrt{ky}\\ ky \geq 0 \end{cases} \end{aligned} を満たす aa が存在するような (x,y)(x,y) の条件を求めればよい。aa を各式に代入して同値変形すると以下の通り。 {−1≤ky≤1yk≤x≤k+ykky≥0 または {−1≤−ky≤1−yk≤x≤k−ykky≥0  ⟺  {0≤ky≤1yk≤x≤k+yk または {0≤ky≤1−yk≤x≤k−yk  ⟺  {0≤ky≤1−yk≤x≤k−yk  または yk≤x≤k+yk \begin{aligned} &\begin{cases} -1 \leq \sqrt{ky} \leq 1\\ \sqrt{\dfrac{y}{k}} \leq x \leq k+\sqrt{\dfrac{y}{k}}\\ ky \geq 0 \end{cases} ~\text{または}~ \begin{cases} -1 \leq -\sqrt{ky} \leq 1\\ -\sqrt{\dfrac{y}{k}} \leq x \leq k-\sqrt{\dfrac{y}{k}}\\ ky \geq 0 \end{cases}\\ &\\ &\iff\begin{cases} 0 \leq ky \leq 1\\ \sqrt{\dfrac{y}{k}} \leq x \leq k+\sqrt{\dfrac{y}{k}}\\ \end{cases} ~\text{または}~ \begin{cases} 0 \leq ky \leq 1\\ -\sqrt{\dfrac{y}{k}} \leq x \leq k-\sqrt{\dfrac{y}{k}}\\ \end{cases}\\ &\\ &\iff\begin{cases} 0 \leq ky \leq 1\\ -\sqrt{\dfrac{y}{k}} \leq x \leq k-\sqrt{\dfrac{y}{k}} ~~\text{または}~ \sqrt{\dfrac{y}{k}} \leq x \leq k+\sqrt{\dfrac{y}{k}}\\ \end{cases} \end{aligned} ここで，0≤ky≤10 \leq ky \leq 1 のもと，k−yk<yk  ⟺  k3<4y k-\sqrt{\dfrac{y}{k}} < \sqrt{\dfrac{y}{k}}\\ \iff k^3 < 4y であることを考えると，{0≤ky≤1k3<4y−yk≤x≤k−yk または yk≤x≤k+yk または {0≤ky≤1k3≥4y−yk≤x≤k+yk  ⟺  {0≤y≤1k(1)k34<y(2)−yk≤x≤k−yk または yk≤x≤k+yk(3) または {0≤y≤1k(4)k34≥y(5)−yk≤x≤k+yk(6) \begin{aligned} &\begin{cases} 0 \leq ky \leq 1\\ k^3 < 4y\\ -\sqrt{\dfrac{y}{k}} \leq x \leq k-\sqrt{\dfrac{y}{k}} ~\text{または}~ \sqrt{\dfrac{y}{k}} \leq x \leq k+\sqrt{\dfrac{y}{k}} \end{cases}\\ &~\text{または}~ \begin{cases} 0 \leq ky \leq 1\\ k^3 \geq 4y\\ -\sqrt{\dfrac{y}{k}} \leq x \leq k+\sqrt{\dfrac{y}{k}}\\ \end{cases}\\ &\\ \iff&\begin{cases} 0 \leq y \leq \dfrac{1}{k} & (1)\\ \dfrac{k^3}{4} < y & (2)\\ -\sqrt{\dfrac{y}{k}} \leq x \leq k-\sqrt{\dfrac{y}{k}} ~\text{または}~ \sqrt{\dfrac{y}{k}} \leq x \leq k+\sqrt{\dfrac{y}{k}} & (3) \end{cases}\\ &~\text{または}~ \begin{cases} 0 \leq y \leq \dfrac{1}{k} & (4)\\ \dfrac{k^3}{4} \geq y & (5)\\ -\sqrt{\dfrac{y}{k}} \leq x \leq k+\sqrt{\dfrac{y}{k}} & (6)\\ \end{cases}\\ \end{aligned} ここで，k34<1k  ⟺  k4<4  ⟺  k2<2  ⟺  0<k<2 \begin{aligned} &\dfrac{k^3}{4} < \dfrac{1}{k}\\ &\iff k^4 < 4\\ &\iff k^2 < 2\\ &\iff 0 < k < \sqrt{2} \end{aligned} のとき，(1)(1) かつ (2)(2) は k34<y≤1k \dfrac{k^3}{4} < y \leq \dfrac{1}{k} また，(4)(4) かつ (5)(5) は 0≤y≤k34 0 \leq y \leq \dfrac{k^3}{4} また，k34≥1k  ⟺  k≥2 \begin{aligned} &\dfrac{k^3}{4} \geq \dfrac{1}{k}\\ &\iff k \geq \sqrt{2} \end{aligned} のとき，(1)(1) かつ (2)(2) は共通部分がなく，(4)(4) かつ (5)(5) は 0≤y≤1k 0 \leq y \leq \dfrac{1}{k} よって，RR の動く領域は 0<k<20 < k < \sqrt{2} のとき {k34<y≤1k−yk≤x≤k−yk または yk≤x≤k+yk または {0≤y≤k34−yk≤x≤k+yk \begin{cases} \dfrac{k^3}{4} < y \leq \dfrac{1}{k}\\ -\sqrt{\dfrac{y}{k}} \leq x \leq k-\sqrt{\dfrac{y}{k}} ~\text{または}~ \sqrt{\dfrac{y}{k}} \leq x \leq k+\sqrt{\dfrac{y}{k}} & \end{cases}\\ ~\text{または}~ \begin{cases} 0 \leq y \leq \dfrac{k^3}{4}\\ -\sqrt{\dfrac{y}{k}} \leq x \leq k+\sqrt{\dfrac{y}{k}} \\ \end{cases} であるから，S(k)=∫k341k{k−yk−(−yk)}dy+∫k341k{k+yk−−yk}dy+∫0k34{k+yk−(−yk)}dy=∫k341k2kdy+∫0k34{k+2yk}dy=[2ky]k341k+[ky+43y3k]0k34=2−k412 \begin{aligned} S(k) = &\int_{\frac{k^3}{4}}^{\frac{1}{k}}\left\{k-\sqrt{\dfrac{y}{k}}-\left(-\sqrt{\dfrac{y}{k}}\right)\right\}dy\\ &+\int_{\frac{k^3}{4}}^{\frac{1}{k}}\left\{k+\sqrt{\dfrac{y}{k}}--\sqrt{\dfrac{y}{k}}\right\}dy\\ &+\int_{0}^{\frac{k^3}{4}}\left\{k+\sqrt{\dfrac{y}{k}}-\left(-\sqrt{\dfrac{y}{k}}\right)\right\}dy\\ = &\int_{\frac{k^3}{4}}^{\frac{1}{k}}2kdy+\int_{0}^{\frac{k^3}{4}}\left\{k+2\sqrt{\dfrac{y}{k}}\right\}dy\\ = &\left[2ky\right]_{\frac{k^3}{4}}^{\frac{1}{k}} + \left[ky + \dfrac{4}{3}\sqrt{\dfrac{y^3}{k}}\right]_{0}^{\frac{k^3}{4}}\\ = &2 - \dfrac{k^4}{12} \end{aligned} また，RR の動く領域は k≥2k \geq \sqrt{2} のとき {0≤y≤1k−yk≤x≤k+yk \begin{cases} 0 \leq y \leq \dfrac{1}{k}\\ -\sqrt{\dfrac{y}{k}} \leq x \leq k+\sqrt{\dfrac{y}{k}} \\ \end{cases} であるから，S(k)=∫01k{k+yk−(−yk)}dy=[ky+43y3k]01k=1+43k2 \begin{aligned} S(k) &= \int_{0}^{\frac{1}{k}}\left\{k+\sqrt{\dfrac{y}{k}}-\left(-\sqrt{\dfrac{y}{k}}\right)\right\}dy\\ &= \left[ky + \dfrac{4}{3}\sqrt{\dfrac{y^3}{k}}\right]_{0}^{\frac{1}{k}}\\ &= 1 + \dfrac{4}{3k^2}\\ \end{aligned}

以下同様。

この方法は同値変形さえうまくやれば図を書かなくて良いことに注目してください。（図示せよという指示があったらこの解法は大変でしょう。）

第四問[微分]

第四問

a>0a > 0 とし，f(x)=x3−3a2xf(x) = x^3 -3a^2x とおく。次の2条件を満たす点 (a,b)(a,b) の動きうる範囲を求め，座標平面上に図示せよ。

条件1:方程式 f(x)=bf(x) = b は相異なる3実数解をもつ。

条件2:さらに，方程式 f(x)=bf(x) = b の解を α<β<γ\alpha < \beta < \gamma とすると β>1\beta > 1 である。

本問は2018の東大文系数学の第三問の(2)と全く同じ問題です。詳細な解説は以下を参照してください。

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

三次関数の問題ですが，a>0a > 0 という条件のおかげで増減表をとても簡単に書くことができます。文系の受験生でも取っておきたいレベルです。理系の受験生にとっては絶対に落とせない問題と言えるでしょう。

第五問[複素数]

第五問

複素数平面上の原点を中心とする半径 11 の円を CC とする。点 P(z)P(z) は CC 上にあり，点 A(1)A(1) とは異なるとする。 点 PP における円 CC の接線に関して，点 AA と対称な点を Q(u)Q(u) とする。w=11−uw = \dfrac{1}{1-u} とおき，ww と共役な複素数を w‾\overline{w} で表す。

(1) uu と w‾w\dfrac{\overline{w}}{w} を zz についての整式として表し，絶対値の商 ∣w+w‾−1∣∣w∣\dfrac{\left|w + \overline{w} -1\right|}{|w|} を求めよ。

(2) CC のうち実部が 12\dfrac{1}{2} 以下の複素数で表される部分を C′C' とする。点 P(z)P(z) が C′C' 上を動く時の点 R(w)R(w) の軌跡を求めよ。

複素数平面の問題です。まず，(1)ですが，Q(u)Q(u) が満たすべき条件をどのように表すか悩むと思います。

簡単に数式化ができる条件の表し方を考えましょう。複素数においては，平行であること，長さが等しいことは簡単に表すことができますので，それらを使って条件を表すことを考えます。QQ が AA と対称な点であるためには，PA=PQ, OP∥AQPA = PQ,~OP \parallel AQ が満たされていれば良いです。これらは簡単に数式で表すことができます。

第五問(1)

点 QQ が点 AA と PP における CC の接線に関して対称な点であるためには，{PA=PQOP∥AQ \begin{cases} PA = PQ\\ OP \parallel AQ \end{cases} が満たされていればよい。複素数を用いて数式で表せば，k (≠0)k~(\neq 0) を実数として {∣z−1∣=∣z−u∣(1)kz=u−1(2) \begin{cases} |z-1| = |z-u| && (1)\\ kz = u - 1 && (2)\\ \end{cases} で表される。P(z)P(z) が CC 上にある，つまり zz‾=∣z∣2=1z\overline{z} = |z|^2 = 1 であることと，(2)(2) 式に注意しながら，(1)(1) 式を 22 乗して，∣z−1∣2=∣z−(kz+1)∣2(z−1)(z‾−1)=(z−kz−1)(z‾−kz‾−1)0=−2k+k2+k(z+z‾)0=−2+k+z+1z∴k=2−z−1z \begin{aligned} |z-1|^2 &= |z-(kz+1)|^2\\ (z-1)(\overline{z}-1) &= (z-kz-1)(\overline{z}-k\overline{z}-1)\\ 0 &= -2k + k^2 + k(z + \overline{z})\\ 0 &= -2 + k + z + \dfrac{1}{z}\\ \therefore k &= 2 - z - \dfrac{1}{z} \\ \end{aligned} これを (2)(2) 式に代入して，u−1=(2−z−1z)z∴u=2z−z2 \begin{aligned} u - 1 &= \left(2 - z - \dfrac{1}{z}\right)z\\ \therefore u &= 2z - z^2 \end{aligned} よって，ω=11−2z+z2\omega=\dfrac{1}{1-2z+z^2} より，w‾w=11−2z‾+z‾2⋅(1−2z+z2)=z2z2−2z∣z∣2+∣z∣4⋅(1−2z+z2)=z2(1−2z+z2)z2−2z+1=z2 \begin{aligned} \dfrac{\overline{w}}{w} &= \dfrac{1}{1-2\overline{z}+\overline{z}^2} \cdot (1-2z+z^2)\\ &=\dfrac{z^2}{z^2-2z|z|^2+|z|^4}\cdot (1-2z+z^2)\\ &= \dfrac{z^2(1-2z+z^2)}{z^2 -2z + 1}\\ &= z^2 \end{aligned} 最後に，∣w+w‾−1∣∣w∣=∣1+w‾w−1w∣=∣1+z2−1+2z−z2∣=2 \begin{aligned} \dfrac{\left|w + \overline{w} -1\right|}{|w|} &= \left|1 + \dfrac{\overline{w}}{w} - \dfrac{1}{w}\right|\\ &= \left|1 + z^2 - 1 + 2z - z^2\right|\\ &= 2 \end{aligned}

「直線に関して対称」を数式で表すことさえできれば，あとは単純な計算問題です。

他にも「直線に関して対称」を表す方法は多数あります。以下で一例をあげておきます。

第五問(1)別解

AA と QQ の中点を B(b)B(b) とすると，OP∥ABOP \parallel AB から，実数 kk を用いて b=1+kz b = 1 + kz とおくことができる。OP⊥PBOP \bot PB より，zb−z=z1+(k−1)z=11z+(k−1) \begin{aligned} \dfrac{z}{b-z} &= \dfrac{z}{1 + (k-1)z}\\ &= \dfrac{1}{\dfrac{1}{z} + (k-1)} \end{aligned} は純虚数であるから，11z+(k−1)+11z+(k−1)‾=011z+(k−1)+11z‾+(k−1)=01z+(k−1)+1z‾+(k−1)=0 \begin{aligned} \dfrac{1}{\dfrac{1}{z} + (k-1)} + \overline{\dfrac{1}{\dfrac{1}{z} + (k-1)}} &= 0\\ \dfrac{1}{\dfrac{1}{z} + (k-1)}+\dfrac{1}{\dfrac{1}{\overline{z}} + (k-1)} &= 0\\ \dfrac{1}{z} + (k-1)+\dfrac{1}{\overline{z}} + (k-1)&=0\\ \end{aligned} ∴2k=2−1z−1z‾=2−1z−z \begin{aligned} \therefore 2k &= 2 - \dfrac{1}{z} - \dfrac{1}{\overline{z}}\\ &= 2 - \dfrac{1}{z} - z \end{aligned} ここで，u=1+2kzu = 1 + 2kz であることに注意すると，u=2z−z2 u = 2z - z^2 となる。以下同様。

さて，(2)についてですが，(1)がどのように誘導になっているのか考えるのがとても難しいです。求めさせている絶対値の商の式の形が明らかに不自然なので，この式をどうにかうまく利用できないか考えます。 ∣w+w‾−1∣∣w∣=2∣w+w‾2−12∣=∣w∣∣Re(w)−12∣=∣w∣ \begin{aligned} \dfrac{\left|w + \overline{w} -1\right|}{|w|} &= 2\\ \left|\dfrac{w + \overline{w}}{2} -\dfrac{1}{2}\right| &= |w|\\ \left|\mathrm{Re}(w) -\dfrac{1}{2}\right| &= |w|\\ \end{aligned} と変形すると，xyxy 平面で考えれば，x=12x = \dfrac{1}{2} との距離と，原点 OO からの距離が等しい点の集合を表ます。つまり放物線です。 →放物線の準線・焦点と一般化

また，ww の動き得る範囲が問題になりますが，これも(1)の結果より，w=11−2z+z2=1(z−1)2 \begin{aligned} w &= \dfrac{1}{1-2z+z^2}\\ &= \dfrac{1}{(z-1)^2} \end{aligned} と変形できることから，z−1z-1 の偏角を求めることができれば ww の偏角についても求めることができそうです。

第五問(2)

(1)の答えを用いて式変形をすると，∣w+w‾−1∣∣w∣=2∣w+w‾2−12∣=∣w∣∣Re(w)−12∣=∣w∣ \begin{aligned} \dfrac{\left|w + \overline{w} -1\right|}{|w|} &= 2\\ \left|\dfrac{w + \overline{w}}{2} -\dfrac{1}{2}\right| &= |w|\\ \left|\mathrm{Re}(w) -\dfrac{1}{2}\right| &= |w|\\ \end{aligned} これは，ww が，xyxy 平面上において，x=12x = \dfrac{1}{2} を準線，(0,0)(0,0) を焦点とする放物線上に位置することを表す。つまり，w=x+iyw = x+iy と置いた時に，y2=4(−14)(x−14)x=−y2+14 \begin{aligned} y^2 &= 4\left(-\dfrac{1}{4}\right)\left(x-\dfrac{1}{4}\right)\\ x &= -y^2 + \dfrac{1}{4} \end{aligned} を満たす。

さて，ww の動き得る範囲について考える。zz は C′C' を動くので，そこから 11 を引いた z−1z-1 は次の図の太線円弧上のような範囲を動く。 z-1の動く範囲 よって，2π3≤arg⁡(z−1)≤4π34π3≤2arg⁡(z−1)≤8π3−8π3≤−2arg⁡(z−1)≤−4π3 \dfrac{2\pi}{3} \leq \arg(z-1) \leq \dfrac{4\pi}{3}\\ \dfrac{4\pi}{3} \leq 2\arg(z-1) \leq \dfrac{8\pi}{3}\\ \dfrac{-8\pi}{3} \leq -2\arg(z-1) \leq \dfrac{-4\pi}{3}\\ ここで w=1(z−1)2w = \dfrac{1}{(z-1)^2} であることを考えると −8π3≤arg⁡w≤−4π3−2π3≤arg⁡w≤2π3 \dfrac{-8\pi}{3} \leq \arg w \leq \dfrac{-4\pi}{3}\\ \dfrac{-2\pi}{3} \leq \arg w \leq \dfrac{2\pi}{3}\\ よって，軌跡を図示すると，以下の太線部のようになる。

第五問(2)

式で表せば，以下の通り： {y2=−x+14x≥−12 \begin{cases} y^2 = -x + \dfrac{1}{4}\\ x \geq -\dfrac{1}{2} \end{cases}

前半部分の上手いやり方を本番で思いつくのはなかなか難しいと思います。今回は，∣w+w‾−1∣∣w∣\dfrac{\left|w + \overline{w} -1\right|}{|w|} のなかに w+w‾w+\overline{w} が入っており，w=x+iyw = x+iy と置いても数式がそれほど複雑にならないので，最初からこの方法で考えてもさほど大変ではないでしょう。（この問題の場合は上手いやり方はないかと考えるよりも，最初からこの方法で考えた方がむしろ早いかもしれません。）

第五問(2)別解

(1)の答え ∣w+w‾−1∣∣w∣=2 \dfrac{\left|w + \overline{w} -1\right|}{|w|} = 2 を，w=x+iyw = x + iy とおいて変形すると，∣x+iy+x−iy−1∣x2+y2=2∣2x−1∣x2+y2=2∣2x−1∣2=4(x2+y2)∴y2=−x+14 \begin{aligned} \dfrac{|x+iy + x - iy - 1|}{\sqrt{x^2+y^2}}&=2\\ \dfrac{|2x - 1|}{\sqrt{x^2+y^2}}&=2\\ |2x-1|^2 &= 4(x^2+y^2)\\ \therefore y^2 = -x + \dfrac{1}{4} \end{aligned} 以下同様。

第六問[空間図形・積分]

第六問

座標空間内の 44 点 O(0,0,0), A(1,0,0), B(1,1,0), C(1,1,1)O(0,0,0),~A(1,0,0),~B(1,1,0),~C(1,1,1) を考える。12<r<1\dfrac{1}{2}<r<1 とする。点 PP が線分 OA, AB, BCOA,~AB,~BC 上を動くときに点 PP を中心とする半径 rr の球（内部を含む）が通過する部分を，それぞれ V1,V2,V3V_1, V_2, V_3 とする。

(1) 平面 y=ty = t が V1,V3V_1, V_3 双方と共有点をもつような tt の範囲を与えよ。さらに，この範囲の tt に対し，平面 y=ty = t と V1V_1 の共通部分および平面 y=ty = t と V3V_3 の共通部分を同一平面上に図示せよ。

(2) V1V_1 と V3V_3 の共通部分が V2V_2 に含まれるための rr についての条件を求めよ。

(3) rr は(2)の条件を満たすとする。V1V_1 の体積を SS とし，V1V_1 と V2V_2 の共通部分の体積を TT とする。V1,V2,V3V_1, V_2, V_3 を合わせて得られる立体 VV の体積を SS と TT を用いて表せ。

(4) ひきつづき rr は(2)の条件を満たすとする。SS と TT を求め，VV の体積を決定せよ。

問題文がちょっと長いですね・・・。最終問題にこの問題があったら遠ざけたくなってしまいます。時間的にもきびしく，2018の本番の試験を受けていた受験生の中でも，この問題の最後までたどり着けた人はほとんどいなかったと思います。

ただ，この問題は六問の中で一番誘導が丁寧であり，腰を据えてじっくり取り組めば，東大受験生であればなんとか答えが出せる問題です。問題自体の難易度が高すぎるというわけではありません。立体の切り口を丁寧に考える練習ができる学習価値の高い問題ですので，しっかり学習しましょう。

まず，(1)です。三次元座標空間の図を書いて，立体を想像しましょう。平面 y=ty = t が V1V_1 と共通部分をもつ範囲，平面 y=ty = t が V3V_3 と共通部分をもつ範囲をそれぞれ独立に考えていきます。断面における2円の半径の大小によって，図示の状況が変わるため，場合分けが必要になることに注意してください。

第六問(1)

第六問立体座標

平面 y=ty = t が V1V_1 と共通部分を持つような tt は，−r≤t≤r -r \leq t \leq r 平面 y=ty = t が V3V_3 と共通部分を持つような tt は，1−r≤t≤1+r 1-r \leq t \leq 1+r 12<r<1\dfrac{1}{2} < r < 1 より，小さい順に −r<1−r<r<1+r-r<1-r<r<1+r であるから，これらの共通範囲は 1−r≤t≤r 1-r \leq t \leq r が題意を満たす tt の範囲である。

さて，y=ty = t と V1V_1 の共通部分は，ある点 QQ が2点 (0,t,0),(1,t,0)(0,t,0), (1,t,0) による線分上を動く時，点 QQ を中心とする半径 r2−t2\sqrt{r^2-t^2} の xzxz 平面に平行な円板の通過する部分である。また，y=ty = t と V3V_3 の共通部分は，ある点 QQ が2点 (1,t,0),(1,t,1)(1,t,0), (1,t,1) による線分上を動く時，点 QQ を中心とする半径 r2−(1−t)2\sqrt{r^2-(1-t)^2}