(1) $a > 1$, $b > 1$ のとき、$ab + 1 > a + b$ が成り立つことを示す。 (2) $a$ が実数であるとき、$a^2 + 1 \ge 2a$ であることを示し、等号が成り立つときを答える。

代数学不等式証明実数2次式
2025/6/9

1. 問題の内容

(1) a>1a > 1, b>1b > 1 のとき、ab+1>a+bab + 1 > a + b が成り立つことを示す。
(2) aa が実数であるとき、a2+12aa^2 + 1 \ge 2a であることを示し、等号が成り立つときを答える。

2. 解き方の手順

(1) ab+1>a+bab + 1 > a + b を示すために、左辺から右辺を引いたものが正であることを示す。
ab+1(a+b)=abab+1=a(b1)(b1)=(a1)(b1)ab + 1 - (a + b) = ab - a - b + 1 = a(b - 1) - (b - 1) = (a - 1)(b - 1)
a>1a > 1 より a1>0a - 1 > 0, b>1b > 1 より b1>0b - 1 > 0 であるから、(a1)(b1)>0(a - 1)(b - 1) > 0 となる。
したがって、ab+1(a+b)>0ab + 1 - (a + b) > 0 より、ab+1>a+bab + 1 > a + b が成り立つ。
(2) a2+12aa^2 + 1 \ge 2a を示すために、a2+12aa^2 + 1 - 2a が0以上であることを示す。
a2+12a=(a1)2a^2 + 1 - 2a = (a - 1)^2
実数 aa に対して (a1)20(a - 1)^2 \ge 0 であるから、a2+12a0a^2 + 1 - 2a \ge 0 より、a2+12aa^2 + 1 \ge 2a が成り立つ。
等号が成り立つのは (a1)2=0(a - 1)^2 = 0 のとき、つまり a=1a = 1 のときである。

3. 最終的な答え

(1) a>1a > 1, b>1b > 1 のとき、ab+1>a+bab + 1 > a + b は成り立つ。
(2) aa が実数のとき、a2+12aa^2 + 1 \ge 2a は成り立つ。等号が成り立つのは a=1a = 1 のときである。

「代数学」の関連問題

(1) $a+b+c = 0$ のとき、$a^3 + b^3 + c^3 = 3abc$ が成り立つことを示す。 (2) $\frac{x}{a} = \frac{y}{b}$ のとき、$(ax + ...

等式式の展開因数分解代入
2025/6/9

(1) $a+b+c=0$ のとき、$a^3+b^3+c^3=3abc$ が成り立つことを示す問題です。 (2) $\frac{x}{a} = \frac{y}{b}$ のとき、$(ax+by)^2=...

因数分解式の展開等式の証明
2025/6/9

(1) $a+b+c=0$ のとき、$a^3+b^3+c^3 = 3abc$ が成り立つことを示す。 (2) $\frac{x}{a} = \frac{y}{b}$ のとき、$(ax+by)^2 = ...

式の展開因数分解恒等式
2025/6/9

与えられた2つの行列の積を計算する問題です。 行列は、 $ \begin{pmatrix} 1 & 3 \\ 2 & -1 \\ 5 & 0 \end{pmatrix} $ と $ \begin{pm...

行列行列の積線形代数
2025/6/9

問題は、命題「$2x + 3y > 0$ ならば、$x > 0$ または $y > 0$ である」の対偶「$x \le 0$ かつ $y \le 0$ ならば、$2x + 3y \le 0$ である」...

不等式論理対偶証明
2025/6/9

次の連立方程式を解く問題です。 $ \begin{cases} 2x - 3y = 1 \\ x = y + 1 \end{cases} $

連立方程式代入法一次方程式
2025/6/9

2次式 $x^2 - 3x - 2$ を複素数の範囲で因数分解する。

二次方程式因数分解解の公式複素数
2025/6/9

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

二次方程式解と係数の関係解の和解の積
2025/6/9

与えられた2つの行列の積を計算する問題です。行列はそれぞれ以下の通りです。 $ \begin{pmatrix} 1 & 3 \\ 2 & -1 \\ 5 & 0 \end{pmatrix} $ と $...

行列行列の積線形代数
2025/6/9

## 1. 問題の内容

式の展開因数分解恒等式比例式
2025/6/9