Browse · MathNet
PrintHongKong 2022-23 IMO Selection Tests
Hong Kong 2022 number theory
Problem
There are four positive integers. By computing the H.C.F. of two of them at a time, one gets six different values , , , , , . Find the smallest possible value of .
Solution
Answer:
First note that there are exactly three even numbers and one odd number. (If all four numbers are even then all H.C.F.'s would be even, whereas if there are at most two even numbers then at most one H.C.F. can be even.) Suppose is the odd number and are the even numbers. We use to denote the H.C.F. of and . Then , and must be , and in some order. In particular, we note that is divisible by and , whereas exactly one of is divisible by , and exactly one of is divisible by .
WLOG suppose , and . Then and are both divisible by , and is divisible by but not . It follows that is also divisible by but not . Furthermore, is not divisible by since and cannot be both divisible by , and similarly is not divisible by .
Now we know that is greater than , is even, and is not divisible by , , . The smallest such is thus . Indeed this works; for instance if the four numbers are , then the H.C.F.'s involving will be equal to , , , while those not involving will be equal to , , . It follows that the answer is .
First note that there are exactly three even numbers and one odd number. (If all four numbers are even then all H.C.F.'s would be even, whereas if there are at most two even numbers then at most one H.C.F. can be even.) Suppose is the odd number and are the even numbers. We use to denote the H.C.F. of and . Then , and must be , and in some order. In particular, we note that is divisible by and , whereas exactly one of is divisible by , and exactly one of is divisible by .
WLOG suppose , and . Then and are both divisible by , and is divisible by but not . It follows that is also divisible by but not . Furthermore, is not divisible by since and cannot be both divisible by , and similarly is not divisible by .
Now we know that is greater than , is even, and is not divisible by , , . The smallest such is thus . Indeed this works; for instance if the four numbers are , then the H.C.F.'s involving will be equal to , , , while those not involving will be equal to , , . It follows that the answer is .
Final answer
14
Techniques
Greatest common divisors (gcd)