## 問題の解答

代数学多項式因数定理不等式証明
2025/5/7
## 問題の解答
###

1. 問題の内容

6. 整式 $x^3 + 2x^2 + ax + b$ が $(x-1)^2$ で割り切れるように、定数 $a, b$ の値を定める。

7. $a > b, c > d$ のとき、$ac + bd > ad + bc$ が成り立つことを証明する。

8. 不等式 $x^2 + 4y^2 \geq 4xy$ を証明し、等号が成り立つ場合を調べる。

###

2. 解き方の手順

**

6. 整式の割り算**

P(x)=x3+2x2+ax+bP(x) = x^3 + 2x^2 + ax + b とおく。P(x)P(x)(x1)2(x-1)^2 で割り切れるということは、P(x)P(x)(x1)(x-1) で2回割り切れるということである。まず、P(x)P(x)(x1)(x-1) で割り切れる条件は、剰余の定理より、P(1)=0P(1) = 0 である。
P(1)=13+2(1)2+a(1)+b=1+2+a+b=3+a+b=0P(1) = 1^3 + 2(1)^2 + a(1) + b = 1 + 2 + a + b = 3 + a + b = 0
よって、a+b=3a + b = -3 が必要条件である。
次に、 P(x)P(x) を実際に x1x-1 で割ってみる。
```
x^2 + 3x + (a+3)
x-1 | x^3 + 2x^2 + ax + b
-(x^3 - x^2)
3x^2 + ax
-(3x^2 - 3x)
(a+3)x + b
-((a+3)x - (a+3))
b + a + 3
```
割り算の結果は、x2+3x+(a+3)x^2 + 3x + (a+3) であり、余りは b+a+3b + a + 3 である。
P(x)P(x)(x1)2(x-1)^2で割り切れるには、x2+3x+(a+3)x^2 + 3x + (a+3)x1x-1 で割り切れなければならない。つまり、x2+3x+(a+3)x^2 + 3x + (a+3)x=1x=1 を代入すると0になる。
12+3(1)+(a+3)=1+3+a+3=7+a=01^2 + 3(1) + (a+3) = 1 + 3 + a + 3 = 7 + a = 0
よって、a=7a = -7
a+b=3a + b = -3 より、b=3a=3(7)=4b = -3 - a = -3 - (-7) = 4
したがって、a=7,b=4a = -7, b = 4 である。
**

7. 不等式の証明**

ac+bd>ad+bcac + bd > ad + bc を証明する。
ac+bd(ad+bc)=acadbc+bd=a(cd)b(cd)=(ab)(cd)ac + bd - (ad + bc) = ac - ad - bc + bd = a(c-d) - b(c-d) = (a-b)(c-d)
a>ba > b より ab>0a - b > 0
c>dc > d より cd>0c - d > 0
したがって、(ab)(cd)>0(a-b)(c-d) > 0 である。
よって、ac+bd(ad+bc)>0ac + bd - (ad + bc) > 0 より、ac+bd>ad+bcac + bd > ad + bc が成り立つ。
**

8. 不等式の証明**

x2+4y24xyx^2 + 4y^2 \geq 4xy を証明する。
x2+4y24xy=x24xy+4y2=(x2y)2x^2 + 4y^2 - 4xy = x^2 - 4xy + 4y^2 = (x - 2y)^2
(x2y)20(x - 2y)^2 \geq 0 であるから、x2+4y24xy0x^2 + 4y^2 - 4xy \geq 0 より、x2+4y24xyx^2 + 4y^2 \geq 4xy が成り立つ。
等号が成り立つのは、(x2y)2=0(x - 2y)^2 = 0 のとき、つまり、x2y=0x - 2y = 0 のときである。
したがって、x=2yx = 2y のとき等号が成り立つ。
###

3. 最終的な答え

6. $a = -7, b = 4$

7. $ac + bd > ad + bc$ が成り立つ (証明完了)

8. $x^2 + 4y^2 \geq 4xy$ が成り立つ。等号が成り立つのは $x = 2y$ のとき。

「代数学」の関連問題

与えられた複素ベクトルの組が線形独立か線形従属かを判定する問題です。具体的には、以下の2つの組について判定します。 (1) $\begin{bmatrix} 2+3i \\ 3-2i \end{bma...

線形代数線形独立線形従属複素ベクトル行列式
2025/5/9

与えられたベクトルの組が$K^3$の基底になるかどうか判定する問題です。具体的には、以下の2つの組について判定します。 (1) $\begin{bmatrix} 1 \\ 1 \\ 2 \end{bm...

線形代数ベクトル基底線形独立行列式
2025/5/9

$a, b$ は実数で、$ab > 0$ のとき、次の1~5の中から正しいものを選ぶ問題です。 1. $a < b \Rightarrow a^2 < b^2$

不等式実数大小関係絶対値
2025/5/9

不等式 $(x-3)(x-6) > 0$ の解を全て求め、選択肢の中から正しいものを選ぶ。

不等式二次不等式解の範囲
2025/5/9

$\log_2 12 - \log_2 3$ の値を求め、選択肢の中から正しいものを選びます。

対数対数の性質計算
2025/5/9

$\log_2{\frac{1}{8}}$ の値を求める問題です。

対数指数計算
2025/5/9

3次方程式 $x^3 - 3x^2 + ax + b = 0$ が $1+3i$ を解に持つとき、実数の定数 $a$, $b$ の値を求め、他の解を求めよ。

三次方程式複素数解と係数の関係
2025/5/9

$8^{\frac{1}{2}}$ の値を求め、選択肢の中から正しいものを選びます。

指数累乗根指数法則計算
2025/5/9

3次式 $x^3 - 2x^2 - 5x + 6$ を因数分解した結果として正しいものを、選択肢の中から選ぶ問題です。

因数分解多項式3次式因数定理
2025/5/9

複素数 $1-i$ の2乗 $(1-i)^2$ の値を求め、選択肢の中から正しいものを選びます。

複素数2乗計算
2025/5/9