Determine the largest real number a such that for all real numbers x 0 , x 1 , x 2 ⋯ x 2 0 1 7 satisfying 0 = x 0 < x 1 < x 2 < ⋯ < x 2 0 1 7 , we have
k = 1 ∑ 2 0 1 7 x k − x k − 1 1 ≥ a ⎝ ⎛ m = 1 ∑ 2 0 1 7 x m m + 1 ⎠ ⎞
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Thanks! Your observations helped me a lot!
Oh please don't give the source of the problem. I wanted to hide that.
Problem Loading...
Note Loading...
Set Loading...
I don't have a solution, but I want to make some important observations.
Evidently, this problem is based on problem A8 of the 2016 IMO Short List . Based on the solution provided in the link, we can say that 9 4 ≤ a ≤ 1 5 1 4 6 7 3 . Since 9 4 = 0 . 4 4 4 … and 1 5 1 4 6 7 3 = 0 . 4 4 4 5 1 8 … , this is a fairly narrow interval.
The original Short List problem is to determine the best constant that works for all n . Finding the best constant that works for individual values of n , like the problem here, is a different problem. For example, for n = 2 , the best constant is 2 1 . For n = 3 , the best constant is about 0 . 4 7 . I think for n = 2 0 1 7 , it would be very difficult to find the exact value of the best constant, as opposed to finding the bounds we have established above.