増減表をもとに図形の面積を求める(東京都立大2020理学部第1問)

方程式 x2xy+y2=3x^2-xy+y^2=3 の表す座標平面上の曲線で囲まれた図形を DD とする。

(1) この方程式を yy について解くと,

y=12{x±3(4x2)}y=\cfrac{1}{2}\{x\pm\sqrt{3(4-x^2)}\}

となることを示しなさい。

(2) 3 x2\sqrt{3}\leqq x\leqq2 をみたす実数 xx に対し,f(x)=12{x3(4x2)}f(x)=\cfrac{1}{2}\{x-\sqrt{3(4-x^2)}\} とする。f(x)f(x) の最大値と最小値を求めなさい。また,そのときの xx の値を求めなさい。

(3) 0 x20\leqq x\leqq2 をみたす実数 xx に対し,g(x)=12{x+3(4x2)}g(x)=\cfrac{1}{2}\{x+\sqrt{3(4-x^2)}\} とする。g(x)g(x) の最大値と最小値を求めなさい。また,そのときの xx の値を求めなさい。

(4) 図形 DD の x0x\geqq0y0y\geqq0 の部分の面積を求めなさい。

二次方程式の解の公式

(1)から始めます。ここは yy について解の公式を用いるだけです。

x2xy+y2=3x^2-xy+y^2=3
y2xy+x23=0y^2-xy+x^2-3=0
y=x±x24(x23)2y=\cfrac{x\pm\sqrt{x^2-4(x^2-3)}}{2}

ルートの中は

x24(x23)=x24x2+12x^2-4(x^2-3)=x^2-4x^2+12
=123x2=3(4x2)=12-3x^2=3(4-x^2)

となるので

y=12{x±3(4x2)}y=\cfrac{1}{2}\{x\pm\sqrt{3(4-x^2)}\} (証明終わり)

式を微分する

(2)に進みます。

(1)で求めた関数は,プラスのときとマイナスのときで 2 つのグラフができます。今回の問題は,(2)と(3)でその 2 つのグラフの形を求め,(4)で積分して面積を求めるという流れです。

このままではグラフの形が分からないので,微分して極値を考えていきましょう。

いったん式変形してから微分します。

f(x)=12{x3(4x2)}f(x)=\cfrac{1}{2}\{x-\sqrt{3(4-x^2)}\}
=x232(4x2)12=\cfrac{x}{2}-\cfrac{\sqrt{3}}{2}(4-x^2)^{\small{\frac{1}{2}}}

式を微分すると

f(x)=1234(4x2)12(2x)f'(x)=\cfrac{1}{2}-\cfrac{\sqrt{3}}{4}(4-x^2)^{-\small{\frac{1}{2}}}(-2x)

(4x2)12(4-x^2)^{\small{\frac{1}{2}}} は合成関数だから,微分したときに 4x24-x^2 を微分した 2x-2x をかけるのを忘れずに。

=12+3x24x2=\cfrac{1}{2}+\cfrac{\sqrt{3}x}{2\sqrt{4-x^2}}

極値を求めます。

12+3x24x2=0\cfrac{1}{2}+\cfrac{\sqrt{3}x}{2\sqrt{4-x^2}}=0 として

3x24x2=12\cfrac{\sqrt{3}x}{2\sqrt{4-x^2}}=-\cfrac{1}{2}
3x=4x2\sqrt{3}x=-\sqrt{4-x^2} ・・・①

両辺を 2 乗します。ただし,符号に注意する必要があります。

3x2=4x23x^2=4-x^2
4x2=44x^2=4
x=±1x=\pm1

x=1x=1 のとき①は

31=412\sqrt{3}\cdot1=-\sqrt{4-1^2}
3=3\sqrt{3}=-\sqrt{3}

となり,矛盾する。よって,x=1x=1 は不適。

また,x=1x=-1 のとき①は

3(1)=4(1)2\sqrt{3}\cdot(-1)=-\sqrt{4-(-1)^2}
3=3-\sqrt{3}=-\sqrt{3}

恒等式が成り立つ。よって,x=1x=-1

増減表は

 x(1)32 f(x)(0)+ f(x)0↗1\def\arraystretch{1.5}\begin{array}{|c|c|c|c|c|c|}\hline x&(-1)&\cdots&\sqrt{3}&\cdots&2\\\hline f'(x)&(0)&&&+&\\\hline f(x)&&&0&\nearrow&1\\\hline\end{array}

増減表ヘンなカンジ。
そうね。実は f(x)f'(x) の 3x24x2\cfrac{\sqrt{3}x}{2\sqrt{4-x^2}} の部分って 3<x<2\sqrt{3}<x<2 の範囲では常にプラスだから,ホントは極値求めなくても関数は単調増加であるとして,最大・最小求められた。最初に気づけば良かったのだけど。
気づきませんでした。
気づかないかもね。その前提でいくと上のような増減表ができあがる。別にこれでも良い。
あと,今回は 3 x2\sqrt{3}\leqq x\leqq2 という条件があって,いわばグラフが途中で切れている形。こういうとき,グラフの端点は微分不能であることにも注意してね。

f(3)=12{33(43)}f(\sqrt{3})=\cfrac{1}{2}\{\sqrt{3}-\sqrt{3(4-3)}\}
=120=0=\cfrac{1}{2}\cdot0=0
f(2)=12{23(44)}f(2)=\cfrac{1}{2}\{2-\sqrt{3(4-4)}\}
=122=1=\cfrac{1}{2}\cdot2=1

したがって
最大値は x=3x=\sqrt{3} のとき,0。最小値は x=2x=2 のとき,1。(答え)

もう一つの式を微分する

(3)に進みます。

g(x)=12{x+3(4x2)}g(x)=\cfrac{1}{2}\{x+\sqrt{3(4-x^2)}\}
=x2+32(4x2)12=\cfrac{x}{2}+\cfrac{\sqrt{3}}{2}(4-x^2)^{\small{\frac{1}{2}}}

式を微分すると

g(x)=12+34(4x2)12(2x)g'(x)=\cfrac{1}{2}+\cfrac{\sqrt{3}}{4}(4-x^2)^{-\small{\frac{1}{2}}}(-2x)
=123x24x2=\cfrac{1}{2}-\cfrac{\sqrt{3}x}{2\sqrt{4-x^2}}

極値を求めます。

123x24x2=0\cfrac{1}{2}-\cfrac{\sqrt{3}x}{2\sqrt{4-x^2}}=0 として

3x24x2=12\cfrac{\sqrt{3}x}{2\sqrt{4-x^2}}=\cfrac{1}{2}
3x=4x2\sqrt{3}x=\sqrt{4-x^2} ・・・②

両辺を 2 乗して

3x2=4x23x^2=4-x^2
4x2=44x^2=4
x=±1x=\pm1

(2)と同じように符号を検証します。

x=1x=1 のとき,②は
31=41\sqrt{3}\cdot1=\sqrt{4-1}
3=3\sqrt{3}=\sqrt{3}

恒等式が成り立つ。

また,x=1x=-1 のとき,②は

3(1)=41\sqrt{3}(-1)=\sqrt{4-1}
3=3-\sqrt{3}=\sqrt{3}

となり,矛盾する。よって,不適。

増減表は

 x012 g(x)+0 g(x)3↗2↘1\def\arraystretch{1.5}\begin{array}{|c|c|c|c|c|c|}\hline x&0&\cdots&1&\cdots&2\\\hline g'(x)&&+&0&-&\\\hline g(x)&\sqrt{3}&\nearrow&2&\searrow&1\\\hline\end{array}

g(0)=12{0+3(40)}g(0)=\cfrac{1}{2}\{0+\sqrt{3(4-0)}\}
=1223=3=\cfrac{1}{2}\cdot2\sqrt{3}=\sqrt{3}
g(1)=12{1+3(41)}g(1)=\cfrac{1}{2}\{1+\sqrt{3(4-1)}\}
=12(1+3)=2=\cfrac{1}{2}(1+3)=2
g(2)=12{2+3(44)}g(2)=\cfrac{1}{2}\{2+\sqrt{3(4-4)}\}
=1=1

したがって
最大値は x=1x=1 のとき,2。最小値は x=2x=2 のとき,1。(答え)

置換積分

(4)に進みます。

(2)と(3)で作った増減表をもとにグラフを描くと上のようになります。もちろん,実際に試験問題を解いているときには,おおまかな形で構いません。

ここから,面積を求めるために,f(x)f(x) を g(x)g(x) を使って積分していくことになりますが,先に 3(4x2)\sqrt{3(4-x^2)} の部分を処理しておいた方が良さそうです。

3(4x2)  dx\displaystyle\int\sqrt{3(4-x^2)}\space dx
=34x2  dx\displaystyle=\sqrt{3}\int\sqrt{4-x^2}\space dx

ルートの中が ○○ x2-x^2 という形になっていたら,sin\sin で置換します。パターンとして覚えておくべきものです。

ただし,今回は x=2sinθx=2\sin\theta で置換します。

何で 2 を付けるの?
4 をルートの外に追い出すため。やってるの見たら分かる。

x=2sinθx=2\sin\theta として
dx=2cosθ  dθdx=2\cos\theta\space d\theta
344sin2θ2cosθ  dθ\displaystyle\sqrt{3}\int\sqrt{4-4\sin^2\theta}\cdot2\cos\theta\space d\theta
34(1sin2θ)2cosθ  dθ\displaystyle\sqrt{3}\int\sqrt{4(1-\sin^2\theta)}\cdot2\cos\theta\space d\theta
=431sin2θcosθ  dθ=\displaystyle4\sqrt{3}\int\sqrt{1-\sin^2\theta}\cdot\cos\theta\space d\theta
=43cos2θcosθ  dθ=\displaystyle4\sqrt{3}\int\sqrt{\cos^2\theta}\cdot\cos\theta\space d\theta
=43cos2θ  dθ=\displaystyle4\sqrt{3}\int\cos^2\theta\space d\theta

sin2\sin^2 や cos2\cos^2 が来たら,半角の公式に持ち込みましょう。

=431+cos2θ2  dθ=\displaystyle4\sqrt{3}\int\cfrac{1+\cos2\theta}{2}\space d\theta
=231+cos2θ  dθ=\displaystyle2\sqrt{3}\int1+\cos2\theta\space d\theta
=23(θ+12sin2θ)+C=2\sqrt{3}\Big(\theta+\cfrac{1}{2}\sin2\theta\Big)+C
=3(2θ+sin2θ)+C=\sqrt{3}(2\theta+\sin2\theta)+C (CCは積分定数) ・・・③

面積を求めましょう。式は以下のようになります。

 S=02 g(x)  dx32f(x)  dx\displaystyle S=\int_0^2 g(x)\space dx-\int_{\sqrt{3}}^2f(x)\space dx

いったん,二つに分けて計算します。

 02 g(x)  dx\displaystyle \int_0^2 g(x)\space dx
=1202 x  dx+12023(4x2)  dx\displaystyle=\cfrac{1}{2}\int_0^2 x\space dx+\cfrac{1}{2}\int_0^2\sqrt{3(4-x^2)}\space dx

③を利用して

 x02 θ0π2\def\arraystretch{1.5}\begin{array}{|c|ccc|}\hline x&0&\rightarrow&2\\\hline \theta&0&\rightarrow&\frac{\pi}{2}\\\hline\end{array}

=12[x22]02+32[2θ+sin2θ]0π2=\cfrac{1}{2}\Big[\cfrac{x^2}{2}\Big]_0^2+\cfrac{\sqrt{3}}{2}\Big[2\theta+\sin2\theta\Big]_0^{\small{\frac{\pi}{2}}}
=12(20)+32π=\cfrac{1}{2}(2-0)+\cfrac{\sqrt{3}}{2}\pi
=1+32π=1+\cfrac{\sqrt{3}}{2}\pi

また

 32 f(x)  dx\displaystyle \int_{\sqrt{3}}^2 f(x)\space dx
=1232 x  dx12323(4x2)  dx\displaystyle=\cfrac{1}{2}\int_{\sqrt{3}}^2 x\space dx-\cfrac{1}{2}\int_{\sqrt{3}}^2\sqrt{3(4-x^2)}\space dx

③を利用して

 x32 θπ3π2\def\arraystretch{1.5}\begin{array}{|c|ccc|}\hline x&\sqrt{3}&\rightarrow&2\\\hline \theta&\frac{\pi}{3}&\rightarrow&\frac{\pi}{2}\\\hline\end{array}
=12[x22]3232[2θ+sin2θ]π3π2=\cfrac{1}{2}\Big[\cfrac{x^2}{2}\Big]_{\sqrt{3}}^2-\cfrac{\sqrt{3}}{2}\Big[2\theta+\sin2\theta\Big]_{\small{\frac{\pi}{3}}}^{\small{\frac{\pi}{2}}}
=12(232)32(π+02π332)=\cfrac{1}{2}\Big(2-\cfrac{3}{2}\Big)-\cfrac{\sqrt{3}}{2}\Big(\pi+0-\cfrac{2\pi}{3}-\cfrac{\sqrt{3}}{2}\Big)
=1432(π332)=\cfrac{1}{4}-\cfrac{\sqrt{3}}{2}\Big(\cfrac{\pi}{3}-\cfrac{\sqrt{3}}{2}\Big)
=1436π+34=\cfrac{1}{4}-\cfrac{\sqrt{3}}{6}\pi+\cfrac{3}{4}
=136π=1-\cfrac{\sqrt{3}}{6}\pi

したがって,面積は

S=1+32π1+36πS=1+\cfrac{\sqrt{3}}{2}\pi-1+\cfrac{\sqrt{3}}{6}\pi
=233π=\cfrac{2\sqrt{3}}{3}\pi (答え)