$n$ を自然数として、関数 $g(x) = x^{2n} + 3x^{n+1} - 4x^n - 3x^{n-1} + 1$ を考える。 $g(x)$ が $I = (-\infty, \infty)$ 上で最小値を持つことを示す。

解析学関数の最小値多項式連続性極限
2025/5/16

1. 問題の内容

nn を自然数として、関数 g(x)=x2n+3xn+14xn3xn1+1g(x) = x^{2n} + 3x^{n+1} - 4x^n - 3x^{n-1} + 1 を考える。
g(x)g(x)I=(,)I = (-\infty, \infty) 上で最小値を持つことを示す。

2. 解き方の手順

まず、多項式関数 g(x)g(x) が実数全体で定義されていることに注意する。
g(x)g(x) が最小値を持つためには、x±x \to \pm \inftyg(x)g(x) \to \infty となる必要がある。
g(x)g(x) の主要項は x2nx^{2n} であり、nn は自然数であるから、x2nx^{2n} の係数は 1 であり正である。
したがって、x±x \to \pm \inftyg(x)g(x) \to \infty となる。
次に、g(x)g(x) が連続関数であることを確認する。g(x)g(x) は多項式であるから連続関数である。
x±x \to \pm \inftyg(x)g(x) \to \infty であり、連続関数であるから、最小値を持つ。
数学的に厳密に議論するためには、ある x0x_0 において g(x0)=Mg(x_0) = M となる MM を考え、x>R|x| > R ならば g(x)>Mg(x) > M となる RR が存在することを示せばよい。
このとき、閉区間 [R,R][-R, R] で連続関数 g(x)g(x) は最小値を持つので、それは全体の最小値となる。
g(x)=x2n+3xn+14xn3xn1+1g(x) = x^{2n} + 3x^{n+1} - 4x^n - 3x^{n-1} + 1
xx \to \infty のとき、x2nx^{2n} が支配的であるから、g(x)g(x) \to \infty となる。
同様に、xx \to -\infty のときも、x2nx^{2n} が支配的であり、2n2n は偶数なので、g(x)g(x) \to \infty となる。
したがって、ある十分大きな x|x| に対して g(x)g(x) は任意の MM より大きくなる。
したがって、関数 g(x)g(x) は実数全体で最小値を持つ。

3. 最終的な答え

関数 g(x)=x2n+3xn+14xn3xn1+1g(x) = x^{2n} + 3x^{n+1} - 4x^n - 3x^{n-1} + 1 は、I=(,)I = (-\infty, \infty) 上で最小値を持つ。

「解析学」の関連問題

与えられた関数 $y = \cos(x + \frac{\pi}{3})$ のグラフを描く問題です。

三角関数グラフ平行移動コサイン
2025/6/10

$y = e^x \sin x$ のマクローリン級数を求めよ。

マクローリン級数テイラー展開指数関数三角関数微分
2025/6/10

$x > 0$ に対して関数 $f(x) = \frac{\log x}{x}$ が与えられている。 (1) $n=1, 2, \dots$ に対して、$f(x)$ の $n$ 次導関数は数列 $\{...

微分導関数漸化式対数関数一般項
2025/6/10

与えられた3つの定積分の値を求めます。 (1) $\int_{0}^{\frac{\pi}{4}} \frac{x}{\cos^2 x} dx$ (2) $\int_{0}^{\frac{\pi}{4...

定積分部分積分置換積分三角関数
2025/6/10

関数 $y = x \log(1+x)$ のマクローリン級数を求める。

マクローリン級数級数展開関数
2025/6/10

関数 $y = \frac{1}{x+1}$ のマクローリン級数を求めよ。

マクローリン級数テイラー展開等比数列
2025/6/10

関数 $y = e^{-x}$ のマクローリン級数を求めよ。

マクローリン級数テイラー展開指数関数微分
2025/6/10

与えられた関数 $6x^5 + 5x^4 - \frac{1}{x^2}$ の不定積分を求める問題です。

不定積分多項式積分
2025/6/10

関数 $y = x^2e^x$ のマクローリン級数を求める問題です。

マクローリン級数テイラー展開指数関数級数
2025/6/10

$y = 3^x$のマクローリン級数を求める。

マクローリン級数指数関数級数展開
2025/6/10