Question

已知x，y，z∈R，且x+y+z=1，x²+y²+z²=

1

2

，證明：x，y，z∈[0，

2

3

]．

Answer 1

分析：證法一：由x+y+z=1，x²+y²+z²=

1

2

，得x²+y²+（1-x-y）²=

1

2

，整理成關(guān)于y的一元二次方程得：2y²-2（1-x）y+2x²-2x+

1

2

=0，根據(jù)y∈R，故△≥0；
證法二：構(gòu)造新變量．設(shè)x=

1

3

+x′，y=

1

3

+y′，z=

1

3

+z′，則x′+y′+z′=0，于是

1

2

=x²+y²+z²=

1

3

+

3

2

x′²，從而可證；
證法三：反證法．設(shè)x、y、z三數(shù)中若有負(fù)數(shù)，不妨設(shè)x＜0，則x²＞0，

1

2

=x²+y²+z²≥x²+

(y+z)2

2

=

(1-x)2

2

+x2=

3

2

x2-x+

1

2

＞

1

2

，矛盾；x、y、z三數(shù)中若有最大者大于

2

3

，同理可得．

解答：證法一：由x+y+z=1，x²+y²+z²=

1

2

，得x²+y²+（1-x-y）²=

1

2

，整理成關(guān)于y的一元二次方程得：
2y²-2（1-x）y+2x²-2x+

1

2

=0，∵y∈R，故△≥0
∴4（1-x）²-4×2（2x²-2x+

1

2

）≥0，得0≤x≤

2

3

，∴x∈[0，

2

3

]
同理可得y，z∈[0，

2

3

]
證法二：設(shè)x=

1

3

+x′，y=

1

3

+y′，z=

1

3

+z′，則x′+y′+z′=0，
于是

1

2

=（

1

3

+x′）²+（

1

3

+y′）²+（

1

3

+z′）²
=

1

3

+x′²+y′²+z′²+

2

3

（x′+y′+z′）
=

1

3

+x′²+y′²+z′²≥

1

3

+x′²+

(y′+z′)2

2

=

1

3

+

3

2

x′²
故x′²≤

1

9

，x′∈[-

1

3

，

1

3

]，x∈[0，

2

3

]，
同理y，z∈[0，

2

3

]
證法三：設(shè)x、y、z三數(shù)中若有負(fù)數(shù)，不妨設(shè)x＜0，則x²＞0，

1

2

=x²+y²+z²≥x²+

(y+z)2

2

=

(1-x)2

2

+x2=

3

2

x2-x+

1

2

＞

1

2

，矛盾．
x、y、z三數(shù)中若有最大者大于

2

3

，不妨設(shè)x＞

2

3

，則

1

2

=x²+y²+z²≥x²+

(y+z)2

2

=x²+

(1-x)2

2

=

3

2

x²-x+

1

2

=

3

2

x（x-

2

3

）+

1

2

＞

1

2

，矛盾．
故x、y、z∈[0，

2

3

]

點(diǎn)評(píng)：本題以條件等式為載體，考查不等式的證明，考查反證法的運(yùn)用，考查構(gòu)造法證明不等式，綜合性強(qiáng)．