Suppose that x, y and z are positive real numbers such that xyz≥1.
a. Prove that 27≤(1+x+y)2+(1+y+z)2+(1+z+x)2, with equality if and only if x=y=z=1.
b. Prove that (1+x+y)2+(1+y+z)2+(1+z+x)2≤3(x+y+z)2, with equality if and only if x=y=z=1.
Solution
Solution to Part (a). One can establish this in several ways. For instance, using the convexity of t→t2 we have (33+2(x+y+z))2=(3(1+x+y)+(1+y+z)+(1+z+x))2≤3(1+x+y)2+(1+y+z)2+(1+z+x)2, with equality iff 1+x+y=1+y+z=1+z+x, i.e., x=y=z. Hence 3(3+2(x+y+z))2≤(1+x+y)2+(1+y+z)2+(1+z+x)2, with equality iff x=y=z. This also follows from an application of the Cauchy-Schwarz inequality to the expression 3+2(x+y+z)=(1+x+y)+(1+y+z)+(1+z+x). To continue, by the AM-GM inequality, 3+2(x+y+z)≥3+6xyz≥9, with equality iff x=y=z=1. Hence 27=381≤3(3+2(x+y+z))2≤(1+x+y)2+(1+y+z)2+(1+z+x)2, with equality iff x=y=z. Alternatively, applying the AM-GM inequality termwise we see that (1+x+y)2+(1+y+z)2+(1+z+x)2≥(331xy)2+(331yz)2+(331zx)2=9(3x2y2+3y2z2+3z2x2)≥273x4y4z4≥27, with equality throughout iff x=y=z=1.
Solution to Part (b). Now consider the inequality on the right-hand side: (1+x+y)2+(1+y+z)2+(1+z+x)2≤3(x+y+z)2. Expanding and simplifying this leads to the following equivalent statement that 3+2(x2+y2+z2)+2(xy+yz+zx)+4(x+y+z)≤3(x2+y2+z2)+6(xy+yz+zx), i.e., 3+4(x+y+z)≤x2+y2+z2+4(xy+yz+zx)=(x+y+z)2+2(xy+yz+zx). Equivalently, 7≤(u−2)2+2v, where u=x+y+z, v=xy+yz+zx. But u≥3 and v≥3, with equality in both of these inequalities iff x=y=z=1. Hence (u−2)2+2v≥1+6=7, with equality iff x=y=z=1. This establishes the desired result.
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.