Let a, b, c be positive real numbers. Prove that: (b+6ac+3c)28a2+2ab+(3c+2ab+2a)22b2+3bc+(2a+3bc+b)218c2+6ac≥1.
This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.
Let a=21x, b=y, c=31z, then the left-hand side of the problem can be transformed into (y+xz+z)22x2+xy+(z+xy+x)22y2+yz+(x+yz+y)22z2+xz≥1. By the Cauchy-Schwarz inequality we can obtain (yx+x2+z2)(xy+xz+x2z2)≥(y+xz+z)2. Therefore we obtain (y+xz+z)22x2+xy≥xy+xz+z2x2, and equality in this expression holds if and only if x=z. Replacing (x,y,z) with (y,z,x) and (z,x,y) respectively, we obtain (z+xy+x)22y2+yz≥yz+yx+x2y2, and (x+yz+y)22z2+xz≥zx+zy+y2z2. (Equality holds respectively if and only if y=x and z=y.) Let M=xy+xz+z2x2+yz+yx+x2y2+zx+zy+y2z2, and using the Cauchy-Schwarz inequality again we obtain M((xy+xz+z2)+(yz+yx+x2)+(zx+zy+y2))≥(x+y+z)2. Since (xy+xz+z2)+(yz+yx+x2)+(zx+zy+y2)=(x+y+z)2, we immediately obtain M=xy+xz+z2x2+yz+yx+x2y2+zx+zy+y2z2≥1, and equality in this expression holds if and only if x=y=z. That is, (b+6ac+3c)28a2+2ab+(3c+2ab+2a)22b2+3bc+(2a+3bc+b)218c2+6ac≥1, and equality in this expression holds if and only if 2a=b=3c.
Source: MathNet,
licensed CC-BY-4.0.
Statement translated into English from the original; metadata (topic, difficulty, ordering) added by this project.