Let , be positive integers coprime to each other. What is the maximum value that the greatest common divisor of and can take?
, 2005
Pick one
Solution
Solution:
The answer is (C). Let us first consider . The GCD of two numbers also divides their sum and their difference, so divides and . Since and are coprime, no odd prime can appear in , and appears at most with exponent (this happens if and only if and are both odd).
Moving on to the case , one observes that the prime factors of are the same as those of , with the exponents multiplied by , so is a power of (and it remains if and are not both odd). In that case, however, and cannot both be multiples of , because their difference is not.
Now if is not a multiple of , then cannot be either. So what remains is the case in which is not a multiple of , and hence can be at most . But this value can always be attained, just take for example , .