The pairwise greatest common divisors of five positive integers are in some order, for some positive integers . Compute the minimum possible value of .
Solution
To see that 9 can be achieved, take the set , which gives Now we show it's impossible to get lower. Notice that if of the five numbers are even, then exactly of the gcd's will be even. Since we're shown four even gcd's and three odd gcd's, the only possibility is . Hence exactly two of are even. Similarly, if of the five numbers are divisible by 3, then exactly of the gcd's will be divisible by 3. Since we're shown two gcd's that are multiples of 3 and five gcd's that aren't, the only possibility is . Hence exactly one of is divisible by 3. Similarly, if of the five numbers are divisible by 4, then exactly of the gcd's will be divisible by 4. Since we're shown two gcd's that are multiples of 4 and five gcd's that aren't, the only possibility is . Hence exactly one of is divisible by 4. So two of are even, one of them is divisible by 4, and one of them is divisible by 3. It's easy to see by inspection there are no possibilities where .