Let n be a positive integer. Find the largest nonnegative real number f(n) (depending on n) with the following property: whenever a1,a2,…,an are real numbers such that a1+a2+⋯+an is an integer, there exists some i such that ai−21≥f(n).
Solution
The answer is f(n)={02n1 if n is even if n is odd First, assume that n is even. If ai=21 for all i, then the sum a1+a2+⋯+an is an integer. Since ai−21=0 for all i, we may conclude f(n)=0 for any even n.
Now assume that n is odd. Suppose that ai−21<2n1 for all 1≤i≤n. Then, since ∑i=1nai is an integer, 21≤i=1∑nai−2n≤i=1∑nai−21<2n1⋅n=21 a contradiction. Thus ai−21≥2n1 for some i, as required. On the other hand, putting n=2m+1 and ai=2m+1m for all i gives ∑ai=m, while ai−21=21−2m+1m=2(2m+1)1=2n1 for all i. Therefore, f(n)=2n1 is the best possible for any odd n.
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.
Source: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.