$|a|<1$, $|b|<1$, $|c|<1$ を満たす実数 $a, b, c$ に対して、次の不等式を証明します。 (1) $ab + 1 > a + b$ (2) $abc + 1 > a + bc$ (3) $abc + 2 > a + b + c$

代数学不等式実数絶対値代数的変形
2025/6/26

1. 問題の内容

a<1|a|<1, b<1|b|<1, c<1|c|<1 を満たす実数 a,b,ca, b, c に対して、次の不等式を証明します。
(1) ab+1>a+bab + 1 > a + b
(2) abc+1>a+bcabc + 1 > a + bc
(3) abc+2>a+b+cabc + 2 > a + b + c

2. 解き方の手順

(1)
ab+1(a+b)=(a1)(b1)ab + 1 - (a + b) = (a - 1)(b - 1)
a<1|a|<1, b<1|b|<1 より 1<a<1-1 < a < 1, 1<b<1-1 < b < 1 です。
したがって、a1<0a-1 < 0 かつ b1<0b-1 < 0 なので (a1)(b1)>0(a - 1)(b - 1) > 0 です。
よって、ab+1>a+bab + 1 > a + b が成り立ちます。
(2)
abc+1(a+bc)=a(bc1)(bc1)=(a1)(bc1)abc + 1 - (a + bc) = a(bc - 1) - (bc - 1) = (a - 1)(bc - 1)
a<1|a|<1, b<1|b|<1, c<1|c|<1 より 1<a<1-1 < a < 1, 1<b<1-1 < b < 1, 1<c<1-1 < c < 1 です。
したがって、a1<0a-1 < 0 かつ 1<bc<1-1 < bc < 1 なので、bc1<0bc-1 < 0 です。
よって、(a1)(bc1)>0(a - 1)(bc - 1) > 0 となり、abc+1>a+bcabc + 1 > a + bc が成り立ちます。
(3)
abc+2(a+b+c)=abca+1b+1c=a(bc1)+(1b)+(1c)abc + 2 - (a + b + c) = abc - a + 1 - b + 1 - c = a(bc - 1) + (1 - b) + (1 - c)
(2)より、abc+1>a+bcabc+1 > a+bc が成り立つことを利用します。
また、a<1,b<1,c<1|a| < 1, |b| < 1, |c| < 1 より、1b>01-b > 0 かつ 1c>01-c > 0 が成り立ちます。
abc+2(a+b+c)=(abc+1abc)+(1+bcbc)=(a1)(bc1)+(1b)(1c)abc + 2 - (a + b + c) = (abc + 1 - a - bc) + (1 + bc - b - c) = (a - 1)(bc - 1) + (1 - b)(1 - c)
a<1,b<1,c<1|a| < 1, |b| < 1, |c| < 1より、a1<0a - 1 < 0, bc1<0bc - 1 < 0, 1b>01 - b > 0, 1c>01 - c > 0
したがって(a1)(bc1)>0(a - 1)(bc - 1) > 0, (1b)(1c)>0(1 - b)(1 - c) > 0
よって、abc+2(a+b+c)>0abc + 2 - (a + b + c) > 0 となり、abc+2>a+b+cabc + 2 > a + b + c が成り立ちます。
別の解き方:
abc+2(a+b+c)=abca+2bc=a(bc1)(b+c2)abc + 2 - (a + b + c) = abc - a + 2 - b - c = a(bc - 1) - (b + c - 2)
a<1|a| < 1 より 1<a<1-1 < a < 1 なので、a(bc1)>bc1a(bc - 1) > bc - 1 または a(bc1)<bc1a(bc - 1) < bc - 1
(1) の結果より、ab+1>a+bab + 1 > a + b です。この式の aaacac に置き換えると、abc+1>ac+babc + 1 > ac + b
abc+2(a+b+c)=(abc+1abc)+(1+bcbc)=(a1)(bc1)+(1b)(1c)abc + 2 - (a + b + c) = (abc + 1 - a - bc) + (1 + bc - b - c) = (a - 1)(bc - 1) + (1 - b)(1 - c)
a<1,b<1,c<1|a| < 1, |b| < 1, |c| < 1 より、a1<0,bc1<0,1b>0,1c>0a - 1 < 0, bc - 1 < 0, 1 - b > 0, 1 - c > 0
したがって、(a1)(bc1)>0(a - 1)(bc - 1) > 0, (1b)(1c)>0(1 - b)(1 - c) > 0
abc+2(a+b+c)>0abc + 2 - (a + b + c) > 0 なので、abc+2>a+b+cabc + 2 > a + b + c

3. 最終的な答え

(1) ab+1>a+bab + 1 > a + b は成り立つ。
(2) abc+1>a+bcabc + 1 > a + bc は成り立つ。
(3) abc+2>a+b+cabc + 2 > a + b + c は成り立つ。

「代数学」の関連問題

与えられた不等式 $3 < x - 1 < 5 + 4x$ を満たす $x$ の範囲を求める問題です。

不等式一次不等式不等式の解法
2025/6/26

$x, y$ が以下の4つの不等式を同時に満たすとき、$x+y$ の最大値と最小値を求めよ。 $x \geq 0$ $y \geq 0$ $x + 3y \leq 5$ $3x + 2y \leq 8...

不等式線形計画法最大値最小値領域
2025/6/26

不等式 $4x + 3 < 7x$ を解き、$x$ の範囲を求めます。

不等式一次不等式方程式
2025/6/26

数列 $\{a_n\}$ の第5項を求める問題です。以下の2つの場合について考えます。 (1) $a_1 = 2, a_{n+1} = 2a_n + 1$ (2) $a_1 = 1, a_{n+1} ...

数列漸化式代数
2025/6/26

与えられた分数の分母を有理化する問題です。つまり、$\frac{1}{\sqrt{7} + \sqrt{3}}$ を、分母に根号を含まない形に変形します。

分母の有理化根号分数
2025/6/26

数列 $\{a_n\}$ が、$a_1 = 1$、$a_{n+1} - a_n = \frac{3}{5}$ という漸化式で定義されるとき、一般項 $a_n$ を $n$ の式で表してください。

数列漸化式等差数列一般項
2025/6/26

数列 $\{a_n\}$ が、$a_1 = -3$ かつ $5a_{n+1} = 2a_n$ で定義されるとき、一般項 $a_n$ を $n$ の式で表す。

数列漸化式等比数列一般項
2025/6/26

画像に書かれている数式を簡略化、または因数分解する問題です。4つの数式があり、それぞれ以下の通りです。 (1) $\frac{x^2 - 7x - 8}{x+1}$ (2) $\frac{x^2 - ...

因数分解分数式二次式
2025/6/26

与えられた式 $(3-\sqrt{2})(1+3\sqrt{2})$ を計算し、その結果を求める問題です。

式の計算平方根展開
2025/6/26

初項 $a_1 = -3$ であり、漸化式 $a_{n+1} = 2a_n$ を満たす数列 $\{a_n\}$ の一般項 $a_n$ を $n$ の式で表す。

数列漸化式等比数列一般項
2025/6/26