Maths Olympiad Prep

Library / /18 of 43

, 2005

Number theory Difficulty 4.8 AIME Find the answer Italy

Let aa, bb be positive integers coprime to each other. What is the maximum value that the greatest common divisor of (a+b)4(a+b)^4 and aba-b can take?

Pick one

Solution

Solution:

The answer is (C). Let us first consider d=MCD(a+b,ab)d = MCD(a+b, a-b). The GCD of two numbers also divides their sum and their difference, so dd divides 2a2a and 2b2b. Since aa and bb are coprime, no odd prime can appear in dd, and 22 appears at most with exponent 11 (this happens if and only if aa and bb are both odd).

Moving on to the case c=MCD((a+b)n,ab)c = MCD((a+b)^n, a-b), one observes that the prime factors of (a+b)n(a+b)^n are the same as those of a+ba+b, with the exponents multiplied by nn, so cc is a power of 22 (and it remains 11 if aa and bb are not both odd). In that case, however, a+ba+b and aba-b cannot both be multiples of 44, because their difference 2b2b is not.

Now if aba-b is not a multiple of 44, then cc cannot be either. So what remains is the case in which a+ba+b is not a multiple of 44, and hence cc can be at most 2n2^n. But this value can always be attained, just take for example a=2n+1a = 2^n + 1, b=1b = 1.

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: MathNet, licensed CC-BY-4.0. Statement translated into English from it; metadata (topic, difficulty) added by this project.