Maths Olympiad Prep

Library / /403 of 520

Number theory Difficulty 5.7 AIME, harder Prove it

1. Let a,ba, b be two given positive integers such that a+1b+b+1a\frac{a+1}{b}+\frac{b+1}{a} is an integer. Prove:
(a,b)a+b. (a, b) \leqslant \sqrt{a+b} .
(20th All-Russian Mathematical Olympiad)

Solution

Notice that
a+1b+b+1a=a2+b2+a+bab. \frac{a+1}{b}+\frac{b+1}{a}=\frac{a^{2}+b^{2}+a+b}{a b} .

Let (a,b)=d(a, b)=d. Then d2abd^{2} \mid a b. From d2(a2+b2)d^{2} \mid\left(a^{2}+b^{2}\right), we get d2(a+b)d^{2} \mid(a+b). Therefore, a+bd2a+b \geqslant d^{2}. Thus,
(a,b)a2+b2. (a, b) \leqslant \sqrt{a^{2}+b^{2}} .

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.