$x \ge 0$ のとき、不等式 $x^3 - 3x^2 + 4 \ge 0$ を証明せよ。

解析学不等式微分増減関数のグラフ
2025/3/18

1. 問題の内容

x0x \ge 0 のとき、不等式 x33x2+40x^3 - 3x^2 + 4 \ge 0 を証明せよ。

2. 解き方の手順

まず、f(x)=x33x2+4f(x) = x^3 - 3x^2 + 4 とおく。
f(x)f(x) を微分して、増減を調べる。
f(x)=3x26x=3x(x2)f'(x) = 3x^2 - 6x = 3x(x-2)
f(x)=0f'(x)=0 となるのは x=0,2x=0, 2 のとき。
x0x \ge 0 での増減表は以下のようになる。
| x | 0 | ... | 2 | ... |
|-------|------|-----|------|-----|
| f'(x) | 0 | - | 0 | + |
| f(x) | 4 | \ | 0 | / |
増減表から、x0x \ge 0 において、f(x)f(x)x=2x=2 で最小値をとることがわかる。
最小値は f(2)=23322+4=812+4=0f(2) = 2^3 - 3 \cdot 2^2 + 4 = 8 - 12 + 4 = 0
したがって、x0x \ge 0 において f(x)0f(x) \ge 0 が成り立つ。
すなわち、x33x2+40x^3 - 3x^2 + 4 \ge 0 が成り立つ。

3. 最終的な答え

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

「解析学」の関連問題

関数 $f(x) = \log_5(21+4x-x^2)$ の定義域と値域を求める。

対数関数定義域値域二次関数平方完成不等式
2025/6/11

問題は2つあります。 (1) $x > 0$ において、$x > \sin x$ を示すこと。 (2) 関数 $f(x) = x^4 + 2x^2 - 3$ の増減と極値を求めること。

不等式関数の増減極値微分
2025/6/11

与えられた積分の問題を解きます。積分は以下の通りです。 $\int \frac{1}{\sqrt{4x - x^2}} dx$

積分定積分変数変換三角関数平方完成
2025/6/11

与えられた積分を計算します。 $\int \frac{x+1}{x(x^2+1)} dx$

積分部分分数分解不定積分arctan対数関数
2025/6/11

関数 $f(x) = \cos(7\cos^{-1}x)$ が与えられています。 1) 次の等式を示す必要があります。 (i) $\sqrt{1-x^2}f^{(1)}(x) = 7\sin(...

微分導関数マクローリン展開Leibnizの公式三角関数
2025/6/11

与えられた積分を計算します。積分は次の通りです。 $$ \int \frac{x(x^2+1)}{x+1} dx $$

積分有理関数積分計算
2025/6/11

関数 $y = \frac{1}{x(x-1)}$ の $n$ 次導関数を求める問題です。

導関数部分分数分解微分
2025/6/11

$g'(x) = 2x$ のとき、$g(x) = x^2 + C$ (Cは定数) となることを平均値の定理を用いて示す問題です。

平均値の定理導関数積分
2025/6/11

関数 $y = xe^{-2x}$ の $n$ 次導関数を求める問題です。

微分導関数ライプニッツの公式指数関数
2025/6/11

関数 $y = x^3 \log x$ の $n$ 次導関数を求める問題です。

導関数ライプニッツ則微分数式処理
2025/6/11