Find all triples of real numbers (x,y,z) which are greater than 3 and satisfy the equality: y+z−2(x+2)2+z+x−4(y+4)2+x+y−6(z+6)2=36.
Solution
Since x,y,z are greater than 3, it follows that y+z−2,z+x−4,x+y−6 are positive. Thus, from Cauchy-Schwarz inequality we get: (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)2⇔y+z−2(x+2)2+x+z−4(y+4)2+x+y−6(z+6)2≥21⋅(x+y+z−6)(x+y+z+12)2. From the hypothesis of the problem it follows that (x+y+z−6)(x+y+z+12)2≤72,(1) where as the equality holds when: y+z−2x+2=x+z−4y+4=x+y−6z+6=λ⇔⎩⎨⎧λ(y+z)−x=2(λ+1)λ(x+z)−y=4(λ+1)λ(x+y)−z=6(λ+1).(2) ---
Moreover, we observe that: (x+y+z−6)(x+y+z+12)2=(x+y+z+12)−18(x+y+z+12)2=ω−18ω2, where we have put ω=x+y+z+12. Since we have ω−18ω2≥4⋅18=72⇔ω2−4⋅18ω+4⋅182≥0⇔(ω−36)2≥0, it follows that (x+y+z−6)(x+y+z+12)2≥72.(3) Equality holds when: ω=x+y+z+12=36⇔x+y+z=24(4) From relations (1) and (3) follows that: (x+y+z−6)(x+y+z+12)2=72, and thus equations (2) are (4) are valid, and hence we have the system {(2λ−1)(x+y+z)=12(λ+1)x+y+z=24}⇒λ=1. For λ=1, from relations (2) we get the system : ⎩⎨⎧y+z−x=4x+z−y=8x+y−z=12⎭⎬⎫⇔(x,y,z)=(10,8,6). Therefore the unique solution of the problem is the triple (x,y,z)=(10,8,6), taking in mind that it satisfies the equation x+y+z=24.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.