正の整数 $n$ に対して、3次方程式 $x^3 + nx^2 - (n+2) = 0$ を考える。 (1) すべての正の整数 $n$ について、この方程式が正の解をただ1つ持つことを示す。 (2) 各正の整数 $n$ に対して、この方程式の正の解を $a_n$ とする。極限値 $\lim_{n \to \infty} a_n$ を求める。

代数学方程式極限3次方程式単調増加中間値の定理
2025/7/11

1. 問題の内容

正の整数 nn に対して、3次方程式 x3+nx2(n+2)=0x^3 + nx^2 - (n+2) = 0 を考える。
(1) すべての正の整数 nn について、この方程式が正の解をただ1つ持つことを示す。
(2) 各正の整数 nn に対して、この方程式の正の解を ana_n とする。極限値 limnan\lim_{n \to \infty} a_n を求める。

2. 解き方の手順

(1)
関数 f(x)=x3+nx2(n+2)f(x) = x^3 + nx^2 - (n+2) を考える。
f(0)=(n+2)<0f(0) = - (n+2) < 0 である。
f(2)=8+4nn2=3n+6>0f(2) = 8 + 4n - n - 2 = 3n + 6 > 0 である。
中間値の定理より、0<x<20 < x < 2 の範囲に少なくとも1つの解が存在する。
f(x)=3x2+2nx>0f'(x) = 3x^2 + 2nx > 0 (x>0x > 0) であるから、f(x)f(x)x>0x > 0 で単調増加である。
したがって、f(x)=0f(x) = 0 は正の解をただ1つ持つ。
(2)
x3+nx2=n+2x^3 + nx^2 = n + 2
an3+nan2=n+2a_n^3 + na_n^2 = n + 2
an3/n+an2=1+2/na_n^3/n + a_n^2 = 1 + 2/n
nn \to \infty とすると、an3/n0a_n^3/n \to 0 より、an21a_n^2 \to 1 となる。
an>0a_n > 0 であるから、an1a_n \to 1 となる。
より厳密に示すため、以下のように考える。
an2=n+2an3n=1+2an3na_n^2 = \frac{n+2 - a_n^3}{n} = 1 + \frac{2 - a_n^3}{n}
ここで、an=1+ϵna_n = 1 + \epsilon_n とおく。
(1+ϵn)2=1+2(1+ϵn)3n(1 + \epsilon_n)^2 = 1 + \frac{2 - (1 + \epsilon_n)^3}{n}
1+2ϵn+ϵn2=1+2(1+3ϵn+3ϵn2+ϵn3)n1 + 2\epsilon_n + \epsilon_n^2 = 1 + \frac{2 - (1 + 3\epsilon_n + 3\epsilon_n^2 + \epsilon_n^3)}{n}
2ϵn+ϵn2=13ϵn3ϵn2ϵn3n2\epsilon_n + \epsilon_n^2 = \frac{1 - 3\epsilon_n - 3\epsilon_n^2 - \epsilon_n^3}{n}
2ϵn+ϵn2=1n3ϵnn3ϵn2nϵn3n2\epsilon_n + \epsilon_n^2 = \frac{1}{n} - \frac{3\epsilon_n}{n} - \frac{3\epsilon_n^2}{n} - \frac{\epsilon_n^3}{n}
2ϵn(1+12ϵn)=1n(13ϵn3ϵn2ϵn3)2\epsilon_n (1 + \frac{1}{2} \epsilon_n) = \frac{1}{n} (1 - 3 \epsilon_n - 3 \epsilon_n^2 - \epsilon_n^3)
ϵn=12n13ϵn3ϵn2ϵn31+12ϵn\epsilon_n = \frac{1}{2n} \frac{1 - 3 \epsilon_n - 3 \epsilon_n^2 - \epsilon_n^3}{1 + \frac{1}{2} \epsilon_n}
nn \to \infty のとき、ϵn0\epsilon_n \to 0 となる。
したがって、an1a_n \to 1 である。

3. 最終的な答え

(1) 方程式 x3+nx2(n+2)=0x^3 + nx^2 - (n+2) = 0 は正の解をただ1つ持つ。
(2) limnan=1\lim_{n \to \infty} a_n = 1

「代数学」の関連問題

与えられたベクトルの組が線形独立か線形従属かを判定し、その理由を述べる。 (i) $\begin{pmatrix} 2 \\ 0 \\ 1 \end{pmatrix}, \begin{pmatrix}...

線形代数線形独立ベクトル連立方程式
2025/7/12

複素数 $z_n = (\frac{\sqrt{3}-1}{\sqrt{2}} + \frac{\sqrt{3}+1}{\sqrt{2}}i)^n$ (ただし、$n=1,2,3,...$、 $i$は虚...

複素数複素平面絶対値極形式ド・モアブルの定理
2025/7/12

(1) 複素数 $z$ が $|z|=1$ を満たすとき、これは複素数平面上で原点中心、半径1の円を表します。また、$|z-1|=|z+1|$ を満たすとき、これは点1と点-1からの距離が等しい点の集...

複素数複素数平面虚軸二次方程式無限級数部分分数分解
2025/7/12

与えられた4x4行列の行列式を計算する問題です。行列は以下の通りです。 $\begin{vmatrix} a & a & b & b \\ a & b & a & b \\ a & b & b & a...

行列式線形代数行列の計算
2025/7/12

複素数 $z_n = \left( \frac{\sqrt{3}-1}{\sqrt{2}} + \frac{\sqrt{3}+1}{\sqrt{2}}i \right)^n$ (n=1, 2, 3, ...

複素数複素数の絶対値複素数の偏角ド・モアブルの定理
2025/7/12

行列 $A = \begin{bmatrix} x & 1 & 1 \\ 1 & x & 1 \\ 1 & 1 & x \end{bmatrix}$ の行列式を因数分解する問題です。

行列式行列因数分解
2025/7/12

(11) 2次関数 $y = -x^2 - 6x - 2$ の最大値を求めます。 (12) 2次不等式 $4x^2 + 8x - 5 \ge 0$ を解きます。

二次関数最大値二次不等式平方完成因数分解
2025/7/12

2次方程式 $3x^2 - 6x + 1 = 0$ の2つの解を $\alpha$、$\beta$ とするとき、以下の値を求めます。 (1) $\alpha^2 + \beta^2$ (2) $\al...

二次方程式解と係数の関係式の計算解の対称式
2025/7/12

与えられた2次不等式 $4x^2 - 12x + 9 \leq 0$ を解きます。

二次不等式因数分解完全平方式不等式
2025/7/12

放物線 $y = x^2 - 4x + 6$ の頂点の座標を求める問題です。

二次関数放物線頂点平方完成
2025/7/12