東大理系数学2019の入試問題・解答解説・難易度

2019-03-13

※以下の解答・解説は当ブログのオリジナルのものであり東京大学が公表しているものではありません。

私がおすすめする過去問題集について説明した記事はこちら↓ 関連記事を見る

第一問

第一問は以下のような出題でした。

第一問の難易度分析

ただの定積分を求めさせる問題です。東大の数学の問題では初めてこのような形式の問題が出題されたのではないでしょうか。

非常に易しい問題で10〜15分程度で完答したいでしょう。

第一問を解く上での考え方・ポイント

ただただ展開して積分計算をしていくだけです。ただし、そのままうまく積分計算できないものは、x=tanθx=\tan \thetaと置換することになります。これは、積分における置換積分の鉄則のようなものですね。

積分でa2+x2a^2+x^2の形が出てきたらx=atanθx=a\tan\thetaと置換する

シンプルに計算していけば簡単に答えは出るんですが、それではつまらないので、式の特徴を捉えて簡単に計算できる方法がないか考えてみましょう。

 

式を見てみると、右側のかっこの中身は、

x11+x2x-\frac{1}{\sqrt{1+x^2}}

を微分した形になっているので、部分積分を狙えそうですよね。ただ、このままでは部分積分を実行しても計算は簡単になりません。この部分について、もし仮に真ん中の符号がプラスだったら、

x{12(x+11+x2)2}x\left\{\frac{1}{2}\left(x+\frac{1}{\sqrt{1+x^2}}\right)^2\right\}^{\prime}

として、部分積分することでかなりきれいな形になりますよね。この発想から、被積分関数を

x(x+11+x2)(x11+x2)+2x(x+11+x2)x\left(x+\frac{1}{\sqrt{1+x^2}}\right)\left(-x-\frac{1}{\sqrt{1+x^2}}\right)^{\prime}+2x\left(x+\frac{1}{\sqrt{1+x^2}}\right)

と変形すれば、部分積分によってきれいな形になります。第二項はそのまま積分できる関数ですよね。

 

これで計算が簡単になったかというと微妙なところですが、この方針で記述を書いてみると以下のようになります。

01(x2+x1+x2)(1+x(1+x2)1+x2)dx=01x(x+11+x2)(x11+x2)dx+201x(x+11+x2)dx\begin{align*}&\int_{0}^{1}\left(x^2+\frac{x}{\sqrt{1+x^2}}\right)\left(1+\frac{x}{(1+x^2)\sqrt{1+x^2}}\right)dx\\=&\int_{0}^{1}x\left(x+\frac{1}{\sqrt{1+x^2}}\right)\left(-x-\frac{1}{\sqrt{1+x^2}}\right)^{\prime}dx+2\int_{0}^{1}x\left(x+\frac{1}{\sqrt{1+x^2}}\right)dx\end{align*}

この第一項については、部分積分を用いて、

01x(x+11+x2)(x11+x2)dx=[x2(x+11+x2)2]01+1201(x+11+x2)2dx=12(1+12)2+1201(x2+2x1+x2+11+x2)2dx=3422+12[x33+21+x2]01+120111+x2dx=1912+22+120111+x2dx\begin{align*}&\int_{0}^{1}x\left(x+\frac{1}{\sqrt{1+x^2}}\right)\left(-x-\frac{1}{\sqrt{1+x^2}}\right)^{\prime}dx\\=&\left[-\frac{x}{2}\left(x+\frac{1}{\sqrt{1+x^2}}\right)^2\right]_{0}^{1}+\frac{1}{2}\int_{0}^{1}\left(x+\frac{1}{\sqrt{1+x^2}}\right)^2dx\\=&-\frac{1}{2}\left(1+\frac{1}{\sqrt{2}}\right)^2+\frac{1}{2}\int_{0}^{1}\left(x^2+\frac{2x}{\sqrt{1+x^2}}+\frac{1}{1+x^2}\right)^2dx\\=&-\frac{3}{4}-\frac{\sqrt{2}}{2}+\frac{1}{2}\left[\frac{x^3}{3}+2\sqrt{1+x^2}\right]_{0}^{1}+\frac{1}{2}\int_{0}^{1}\frac{1}{1+x^2}dx\\=&-\frac{19}{12}+\frac{\sqrt{2}}{2}+\frac{1}{2}\int_{0}^{1}\frac{1}{1+x^2}dx\end{align*}

ここで、x=tanθx=\tan\thetaとすれば、

120111+x2dx=120π4dθ=π8\frac{1}{2}\int_{0}^{1}\frac{1}{1+x^2}dx=\frac{1}{2}\int_{0}^{\frac{\pi}{4}}d\theta=\frac{\pi}{8}

である。

さらに、

201x(x+11+x2)dx=2[x33+1+x2]01=43+22\begin{align*}&2\int_{0}^{1}x\left(x+\frac{1}{\sqrt{1+x^2}}\right)dx\\=&2\left[\frac{x^3}{3}+\sqrt{1+x^2}\right]_{0}^{1}\\=&-\frac{4}{3}+2\sqrt{2}&\end{align*}

以上より、求める値は、

1912+22+π8+43+22=3512+522+π8\begin{align*}&-\frac{19}{12}+\frac{\sqrt{2}}{2}+\frac{\pi}{8}+-\frac{4}{3}+2\sqrt{2}\\=&\boldsymbol{-\frac{35}{12}+\frac{5\sqrt{2}}{2}+\frac{\pi}{8}}\end{align*}

第二問

第二問は以下のような出題でした。

第二問の難易度分析

図形と絡めた最大最小問題です。難易度としては標準的でしょう。

自分でどこかの辺の長さを文字でおいてから、条件を数式化していくことになりますが、等式を用いて適切に文字消去を行っていくことによって、最終的に求めたい関数は1変数関数となります。(そのため文字固定などの議論は必要ありません。)

1変数までになったら、あとは微分によって簡単に最大値最小値が求まりますよね。

設定した文字の動く範囲がどうなるのかをしっかりと考えられれば難しくない問題でしょう。

第二問を解く上での考え方・ポイント

まず、どこの長さを文字でおくかに迷うかと思いますが、DRAQ\frac{\mathrm{DR}}{\mathrm{AQ}}の変域について最終的に考えたいので、AQ=x,DR=y\mathrm{AQ}=x,\,\mathrm{DR}=yとおいてしまえばよいでしょう。

このときに、文字の変域も設定することを忘れてはいけません。ひとまずは、0<x1,0y10< x\leqq 1,\,0\leqq y\leq1が必要ですね。(x=0x=0のときは三角形APQ\mathrm{APQ}の面積が13\frac{1}{3}になりえません。)

あとは面積についての条件が2つ与えられているので、それをx,yx,\,yの条件として数式化していくことになります。その条件から、AP=23x\mathrm{AP}=\frac{2}{3x}がわかりますが、AP\mathrm{AP}にも0<AP10< \mathrm{AP}\leqq 1の制約がつくので、

0<23x123x0< \frac{2}{3x}\leqq 1\Leftrightarrow \frac{2}{3}\leqq x

が得られます。この変域の条件を考え忘れていなければ、正しく最大値・最小値が求められます。

以下、解答例を示しておきます。

AQ=x,DR=y\mathrm{AQ}=x,\,\mathrm{DR}=yとおくと、0<x1,0y10< x\leqq 1,\,0\leqq y\leq1である。

また、三角形APQ\mathrm{APQ}の面積が13\frac{1}{3}であることから、AP=23x\mathrm{AP}=\frac{2}{3x}であるので、0<AP10< \mathrm{AP}\leqq 1より、

0<23x10<\frac{2}{3x}\leqq 1

である。0<x10< x\leqq 1と合わせて、23x1\frac{2}{3}\leqq x\leqq 1がわかる。

また、三角形PQR\mathrm{PQR}の面積も13\frac{1}{3}であることから、

12(23x+y)12(1x)y=23yx=43x223x3\begin{align*}& \frac{1}{2}\left(\frac{2}{3x}+y\right)-\frac{1}{2}(1-x)y=\frac{2}{3}\\\Leftrightarrow &\frac{y}{x}=\frac{4}{3x^2}-\frac{2}{3x^3}\end{align*}

したがって、この右辺をf(x)f(x)とすれば、23x1\frac{2}{3}\leqq x\leqq 1の範囲におけるf(x)f(x)の最大値・最小値を求めればよい。

f(x)=68x3x4f'(x)=\frac{6-8x}{3x^4}

であるから、増減表は以下のようになる。

x23341f(x)+0f(x)34648123\begin{array}{|c||c|c|c|c|c|} \hline x&\frac{2}{3}&\cdots&\frac{3}{4}&\cdots&1\\\hline f'(x)&&+&0&-&\\\hline f(x)&\frac{3}{4}&\nearrow&\frac{64}{81}&\searrow&\frac{2}{3}\\\hline\end{array}

したがって、最大値6481\boldsymbol{\frac{64}{81}}、最小値23\boldsymbol{\frac{2}{3}}

第三問

第三問は以下のような出題でした。

第三問の難易度分析

標準的な難易度の空間図形の問題です。空間図形を切り口で捉えるように丁寧な誘導がついていますが、ある程度は空間のイメージを持っていないと解きづらい問題になっているように思います。

(2)では、八角形である条件とは結局何なのか、という点について考えたいところです。

また、(3)では、やや長い問題文になっていますが、結局はy0,z0y\geqq 0,\,z\geqq 0の範囲にある八角形の頂点がどれなのかを把握して、それらのyy座標とzz座標を知ることが課題です。

このように、「結局何を問われているのか」という点に注目することができれば完答できる内容の問題だったでしょう。

第三問(1)を解く上での考え方・ポイント

八面体PABCDE\mathrm{PABCDE}y=0y=0で切断すると、四角形PCEA\mathrm{PCEA}が断面として出てくるのはすぐに分かると思います。

平面α\alphaについては、点P\mathrm{P}、線分MN\mathrm{MN}の中点である(1,0,0)(1,\,0,\,0)α\alpha上にもy=0y=0上にもある点なので、切り口は(1,0,0)(1,\,0,\,0)と点P\mathrm{P}を結ぶ直線になります。

P\mathrm{P}の位置によって共有点を持つ部分は変化していくので、3通りの図を描いておく必要があります。

図を描くまでの記述はかなりあっさりしていて大丈夫でしょう。

八面体PABCDE\mathrm{PABCDE}の切り口は四角形PCEA\mathrm{PCEA}である。また、線分MN\mathrm{MN}の中点である(1,0,0)(1,\,0,\,0)α\alpha上にもy=0y=0上にもある点より、平面α\alphaの切り口は(1,0,0)(1,\,0,\,0)と点P\mathrm{P}を結ぶ直線になる。したがって、これらをxzxz平面上に図示すると下図のようになる。

第三問(2)を解く上での考え方・ポイント

(1)で図を描かされたのが大きなヒントになっています。図を見てみると、ppの値によって、平面α\alphaと四角形PCEA\mathrm{PCEA}の交わる部分が変化することに気が付きます。

具体的には、(1)の図で点P\mathrm{P}α\alphaの切り口よりも右側に来たときには、線分PC\mathrm{PC}α\alphaと交わることがわかります。このとき、線分PB\mathrm{PB}PD\mathrm{PD}α\alphaと交わることになりますよね。

すると、共有点の個数が8つになって、断面が八角形になります。これを記述すればよいでしょう。

z0z\leqq 0の部分について、八面体PABCDE\mathrm{PABCDE}と平面α\alphaは、線分AB\mathrm{AB}AD\mathrm{AD}BE\mathrm{BE}CE\mathrm{CE}DE\mathrm{DE}と交わるので、α\alphaによる切り口が八角形になるには、z>0z>0において、八面体PABCDE\mathrm{PABCDE}が平面α\alphaと3つの辺で共有点を持てばよい。

(1)の図より、xzxz平面において、点P\mathrm{P}z<x1z< x-1の領域にあるとき、線分PB\mathrm{PB}PC\mathrm{PC}PD\mathrm{PD}の3つがα\alphaと交わることになるから、求めるppの条件は、

2<p1かつ2<p<43<p<42<p-1\text{かつ}2<p<4\Leftrightarrow \boldsymbol{3<p<4}

第三問(3)を解く上での考え方・ポイント

結局、y0,z0y\geqq 0,\,z\geqq 0の範囲にある八角形の頂点の座標を求めるのがやるべきことですね。少し立体図の想像が必要になりますが、この領域内にある八角形の頂点は、線分AB\mathrm{AB}PB\mathrm{PB}PC\mathrm{PC}と平面α\alphaの交点です。

この3つの頂点の座標を求めてyzyz平面への射影を図示し、面積を求めるだけです。3点の座標を求めればいい、ということに気づけば難なく解ける問題でしょう。

最後の面積を求めるところでは、三角形2つに分割して計算するのが楽です。

以下、解答例を示しておきます。

PB\mathrm{PB}PC\mathrm{PC}と平面α\alphaの交点をそれぞれF\mathrm{F}G\mathrm{G}と名付けると、切り口の八角形の頂点のうち、y0,z0y\geqq 0,\,z\geqq 0の範囲にあるのはM\mathrm{M}F\mathrm{F}G\mathrm{G}の3点。

まず、点F\mathrm{F}について、線分BF\mathrm{BF}xzxz平面への正射影はz=2px(0xp)z=\frac{2}{p}x(0\leqq x\leqq p)であるから、これと直線z=x1z=x-1からxxを消去して、

z=p2z1z=2p2z=\frac{p}{2}z-1\Leftrightarrow z=\frac{2}{p-2}

よって、点F\mathrm{F}は線分BP\mathrm{BP}2p2:22p2\frac{2}{p-2}:2-\frac{2}{p-2}に内分する点だとわかるので、点F\mathrm{F}yy座標は、

22p2=2p6p22-\frac{2}{p-2}=\frac{2p-6}{p-2}

となる。

また、点G\mathrm{G}について、線分PC\mathrm{PC}z=2p+2(x+2)(2xp)z=\frac{2}{p+2}(x+2)(-2\leqq x\leqq p)であるから、これと直線z=x1z=x-1からxxを消去して、

z=2p+2(z+3)z=6pz=\frac{2}{p+2}(z+3)\Leftrightarrow z=\frac{6}{p}

したがって、3点M\mathrm{M}F\mathrm{F}G\mathrm{G}yzyz平面への正射影は以下の図のようになる。

したがって、求める面積は、

1212p2+126p2p6p2=7p18p(p2)\begin{align*}&\frac{1}{2}\cdot1\cdot\frac{2}{p-2}+\frac{1}{2}\cdot\frac{6}{p}\cdot\frac{2p-6}{p-2}\\=&\boldsymbol{\frac{7p-18}{p(p-2)}}\end{align*}

第四問

第四問は以下のような出題でした。

第四問の難易度分析

易しい整数問題です。整数問題で平方数が絡んだ問題では法を4とした合同式を扱うことが多いという話を以下の記事でしていますが、そのあたりの知識があると(1)はかなりスムーズに解けるかと思います。

整数問題の解法については以下の記事にまとめています。

関連記事を見る (2)は2通りの場合分けをすることになりますが、思考停止で法を4とした合同式だけを考えていると苦しい展開になります。冷静に今の状況を見て適切に方針を切り替えることを考えましょう。

第四問(1)を解く上での考え方・ポイント

「最大公約数」と言われれば、真っ先に思いつくのがユークリッドの互除法ですよね。今回の問題でも、「互除法だけで解決するかはわからないけど、課題を簡単にするために一度互除法を使おう」くらいの気持ちで互除法を試してみるべきです。

実行してみると、

5n2+9=5(n2+1)+45n^2+9=5(n^2+1)+4

となり、dnd_nn2+1n^2+144の最大公約数に等しいことがわかります。ここで、整数問題で頻出の以下の事項を思い出しましょう。

平方数が出てくるときには4で割ったあまり・3で割ったあまりに注目することが多い!

今回は、n2n^2という平方数の形が出てきて、かつ、44で割ったあまりに注目することになっており、納得の展開となっていますね。

nnが奇数のときは44で割ったときのあまりが11になり、偶数のときはあまりが00になることを述べてあげればよいでしょう。

以下、記述例になります。

ユークリッドの互除法を用いると、

5n2+9=5(n2+1)+45n^2+9=5(n^2+1)+4

であるから、dnd_nn2+1n^2+144の最大公約数に等しいことがわかる。

ここで、ある整数nnについて、n2n^244で割ったあまりはnnが奇数のとき11nnが偶数のとき00となるので、nnが奇数のときn2+1n^2+144で割って22余る数、nnが偶数のときn2+1n^2+144は互いに素である。したがって、

{dn=1(nが偶数のとき)dn=2(nが奇数のとき)\left\{\begin{array}{l}\boldsymbol{d_n=1(n\text{が偶数のとき})}\\\boldsymbol{d_n=2(n\text{が奇数のとき})}\end{array}\right.

第四問(2)を解く上での考え方・ポイント

(1)が誘導になっていることを意識しましょう。(n2+1)(5n2+9)(n^2+1)(5n^2+9)が平方数になるときは、k,lk,\,lを互いに素でかつ、dnd_nとも互いに素な自然数として、

{n2+1=dnk25n2+9=dnl2\left\{\begin{array}{l}n^2+1=d_nk^2\\5n^2+9=d_nl^2\end{array}\right.

と表せることと等しいですよね。これを満たすようなk,lk,\,lが存在しないことをdn=1,2d_n=1,\,2のそれぞれの場合で示せばよいわけです。

dn=1d_n=1のときは、

n2+1=k2(kn)(k+n)=1n^2+1=k^2\Leftrightarrow (k-n)(k+n)=1

と因数分解できて、これを満たすような自然数k,nk,\,nの組がないことを示してあげればOKです。これは簡単ですね。

受験生が苦戦したと思われるのがdn=2d_n=2のときです。

このときは、

{n2+1=2k25n2+9=2l2\left\{\begin{array}{l}n^2+1=2k^2\\5n^2+9=2l^2\end{array}\right.

となり、2式とも先ほどのように因数分解はできないので、別の解法を考えることになります。整数問題の解法は主に以下の3つでした。

整数問題の解法3パターン!

1.因数分解

2.合同式

3.範囲の絞り込み

平方数が出てきているので、合同式による解法を次に考えましょう。(1)で法を44とした合同式を考えますが、n,k,ln,\,k,\,lがすべて11と合同であれば2式を満たしており、うまくいきません。

「他の解法を考えようかな…」となってしまいそうですが、ちょっと考えてみてください。合同式の法を44として考えたときは、n2+15n2+9n^2+1\equiv 5n^2+9が成り立つことから、せっかく2式あるのに1つしか条件を考えていないことになってしまいます

実はこういうときには、合同式の法は44ではなく、88を選ぶとさらに細かく条件を考えることができます。

以上を踏まえて答案を書くと以下のようになります。

(n2+1)(5n2+9)(n^2+1)(5n^2+9)が平方数であると仮定する。

(i)dn=1d_n=1のとき、k,lk,\,lを互いに素な自然数として、

{n2+1=k25n2+9=l2\left\{\begin{array}{l}n^2+1=k^2\\5n^2+9=l^2\end{array}\right.

が成立する。

n2+1=k2(kn)(k+n)=1n^2+1=k^2\Leftrightarrow (k-n)(k+n)=1

であり、k,nk,\,nは自然数でk+n>0k+n>0より、k+n=1k+n=1かつkn=1k-n=1が必要であるが、これを解くと(k,n)=(12,0)(k,\,n)=\left(\frac{1}{2},\,0\right)となり、kkが自然数でないので不適。

(ii)dn=2d_n=2のとき、k,lk,\,lを奇数である互いに素な自然数として、

{n2+1=2k25n2+9=2l2\left\{\begin{array}{l}n^2+1=2k^2\\5n^2+9=2l^2\end{array}\right.

が成立する。このとき、(1)よりnnは奇数であり、以下合同式の法を88とすれば、

n±1n21n\equiv \pm 1\Rightarrow n^2\equiv 1

n±3n21n\equiv \pm 3\Rightarrow n^2\equiv 1

が成立するので、n21n^2\equiv 1がわかる。llは奇数だからl2l^2についても同様のことが言えるので、l21l^2\equiv 1がわかる。よって、

5n2+965n^2+9\equiv 6

2l222l^2\equiv 2

が言えるので、5n2+9=2l25n^2+9=2l^2は成立しえず不適。

 

以上(i)(ii)より、(n2+1)(5n2+9)(n^2+1)(5n^2+9)が平方数となる自然数nnは存在しないことが示された。

別解

実質的には合同式の法を88として考えることと同じですが、2式を足し引きして出来た式の両辺を22で割ったあとに法を44とする合同式を考えてもうまくいきます。

((i)までは同じ)

(ii)dn=2d_n=2のとき、k,lk,\,lを奇数である互いに素な自然数として、

{n2+1=2k25n2+9=2l2\left\{\begin{array}{l}n^2+1=2k^2\\5n^2+9=2l^2\end{array}\right.

が成立する。2式を辺々足すと、

6n2+10=2(k2+l2)3n2+5=k2+l26n^2+10=2(k^2+l^2)\Leftrightarrow 3n^2+5=k^2+l^2

ここで、(1)よりnnは奇数であり、3n2+53n^2+544で割ったあまりは00となる。また、k,lk,\,lは奇数であるから、k2+l2k^2+l^244で割ったあまりは22となる。

よって、3n2+5=k2+l23n^2+5=k^2+l^2は成立しえず不適。

(以下略)

第五問

第五問は以下のような出題でした。

第五問の難易度分析

微分と極限が関わるやや難しい問題です。

問題の中では方程式の話になっていますが、与えられた方程式をグラフで考えることによって解答の方針がかなり立ちやすくなると思います。このように、代数と幾何の行き来は難関大の問題を解く上では非常に重要になるので、日頃から意識して練習しておくと良いでしょう。

(2)は(3)を解くための誘導になっていますが、aaを求めるところまでしか役立たず、その先は少し考察が必要です。特に、ccを求める議論は思いつかなかったという受験生が多いのではないかと予想します。

第五問(1)を解く上での考え方・ポイント

「ただ1つの実数解を持つ」ことを示すときには、「微分して単調性を示す」というのがあるあるな解法ですよね。しかしながら、今回は(左辺)(右辺)(\text{左辺})-(\text{右辺})をただただ微分すると、

(2n1)x2n2+sinx(2n-1)x^{2n-2}+\sin x

となり、常に正であるとも常に負であるとも言えません。こういうときには、グラフの概形を描いて状況を整理するのが有効です。例として、y=x3y=x^3y=cosxy=\cos xのグラフを描くと以下の図のようになります。

そうすると、0x10\leqq x\leqq 1の範囲で解を持っていて、1x<0-1\leqq x<0の範囲では正負が異なり、それ以外の範囲ではx2n1x^{2n-1}の絶対値が11を超えてしまうので解を持ち得ないことが図からわかります。したがって、これらで場合分けをして議論してあげればよさそうです。

以下、解答例になります。

(i)0x10\leqq x\leqq 1のとき、

f(x)=x2n1cosxf(x)=x^{2n-1}-\cos xとすると、

f(x)=(2n1)x2n2+sinxf'(x)=(2n-1)x^{2n-2}+\sin x

n1n\geqq 1より、(2n1)x2n20(2n-1)x^{2n-2}\leqq 0であり、0x1(<π)0\leqq x\leqq 1(< \pi)よりsinx0\sin x\geqq 0であるから、f(x)0f'(x)\geqq 0がわかる。(ただし、f(x)=0f'(x)=0となるのはx=0x=0のときのみ)

よって、この区間でf(x)f(x)は単調増加する。また、f(0)=1(<0)f(0)=-1(<0)f(1)=1cos1>1cos0=0f(1)=1-\cos 1>1-\cos 0=0であるから、中間値の定理より、f(x)=0f(x)=00<x<10<x<1においてちょうど1つ実数解を持つ。

(ii)x>1|x|>1のとき、

x2n1>1|x^{2n-1}|>1かつcosx1|\cos x|\leqq 1より、与えられた方程式は実数解を持ちえない。

(iii)1x<0-1\leqq x<0のとき、

x2n1<0x^{2n-1}<0であり、(π2<)1x<0(-\frac{\pi}{2}<)-1\leqq x<0においてcosx>0\cos x>0であるから、与えられた方程式は実数解を持ちえない。

 

以上より、x2n1=cosxx^{2n-1}=\cos x0<an<10<a_n<1なるただ1つの実数解ana_nを持つことが示された。

第五問(2)を解く上での考え方・ポイント

(1)が分かればこれは簡単ですね!サービス問題です。

0<an<1(<π2)0<a_n<1(<\frac{\pi}{2})であり、cosx\cos{x}0<x<π20<x<\frac{\pi}{2}において単調減少するから、

cosan>cos1\cos {a_n}>\cos 1

が成り立つことが示された。

第五問(3)を解く上での考え方・ポイント

(1)(2)までの議論をもとに、極限を3つ求めます。まず、aaについては、(1)の議論を踏まえると11が極限値になるのではないかと簡単に予想がつきます。

an<1a_n<1はすでに示されているので、あとはana_nを下から評価してはさみうちの原理を用いてあげれば良さそうです。ana_nより常に小さく、極限値が11になるようなものはどうやって見つければよいでしょうか?

そこで(2)が誘導になっていないかを考えます。

図を改めて描いてみると、x2n1=cos1x^{2n-1}=\cos 1となるxxは常にana_nよりも左側に位置していることがわかりますよね。よって、(cos1)12n1<an<1(\cos 1)^{\frac{1}{2n-1}}<a_n<1としてはさみうちの原理を適用してあげればよさそうです!

続いて、bbについては、(cos1)12n1<an<1(\cos 1)^{\frac{1}{2n-1}}<a_n<1を辺々nn乗しても、左右で極限値が異なるのではさみうちの原理は使えません。そこで、そもそもana_nがどういう数だったかを思い出しましょう。

ana_nx2n1=cosxx^{2n-1}=\cos xの解なので、ann=(cosan)n2n1a_n^n=(\cos a_n)^{\frac{n}{2n-1}}と変形することができます。こうすれば、極限計算ができる形になりますよね。

 

こういうタイプの極限の話は2018年の夏の河合塾東大即応オープン模試第四問で出題されていました

この問題の解説は以下になります。(興味のない方は読み飛ばしてもらって大丈夫です。)

この問題の解説を読む

難易度分析

標準的な関数と極限の問題です。

「ただ1つの共有点をもつ」ことを示すためには、微分によって関数の差の単調性を示すことが圧倒的に多いため、微分をする必要性が出てきそうです。

 

あとは、積分と極限です。共有点の座標が具体的には求まらず、不等式によって評価されているだけなので、積分値を不等式で評価するしかなく、はさみうちの定理を用いる展開が容易に想像がつきます。

ただ、意外とこの問題は難しく、誤答が相次いだのではないかと思います

(1)を解く上での考え方・ポイント

接線とグラフの共有点を求める問題です。接線の式は、

l:y=2nx+2nl:y=2nx+2n

となるので、あとはCCの式と連立してyyを消去します。yyを消去すると、

x2n+1(2n+1)x2n=0x^{2n+1}-(2n+1)x-2n=0

となります。ここで、左辺をg(x)g(x)とおいて微分すると、

g(x)=(2n+1)x2n(2n+1)g'(x)=(2n+1)x^{2n}-(2n+1)

となるので、x=1x=1の前までは単調減少し、x=1x=1のあとでは単調増加することがわかります。これと、g(1)=4n(<0)g(1)=-4n(<0)であることから、上の方程式は異なる実数解をちょうど2つもつことが分かり、そのうちの1つがx=1x=-1なので証明完了ですね。

 

あとは、tn<1+2nt_n<1+\sqrt{\frac{2}{n}}を示すだけです。今までの議論から、これは、g(1+2n)g\left(1+\sqrt{\frac{2}{n}}\right)が正であることと同値ですよね。2項展開を考えれば、

g(1+2n)=(1+2n)2n+1(2n+1)(1+2n)2n1+(2n+1)2n+2n+1C22n(2n+1)(1+2n)2n=2>0\begin{align*}&g\left(1+\sqrt{\frac{2}{n}}\right)\\=&\left(1+\sqrt{\frac{2}{n}}\right)^{2n+1}-(2n+1)\left(1+\sqrt{\frac{2}{n}}\right)-2n\\\geqq & 1+(2n+1)\sqrt{\frac{2}{n}}+_{2n+1}C_2\cdot\frac{2}{n}-(2n+1)\left(1+\sqrt{\frac{2}{n}}\right)-2n\\=&2>0\end{align*}

という不等式が成り立つので、tn<1+2nt_n<1+\sqrt{\frac{2}{n}}であることも証明できました。

(2)を解く上での考え方・ポイント

(2)はあとは、積分してから極限計算をするだけです。tn\boldsymbol{t_n}の具体的な値を求めることはできないので、はさみうちの定理の利用を考えます

積分を実行すると、

Sn=1tng(x)dx=[12n+2x2n+2+2n+12x2+2nx]1tn=12n+2(1tn2n+2)+2n+12(tn21)+2n(tn+1)\begin{align*}&S_n\\=&\int_{-1}^{t_n}|g(x)|dx\\=&\left[-\frac{1}{2n+2}x^{2n+2}+\frac{2n+1}{2}x^2+2nx\right]_{-1}^{t_n}\\=&\frac{1}{2n+2}(1-t_n^{2n+2})+\frac{2n+1}{2}(t_n^2-1)+2n(t_n+1)\end{align*}

となります。ここまでは誰でもたどり着けますが、極限計算で以下のような誤答が相次いだのではないかと思います

【誤答例】

1<tn<1+2n1<t_n<1+\sqrt{\frac{2}{n}}であるから、

Snn>1n(2n+2)(1(1+2n)2n+2)+44(n)Snn<2+1n2((1+2n)21)+2(2+2n)4(n)\begin{align*}\frac{S_n}{n}>&\frac{1}{n(2n+2)}\left(1-\left(1+\sqrt{\frac{2}{n}}\right)^{2n+2}\right)+4\\\rightarrow &4(n\rightarrow \infty)\\\frac{S_n}{n}<&\frac{2+\dfrac{1}{n}}{2}\left(\left(1+\sqrt{\frac{2}{n}}\right)^2-1\right)+2\left(2+\sqrt{\frac{2}{n}}\right)\\\rightarrow &4(n\rightarrow \infty)\end{align*}

したがって、はさみうちの定理から、

limnSnn=4\lim_{n\to \infty}\frac{S_n}{n}=4

この答案はどこが誤っているか分かりますか?

 

1n(2n+2)(1(1+2n)2n+2)+4\frac{1}{n(2n+2)}\left(1-\left(1+\sqrt{\frac{2}{n}}\right)^{2n+2}\right)+4の極限を考える部分が違いますね。上の誤答例では、

limn(1+2n)2n+2=1\lim_{n \to \infty}\left(1+\sqrt{\frac{2}{n}}\right)^{2n+2}=1

だと考えてしまっていますが、これはいわゆる11^{\infty}の不定形の形ですね。この不定形は、ネイピア数eeの定義式の形に持っていって極限計算をするのでした。

11^{\infty}の形の不定形は、ネイピア数eeの定義式

e=limx(1+1x)xe=\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x

の形に変形して計算する。

よって、正しい極限計算は、

limn(1+2n)2n+2=limn((1+2n)n2)2(2n+2)2n=\begin{align*}&\lim_{n \to \infty}\left(1+\sqrt{\frac{2}{n}}\right)^{2n+2}\\=&\lim_{n \to \infty}\left(\left(1+\sqrt{\frac{2}{n}}\right)^{\sqrt{\frac{n}{2}}}\right)^{\sqrt{\frac{2(2n+2)^2}{n}}}\\=&\infty\end{align*}

となります。したがって、上の方針でははさみうちの定理が使えないわけです。

 

では、どのように解けばいいのでしょうか?

うまく極限が求まらない原因は、tn2n+2\boldsymbol{t_n^{2n+2}}の項があることですよね。そもそもtnt_nはどんな数だったかというと、g(x)=0g(x)=0の解でした。

 

そこで、tn\boldsymbol{t_n}について成り立つ式g(tn)=0\boldsymbol{g(t_n)=0}を用いて次数下げをしてあげましょう。そうすることで、tnt_nの指数が無限大に発散する事態を解消できそうです。

 

g(tn)=0g(t_n)=0より、tn2n+1=2ntn+2nt_n^{2n+1}=2nt_n+2nが成り立つので、これを代入して、

Sn=12n+2(12ntn22ntn)+2n+12(tn21)+2n(tn+1)S_n=\frac{1}{2n+2}(1-2nt_n^2-2nt_n)+\frac{2n+1}{2}(t_n^2-1)+2n(t_n+1)

が成り立ちます。ここで、1<tn<1+2n1<t_n<1+\sqrt{\frac{2}{n}}であるから、

Snn>12n+2(1n2(1+22n+2n)2(1+2n))+44(n)Snn<12n+2(1n22)+2+1n2((1+2n)21)+2(2+2n)4(n)\begin{align*}\frac{S_n}{n}>&\frac{1}{2n+2}\left(\frac{1}{n}-2\left(1+2\sqrt{\frac{2}{n}}+\frac{2}{n}\right)-2\left(1+\sqrt{\frac{2}{n}}\right)\right)+4\\\rightarrow &4(n\rightarrow \infty)\\\frac{S_n}{n}<&\frac{1}{2n+2}\left(\frac{1}{n}-2-2\right)+\frac{2+\dfrac{1}{n}}{2}\left(\left(1+\sqrt{\frac{2}{n}}\right)^2-1\right)+2\left(2+\sqrt{\frac{2}{n}}\right)\\\rightarrow &4(n\rightarrow \infty)\end{align*}

したがって、はさみうちの定理より、

limnSnn=4\lim_{n\to \infty}\frac{S_n}{n}=\boldsymbol{4}

が分かりました。

最後にccについては、anの関数anの関数の極限値ananの極限値\frac{a_n\text{の関数}-a_n\text{の関数の極限値}}{a_n-a_n\text{の極限値}}の極限の形になっていることから、微分の定義式に非常に似た形をしていることに気づきたいところです。

微分の定義式

f(a)=limxaf(x)f(a)xaf'(a)=\lim_{x\to a}\frac{f(x)-f(a)}{x-a}

よって、数式を微分の定義式が使える形まで変形してあげれば極限が求まります

以下、解答例になります。

(2)より、cosan>cos1\cos a_n>\cos 1であるから、x2n1x^{2n-1}が単調増加関数であることを考慮すると、

cos1<an2n1(cos1)12n1<an\cos 1<a_n^{2n-1}\Leftrightarrow (\cos 1)^{\frac{1}{2n-1}}<a_n

が言える。よって、(1)の議論と合わせて

(cos1)12n1<an<1(\cos 1)^{\frac{1}{2n-1}}<a_n<1

が言える。ここで、0<cos1<10<\cos 1<1より、

limn(cos1)12n1=1\lim_{n\to \infty}(\cos 1)^{\frac{1}{2n-1}}=1

であるから、はさみうちの原理より、

a=limnan=1a=\lim_{n\to \infty}a_n=\boldsymbol{1}

ana_nx2n1=cosxx^{2n-1}=\cos xの解であるから、

ann=(cosan)n2n1a_n^n=(\cos a_n)^{\frac{n}{2n-1}}

が成り立つ。よって、

b=limn(cosan)12+12(2n1)=cos1b=\lim_{n\to \infty}(\cos a_n)^{\frac{1}{2}+\frac{1}{2(2n-1)}}=\boldsymbol{\sqrt{\cos 1}}

また、

limnannbana=limn(cosan)n2n1cos1an1=limncosancos1an1+limn(cosan)n2n1cosanan1=limncosancos1an1+limncosan(cosan)12(2n1)1an1=limncosancos1an1+limncosanan121an1=limncosancos1an1+limncosan1an12+1\begin{align*}&\lim_{n\to \infty}\frac{a_n^n-b}{a_n-a}\\=&\lim_{n\to \infty}\frac{(\cos a_n)^{\dfrac{n}{2n-1}}-\sqrt{\cos 1}}{a_n-1}\\=&\lim_{n\to \infty}\frac{\sqrt{\cos a_n}-\sqrt{\cos 1}}{a_n-1}+\lim_{n\to \infty}\frac{(\cos a_n)^{\dfrac{n}{2n-1}}-\sqrt{\cos a_n}}{a_n-1}\\=&\lim_{n\to \infty}\frac{\sqrt{\cos a_n}-\sqrt{\cos 1}}{a_n-1}+\lim_{n\to \infty}\sqrt{\cos a_n}\cdot\frac{(\cos a_n)^{\dfrac{1}{2(2n-1)}}-1}{a_n-1}\\=&\lim_{n\to \infty}\frac{\sqrt{\cos a_n}-\sqrt{\cos 1}}{a_n-1}+\lim_{n\to \infty}\sqrt{\cos a_n}\cdot\frac{a_n^{\dfrac{1}{2}}-1}{a_n-1}\\=&\lim_{n\to \infty}\frac{\sqrt{\cos a_n}-\sqrt{\cos 1}}{a_n-1}+\lim_{n\to \infty}\sqrt{\cos a_n}\cdot\frac{1}{a_n^{\dfrac{1}{2}}+1}\end{align*}

であるから、g(x)=cosxg(x)=\sqrt{\cos x}とおくと、

c=g(1)+cos112=sin12cos1+12cos1\begin{align*}c=&g'(1)+\sqrt{\cos 1}\cdot\frac{1}{2}\\=&\boldsymbol{\frac{-\sin 1}{2\sqrt{\cos 1}}+\frac{1}{2}\sqrt{\cos 1}}\end{align*}

第六問

第六問は以下のような出題でした。

第六問の難易度分析

やや難しい複素数平面に関する問題です。方程式の複素数解に関する問題にどれだけ触れたことがあるかで差がつく問題だったでしょう。

α,β,γ,δ\alpha,\,\beta,\,\gamma,\,\deltaは実数係数の方程式の解になっているので1つが虚数解であれば、それと共役な複素数解も含まれるというのが有名な話ですね。(この性質や示し方を知らないとかなり厳しい展開になります。)

また、議論がかなり細かく記述もしにくい内容になっているので、30分以上時間を使ってしまったという受験生が多いかと思います。

すべて解き切らずに部分点だけを狙って他の問題に移る判断が賢明でしょう。

第六問(1)を解く上での考え方・ポイント

実数係数の4次方程式の解に関する問題です。まず、「実数係数のnn次方程式が複素数解を持つならばその共役複素数も解になる」という知識を持っていれば、その証明から入ることで、(i)すべてが実数解(ii)実数解2つ、複素数解2つ(iii)すべて複素数の3パターンしかないということが言えます。あとは、それぞれの場合において条件3をみたすことが必要という条件を考えればよさそうです。

以下、解答例になります。

まず、z42z32az+b=0z^4-2z^3-2az+b=0がある複素数解ppをもつとき、

p42p32ap+b=0p^4-2p^3-2ap+b=0

が成り立つ。両辺の共役複素数をとっても等式は成立するので、

pˉ42pˉ32aˉpˉ+bˉ=0\bar{p}^4-2\bar{p}^3-2\bar{a}\bar{p}+\bar{b}=0

a,ba,\,bは実数であるから、aˉ=a,bˉ=b\bar{a}=a,\,\bar{b}=bが成り立つので、

pˉ42pˉ32apˉ+b=0\bar{p}^4-2\bar{p}^3-2a\bar{p}+b=0

よって、ppの共役複素数であるpˉ\bar{p}も解になる。よって、α,β,γ,δ\alpha,\,\beta,\,\gamma,\,\delta

(i)すべて実数

(ii)2つは実数で、2つは互いに共役な複素数

(iii)互いに共役な複素数2組

の3パターンが考えられる。(i)のとき、αβ+γδ\alpha\beta+\gamma\deltaは実数なので条件3を満たさない。また、(iii)のとき、4解をα,αˉ,β,βˉ\alpha,\,\bar{\alpha},\,\beta,\,\bar{\beta}とおいてよく、このとき、ααˉ+ββˉ\alpha\bar{\alpha}+\beta\bar{\beta}αβˉ+βαˉ(=αβˉ+(αβˉ))\alpha\bar{\beta}+\beta\bar{\alpha}(=\alpha\bar{\beta}+\overline{(\alpha\bar{\beta})})αβ+αˉβˉ\alpha\beta+\bar{\alpha}\bar{\beta}はすべて実数になるので、条件3に反する。

したがって、(ii)の場合であることが必要であるので、示された。

第六問(2)を解く上での考え方・ポイント

(1)より、4解はs,ts,\,tを実数、uuを複素数としてs,t,u,uˉs,\,t,\,u,\,\bar{u}とおくことができますね。このとき、条件3をみたすのはどのような組み合わせにしたときなのかをまず考えましょう

st+uuˉst+u\bar{u}とすると、これは実数になってしまうので、su+tuˉsu+t\bar{u}のときだとわかります。

u=x+yiu=x+yiとおけば、この実部が00になる条件は、

(s+t)x=0(s+t)x=0

であるので、s=ts=-tまたはx=0x=0のときです。あとはそれぞれの場合について調べれば解決しそうです!

以下、解答例です。

(1)より、4解はs,ts,\,tを実数、uuを複素数としてs,t,u,uˉs,\,t,\,u,\,\bar{u}とおきなおすことができる。条件3について、st+uuˉst+u\bar{u}は実数になることから、

su+tuˉsu+t\bar{u}

が純虚数になることが条件3と同値である。ここで、x,yx,\,yを実数としてu=x+yi(y0)u=x+yi(y\ne 0)とおくと、純虚数になる条件は、

(s+t)x=0かつ(st)y0(s+t)x=0\text{かつ}(s-t)y\ne 0

である。ただし、y0y\ne 0、条件1よりsts\ne tであるから(st)y0(s-t)y\ne 0は常に満たされる。

(i)s+t=0s+t=0のとき、t=st=-sであるから、z42z32az+bz^4-2z^3-2az+bは、

z42z32az+b=(z2s2)(zu)(zuˉ)z^4-2z^3-2az+b=(z^2-s^2)(z-u)(z-\bar{u})

と因数分解できる。

(右辺)=z42xz3+(x2+y2s2)z2+2xs2z(x2+y2)s2(\text{右辺})=z^4-2xz^3+(x^2+y^2-s^2)z^2+2xs^2z-(x^2+y^2)s^2

であるから、係数を比較して、

{2x=2x2+y2s2=02xs2=2a(x2+y2)s2=b\left\{\begin{array}{l}2x=2\\x^2+y^2-s^2=0\\2xs^2=-2a\\-(x^2+y^2)s^2=b\end{array}\right.

第一式よりx=1x=1であり、これと第三式から、

s2=as^2=-a

sssts\ne tより00でない実数であるからa<0a<0である。また、これらと第二式より、

1+y2+a=0y2=a11+y^2+a=0\Leftrightarrow y^2=-a-1

yy00でない実数であるからa<1a<-1である。さらに、第四式に代入して、

b=a2b=-a^2

よって、b=a2(a<1)b=-a^2(a<-1)である。

(ii)x=0x=0のとき、z42z32az+bz^4-2z^3-2az+bは、

z42z32az+b=(zs)(zt)(z2+y2)z^4-2z^3-2az+b=(z-s)(z-t)(z^2+y^2)

と因数分解できる。

(右辺)=z4(s+t)z3+(st+y2)z2(s+t)y2z+sty2(\text{右辺})=z^4-(s+t)z^3+(st+y^2)z^2-(s+t)y^2z+sty^2

であるから、係数を比較して、

{s+t=2st+y2=0$s+t)y2=2asty2=b\left\{\begin{array}{l}s+t=2\\st+y^2=0\$s+t)y^2=2a\\sty^2=b\end{array}\right.

が成り立つ。第一式と第三式から、

2y2=2ay2=a2y^2=2a\Leftrightarrow y^2=a

が成り立つ。yy00でない実数であるから、a>0a>0が必要で、このもとで、y=±ay=\pm\sqrt{a}が言える。これと第二式より、

st=ast=-a

がわかる。また、s+t=2,st=as+t=2,\,st=-aであるから、s,ts,\,tは2次方程式x22a=0x^2-2-a=0の2解で、a>0a>0も考慮すると、s,ts,\,tは、

1±1+a1\pm\sqrt{1+a}

である。このとき、a>0a>0より、sts\ne tは常に満たされる。

これらを第四式に代入すると、

b=a2b=-a^2

よって、b=a2(a>0)b=-a^2(a>0)である。

以上より、

b=a2(a<1,0<a)\boldsymbol{b=-a^2(a<-1,\,0<a)}

第六問(3)を解く上での考え方・ポイント

ボーナス問題とも言える簡単な軌跡の問題です。

ここまでの議論ではs,t,u,uˉs,\,t,\,u,\,\bar{u}α,β,γ,δ\alpha,\,\beta,\,\gamma,\,\deltaとの対応を考えずに議論してきましたが、α+β\alpha+\betaの動く範囲を考える上ではどういう対応関係があるかを考える必要があります。

st+uuˉst+u\bar{u}という組み合わせでなければ条件3はみたされるので、α+β\alpha+\betaは4解のうち実数解と複素数解の和になります。あとは、これの軌跡を求めるだけです!ただし、軌跡を求めるときの注意点として、

軌跡を求めるときには、通らない点がないか気をつけよ

がありましたね!同値性に注意しながら変形していくことに気をつければよいだけなんですが、変形する際に出てきた場合分けなどの条件をすべて軌跡に反映させることを忘れないようにしましょう。

また、2つ出てくる場合分けは実は全く同じ軌跡を表していることにも気づきたいところです。

以下、解答例を示しておきます。

s,t,u,uˉs,\,t,\,u,\,\bar{u}について、st+uuˉst+u\bar{u}以外の組み合わせであれば条件3はみたすので、対称性も考慮すると、

α+β=s+u\alpha+\beta=s+u

としてよい。

a<1a<-1のとき、s+u=±a+1+±a1i(複合任意)s+u=\pm\sqrt{-a}+1+\pm\sqrt{-a-1}i(\text{複合任意})であり、a>0a>0のとき、s+t=1±1+a±ai(複合任意)s+t=1\pm\sqrt{1+a}\pm\sqrt{a}i(\text{複合任意})である。

ここで、前者について、q=a1q=-a-1と置き換えるとq>0q>0かつs+t=1±1+q±qi(複合任意)s+t=1\pm\sqrt{1+q}\pm\sqrt{q}i(\text{複合任意})となるので、後者と全く同じ範囲を表すことがわかる。

 

よって、a>0a>0のもとでの1±1+a±ai(複合任意)1\pm\sqrt{1+a}\pm\sqrt{a}i(\text{複合任意})の動く範囲を求めればよいとわかる。

Y=±aY=\pm\sqrt{a}とおくと、yy00でないすべての実数をとることができて、X=1±1+aX=1\pm\sqrt{1+a}とすれば、

X=1±1+Y2X1=±1+Y2(X1)2=1+Y2(X1)2Y2=1\begin{align*}&X=1\pm\sqrt{1+Y^2}\\\Leftrightarrow &X-1=\pm\sqrt{1+Y^2}\\\Leftrightarrow &(X-1)^2=1+Y^2\\\Leftrightarrow &(X-1)^2-Y^2=1\end{align*}

したがって、Y0Y\ne 0に注意して、α+β\alpha+\betaのとりうる値の範囲は下図の双曲線(ただし、白丸を含まない)。

まとめ

2017年や2018年はかなり易しい年だったため、難しいと感じた受験生が多いかと思いますが、最近の10年間の傾向からすると依然として易しい内容でしょう

理三志望であれば、第五問、第六問を10点ずつ取って、その他の問題で失点を10点程度に抑えて90点くらいを狙いたい内容です。理一・理二志望であれば、第六問は0点でもよく、第五問、第六問以外の問題で失点を20点程度にとどめ70点くらいを狙いたい内容です

コメント

コメントを読み込み中...

コメントを投稿