Maths Olympiad Prep

Library / /12 of 18

Algebra Difficulty 6.0 National olympiad Prove it Austria

Determine all triples (x,y,z)(x, y, z) of real numbers satisfying the following system of equations:
2x234y2316z23=128(xy2+z4)2=4+(xy2z4)2. \begin{aligned} 2^{\sqrt[3]{x^2}} \cdot 4^{\sqrt[3]{y^2}} \cdot 16^{\sqrt[3]{z^2}} &= 128 \\ (xy^2 + z^4)^2 &= 4 + (xy^2 - z^4)^2. \end{aligned}

Solution

The first equation can be transformed as follows:
2x234y2316z23=1282x23+2y23+4z23=27x23+2y23+4z23=7 \begin{aligned} & 2^{\sqrt[3]{x^2}} \cdot 4^{\sqrt[3]{y^2}} \cdot 16^{\sqrt[3]{z^2}} = 128 \\ \Leftrightarrow & 2^{\sqrt[3]{x^2} + 2 \cdot \sqrt[3]{y^2} + 4 \cdot \sqrt[3]{z^2}} = 2^7 \\ \Leftrightarrow & \sqrt[3]{x^2} + 2\sqrt[3]{y^2} + 4\sqrt[3]{z^2} = 7 \end{aligned}

and the second as
(xy2+z4)2=4+(xy2z4)2x2y4+2xy2z4+z8=4+(x2y42xy2z4+z8)4xy2z4=4xy2z4=1. \begin{align*} (xy^2 + z^4)^2 &= 4 + (xy^2 - z^4)^2 \\ \Leftrightarrow x^2y^4 + 2xy^2z^4 + z^8 &= 4 + (x^2y^4 - 2xy^2z^4 + z^8) \\ \Leftrightarrow 4xy^2z^4 = 4 \\ \Leftrightarrow xy^2z^4 = 1. \end{align*}
Because of the second equation, we note that xx must be positive, and we therefore have x=xx = |x|.
Since the values of two different means m0m_0 and m2/3m_{2/3} of the same variables are equal, each variable must be equal to the mean value 1. We therefore have x=y=z=1x = |y| = |z| = 1, and the set of solutions of the given system of equations is therefore (1,1,1)(1, -1, -1), (1,1,1)(1, -1, 1), (1,1,1)(1, 1, -1), (1,1,1)(1, 1, 1).
qed

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.