(1) $p > 1, q > 1$ のとき、不等式 $p + q < pq + 1$ を証明する。 (2) $a > 1, b > 1$ のとき、不等式 $\sqrt{a+b-1} < \sqrt{a} + \sqrt{b} - 1$ を証明する。 (3) $a > 1, b > 1, c > 1$ のとき、不等式 $\sqrt{a+b+c-2} < \sqrt{a} + \sqrt{b} + \sqrt{c} - 2$ を証明する。

代数学不等式証明
2025/6/23

1. 問題の内容

(1) p>1,q>1p > 1, q > 1 のとき、不等式 p+q<pq+1p + q < pq + 1 を証明する。
(2) a>1,b>1a > 1, b > 1 のとき、不等式 a+b1<a+b1\sqrt{a+b-1} < \sqrt{a} + \sqrt{b} - 1 を証明する。
(3) a>1,b>1,c>1a > 1, b > 1, c > 1 のとき、不等式 a+b+c2<a+b+c2\sqrt{a+b+c-2} < \sqrt{a} + \sqrt{b} + \sqrt{c} - 2 を証明する。

2. 解き方の手順

(1)
p+q<pq+1p+q < pq+1 を証明する。
pq+1(p+q)=pqpq+1=p(q1)(q1)=(p1)(q1)pq+1 - (p+q) = pq - p - q + 1 = p(q-1) - (q-1) = (p-1)(q-1)
p>1,q>1p > 1, q > 1 より、p1>0,q1>0p-1 > 0, q-1 > 0 であるから、 (p1)(q1)>0(p-1)(q-1) > 0
よって、pq+1>p+qpq+1 > p+q が成り立つ。
(2)
a+b1<a+b1\sqrt{a+b-1} < \sqrt{a} + \sqrt{b} - 1 を証明する。
まず、両辺が正であることを確認する。a>1,b>1a>1, b>1 より a+b1>1+11=1a+b-1 > 1+1-1=1 だから a+b1>1\sqrt{a+b-1}>1。また、a>1,b>1\sqrt{a}>1, \sqrt{b}>1 より a+b1>1+11=1\sqrt{a}+\sqrt{b}-1 > 1+1-1=1なのでa+b1>0\sqrt{a}+\sqrt{b}-1>0
両辺を2乗する。
(a+b1)2<(a+b1)2(\sqrt{a+b-1})^2 < (\sqrt{a} + \sqrt{b} - 1)^2
a+b1<a+b+1+2ab2a2ba+b-1 < a + b + 1 + 2\sqrt{ab} - 2\sqrt{a} - 2\sqrt{b}
a+b1<a+b+1+2ab2a2ba+b-1 < a + b + 1 + 2\sqrt{ab} - 2\sqrt{a} - 2\sqrt{b}
2<2ab2a2b-2 < 2\sqrt{ab} - 2\sqrt{a} - 2\sqrt{b}
1<abab-1 < \sqrt{ab} - \sqrt{a} - \sqrt{b}
a+bab1>0\sqrt{a} + \sqrt{b} - \sqrt{ab} - 1 > 0
a(1b)(1b)>0\sqrt{a}(1-\sqrt{b}) - (1-\sqrt{b}) > 0
(a1)(1b)>0(\sqrt{a}-1)(1-\sqrt{b}) > 0
(a1)(1b)=(a1)(b1)>0(\sqrt{a}-1)(1-\sqrt{b}) = -(\sqrt{a}-1)(\sqrt{b}-1) > 0
a>1,b>1a > 1, b > 1 より、 a>1,b>1\sqrt{a} > 1, \sqrt{b} > 1 であるから、 a1>0,b1>0\sqrt{a}-1 > 0, \sqrt{b}-1 > 0
したがって、(a1)(b1)>0(\sqrt{a}-1)(\sqrt{b}-1) > 0
(a1)(b1)<0-(\sqrt{a}-1)(\sqrt{b}-1) < 0
これは誤り。
正しくは
abab+1>0 \sqrt{ab}-\sqrt{a}-\sqrt{b}+1>0
(a1)(b1)>0(\sqrt{a}-1)(\sqrt{b}-1)>0
a>1,b>1a>1, b>1 より a>1,b>1\sqrt{a}>1, \sqrt{b}>1 だから
a1>0,b1>0\sqrt{a}-1>0, \sqrt{b}-1>0 よって(a1)(b1)>0(\sqrt{a}-1)(\sqrt{b}-1)>0が成立する。
したがってa+b1<a+b1\sqrt{a+b-1} < \sqrt{a} + \sqrt{b} - 1が成立する。
(3)
a+b+c2<a+b+c2\sqrt{a+b+c-2} < \sqrt{a} + \sqrt{b} + \sqrt{c} - 2 を証明する。
A=a,B=b,C=cA = \sqrt{a}, B = \sqrt{b}, C = \sqrt{c}とおく。
A2+B2+C22<A+B+C2\sqrt{A^2 + B^2 + C^2 - 2} < A + B + C - 2
両辺を2乗する。
A2+B2+C22<(A+B+C2)2A^2 + B^2 + C^2 - 2 < (A+B+C-2)^2
A2+B2+C22<A2+B2+C2+4+2AB+2AC+2BC4A4B4CA^2 + B^2 + C^2 - 2 < A^2 + B^2 + C^2 + 4 + 2AB + 2AC + 2BC - 4A - 4B - 4C
2<4+2AB+2AC+2BC4A4B4C-2 < 4 + 2AB + 2AC + 2BC - 4A - 4B - 4C
0<6+2AB+2AC+2BC4A4B4C0 < 6 + 2AB + 2AC + 2BC - 4A - 4B - 4C
0<3+AB+AC+BC2A2B2C0 < 3 + AB + AC + BC - 2A - 2B - 2C
2A+2B+2C<3+AB+AC+BC2A + 2B + 2C < 3 + AB + AC + BC
2(a+b+c)<3+ab+ac+bc2(\sqrt{a} + \sqrt{b} + \sqrt{c}) < 3 + \sqrt{ab} + \sqrt{ac} + \sqrt{bc}
これは示したい不等式ではない。
(2)を参考にすると
a>1,b>1,c>1a>1,b>1,c>1のとき a+b+c2<a+b+c2\sqrt{a+b+c-2}<\sqrt{a}+\sqrt{b}+\sqrt{c}-2
まず両辺が正であることを示す。
a+b+c2>1\sqrt{a+b+c-2}>1であり、a+b+c2>1+1+12=1\sqrt{a}+\sqrt{b}+\sqrt{c}-2>1+1+1-2=1より
a+b+c2>1\sqrt{a}+\sqrt{b}+\sqrt{c}-2>1である。
両辺を2乗する。
a+b+c2<a+b+c+4+2ab+2ac+2bc4a4b4ca+b+c-2<a+b+c+4+2\sqrt{ab}+2\sqrt{ac}+2\sqrt{bc}-4\sqrt{a}-4\sqrt{b}-4\sqrt{c}
6<2ab+2ac+2bc4a4b4c-6<2\sqrt{ab}+2\sqrt{ac}+2\sqrt{bc}-4\sqrt{a}-4\sqrt{b}-4\sqrt{c}
3<ab+ac+bc2a2b2c-3<\sqrt{ab}+\sqrt{ac}+\sqrt{bc}-2\sqrt{a}-2\sqrt{b}-2\sqrt{c}
ab+ac+bc2a2b2c+3>0\sqrt{ab}+\sqrt{ac}+\sqrt{bc}-2\sqrt{a}-2\sqrt{b}-2\sqrt{c}+3>0
a(b+c2)+bc2b2c+3>0\sqrt{a}(\sqrt{b}+\sqrt{c}-2)+\sqrt{bc}-2\sqrt{b}-2\sqrt{c}+3>0
(a1)(b+c2)(b1)(c1)+1>0(\sqrt{a}-1)(\sqrt{b}+\sqrt{c}-2)-(\sqrt{b}-1)(\sqrt{c}-1)+1>0

3. 最終的な答え

(1) p+q<pq+1p+q < pq+1
(2) a+b1<a+b1\sqrt{a+b-1} < \sqrt{a} + \sqrt{b} - 1
(3) a+b+c2<a+b+c2\sqrt{a+b+c-2} < \sqrt{a} + \sqrt{b} + \sqrt{c} - 2

「代数学」の関連問題

$a$ を正の定数とし、$f(x) = x^2 + 2(a-3)x - a^2 + 3a + 5$ とする。2次関数 $y=f(x)$ のグラフの頂点の $x$ 座標を $p$ とする。 (ア) $p...

二次関数平方完成最大・最小グラフ
2025/6/23

はい、承知いたしました。画像から読み取れる範囲で、いくつか問題を選んで解いてみます。

二次関数最大値最小値平方完成定義域
2025/6/23

与えられた2次関数 $y = -2x^2 - 4x + 1$ の $-2 \le x < 1$ の範囲における最大値と最小値を求める問題です。

二次関数最大値最小値平方完成定義域
2025/6/23

不等式 $x + a \ge 3x + 5$ の解が $x \le 3$ であるとき、定数 $a$ の値を求めよ。

不等式一次不等式解の範囲定数
2025/6/23

与えられた2次関数の定義域における最大値と最小値を求める問題です。今回は問題(4) $y = x^2 - 2x + 2$ ($-1 < x < 2$) を解きます。

二次関数最大値最小値平方完成定義域
2025/6/23

$n$ が自然数のとき、${}_n C_0 + {}_n C_1 + \dots + {}_n C_n$ を $n$ の簡単な式で表す問題です。

二項定理組み合わせ二項係数
2025/6/23

$n$ が自然数のとき、${}_nC_0 + {}_nC_1 + \dots + {}_nC_n$ を $n$ の簡単な式で表す問題です。

二項定理組み合わせ二項係数
2025/6/23

$n$が自然数のとき、${}_nC_0 + {}_nC_1 + \dots + {}_nC_n$ を$n$の簡単な式で表す問題です。

二項定理組み合わせ数学的証明
2025/6/23

$(a + \frac{b}{2} + 3c)^8$ の展開式における $a^3b^3c^2$ の項の係数を求める問題です。

多項定理二項展開係数
2025/6/23

与えられた数式の値を求める問題です。数式は $\sqrt{\frac{1-x^2}{1+x^2}}$ です。

数式根号式の簡略化
2025/6/23