AlgebraDifficulty 6.6National olympiadFind the answer
Example 2 Given real numbers x,y,z>3, find all real solutions (x,y,z) of the equation y+z−2(x+2)2+z+x−4(y+4)2+x+y−6(z+6)2=36
A number or a short expression. Spacing and $ signs are ignored.
Solution
Given x,y,z>3, we know y+z−2>0,z+x−4>0,x+y−6>0
By the Cauchy-Schwarz inequality, we have ⩾⇔⩾[y+z−2(x+2)2+x+z−4(y+4)2+x+y−6(z+6)2][(y+z−2)+(x+z−4)+(x+y−6)](x+y+z+12)2y+z−2(x+2)2+x+z−4(y+4)2+x+y−6(z+6)221⋅x+y+z−6(x+y+z+12)2
Combining with the given equation, we get x+y+z−6(x+y+z+12)2⩽72
When y+z−2x+2=x+z−4y+4=x+y−6z+6=λ, i.e., ⎩⎨⎧λ(y+z)−x=2(λ+1)λ(x+z)−y=4(λ+1)λ(x+y)−z=6(λ+1)
the equality in (35) holds. Let w=x+y+z+12. Then x+y+z−6(x+y+z+12)2=w−18w2