Let x,y,z be positive real numbers such that (yx+zy+xz)+(xy+yz+zx)=8.Find the minimum value of (yx+zy+xz)(xy+yz+zx).
Solution — click to reveal
Let P=(yx+zy+xz)(xy+yz+zx). Then 2P=(yx+zy+xz+xy+yz+zx)2−(yx+zy+xz)2−(xy+yz+zx)2=64−(y2x2+z2y2+x2z2+2⋅zx+2⋅xy+2⋅yz)−(x2y2+y2z2+z2x2+2⋅xz+2⋅yx+2⋅zy)=48−(y2x2+z2y2+x2z2+x2y2+y2z2+z2x2)=51−(y2x2+z2y2+x2z2+x2y2+y2z2+z2x2+3)=51−(x2+y2+z2)(x21+y21+z21).Furthermore, (x+y+z)(x1+y1+z1)=3+yx+zy+xz+xy+yz+zx=11and (xy+xz+yz)(xy1+xz1+yz1)=3+yx+zy+xz+xy+yz+zx=11.Therefore, by Cauchy-Schwarz, (x2+y2+z2+2xy+2xz+2yz)(x21+y21+z21+xy2+xz2+yz2)≥((x2+y2+z2)(x21+y21+z21)+(2xy+2xz+2yz)(xy2+xz2+yz2))2.This becomes (x+y+z)2(x1+y1+z1)2≥((x2+y2+z2)(x21+y21+z21)+211)2.Then 11≥(x2+y2+z2)(x21+y21+z21)+211,so (x2+y2+z2)(x21+y21+z21)≤(11−211)2=165−4411.Then 2P≥51−(165−4411)=4411−114,so P≥2211−57.
Now we must see if equality is possible. Let a=x+y+z,b=xy+xz+yz, and c=xyz. Then (x+y+z)(x1+y1+z1)=(x+y+z)⋅xyzxy+xz+yz=cab=11,so ab=11c, or c=11ab. Also, (yx+zy+xz)(xy+yz+zx)=3+yzx2+xzy2+xyz2+x2yz+y2xz+z2xy=3+xyzx3+y3+z3+x2y2z2x3y3+x3z3+y3z3=3+xyzx3+y3+z3−3xyz+3+x2y2z2x3y3+x3z3+y3z3−3x2y2z2+3=9+xyz(x+y+z)((x+y+z)2−3(xy+xz+yz))+x2y2z2(xy+xz+yz)((xy+xz+yz)2−3(x2yz+3xy2z+3xyz2))=9+xyz(x+y+z)((x+y+z)2−3(xy+xz+yz))+x2y2z2(xy+xz+yz)((xy+xz+yz)2−3xyz(x+y+z))=9+ca(a2−3b)+c2b(b2−3ac)=9+ca3−3ab+c2b3−c3ab=9+ca3−6ab+c2b3=9+ab/11a3−6ab+a2b2/121b3=9+b11a2−66b+a2121b=b11a2+a2121b−57.Let u=ba2, so (yx+zy+xz)(xy+yz+zx)=11u+u121−57.For the equality case, we want this to equal 2211−57, so 11u+u121−57=2211−57.Then 11u2+121=22u11, so 11u2−22u11+121=0.This factors as 11(u−11)2=0, so u=11. Thus, a2=b11.
We try simple values, like a=b=11. Then c=1, so x,y, and z are the roots of t3−t211+t11+1=(t−1)(t2+(1−11)t+1)=0.One root is 1, and the roots of the quadratic are real, so equality is possible.