※以下の解答・解説は当ブログのオリジナルのものであり東京大学が公表しているものではありません。
私がおすすめする過去問題集について説明した記事はこちら↓
関連記事を見る
第一問
第一問は以下のような出題でした。

第一問の難易度分析
ただの定積分を求めさせる問題です。東大の数学の問題では初めてこのような形式の問題が出題されたのではないでしょうか。
非常に易しい問題で10〜15分程度で完答したいでしょう。
第一問を解く上での考え方・ポイント
ただただ展開して積分計算をしていくだけです。ただし、そのままうまく積分計算できないものは、x=tanθと置換することになります。これは、積分における置換積分の鉄則のようなものですね。
積分でa2+x2の形が出てきたらx=atanθと置換する
シンプルに計算していけば簡単に答えは出るんですが、それではつまらないので、式の特徴を捉えて簡単に計算できる方法がないか考えてみましょう。
式を見てみると、右側のかっこの中身は、
x−1+x21
を微分した形になっているので、部分積分を狙えそうですよね。ただ、このままでは部分積分を実行しても計算は簡単になりません。この部分について、もし仮に真ん中の符号がプラスだったら、
x{21(x+1+x21)2}′
として、部分積分することでかなりきれいな形になりますよね。この発想から、被積分関数を
x(x+1+x21)(−x−1+x21)′+2x(x+1+x21)
と変形すれば、部分積分によってきれいな形になります。第二項はそのまま積分できる関数ですよね。
これで計算が簡単になったかというと微妙なところですが、この方針で記述を書いてみると以下のようになります。
=∫01(x2+1+x2x)(1+(1+x2)1+x2x)dx∫01x(x+1+x21)(−x−1+x21)′dx+2∫01x(x+1+x21)dx
この第一項については、部分積分を用いて、
====∫01x(x+1+x21)(−x−1+x21)′dx[−2x(x+1+x21)2]01+21∫01(x+1+x21)2dx−21(1+21)2+21∫01(x2+1+x22x+1+x21)2dx−43−22+21[3x3+21+x2]01+21∫011+x21dx−1219+22+21∫011+x21dx
ここで、x=tanθとすれば、
21∫011+x21dx=21∫04πdθ=8π
である。
さらに、
==2∫01x(x+1+x21)dx2[3x3+1+x2]01−34+22
以上より、求める値は、
=−1219+22+8π+−34+22−1235+252+8π
第二問
第二問は以下のような出題でした。

第二問の難易度分析
図形と絡めた最大最小問題です。難易度としては標準的でしょう。
自分でどこかの辺の長さを文字でおいてから、条件を数式化していくことになりますが、等式を用いて適切に文字消去を行っていくことによって、最終的に求めたい関数は1変数関数となります。(そのため文字固定などの議論は必要ありません。)
1変数までになったら、あとは微分によって簡単に最大値最小値が求まりますよね。
設定した文字の動く範囲がどうなるのかをしっかりと考えられれば難しくない問題でしょう。
第二問を解く上での考え方・ポイント
まず、どこの長さを文字でおくかに迷うかと思いますが、AQDRの変域について最終的に考えたいので、AQ=x,DR=yとおいてしまえばよいでしょう。
このときに、文字の変域も設定することを忘れてはいけません。ひとまずは、0<x≦1,0≦y≤1が必要ですね。(x=0のときは三角形APQの面積が31になりえません。)
あとは面積についての条件が2つ与えられているので、それをx,yの条件として数式化していくことになります。その条件から、AP=3x2がわかりますが、APにも0<AP≦1の制約がつくので、
0<3x2≦1⇔32≦x
が得られます。この変域の条件を考え忘れていなければ、正しく最大値・最小値が求められます。
以下、解答例を示しておきます。
AQ=x,DR=yとおくと、0<x≦1,0≦y≤1である。
また、三角形APQの面積が31であることから、AP=3x2であるので、0<AP≦1より、
0<3x2≦1
である。0<x≦1と合わせて、32≦x≦1がわかる。

また、三角形PQRの面積も31であることから、
⇔21(3x2+y)−21(1−x)y=32xy=3x24−3x32
したがって、この右辺をf(x)とすれば、32≦x≦1の範囲におけるf(x)の最大値・最小値を求めればよい。
f′(x)=3x46−8x
であるから、増減表は以下のようになる。
xf′(x)f(x)3243⋯+↗4308164⋯−↘132
したがって、最大値8164、最小値32
第三問
第三問は以下のような出題でした。

第三問の難易度分析
標準的な難易度の空間図形の問題です。空間図形を切り口で捉えるように丁寧な誘導がついていますが、ある程度は空間のイメージを持っていないと解きづらい問題になっているように思います。
(2)では、八角形である条件とは結局何なのか、という点について考えたいところです。
また、(3)では、やや長い問題文になっていますが、結局はy≧0,z≧0の範囲にある八角形の頂点がどれなのかを把握して、それらのy座標とz座標を知ることが課題です。
このように、「結局何を問われているのか」という点に注目することができれば完答できる内容の問題だったでしょう。
第三問(1)を解く上での考え方・ポイント
八面体PABCDEをy=0で切断すると、四角形PCEAが断面として出てくるのはすぐに分かると思います。
平面αについては、点P、線分MNの中点である(1,0,0)がα上にもy=0上にもある点なので、切り口は(1,0,0)と点Pを結ぶ直線になります。
点Pの位置によって共有点を持つ部分は変化していくので、3通りの図を描いておく必要があります。
図を描くまでの記述はかなりあっさりしていて大丈夫でしょう。
八面体PABCDEの切り口は四角形PCEAである。また、線分MNの中点である(1,0,0)はα上にもy=0上にもある点より、平面αの切り口は(1,0,0)と点Pを結ぶ直線になる。したがって、これらをxz平面上に図示すると下図のようになる。

第三問(2)を解く上での考え方・ポイント
(1)で図を描かされたのが大きなヒントになっています。図を見てみると、pの値によって、平面αと四角形PCEAの交わる部分が変化することに気が付きます。
具体的には、(1)の図で点Pがαの切り口よりも右側に来たときには、線分PCがαと交わることがわかります。このとき、線分PBとPDもαと交わることになりますよね。
すると、共有点の個数が8つになって、断面が八角形になります。これを記述すればよいでしょう。
z≦0の部分について、八面体PABCDEと平面αは、線分AB、AD、BE、CE、DEと交わるので、αによる切り口が八角形になるには、z>0において、八面体PABCDEが平面αと3つの辺で共有点を持てばよい。
(1)の図より、xz平面において、点Pがz<x−1の領域にあるとき、線分PB、PC、PDの3つがαと交わることになるから、求めるpの条件は、
2<p−1かつ2<p<4⇔3<p<4
第三問(3)を解く上での考え方・ポイント
結局、y≧0,z≧0の範囲にある八角形の頂点の座標を求めるのがやるべきことですね。少し立体図の想像が必要になりますが、この領域内にある八角形の頂点は、線分AB、PB、PCと平面αの交点です。
この3つの頂点の座標を求めてyz平面への射影を図示し、面積を求めるだけです。3点の座標を求めればいい、ということに気づけば難なく解ける問題でしょう。
最後の面積を求めるところでは、三角形2つに分割して計算するのが楽です。
以下、解答例を示しておきます。
PB、PCと平面αの交点をそれぞれF、Gと名付けると、切り口の八角形の頂点のうち、y≧0,z≧0の範囲にあるのはM、F、Gの3点。
まず、点Fについて、線分BFのxz平面への正射影はz=p2x(0≦x≦p)であるから、これと直線z=x−1からxを消去して、
z=2pz−1⇔z=p−22
よって、点Fは線分BPをp−22:2−p−22に内分する点だとわかるので、点Fのy座標は、
2−p−22=p−22p−6
となる。
また、点Gについて、線分PCはz=p+22(x+2)(−2≦x≦p)であるから、これと直線z=x−1からxを消去して、
z=p+22(z+3)⇔z=p6
したがって、3点M、F、Gのyz平面への正射影は以下の図のようになる。

したがって、求める面積は、
=21⋅1⋅p−22+21⋅p6⋅p−22p−6p(p−2)7p−18
第四問
第四問は以下のような出題でした。

第四問の難易度分析
易しい整数問題です。整数問題で平方数が絡んだ問題では法を4とした合同式を扱うことが多いという話を以下の記事でしていますが、そのあたりの知識があると(1)はかなりスムーズに解けるかと思います。
整数問題の解法については以下の記事にまとめています。
関連記事を見る
(2)は2通りの場合分けをすることになりますが、思考停止で法を4とした合同式だけを考えていると苦しい展開になります。冷静に今の状況を見て適切に方針を切り替えることを考えましょう。
第四問(1)を解く上での考え方・ポイント
「最大公約数」と言われれば、真っ先に思いつくのがユークリッドの互除法ですよね。今回の問題でも、「互除法だけで解決するかはわからないけど、課題を簡単にするために一度互除法を使おう」くらいの気持ちで互除法を試してみるべきです。
実行してみると、
5n2+9=5(n2+1)+4
となり、dnはn2+1と4の最大公約数に等しいことがわかります。ここで、整数問題で頻出の以下の事項を思い出しましょう。
平方数が出てくるときには4で割ったあまり・3で割ったあまりに注目することが多い!
今回は、n2という平方数の形が出てきて、かつ、4で割ったあまりに注目することになっており、納得の展開となっていますね。
nが奇数のときは4で割ったときのあまりが1になり、偶数のときはあまりが0になることを述べてあげればよいでしょう。
以下、記述例になります。
ユークリッドの互除法を用いると、
5n2+9=5(n2+1)+4
であるから、dnはn2+1と4の最大公約数に等しいことがわかる。
ここで、ある整数nについて、n2を4で割ったあまりはnが奇数のとき1、nが偶数のとき0となるので、nが奇数のときn2+1は4で割って2余る数、nが偶数のときn2+1と4は互いに素である。したがって、
{dn=1(nが偶数のとき)dn=2(nが奇数のとき)
第四問(2)を解く上での考え方・ポイント
(1)が誘導になっていることを意識しましょう。(n2+1)(5n2+9)が平方数になるときは、k,lを互いに素でかつ、dnとも互いに素な自然数として、
{n2+1=dnk25n2+9=dnl2
と表せることと等しいですよね。これを満たすようなk,lが存在しないことをdn=1,2のそれぞれの場合で示せばよいわけです。
dn=1のときは、
n2+1=k2⇔(k−n)(k+n)=1
と因数分解できて、これを満たすような自然数k,nの組がないことを示してあげればOKです。これは簡単ですね。
受験生が苦戦したと思われるのがdn=2のときです。
このときは、
{n2+1=2k25n2+9=2l2
となり、2式とも先ほどのように因数分解はできないので、別の解法を考えることになります。整数問題の解法は主に以下の3つでした。
整数問題の解法3パターン!
1.因数分解
2.合同式
3.範囲の絞り込み
平方数が出てきているので、合同式による解法を次に考えましょう。(1)で法を4とした合同式を考えますが、n,k,lがすべて1と合同であれば2式を満たしており、うまくいきません。
「他の解法を考えようかな…」となってしまいそうですが、ちょっと考えてみてください。合同式の法を4として考えたときは、n2+1≡5n2+9が成り立つことから、せっかく2式あるのに1つしか条件を考えていないことになってしまいます。
実はこういうときには、合同式の法は4ではなく、8を選ぶとさらに細かく条件を考えることができます。
以上を踏まえて答案を書くと以下のようになります。
(n2+1)(5n2+9)が平方数であると仮定する。
(i)dn=1のとき、k,lを互いに素な自然数として、
{n2+1=k25n2+9=l2
が成立する。
n2+1=k2⇔(k−n)(k+n)=1
であり、k,nは自然数でk+n>0より、k+n=1かつk−n=1が必要であるが、これを解くと(k,n)=(21,0)となり、kが自然数でないので不適。
(ii)dn=2のとき、k,lを奇数である互いに素な自然数として、
{n2+1=2k25n2+9=2l2
が成立する。このとき、(1)よりnは奇数であり、以下合同式の法を8とすれば、
n≡±1⇒n2≡1
n≡±3⇒n2≡1
が成立するので、n2≡1がわかる。lは奇数だからl2についても同様のことが言えるので、l2≡1がわかる。よって、
5n2+9≡6
2l2≡2
が言えるので、5n2+9=2l2は成立しえず不適。
以上(i)(ii)より、(n2+1)(5n2+9)が平方数となる自然数nは存在しないことが示された。
別解
実質的には合同式の法を8として考えることと同じですが、2式を足し引きして出来た式の両辺を2で割ったあとに法を4とする合同式を考えてもうまくいきます。
((i)までは同じ)
(ii)dn=2のとき、k,lを奇数である互いに素な自然数として、
{n2+1=2k25n2+9=2l2
が成立する。2式を辺々足すと、
6n2+10=2(k2+l2)⇔3n2+5=k2+l2
ここで、(1)よりnは奇数であり、3n2+5を4で割ったあまりは0となる。また、k,lは奇数であるから、k2+l2を4で割ったあまりは2となる。
よって、3n2+5=k2+l2は成立しえず不適。
(以下略)
第五問
第五問は以下のような出題でした。

第五問の難易度分析
微分と極限が関わるやや難しい問題です。
問題の中では方程式の話になっていますが、与えられた方程式をグラフで考えることによって解答の方針がかなり立ちやすくなると思います。このように、代数と幾何の行き来は難関大の問題を解く上では非常に重要になるので、日頃から意識して練習しておくと良いでしょう。
(2)は(3)を解くための誘導になっていますが、aを求めるところまでしか役立たず、その先は少し考察が必要です。特に、cを求める議論は思いつかなかったという受験生が多いのではないかと予想します。
第五問(1)を解く上での考え方・ポイント
「ただ1つの実数解を持つ」ことを示すときには、「微分して単調性を示す」というのがあるあるな解法ですよね。しかしながら、今回は(左辺)−(右辺)をただただ微分すると、
(2n−1)x2n−2+sinx
となり、常に正であるとも常に負であるとも言えません。こういうときには、グラフの概形を描いて状況を整理するのが有効です。例として、y=x3とy=cosxのグラフを描くと以下の図のようになります。

そうすると、0≦x≦1の範囲で解を持っていて、−1≦x<0の範囲では正負が異なり、それ以外の範囲ではx2n−1の絶対値が1を超えてしまうので解を持ち得ないことが図からわかります。したがって、これらで場合分けをして議論してあげればよさそうです。
以下、解答例になります。
(i)0≦x≦1のとき、
f(x)=x2n−1−cosxとすると、
f′(x)=(2n−1)x2n−2+sinx
n≧1より、(2n−1)x2n−2≦0であり、0≦x≦1(<π)よりsinx≧0であるから、f′(x)≧0がわかる。(ただし、f′(x)=0となるのはx=0のときのみ)
よって、この区間でf(x)は単調増加する。また、f(0)=−1(<0)、f(1)=1−cos1>1−cos0=0であるから、中間値の定理より、f(x)=0は0<x<1においてちょうど1つ実数解を持つ。
(ii)∣x∣>1のとき、
∣x2n−1∣>1かつ∣cosx∣≦1より、与えられた方程式は実数解を持ちえない。
(iii)−1≦x<0のとき、
x2n−1<0であり、(−2π<)−1≦x<0においてcosx>0であるから、与えられた方程式は実数解を持ちえない。
以上より、x2n−1=cosxは0<an<1なるただ1つの実数解anを持つことが示された。
第五問(2)を解く上での考え方・ポイント
(1)が分かればこれは簡単ですね!サービス問題です。
0<an<1(<2π)であり、cosxは0<x<2πにおいて単調減少するから、
cosan>cos1
が成り立つことが示された。
第五問(3)を解く上での考え方・ポイント
(1)(2)までの議論をもとに、極限を3つ求めます。まず、aについては、(1)の議論を踏まえると1が極限値になるのではないかと簡単に予想がつきます。
an<1はすでに示されているので、あとはanを下から評価してはさみうちの原理を用いてあげれば良さそうです。anより常に小さく、極限値が1になるようなものはどうやって見つければよいでしょうか?
そこで(2)が誘導になっていないかを考えます。
図を改めて描いてみると、x2n−1=cos1となるxは常にanよりも左側に位置していることがわかりますよね。よって、(cos1)2n−11<an<1としてはさみうちの原理を適用してあげればよさそうです!

続いて、bについては、(cos1)2n−11<an<1を辺々n乗しても、左右で極限値が異なるのではさみうちの原理は使えません。そこで、そもそもanがどういう数だったかを思い出しましょう。
anはx2n−1=cosxの解なので、ann=(cosan)2n−1nと変形することができます。こうすれば、極限計算ができる形になりますよね。
こういうタイプの極限の話は2018年の夏の河合塾東大即応オープン模試第四問で出題されていました。

この問題の解説は以下になります。(興味のない方は読み飛ばしてもらって大丈夫です。)
この問題の解説を読む
難易度分析
標準的な関数と極限の問題です。
「ただ1つの共有点をもつ」ことを示すためには、微分によって関数の差の単調性を示すことが圧倒的に多いため、微分をする必要性が出てきそうです。
あとは、積分と極限です。共有点の座標が具体的には求まらず、不等式によって評価されているだけなので、積分値を不等式で評価するしかなく、はさみうちの定理を用いる展開が容易に想像がつきます。
ただ、意外とこの問題は難しく、誤答が相次いだのではないかと思います。
(1)を解く上での考え方・ポイント
接線とグラフの共有点を求める問題です。接線の式は、
l:y=2nx+2n
となるので、あとはCの式と連立してyを消去します。yを消去すると、
x2n+1−(2n+1)x−2n=0
となります。ここで、左辺をg(x)とおいて微分すると、
g′(x)=(2n+1)x2n−(2n+1)
となるので、x=1の前までは単調減少し、x=1のあとでは単調増加することがわかります。これと、g(1)=−4n(<0)であることから、上の方程式は異なる実数解をちょうど2つもつことが分かり、そのうちの1つがx=−1なので証明完了ですね。
あとは、tn<1+n2を示すだけです。今までの議論から、これは、g(1+n2)が正であることと同値ですよね。2項展開を考えれば、
=≧=g(1+n2)(1+n2)2n+1−(2n+1)(1+n2)−2n1+(2n+1)n2+2n+1C2⋅n2−(2n+1)(1+n2)−2n2>0
という不等式が成り立つので、tn<1+n2であることも証明できました。
(2)を解く上での考え方・ポイント
(2)はあとは、積分してから極限計算をするだけです。tnの具体的な値を求めることはできないので、はさみうちの定理の利用を考えます。
積分を実行すると、
===Sn∫−1tn∣g(x)∣dx[−2n+21x2n+2+22n+1x2+2nx]−1tn2n+21(1−tn2n+2)+22n+1(tn2−1)+2n(tn+1)
となります。ここまでは誰でもたどり着けますが、極限計算で以下のような誤答が相次いだのではないかと思います。
1<tn<1+n2であるから、
nSn>→nSn<→n(2n+2)11−(1+n2)2n+2+44(n→∞)22+n1(1+n2)2−1+2(2+n2)4(n→∞)
したがって、はさみうちの定理から、
limn→∞nSn=4
この答案はどこが誤っているか分かりますか?
n(2n+2)1(1−(1+n2)2n+2)+4の極限を考える部分が違いますね。上の誤答例では、
limn→∞(1+n2)2n+2=1
だと考えてしまっていますが、これはいわゆる1∞の不定形の形ですね。この不定形は、ネイピア数eの定義式の形に持っていって極限計算をするのでした。
1∞の形の不定形は、ネイピア数eの定義式
e=limx→∞(1+x1)x
の形に変形して計算する。
よって、正しい極限計算は、
==n→∞lim(1+n2)2n+2n→∞lim(1+n2)2nn2(2n+2)2∞
となります。したがって、上の方針でははさみうちの定理が使えないわけです。
では、どのように解けばいいのでしょうか?
うまく極限が求まらない原因は、tn2n+2の項があることですよね。そもそもtnはどんな数だったかというと、g(x)=0の解でした。
そこで、tnについて成り立つ式g(tn)=0を用いて次数下げをしてあげましょう。そうすることで、tnの指数が無限大に発散する事態を解消できそうです。
g(tn)=0より、tn2n+1=2ntn+2nが成り立つので、これを代入して、
Sn=2n+21(1−2ntn2−2ntn)+22n+1(tn2−1)+2n(tn+1)
が成り立ちます。ここで、1<tn<1+n2であるから、
nSn>→nSn<→2n+21(n1−2(1+2n2+n2)−2(1+n2))+44(n→∞)2n+21(n1−2−2)+22+n1(1+n2)2−1+2(2+n2)4(n→∞)
したがって、はさみうちの定理より、
limn→∞nSn=4
が分かりました。
最後にcについては、an−anの極限値anの関数−anの関数の極限値の極限の形になっていることから、微分の定義式に非常に似た形をしていることに気づきたいところです。
微分の定義式
f′(a)=limx→ax−af(x)−f(a)
よって、数式を微分の定義式が使える形まで変形してあげれば極限が求まります。
以下、解答例になります。
(2)より、cosan>cos1であるから、x2n−1が単調増加関数であることを考慮すると、
cos1<an2n−1⇔(cos1)2n−11<an
が言える。よって、(1)の議論と合わせて
(cos1)2n−11<an<1
が言える。ここで、0<cos1<1より、
limn→∞(cos1)2n−11=1
であるから、はさみうちの原理より、
a=limn→∞an=1
anはx2n−1=cosxの解であるから、
ann=(cosan)2n−1n
が成り立つ。よって、
b=limn→∞(cosan)21+2(2n−1)1=cos1
また、
=====n→∞liman−aann−bn→∞liman−1(cosan)2n−1n−cos1n→∞liman−1cosan−cos1+n→∞liman−1(cosan)2n−1n−cosann→∞liman−1cosan−cos1+n→∞limcosan⋅an−1(cosan)2(2n−1)1−1n→∞liman−1cosan−cos1+n→∞limcosan⋅an−1an21−1n→∞liman−1cosan−cos1+n→∞limcosan⋅an21+11
であるから、g(x)=cosxとおくと、
c==g′(1)+cos1⋅212cos1−sin1+21cos1
第六問
第六問は以下のような出題でした。
お
第六問の難易度分析
やや難しい複素数平面に関する問題です。方程式の複素数解に関する問題にどれだけ触れたことがあるかで差がつく問題だったでしょう。
α,β,γ,δは実数係数の方程式の解になっているので1つが虚数解であれば、それと共役な複素数解も含まれるというのが有名な話ですね。(この性質や示し方を知らないとかなり厳しい展開になります。)
また、議論がかなり細かく記述もしにくい内容になっているので、30分以上時間を使ってしまったという受験生が多いかと思います。
すべて解き切らずに部分点だけを狙って他の問題に移る判断が賢明でしょう。
第六問(1)を解く上での考え方・ポイント
実数係数の4次方程式の解に関する問題です。まず、「実数係数のn次方程式が複素数解を持つならばその共役複素数も解になる」という知識を持っていれば、その証明から入ることで、(i)すべてが実数解(ii)実数解2つ、複素数解2つ(iii)すべて複素数の3パターンしかないということが言えます。あとは、それぞれの場合において条件3をみたすことが必要という条件を考えればよさそうです。
以下、解答例になります。
まず、z4−2z3−2az+b=0がある複素数解pをもつとき、
p4−2p3−2ap+b=0
が成り立つ。両辺の共役複素数をとっても等式は成立するので、
pˉ4−2pˉ3−2aˉpˉ+bˉ=0
a,bは実数であるから、aˉ=a,bˉ=bが成り立つので、
pˉ4−2pˉ3−2apˉ+b=0
よって、pの共役複素数であるpˉも解になる。よって、α,β,γ,δは
(i)すべて実数
(ii)2つは実数で、2つは互いに共役な複素数
(iii)互いに共役な複素数2組
の3パターンが考えられる。(i)のとき、αβ+γδは実数なので条件3を満たさない。また、(iii)のとき、4解をα,αˉ,β,βˉとおいてよく、このとき、ααˉ+ββˉ、αβˉ+βαˉ(=αβˉ+(αβˉ))、αβ+αˉβˉはすべて実数になるので、条件3に反する。
したがって、(ii)の場合であることが必要であるので、示された。
第六問(2)を解く上での考え方・ポイント
(1)より、4解はs,tを実数、uを複素数としてs,t,u,uˉとおくことができますね。このとき、条件3をみたすのはどのような組み合わせにしたときなのかをまず考えましょう。
st+uuˉとすると、これは実数になってしまうので、su+tuˉのときだとわかります。
u=x+yiとおけば、この実部が0になる条件は、
(s+t)x=0
であるので、s=−tまたはx=0のときです。あとはそれぞれの場合について調べれば解決しそうです!
以下、解答例です。
(1)より、4解はs,tを実数、uを複素数としてs,t,u,uˉとおきなおすことができる。条件3について、st+uuˉは実数になることから、
su+tuˉ
が純虚数になることが条件3と同値である。ここで、x,yを実数としてu=x+yi(y=0)とおくと、純虚数になる条件は、
(s+t)x=0かつ(s−t)y=0
である。ただし、y=0、条件1よりs=tであるから(s−t)y=0は常に満たされる。
(i)s+t=0のとき、t=−sであるから、z4−2z3−2az+bは、
z4−2z3−2az+b=(z2−s2)(z−u)(z−uˉ)
と因数分解できる。
(右辺)=z4−2xz3+(x2+y2−s2)z2+2xs2z−(x2+y2)s2
であるから、係数を比較して、
⎩⎨⎧2x=2x2+y2−s2=02xs2=−2a−(x2+y2)s2=b
第一式よりx=1であり、これと第三式から、
s2=−a
sはs=tより0でない実数であるからa<0である。また、これらと第二式より、
1+y2+a=0⇔y2=−a−1
yは0でない実数であるからa<−1である。さらに、第四式に代入して、
b=−a2
よって、b=−a2(a<−1)である。
(ii)x=0のとき、z4−2z3−2az+bは、
z4−2z3−2az+b=(z−s)(z−t)(z2+y2)
と因数分解できる。
(右辺)=z4−(s+t)z3+(st+y2)z2−(s+t)y2z+sty2
であるから、係数を比較して、
⎩⎨⎧s+t=2st+y2=0$s+t)y2=2asty2=b
が成り立つ。第一式と第三式から、
2y2=2a⇔y2=a
が成り立つ。yは0でない実数であるから、a>0が必要で、このもとで、y=±aが言える。これと第二式より、
st=−a
がわかる。また、s+t=2,st=−aであるから、s,tは2次方程式x2−2−a=0の2解で、a>0も考慮すると、s,tは、
1±1+a
である。このとき、a>0より、s=tは常に満たされる。
これらを第四式に代入すると、
b=−a2
よって、b=−a2(a>0)である。
以上より、
b=−a2(a<−1,0<a)
第六問(3)を解く上での考え方・ポイント
ボーナス問題とも言える簡単な軌跡の問題です。
ここまでの議論ではs,t,u,uˉとα,β,γ,δとの対応を考えずに議論してきましたが、α+βの動く範囲を考える上ではどういう対応関係があるかを考える必要があります。
st+uuˉという組み合わせでなければ条件3はみたされるので、α+βは4解のうち実数解と複素数解の和になります。あとは、これの軌跡を求めるだけです!ただし、軌跡を求めるときの注意点として、
軌跡を求めるときには、通らない点がないか気をつけよ
がありましたね!同値性に注意しながら変形していくことに気をつければよいだけなんですが、変形する際に出てきた場合分けなどの条件をすべて軌跡に反映させることを忘れないようにしましょう。
また、2つ出てくる場合分けは実は全く同じ軌跡を表していることにも気づきたいところです。
以下、解答例を示しておきます。
s,t,u,uˉについて、st+uuˉ以外の組み合わせであれば条件3はみたすので、対称性も考慮すると、
α+β=s+u
としてよい。
a<−1のとき、s+u=±−a+1+±−a−1i(複合任意)であり、a>0のとき、s+t=1±1+a±ai(複合任意)である。
ここで、前者について、q=−a−1と置き換えるとq>0かつs+t=1±1+q±qi(複合任意)となるので、後者と全く同じ範囲を表すことがわかる。
よって、a>0のもとでの1±1+a±ai(複合任意)の動く範囲を求めればよいとわかる。
Y=±aとおくと、yは0でないすべての実数をとることができて、X=1±1+aとすれば、
⇔⇔⇔X=1±1+Y2X−1=±1+Y2(X−1)2=1+Y2(X−1)2−Y2=1
したがって、Y=0に注意して、α+βのとりうる値の範囲は下図の双曲線(ただし、白丸を含まない)。

まとめ
2017年や2018年はかなり易しい年だったため、難しいと感じた受験生が多いかと思いますが、最近の10年間の傾向からすると依然として易しい内容でしょう。
理三志望であれば、第五問、第六問を10点ずつ取って、その他の問題で失点を10点程度に抑えて90点くらいを狙いたい内容です。理一・理二志望であれば、第六問は0点でもよく、第五問、第六問以外の問題で失点を20点程度にとどめ70点くらいを狙いたい内容です。