Maths Olympiad Prep

Track / Stage 3 / 154 of 260 #634 of 2444

Problem 634

AMC 10/12, early questions
Number theory Difficulty 3.8 Prove it Nível 2 · Brazil

Determine all distinct positive integers xx and yy such that
1x+1y=27 \frac{1}{x} + \frac{1}{y} = \frac{2}{7}

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.

Next problem →

Official solution

Solution:

2xy=7(x+y),comx>0,y>0 e xy 2 x y = 7(x + y), \quad \text{com} \quad x > 0, y > 0 \text{ e } x \neq y
Como 22 e 77 são números primos, segue que 77 divide xx ou yy. Como a equação é simétrica em xx e yy, podemos supor que 77 divide xx. Então, x=7kx = 7k, para algum k>0k > 0 inteiro e decorre que 2×7ky=7(7k+y)2 \times 7k y = 7(7k + y), ou seja, simplificando, 2ky=7k+y2k y = 7k + y ou, ainda,
(2k1)y=7k=x (2k - 1) y = 7k = x
Se 77 dividisse yy, teríamos y=7my = 7m, para algum m>0m > 0 inteiro. Nesse caso, teríamos 49×2km=2xy=7(x+y)=49(k+m)49 \times 2k m = 2 x y = 7(x + y) = 49(k + m), acarretando 2km=k+m2k m = k + m. Mas, então
2=k+mkm=1k+1m1+1=2 2 = \frac{k + m}{k m} = \frac{1}{k} + \frac{1}{m} \leq 1 + 1 = 2
o que significa que k=m=1k = m = 1 e, portanto, x=7=yx = 7 = y. Como queremos xyx \neq y, concluímos que 77 não divide yy, de modo que 77 divide 2k12k - 1. Tomando k=4k = 4, resulta x=28x = 28 e
y=7k2k1=287=4 y = \frac{7k}{2k - 1} = \frac{28}{7} = 4
fornecendo a solução
128+14=27 \frac{1}{28} + \frac{1}{4} = \frac{2}{7}

Observação: A solução obtida é única. De fato, como 2k12k - 1 é, sempre, ímpar e 77 divide 2k12k - 1, o múltiplo de 77 que é igual a 2k12k - 1 deve ser ímpar. Assim, existe algum inteiro n>0n > 0 tal que
7(2n1)=2k1 7(2n - 1) = 2k - 1
Isso acarreta que k=7n3k = 7n - 3 e, portanto,
y=7k2k1=7(7n3)7(2n1)=7n32n1=3(2n1)+n2n1=3+n2n1 y = \frac{7k}{2k - 1} = \frac{7(7n - 3)}{7(2n - 1)} = \frac{7n - 3}{2n - 1} = \frac{3(2n - 1) + n}{2n - 1} = 3 + \frac{n}{2n - 1}
Como yy deve ser inteiro, concluímos que 2n12n - 1 divide nn, de modo que 2n1n2n - 1 \leq n. No entanto, n1n \geq 1 e, portanto, 2n1n2n - 1 \geq n. A única possibilidade é 2n1=n2n - 1 = n e, portanto, n=1n = 1. Segue que k=4k = 4 e x=28x = 28 dão a única solução.

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