Let a,b,c be real numbers (positive, negative, or zero) such that a2+b2+c2=6.
a) Determine the maximum possible value for the expression (a−b)2+(b−c)2+(c−a)2.
b) Determine the maximum possible value for the expression (a−b)2⋅(b−c)2⋅(c−a)2.
In both cases, describe all the triples for which the maximum is achieved.
Solution
Solution:
The maximum possible value is 18, and it is achieved by all and only the triples that, in addition to the condition a2+b2+c2=6, also satisfy a+b+c=0 (for example the triple with a=b=1 and c=−2). To prove this it suffices to observe that (a−b)2+(b−c)2+(c−a)2=2(a2+b2+c2)−2(ab+bc+ca)=3(a2+b2+c2)−(a+b+c)2=18−(a+b+c)2≤18 and that in the last step equality holds if and only if a+b+c=0.
b.
The maximum possible value is 108, and it is achieved by all and only the triples in which the three variables are, in some order, 0 and ±3. We start by observing that, up to permutations, we can always assume that the three numbers satisfy the relation a≤b≤c. Recall also that xy=4(x+y)2−(x−y)2≤4(x+y)2 for every pair of real numbers x and y (this is essentially the classical inequality between the geometric mean and the arithmetic mean), with equality if and only if x=y. Applying this inequality with x=b−a and y=c−b we then get that (b−a)⋅(c−b)≤4(c−a)2 from which, squaring both sides (which does not change the direction of the inequalities since b−a and c−b are greater than or equal to 0), we deduce that (a−b)2⋅(b−c)2⋅(c−a)2≤16(c−a)6. Finally we observe that (c−a)2=c2+a2−2ac=2(a2+c2)−(a+c)2≤2(a2+b2+c2)=12, from which we conclude that (a−b)2⋅(b−c)2⋅(c−a)2≤16123=108 To have equality, equality must hold in (2), which happens if and only if b=0 and c=−a, a condition that also guarantees that x=y and hence equality in (1).
Alternative solution to question (b)
Let us set x=a−b,y=b−c,z=c−a. Up to permutations, we can arrange for x≥0 and y≥0 (it suffices that c≤b≤a). From question (a) we know that x,y,z satisfy the inequality x2+y2+z2≤18, as well as of course the equality x+y+z=0, that is, z=−(x+y). What we need to do is maximize the product x2y2z2. Setting s=x+y and p=xy, we observe that s≥0 and p≥0, and moreover x2+y2+z2=x2+y2+(x+y)2=(x+y)2−2xy+(x+y)2=2s2−2p, which allows us to rewrite condition (4) as 2s2−2p≤18, that is, s2≤9+p. Finally, by the inequality between the arithmetic and geometric means, already mentioned in the first solution, we know that p=xy≤4s2. Putting these facts together we deduce that s2≤9+p≤9+4s2 that is, 4s2≤36+s2, from which we conclude that s2≤12, and hence x2y2z2=p2s2≤(4s2)2s2=16s6≤16123=108. To have equality we need in particular that s2=12 and x=y (a necessary and sufficient condition for equality between the arithmetic and geometric means), from which x2=y2=3, that is (recalling that x and y are non-negative) x=y=3. Returning then to equalities (3) we obtain that a=b+3,andc=b−3, and in particular 6=a2+b2+c2=(b+3)2+b2+(b−3)2=3b2+6, from which we conclude that b=0 and consequently a=3 and c=−3.
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 translated into English from it; metadata (topic, difficulty) added by this project.