Maths Olympiad Prep

Library / /5 of 27

Algebra Difficulty 6.3 National olympiad Prove it North Macedonia

Let m,n,pm, n, p be fixed positive real numbers which satisfy mnp=8mnp = 8. Depending on these constants, find the minimum of
x2+y2+z2+mxy+nxz+pyz x^2 + y^2 + z^2 + mxy + nxz + pyz
where x,y,zx, y, z are arbitrary positive real numbers satisfying xyz=8xyz = 8. When is the equality attained?

a) m=n=p=2m = n = p = 2
b) arbitrary (but fixed) positive real numbers m,n,pm, n, p.

Solutions — 2

Solution 1

a)
Use AM-GM and xyz=8xyz=8 to get
x2+y2+z2+xy+xy+xz+xz+yz+yz9x6y6z6=36. x^2 + y^2 + z^2 + xy + xy + xz + xz + yz + yz \geq 9\sqrt{x^6 y^6 z^6} = 36.

We have equality for x=y=z=2x = y = z = 2.

b)
Using xyz=8xyz = 8, we can transform the given expression:
x2+y2+z2+mxy+nxz+pyz=x2+8px+y2+8ny+z2+8mz. x^2 + y^2 + z^2 + mxy + nxz + pyz = x^2 + \frac{8p}{x} + y^2 + \frac{8n}{y} + z^2 + \frac{8m}{z}.
Since all numbers are positive reals, we can apply AM-GM inequality to get:
x2+8px=x2+4px+4px6p2. x^2 + \frac{8p}{x} = x^2 + \frac{4p}{x} + \frac{4p}{x} \geq 6\sqrt{p^2}.
When we apply the same procedure for x,y,zx, y, z and sum the inequalities, we get:
x2+y2+z2+mxy+nxz+pyz=x2+8px+y2+8ny+z2+8mz623(m23+n23+p23). x^2 + y^2 + z^2 + mxy + nxz + pyz = x^2 + \frac{8p}{x} + y^2 + \frac{8n}{y} + z^2 + \frac{8m}{z} \geq 6\sqrt[3]{2}(\sqrt[3]{m^2} + \sqrt[3]{n^2} + \sqrt[3]{p^2}).
In order to get equality, we must have equality in all above inequalities and that happens for
x=4p3,y=4n3,z=4m3. x = \sqrt[3]{4p}, \quad y = \sqrt[3]{4n}, \quad z = \sqrt[3]{4m}.

Solution 2

We only present solution for b) part here, marking scheme for a) part is the same as in first solution. We use weighted AM-GM:
x2+y2+z2+mxy+nxz+pyz=p23x2p23+n23y2n23+m23z2m23+2m23mxy2m23+2n23nxz2n23+2p23pyz2p23 3(m23+n23+p23)3(m23+n23+p23)x2p233y2n233z2m233 =3(m23+n23+p23)(3mxy)223(3nxz)223(3pyz)223 =3(m23+n23+p23)((xyz)223)2 =3(m23+n23+p23)(xyz)223 =3(m23+n23+p23)423 =623(m23+n23+p23) \begin{aligned} x^2 + y^2 + z^2 + mxy + nxz + pyz &= \sqrt[3]{p^2} \frac{x^2}{\sqrt[3]{p^2}} + \sqrt[3]{n^2} \frac{y^2}{\sqrt[3]{n^2}} + \sqrt[3]{m^2} \frac{z^2}{\sqrt[3]{m^2}} + 2\sqrt[3]{m^2} \frac{mxy}{2\sqrt[3]{m^2}} + 2\sqrt[3]{n^2} \frac{nxz}{2\sqrt[3]{n^2}} + 2\sqrt[3]{p^2} \frac{pyz}{2\sqrt[3]{p^2}} \ &\geq 3(\sqrt[3]{m^2} + \sqrt[3]{n^2} + \sqrt[3]{p^2}) \cdot 3(\sqrt[3]{m^2} + \sqrt[3]{n^2} + \sqrt[3]{p^2}) \sqrt[3]{\frac{x^2}{\sqrt[3]{p^2}}} \sqrt[3]{\frac{y^2}{\sqrt[3]{n^2}}} \sqrt[3]{\frac{z^2}{\sqrt[3]{m^2}}} \ &= 3(\sqrt[3]{m^2} + \sqrt[3]{n^2} + \sqrt[3]{p^2}) \sqrt[3]{\frac{(3\sqrt{mxy})^2}{2}} \sqrt[3]{\frac{(3\sqrt{nxz})^2}{2}} \sqrt[3]{\frac{(3\sqrt{pyz})^2}{2}} \ &= 3(\sqrt[3]{m^2} + \sqrt[3]{n^2} + \sqrt[3]{p^2}) (\sqrt[3]{\frac{(xyz)^2}{2}})^2 \ &= 3(\sqrt[3]{m^2} + \sqrt[3]{n^2} + \sqrt[3]{p^2}) \sqrt[3]{\frac{(xyz)^2}{2}} \ &= 3(\sqrt[3]{m^2} + \sqrt[3]{n^2} + \sqrt[3]{p^2}) \sqrt[3]{4^2} \ &= 6\sqrt[3]{2}(\sqrt[3]{m^2} + \sqrt[3]{n^2} + \sqrt[3]{p^2}) \end{aligned}
We have shown that the minimum value the expression can take is 623(m23+n23+p23)6\sqrt[3]{2}(\sqrt[3]{m^2} + \sqrt[3]{n^2} + \sqrt[3]{p^2}). Equality can only be achieved when x=4p3,y=4n3,z=4m3x = \sqrt[3]{4p}, y = \sqrt[3]{4n}, z = \sqrt[3]{4m}.

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.