数式で独楽する

数式を使って楽しむブログです

[tex: ]

東大 2020年 前期 理系 第6問(1/3)

以下の問いに答えよ。
(1)  A, \, \alphaを実数とする。
\begin{equation}
A\sin 2 \theta + \sin (\theta + \alpha) = 0
\end{equation}

を考える。 A > 1のとき、この方程式は 0 \leqq \theta < 2 \piの範囲に少なくとも4個の解を持つことを示せ。


(2) 座標平面上の楕円
\begin{equation}
C: \ \frac{x^2}{2} + y^2 = 1
\end{equation}

を考える。また、 0 < r < 1を満たす実数$r$に対して、不等式

\begin{equation}
2x^2 + y^2 < r^2
\end{equation}

が表す領域を Dとする。 D内のすべての点Pが以下の条件を満たすような実数( 0 < r < 1)が存在することを示せ。また、そのような rの最大値を求めよ。

条件:

 C上の点Qで、Qにおける Cの接線と直線PQが直交するようなものが少なくとも4個ある。

小問(1)の見通し

取り敢えず適当に A\sin 2\theta \sin(\theta + \alpha)のグラフを描いてみるとこんな感じになります。
f:id:toy1972:20200414223831p:plain:w400
交点は4個あります。
これを数学的にどう表現するかが悩ましいところです。
方程式が解ける形になっていないのが泣きどころです。

アプローチとしては、

連続関数 g(x)
\begin{equation}
g(a) > 0, \quad g(b) < 0
\end{equation}または
\begin{equation}
g(a) < 0, \quad g(b) > 0
\end{equation}を満たすとき、 g(x) = 0 a bの間に少なくとも1個の解を持つ。

というものがあるので、この線で攻めていくことにしましょう。

小問(1)の答案

\begin{equation}
f(\theta) = A\sin 2\theta - \sin(\theta + \alpha)
\end{equation}とします。 A > 0なので、
\begin{eqnarray}
f \left( \frac{1}{4} \, \pi \right) &=&& A - \sin \left( \frac{1}{4} \, \pi + \alpha \right) > 0 \tag{1.2} \\
f \left( \frac{3}{4} \, \pi \right) &=&-& A - \sin \left( \frac{3}{4} \, \pi + \alpha \right) < 0 \tag{1.3} \\
f \left( \frac{5}{4} \, \pi \right) &=&& A - \sin \left( \frac{5}{4} \, \pi + \alpha \right) > 0 \tag{1.4} \\
f \left( \frac{7}{4} \, \pi \right) &=&-& A - \sin \left( \frac{7}{4} \, \pi + \alpha \right) < 0 \tag{1.5}
\end{eqnarray}です。
 f(\theta)は連続関数なので、
\begin{equation}
\frac{1}{4} \, \pi < \theta < \frac{3}{4} \, \pi, \quad \frac{3}{4} \, \pi < \theta < \frac{5}{4} \, \pi , \quad \frac{5}{4} \, \pi < \theta < \frac{7}{4} \, \pi
\end{equation}にそれぞれ1個ずつの解を持ちます。

また、
\begin{equation}
f(0) = f(2\pi) = - \sin \alpha
\end{equation}なので、 f(0)の値により、次のように場合分けできます。

 f(0) > 0の場合、
\begin{equation}
\frac{7}{4} \, \pi < \theta < 2\pi
\end{equation}に少なくとも1個の解を持ちます。

 f(0) < 0の場合、
\begin{equation}
0 < \theta < \frac{1}{4} \, \pi
\end{equation}に少なくとも1個の解を持ちます。

 f(0) = 0の場合、
\begin{equation}
\theta = 0
\end{equation}が解です。

以上より、 f(\theta) = 0つまり
\begin{equation}
A\sin 2 \theta + \sin (\theta + \alpha) = 0 \tag{1.1}
\end{equation}は 0 \leqq \theta < 2\piに少なくとも4個の解を持つことが示されました。

続きます。
東大 2020年 前期 理系 第6問(2/3) - 数式で独楽する