AlgebraDifficulty 6.9National olympiadFind the answer
Example 7 (1) If x,y,z are positive integers not all equal, find the minimum value of (x+y+z)3−27xyz; (2) If x,y,z are positive integers all different, find the minimum value of (x+y+z)3−27xyz.
A number or a short expression. Spacing and $ signs are ignored.
Assume without loss of generality that x⩾y⩾z, then z⩾1,y⩾1,x⩾2. Thus, ⩾=⩾(x+y+z)3−27xyz21+1+2⋅[(x−y)2+(y−z)2+(z−x)2]+3[(y−z)2+(z−x)2+(x−y)2]5⋅[(x−y)2+(y−z)2+(z−x)2]10
Therefore, (x+y+z)3−27xyz⩾10, and equality holds when (x,y,z)=(2,1,1). (2) Assume without loss of generality that x>y>z, then z⩾1,y⩾2,x⩾3. From part (1), (x+y+z)3−27xyz⩾⩾26⋅[(x−y)2+(y−z)2+(z−x)2]+3⋅[3(y−z)2+2(z−x)2+(x−y)2]3⋅(12+12+22)+3⋅(3⋅12+2⋅22+12)=54
Therefore, (x+y+z)3−27xyz⩾54, and equality holds when (x,y,z)=(3,2,1). Note that part (1) is equivalent to the following proposition: For distinct positive integers a,b,c, we have 3a+b+c⩾3abc+2710
Of course, (1) can also be proven using the following method (incremental substitution): Proof Assume without loss of generality that 1⩽a⩽b⩽c,b=a+x,c=a+y. Then x,y⩾0, and x,y are not both 0(x⩽y).
At this point, (1) is equivalent to proving: 9a(x2−xy+y2)+(x+y)3⩾10
Since a⩾1,x2−xy+y2⩾1,x+y⩾1, the above inequality clearly holds, and equality is achieved when a=1,x2−xy+y2=1,x+y=1, i.e., (a,x,y)=(1,0,1).
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: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.