解答はこちら »

【 解 答 】

(1)

\[\begin{align} n {} _ {2n} \text{C}{} _ {n} & = n \cdot \dfrac{2n (2n-1) \cdots (n+2) (n+1)}{n (n-1) (n-2) \cdots 1} \\ & = \dfrac{2n (2n-1) \cdots (n+2) (n+1)}{(n-1) (n-2)\cdots 1} \\ & = (n+1) \cdot \dfrac{2n (2n-1) \cdots (n+2)}{(n-1) (n-2)\cdots 1} \\ & = (n+1) {} _ {2n} \text{C}{} _ {n-1} \end{align}\] \(n\) と \(n+1\) は互いに素なので, \({} _ {2n} \text{C}{} _ {n}\) は \(n+1\) を約数にもつ, すなわち \(n+1\) の倍数である.

(2)

\(a_n \gt n+2\) ... [A] であることを帰納法を用いて示す.

1. 1*　\(n = 4\) のとき \[ a_4 = \dfrac{{} _ {8} \text{C}{} _ {4}}{5} = 15 \gt 4+2 \] なので, [A] が成立する.

2. 2*　\(n = k \ ( k \geqq 4 )\) のとき
   [A] が成立する, すなわち \[\begin{align} a_k & = \dfrac{{} _ {2k} \text{C}{} _ {k}}{k+1} \\ & = \dfrac{2k (2k-1) \cdots (k+2)}{k (k-1) \cdots 1} \gt k+2 \quad ... [1] \end{align}\] と仮定すると \[\begin{align} a _ {k+1} & = \dfrac{{} _ {2(k+1)} \text{C}{} _ {k+1}}{k+2} \\ & = \dfrac{(2k+2) (2k+1)}{(k+2) (k+1)} \cdot \dfrac{ 2k (2k-1) \cdots (k+2)}{k (k-1) \cdots 1} \\ & \gt \dfrac{2 (2k+1)}{k+2} \cdot (k+2) \quad ( \text{∵} \ [1] \ ) \\ & = 4k+2 \gt (k+1) +2 \quad ( \text{∵} \ k \geqq 4 \ ) \end{align}\] したがって, \(n = k+1\) のときも [A] が成立する.

1* 2* より, 題意は示された.

(3)

(1) の結果より, \(a_n\) は正の整数である.
(2) の途中経過から \[ a _ {n+1} = \dfrac{2 (2n+1)}{n+2} a _ {n} \] \(a_n\) が合成数であるとき, \(a_n\) と \(n+2\) の最大公約数を \(m\) として \[ a_n = mp \ , \ n+2 = mq \] と表せて, (2) の結果より \(p \geqq 2\) ... [2] , \(q \leqq n+2\) . \[ a _ {n+1} = \dfrac{2 (2n+1)}{q} p \] \(a _ {n+1}\) は整数なので, \(2 (2n+1) = rq \ ( \ r \text{は整数} )\) であり, \(2 (2n+1) \gt q\) だから \(r \geqq 2\) ... [3] .
ゆえに, [2] [3] より, \(a _ {n+1}\) も合成数となる. \[\begin{align} a_1 = \dfrac{{} _ {2} \text{C}{} _ {1}}{2} = 1 \ , & \quad a_2 = \dfrac{{} _ {4} \text{C}{} _ {2}}{3} = 2 \ , \\ a_3 = \dfrac{{} _ {6} \text{C}{} _ {3}}{4} = 5 \ , & \quad a_4 = \dfrac{{} _ {8} \text{C}{} _ {4}}{5} = 14 \end{align}\] したがって, \(n \geqq 4\) では \(a_n\) は素数ではない.
よって, 求める \(n\) は \[ n = \underline{2 , 3} \]

« 解答を隠す

解答はこちら »

【 解 答 】

(1)

\(\left| \overrightarrow{a} \right| = \left| \overrightarrow{b} \right| = \left| \overrightarrow{c} \right| = \left| \overrightarrow{d} \right| = 1\) であることを用いれば \[\begin{align} F & = 2 \left\{ 6 -2 \left( \overrightarrow{a} \cdot \overrightarrow{b} +\overrightarrow{b} \cdot \overrightarrow{c} +\overrightarrow{c} \cdot \overrightarrow{a} \right) \right\} \\ & \qquad -3 \left\{ 6 -2 \left( \overrightarrow{a} +\overrightarrow{b} + \overrightarrow{c} \right) \cdot \overrightarrow{d} \right\} \\ & = -6 -4 \left( \overrightarrow{a} \cdot \overrightarrow{b} +\overrightarrow{b} \cdot \overrightarrow{c} +\overrightarrow{c} \cdot \overrightarrow{a} \right) \\ & \qquad +6 \left( \overrightarrow{a} +\overrightarrow{b} + \overrightarrow{c} \right) \cdot \overrightarrow{d} \end{align}\] \(P = \left( \overrightarrow{a} +\overrightarrow{b} +\overrightarrow{c} \right) \cdot \left( \overrightarrow{a} +\overrightarrow{b} +\overrightarrow{c} -3 \overrightarrow{d} \right)\) とおくと \[\begin{align} P & = 3 +2 \left( \overrightarrow{a} \cdot \overrightarrow{b} +\overrightarrow{b} \cdot \overrightarrow{c} +\overrightarrow{c} \cdot \overrightarrow{a} \right) \\ & \qquad -3 \left( \overrightarrow{a} +\overrightarrow{b} + \overrightarrow{c} \right) \cdot \overrightarrow{d} \end{align}\] よって \[ F = -2 P \] と書けて \[ k = \underline{-2} \]

(2)

\(\overrightarrow{\text{OG}} = \overrightarrow{g} = \dfrac{\overrightarrow{a} +\overrightarrow{b} +\overrightarrow{c}}{3}\) とおくと \[\begin{align} F & = -18 \overrightarrow{g} \cdot \left( \overrightarrow{g} -\overrightarrow{d} \right) \\ & = -18 \left| \overrightarrow{g} -\dfrac{1}{2} \overrightarrow{d} \right|^2 +\dfrac{9}{2} \quad \left( \ \text{∵} \ \left| \overrightarrow{d} \right| = 1 \ \right) \\ & \leqq \dfrac{9}{2} \end{align}\] 等号成立は \(\overrightarrow{g} = \dfrac{1}{2} \overrightarrow{d}\) のときであるが,
点 G は \(\triangle \text{ABC}\) の重心なので \(S\) の内側にあり, \(\text{OG} = \dfrac{1}{2}\) となるように A, B, C をとって, 半直線 OG 上に D をとれば, 等号が成立する.
よって \[ M = \underline{\dfrac{9}{2}} \]

(3)

D の座標から, G \(\left( \dfrac{1}{2} , 0 , 0 \right)\) .
\(\overrightarrow{\text{OM}} = \overrightarrow{m} = \dfrac{\overrightarrow{a} +\overrightarrow{b}}{2}\) とおくと, M は AB の中点で \[\begin{align} \overrightarrow{g} & = \dfrac{2 \overrightarrow{m} +\overrightarrow{c}}{3} \\ \text{∴} \quad \overrightarrow{m} & = \dfrac{3 \overrightarrow{g} -\overrightarrow{c}}{2} \\ & = \dfrac{1}{2} \left( \begin{array}{c} \dfrac{3}{2} +\dfrac{1}{4} \\ \dfrac{\sqrt{15}}{4} \\ 0 \end{array} \right) = \left( \begin{array}{c} \dfrac{7}{8} \\ \dfrac{\sqrt{15}}{8} \\ 0 \end{array} \right) \end{align}\] このとき, \(\left( \dfrac{7}{8} \right)^2 +\left( \dfrac{\sqrt{15}}{8} \right)^2 = 1\) なので, M は \(S\) 上にある.
A, B, M はすべて \(S\) 上にあるので, \(S\) の断面である同一円周上にあることになるが, これは \(3\) 点が一致する場合に限られる.
よって, 求める点の組は \[ \underline{\text{A} \ \left( \dfrac{7}{8} , \dfrac{\sqrt{15}}{8} , 0 \right) \ , \ \text{B} \ \left( \dfrac{7}{8} , \dfrac{\sqrt{15}}{8} , 0 \right)} \]

« 解答を隠す

解答はこちら »

【 解 答 】

(1)

点 \(( t , t^2 )\) が常に \(C\) の外側（境界含む）にある条件を求めればよいので \[\begin{align} t^2 +( t^2 -a )^2 & \geqq a^2 \\ t^2 \left( t^2 -2a +1 \right) & \geqq 0 \\ \text{∴} \quad t^2 -2a +1 & \geqq 0 \quad ( \ \text{∵} \ t^2 \geqq 0 \ ) \end{align}\] これが常に成立する条件は \[\begin{gather} -2a +1 \geqq 0 \\ \text{∴} \quad \underline{0 \lt a \leqq \dfrac{1}{2}} \end{gather}\]

(2)

\(x^2 -x^4 \leqq x^2\) なので, 点 \(( t , t^2 -t^4 )\) は, 点 \(( t , t^2 )\) の常に下側にあり, 点 \(( 0 , a )\) との距離が大きい.
ゆえに, (1) の結果より, \(0 \lt a \leqq \dfrac{1}{2}\) は条件をみたしている.
以下では, \(a \gt \dfrac{1}{2}\) のときについて考える.
点 \(( t , t^2 -t^4 )\) が常に \(C\) の外側（境界含む）にある条件を求めればよい.
\[\begin{align} t^2 +( t^2 -t^4 -a )^2 & \geqq a^2 \\ t^2 \left\{ t^6 -2t^4 +(2a+1) t^2 -2a +1 \right\} & \geqq 0 \\ \text{∴} \quad t^6 -2t^4 +(2a+1) t^2 -2a +1 & \geqq 0 \quad ( \ \text{∵} \ t^2 \geqq 0 \ ) \end{align}\] しかし, \(t = 0\) のとき \[ ( \text{左辺} ) = -2a +1 \lt 0 \] なので, 不等式は常には成立しない.
よって, 求める条件は \[ \underline{0 \lt a \leqq \dfrac{1}{2}} \]

(3)

領域 \(D\) は \(y\) 軸について対象なので, \(x \geqq 0\) の部分について考えればよい.
\(y = x^2 -x^4\) より \[ y' = 2x -4x^3 = -2x ( 2 x^2 -1 ) \] なので, \(|x| \leqq \dfrac{1}{\sqrt{2}} , \ 0 \leqq y \leqq \dfrac{1}{4} , \ y \geqq x^2 -x^4\) の示す領域 \(D_1\) は, 下図斜線部となる.

これの \(y\) 軸による回転体の体積 \(V_1\) は \[\begin{align} Ｖ_1 & = 2 \pi \displaystyle\int _ {0}^{\frac{1}{\sqrt{2}}} x \left( \dfrac{1}{4} -x^2 +x^4 \right) \, dx \\ & = 2 \pi \left[ \dfrac{x^2}{16} -\dfrac{x^4}{4} +\dfrac{x^6}{6} \right] _ {0}^{\frac{1}{\sqrt{2}}} \\ & = 2\pi \left( \dfrac{1}{16} -\dfrac{1}{16} +\dfrac{\pi}{48} \right) = \dfrac{\pi}{24} \end{align}\]

1. 1*　\(0 \lt a \lt \dfrac{1}{8}\) のとき
   \(C\) 全体が \(y = \dfrac{1}{4}\) の下側にあり, \(C\) の \(y\) 軸による回転体の体積 \(V_2\) は \[ V_2 = \dfrac{4 a^3 \pi}{3} \] ゆえに, 求める体積 \(V\) は \[ V = V_1 -V_2 = \dfrac{\pi}{24} -\dfrac{4 a^3 \pi}{3} \]

2. 2*　\(\dfrac{1}{8} \leqq a \leqq \dfrac{1}{2}\) のとき
   \(C\) の一部が \(y = \dfrac{1}{4}\) の下側にあり, この部分の \(y\) 軸による回転体の体積 \(V_3\) は \[\begin{align} V_3 & = \pi \displaystyle\int _ {0}^{\frac{1}{4}} ( 2ay -y^2 ) \, dy \\ & = \pi \left[ ay^2 -\dfrac{y^3}{3} \right] _ {0}^{\frac{1}{4}} \\ & = \dfrac{a \pi}{16} -\dfrac{\pi}{192} \end{align}\] ゆえに, 求める体積 \(V\) は \[ V = V_1 -V_3 = \dfrac{3 \pi}{64} -\dfrac{a \pi}{16} \]

以上より \[ V = \underline{\left\{ \begin{array}{ll} \dfrac{\pi}{24} -\dfrac{4 a^3 \pi}{3} & \left( \ 0 \lt a \lt \dfrac{1}{8} \text{のとき}\ \right) \\ \dfrac{3 \pi}{64} -\dfrac{a \pi}{16} & \left( \ \dfrac{1}{8} \leqq a \leqq \dfrac{1}{2} \text{のとき}\ \right) \end{array} \right.} \]

« 解答を隠す