$x \geq 0$ のとき、不等式 $x^3 - 3x^2 + 4 \geq 0$ を証明する。

解析学不等式関数の増減微分導関数極値
2025/3/18

1. 問題の内容

x0x \geq 0 のとき、不等式 x33x2+40x^3 - 3x^2 + 4 \geq 0 を証明する。

2. 解き方の手順

関数 f(x)=x33x2+4f(x) = x^3 - 3x^2 + 4 を考える。
この関数の導関数を求める。
f(x)=3x26x=3x(x2)f'(x) = 3x^2 - 6x = 3x(x - 2)
f(x)=0f'(x) = 0 となる xx を求めると、x=0,2x = 0, 2
x0x \geq 0 における増減表は以下のようになる。
| x | 0 | ... | 2 | ... |
| :---- | :--- | :---- | :--- | :---- |
| f'(x) | 0 | - | 0 | + |
| f(x) | 4 | 減少 | 0 | 増加 |
増減表より、x0x \geq 0 において、f(x)f(x)x=2x = 2 のとき最小値をとる。最小値は f(2)=233(22)+4=812+4=0f(2) = 2^3 - 3(2^2) + 4 = 8 - 12 + 4 = 0
したがって、x0x \geq 0 において、f(x)0f(x) \geq 0 である。

3. 最終的な答え

x0x \geq 0 のとき、x33x2+40x^3 - 3x^2 + 4 \geq 0 が成り立つ。

「解析学」の関連問題

与えられた微分方程式の一般解および初期値問題を解く。問題は以下の通りです。 問題1:一般解を求める (1) $y' = x(1-y)$ (2) $ydy = 2xdx$ 問題2:初期値問題を解く (1...

微分方程式変数分離形初期値問題積分
2025/5/19

関数 $f(x) = \frac{\log x}{x^a}$ が与えられています。ただし、$a$ は実定数です。 (1) 関数 $f(x)$ が区間 $(0, 1]$ 上で広義積分可能となる $a$ ...

広義積分部分積分関数の積分極限
2025/5/19

関数 $f(x) = xe^x$ をマクローリン展開によって $x$ の3次式で近似せよ。

マクローリン展開テイラー展開微分関数近似
2025/5/19

関数 $f(x) = \cos x$ をマクローリン展開によって近似せよ。

マクローリン展開三角関数べき級数
2025/5/19

空欄(問1から問10)に当てはまる適切な数字または選択肢を答える問題です。

微分指数関数対数関数接線変曲点単調性
2025/5/19

与えられた関数 $y = x^3 - 6x^2 + 9x + 1$ の曲率 $\kappa(x)$ と、 $x=1$ における曲率半径 $\rho(1)$ を求める問題です。

微分曲率曲率半径関数の微分
2025/5/19

与えられた微分方程式 $y' = (1-y)^2$ を変数分離形として解く問題です。

微分方程式変数分離形積分
2025/5/19

関数 $f(x) = (\log|x^2 - 2|)^2$ について、$f'(x) = 0$ となる $x$ の値を求める問題です。

微分合成関数の微分対数関数絶対値定義域
2025/5/19

与えられた微分方程式 $y' = x^3$ を変数分離形として解き、一般解を求める。

微分方程式変数分離形積分一般解
2025/5/19

以下の3つの問題を解きます。 (1) $y = e^{\alpha x}$ がすべての $x$ について $y'' - 4y' - 21y = 0$ を満たすとき、定数 $\alpha$ の値を求めま...

微分指数関数対数関数接線微分方程式
2025/5/19