設(shè)t = x+y.
∵ x+y+z = 4,
∴z = 4-(x+y) = 4-t.
又∵xy+yz+zx = 5,
∴xy = 5-z(x+y) = 5-zt = 5-(4-t)t = 5-4t+t².
根據(jù)均值不等式, xy ≤ (x+y)²/4 = t²/4,
于是t²/4 ≥ 5-4t+t², 整理得(3t-10)(t-2) ≤ 0, 故2 ≤ t ≤ 10/3, 也即2 ≤ x+y ≤ 10/3.
易驗證x = y = 5/3, z = 2/3滿足條件, 并使得x+y ≤ 10/3成立等號.
因此x+y的最大值就是10/3.
注: 解釋一下取等條件x = y = 5/3, z = 2/3的來源.
當(dāng)t = 10/3時, 不等式t²/4 ≥ 5-4t+t²成立等號,
這要求均值不等式, xy ≤ (x+y)²/4成立等號, 因此x = y.
而t = x+y, 故x = y = 5/3. 此外z = 4-t = 2/3.什么叫均值不等式啊也叫算術(shù)-幾何平均不等式, 有若干種變形和推廣.
這里用的是xy ≤ (x+y)²/4這種形式, 易見等價于(x-y)² ≥ 0.

一般意義上的算術(shù)-幾何平均不等式:
若x, y > 0, 則(x+y)/2 ≥ √(xy) (等號成立當(dāng)且僅當(dāng)x = y).
左端是x, y的算術(shù)平均, 右端是x, y的幾何平均, 因而得名.

如果你還沒學(xué)均值不等式, 也可以用判別式.
由x+y = t, xy = 5-4t+t², 可知x, y是如下關(guān)于u的一元二次方程的兩根:
u²-tu+(5-4t+t²) = 0.
由x, y是實數(shù), 得判別式Δ = t²-4(5-4t+t²) = -(3t²-16t+20) ≥ 0.
后面步驟就與上面一致了.