実数 $x, y, z$ が、$x+y+2z=1$ と $x^2+y^2+z^2=1$ を満たすとき、以下の問いに答える。 (1) $z$ のとり得る値の範囲を求めよ。 (2) さらに、$x \ge z$ かつ $y \ge z$ であるとき、$z$ のとり得る値の範囲を求めよ。

代数学不等式コーシー・シュワルツの不等式二次不等式実数
2025/6/4

1. 問題の内容

実数 x,y,zx, y, z が、x+y+2z=1x+y+2z=1x2+y2+z2=1x^2+y^2+z^2=1 を満たすとき、以下の問いに答える。
(1) zz のとり得る値の範囲を求めよ。
(2) さらに、xzx \ge z かつ yzy \ge z であるとき、zz のとり得る値の範囲を求めよ。

2. 解き方の手順

(1) まず、x+y=12zx+y = 1-2z であることを利用して、x2+y2x^2 + y^2zz で表すことを考える。
x2+y2+z2=1x^2+y^2+z^2 = 1 より、x2+y2=1z2x^2+y^2 = 1-z^2 となる。
コーシー・シュワルツの不等式 (x2+y2)(12+12)(x+y)2(x^2+y^2)(1^2+1^2) \ge (x+y)^2 を用いると、
2(1z2)(12z)22(1-z^2) \ge (1-2z)^2
22z214z+4z22-2z^2 \ge 1-4z+4z^2
06z24z10 \ge 6z^2 - 4z - 1
6z24z106z^2 - 4z - 1 \le 0
二次方程式 6z24z1=06z^2-4z-1=0 の解は、z=4±16+2412=4±4012=4±21012=2±106z = \frac{4 \pm \sqrt{16 + 24}}{12} = \frac{4 \pm \sqrt{40}}{12} = \frac{4 \pm 2\sqrt{10}}{12} = \frac{2 \pm \sqrt{10}}{6}
したがって、2106z2+106\frac{2 - \sqrt{10}}{6} \le z \le \frac{2 + \sqrt{10}}{6}
(2) x+y=12zx+y = 1-2z より、x=(12z)yx = (1-2z) - y であるから、xzx \ge z より (12z)yz(1-2z) - y \ge z つまり、y13zy \le 1-3z
同様に、yzy \ge z であるから、zy13zz \le y \le 1-3z となる。
z13zz \le 1-3z より、4z14z \le 1 だから、z14z \le \frac{1}{4}
また、x2+y2=1z2x^2+y^2 = 1-z^2 において、xzx \ge z かつ yzy \ge z であるから、 x=z+ax = z + a , y=z+by = z + ba,b0a, b \ge 0) と表すことができる。
このとき、 x+y+2z=1x+y+2z=1z+a+z+b+2z=1z+a+z+b+2z=1 なので、4z+a+b=14z+a+b=1 。 よって、x=z+a=z+14zb=13zbx=z+a=z+1-4z-b = 1-3z-b , y=z+by=z+b
x2+y2+z2=(13zb)2+(z+b)2+z2=1x^2+y^2+z^2 = (1-3z-b)^2 + (z+b)^2 + z^2 = 1
(13z)22(13z)b+b2+z2+2zb+b2+z2=1(1-3z)^2 - 2(1-3z)b + b^2 + z^2 + 2zb + b^2 + z^2 = 1
16z+9z22b+6zb+b2+z2+2zb+b2+z2=11 - 6z + 9z^2 - 2b + 6zb + b^2 + z^2 + 2zb + b^2 + z^2 = 1
11z2+8zb6z+2b22b=011z^2 + 8zb - 6z + 2b^2 - 2b = 0
b=14z0b = 1-4z \ge 0 なので、z14z \le \frac{1}{4}
xz,yzx \ge z, y \ge z であることと x2+y2=1z2x^2+y^2=1-z^2 より、2z2x2+y2=1z22z^2 \le x^2+y^2 = 1-z^2 であるから、3z213z^2 \le 1 であり、z13z \le \frac{1}{\sqrt{3}} である。
x=yx=y のときを考えると、2x+2z=12x+2z = 1, 2x2+z2=12x^2+z^2=1, よって、x=(12z)/2x=(1-2z)/2 より、2(12z2)2+z2=12(\frac{1-2z}{2})^2 + z^2 = 1 なので、12z+3z2=1\frac{1}{2}-z+3z^2 = 1, 3z2z12=03z^2-z-\frac{1}{2}=0, z=1±1+66=1±76z = \frac{1 \pm \sqrt{1+6}}{6} = \frac{1 \pm \sqrt{7}}{6}
条件 xzx \ge z は、12z2z\frac{1-2z}{2} \ge z, 12z2z1-2z \ge 2z, 14z1 \ge 4z, z14z \le \frac{1}{4} を意味する。
2106z14\frac{2 - \sqrt{10}}{6} \le z \le \frac{1}{4} が答えとなる。

3. 最終的な答え

(1) 2106z2+106\frac{2 - \sqrt{10}}{6} \le z \le \frac{2 + \sqrt{10}}{6}
(2) 2106z14\frac{2 - \sqrt{10}}{6} \le z \le \frac{1}{4}

「代数学」の関連問題

数列 $\{a_n\}$ の初項から第 $n$ 項までの和を $S_n$ とする。数列 $\{S_n\}$ は漸化式 $S_{n+1} = \frac{1}{2} S_n + 3^{n-1}$ $(n...

数列漸化式等比数列
2025/6/6

(5) $x^2 + x - 3$ で割ったとき、商が $x + 2$ で余りが $x$ であるような $x$ の多項式を求める。 (6) 多項式 $x^4 - ax^2 + 2x + b$ が $x...

多項式割り算因数定理剰余の定理
2025/6/6

連立方程式 $xy = 128$ $\frac{1}{\log_2 x} + \frac{1}{\log_2 y} = \frac{28}{45}$ を満たす実数 $x, y$ を考えます。ただし、$...

連立方程式対数二次方程式真数条件
2025/6/6

等比数列 $1, x, x+2, \dots$ が与えられているとき、$x$ の値を求めよ。

等比数列二次方程式因数分解
2025/6/6

2x2回転行列 $R(\theta) = \begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pm...

行列回転行列三角関数加法定理
2025/6/6

与えられた多項式の組に対して、割り算の問題(または因数分解の問題)を解く必要があると考えられます。画像には4つの問題があります。 (1) $2x^2 + 2x - 3$ を $x + 2$ で割る (...

多項式の割り算因数分解剰余の定理
2025/6/6

同じ太さの丸太を、一段上がるごとに1本ずつ減らして積み重ねる。ただし、最上段は1本とは限らない。125本の丸太を全部積み重ねる場合、最下段には最小限何本の丸太が必要か、また、その時の最上段は何本になる...

等差数列方程式約数整数問題
2025/6/6

与えられた7つの行列の行列式を計算する問題です。

行列式線形代数行列
2025/6/6

与えられた多項式の割り算の商と余りを求める問題、条件を満たす多項式を求める問題、与えられた式を簡単にする問題が出題されています。具体的には、以下の問題に取り組みます。 (1) $2x^2 + 2x -...

多項式の割り算因数分解分数式部分分数分解
2025/6/6

問題1の(3):多項式 $x-x^3$ を多項式 $-x-1+2x^2$ で割ったときの商と余りを求める。

多項式の割り算多項式余り
2025/6/6