Maths Olympiad Prep

Track / Stage 5 / 70 of 400 #1310 of 2604

Problem 1310

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+y−1x + y^{-1} and y+x−1y + 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+y−1=mn+qp=mp+nqnpx + y^{-1} = \frac{m}{n} + \frac{q}{p} = \frac{mp + nq}{np} має бути цілим, то np∣mp+nqnp \mid mp + nq. Аналогічно, y+x−1=pq+nm=pm+nqqmy + x^{-1} = \frac{p}{q} + \frac{n}{m} = \frac{pm + nq}{qm} має бути цілим, тобто qm∣pm+nqqm \mid pm + nq.

Оскільки np∣mp+nqnp \mid mp + nq і qm∣pm+nqqm \mid pm + nq, а тому p∣np \mid n і n∣pn \mid p. Маємо, що n=pn = p. Аналогічно доводиться, що m=qm = q. Звідси тепер випливає, що 2m∣n2m \mid n і 2n∣m2n \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.