Let and be positive integers that are relatively prime, and let and . The greatest common divisor of and is not 1. What is the greatest common divisor of and ?
Problem 703
Official solution
Solution. Let be the greatest common divisor of and . If and , then , and .
We have found that is a common divisor of and . Considering that and are coprime, the greatest common divisor of and is 7. (This follows from the fundamental theorem of arithmetic, which states that every natural number can be uniquely expressed as a product of prime numbers, disregarding the order of the factors.)
Accordingly, is a divisor of 7, so or . We know that and are not coprime, i.e., , from which it follows that .