1984 USAMO Problems/Problem 2
The geometric mean of any set of non-negative numbers is the -th root of their product.
For which positive integers is there a finite set of distinct positive integers such that the geometric mean of any subset of is an integer?
Is there an infinite set of distinct positive integers such that the geometric mean of any finite subset of is an integer?
a) We claim that for any numbers , , ... , will satisfy the condition, which holds for any number .
Since , we can separate each geometric mean into the product of parts, where each part is the th root of each member of the subset and the subset has members.
Assume our subset has members. Then, we know that the th root of each of these members is an integer (namely ), because and thus . Since each root is an integer, the geometric mean will also be an integer.
b) If we define as an arbitrarily large number, and and as numbers in set , we know that is irrational for large enough , meaning that it cannot be expressed as the fraction of two integers. However, both the geometric mean of the set of and other arbitrary numbers in and the set of and the same other numbers are integers, so since the other numbers cancel out, the geometric means divided, or , must be rational. This is a contradiction, so no such infinite is possible.
-aops111 (first solution dont bully me)
(i) The solution is the same as in the first solution
(ii) Let and be some prime numbers, and let be the largest number such that divides . is also the exponent of in the prime factorization of (or , if isn't a divisor of ). Then, because is infinite, we can choose numbers in such that all give the same remainder when divided by . (Otherwise, because has distinct values, could contain at most numbers, which is finite.) Call that remainder .
Now take some integer in , not part of the other values. Together, their product must be a th power, meaning Thus, . It can be seen easily that for two positive integers and we have , and by definition , so we can write . Adding to both sides we have .
The choice of was arbitrary, meaning for all numbers in , modulo is the constant , whether part of or not. The choice of was also arbitrary, thus for two integers and in , . Otherwise, we could pick larger than both values, and get a contradiction. Thus for all numbers in , is constant. The choice of was also arbitrary, meaning any two distinct numbers in have the same prime factorization. By the fundamental theorem of arithmetic, this means the two numbers are the same, contradicting with them being distinct. Thus, no such exists.
|1984 USAMO (Problems • Resources)|
|1 • 2 • 3 • 4 • 5|
|All USAMO Problems and Solutions|