Maths Olympiad Prep

Track / Stage 5 / 70 of 400 #1150 of 2444

Problem 1150

AIME late
Number theory Difficulty 5.1 Prove it Ukrainian Mathematical Olympiad · Ukraine

Find all pairs of positive rational numbers xx and yy such that both x+y1x + y^{-1} and y+x1y + x^{-1} are integers.

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

Нехай x=mnx = \frac{m}{n}, y=pqy = \frac{p}{q}, де m,n,p,qm, n, p, q — натуральні числа, причому (m;n)=(p;q)=1(m; n) = (p; q) = 1. Оскільки x+y1=mn+qp=mp+nqnpx + y^{-1} = \frac{m}{n} + \frac{q}{p} = \frac{mp + nq}{np} має бути цілим, то npmp+nqnp \mid mp + nq. Аналогічно, y+x1=pq+nm=pm+nqqmy + x^{-1} = \frac{p}{q} + \frac{n}{m} = \frac{pm + nq}{qm} має бути цілим, тобто qmpm+nqqm \mid pm + nq.

Оскільки npmp+nqnp \mid mp + nq і qmpm+nqqm \mid pm + nq, а тому pnp \mid n і npn \mid p. Маємо, що n=pn = p. Аналогічно доводиться, що m=qm = q. Звідси тепер випливає, що 2mn2m \mid n і 2nm2n \mid m. Отже, m,n,p,q{1;2}m, n, p, q \in \{1; 2\}. Тепер уже неважко одержати відповідь.

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