Let be a positive integer. Consider any set formed by distinct real numbers such that the following condition holds: for every , there exist distinct elements such that . For each , find the greatest real number such that
always holds.
Solution
The greatest is if , and is if .
Let be the sum .
For , by considering , we need . Let be the elements in . From the condition, we must have . This implies
This shows the largest is when .
For , by considering where , we need for some function . When tends to , this yields .
Firstly, for , let be the elements in . Since and , we must have and by considering the element . Also, at least one of and must hold. WLOG assume . Then we have
This shows the largest is when .
Secondly, for , let be the element with the smallest absolute value. WLOG assume .
* If , then whenever , we must have . Since there are three such 's, we have .
* If , then all elements have absolute value larger than , and hence .
This shows the largest is when .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.