Maths Olympiad Prep

Library / Hellenic Mathematical Olympiad /35 of 57

Hellenic Mathematical Olympiad

Number theory Difficulty 6.3 National Olympiad Prove it Greece

Find all triads (x,y,z)(x, y, z) of positive integers satisfying the equation:
1x+2y−4z=1 \frac{1}{x} + \frac{2}{y} - \frac{4}{z} = 1

Solution

If x≥3x \ge 3 and y≥3y \ge 3, then we have:
1x+2y−4z≤13+23−4z=1−4z<1, \frac{1}{x} + \frac{2}{y} - \frac{4}{z} \le \frac{1}{3} + \frac{2}{3} - \frac{4}{z} = 1 - \frac{4}{z} < 1,
and hence the equation is not satisfied. Hence we may have: x≤2x \le 2 or y≤2y \le 2.

* For x=1x=1 we have: 2y−4z=0⇔z=2y⇔y=k,z=2k\frac{2}{y} - \frac{4}{z} = 0 \Leftrightarrow z = 2y \Leftrightarrow y = k, z = 2k, where kk is a positive integer. Hence (x,y,z)=(1,k,2k),k∈Z(x, y, z) = (1, k, 2k), k \in \mathbb{Z} positive.

* For x=2x=2 we have:
2y−4z=12⇔2y=8+z2z⇔y=4zz+8⇔y=4(z+8)−32z+8⇔y=4−32z+8. \frac{2}{y} - \frac{4}{z} = \frac{1}{2} \Leftrightarrow \frac{2}{y} = \frac{8+z}{2z} \Leftrightarrow y = \frac{4z}{z+8} \Leftrightarrow y = \frac{4(z+8)-32}{z+8} \Leftrightarrow y = 4 - \frac{32}{z+8}.
Since yy is positive integer, it follows that z+8z+8 must be a positive divisor of 3232 greater than 88. Therefore z=8z=8 or z=24z=24, and finally we find the solutions: (x,y,z)=(2,2,8)(x, y, z) = (2, 2, 8) and (x,y,z)=(2,3,24)(x, y, z) = (2, 3, 24).

For y=1 we have: 1x−4z=−1⇔4z=1+xx⇔z=4x1+x=4−41+x. \text{For } y=1 \text{ we have: } \frac{1}{x} - \frac{4}{z} = -1 \Leftrightarrow \frac{4}{z} = \frac{1+x}{x} \Leftrightarrow z = \frac{4x}{1+x} = 4 - \frac{4}{1+x}.
Since zz must be positive, 1+x1+x must be positive divisor of 44 greater than 11. Therefore we have x=1x=1 or x=3x=3, and finally we find the solutions
(x,y,z)=(1,1,2) or (x,y,z)=(3,1,3). (x, y, z) = (1, 1, 2) \text{ or } (x, y, z) = (3, 1, 3).

* For y=2y=2 we have: 1x−4z=0⇔z=4x⇔x=ℓ,z=4ℓ\frac{1}{x} - \frac{4}{z} = 0 \Leftrightarrow z = 4x \Leftrightarrow x = \ell, z = 4\ell, where ℓ\ell is a positive integer. In this case we find the solutions: (x,y,z)=(ℓ,2,4ℓ)(x, y, z) = (\ell, 2, 4\ell), where ℓ\ell is a positive integer.

Hence, taking in mind overlapping of solutions we can write the solutions in the
form: (x,y,z)=(1,k,2k), k is a positive integer,(x,y,z)=(ℓ,2,4ℓ),ℓ is a positive integer,(x,y,z)=(3,1,3) and (x,y,z)=(2,3,24). \text{form: } (x, y, z) = (1, k, 2k), \text{ k is a positive integer,} \\ (x, y, z) = (\ell, 2, 4\ell), \ell \text{ is a positive integer,} \\ (x, y, z) = (3, 1, 3) \text{ and } (x, y, z) = (2, 3, 24).

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.