Maths Olympiad Prep

Library / /19 of 21

Algebra Difficulty 7.7 National olympiad, round 2 Prove it Asia Pacific Mathematics Olympiad (APMO)

Let nn be a positive integer. Find the largest nonnegative real number f(n)f(n) (depending on nn) with the following property: whenever a1,a2,,ana_{1}, a_{2}, \ldots, a_{n} are real numbers such that a1+a2++ana_{1}+a_{2}+\cdots+a_{n} is an integer, there exists some ii such that ai12f(n)\left|a_{i}-\frac{1}{2}\right| \geq f(n).

Solution

The answer is
f(n)={0 if n is even 12n if n is odd  f(n)= \begin{cases}0 & \text{ if } n \text{ is even } \\ \frac{1}{2 n} & \text{ if } n \text{ is odd }\end{cases}
First, assume that nn is even. If ai=12a_{i}=\frac{1}{2} for all ii, then the sum a1+a2++ana_{1}+a_{2}+\cdots+a_{n} is an integer. Since ai12=0\left|a_{i}-\frac{1}{2}\right|=0 for all ii, we may conclude f(n)=0f(n)=0 for any even nn.

Now assume that nn is odd. Suppose that ai12<12n\left|a_{i}-\frac{1}{2}\right|<\frac{1}{2 n} for all 1in1 \leq i \leq n. Then, since i=1nai\sum_{i=1}^{n} a_{i} is an integer,
12i=1nain2i=1nai12<12nn=12 \frac{1}{2} \leq\left|\sum_{i=1}^{n} a_{i}-\frac{n}{2}\right| \leq \sum_{i=1}^{n}\left|a_{i}-\frac{1}{2}\right|<\frac{1}{2 n} \cdot n=\frac{1}{2}
a contradiction. Thus ai1212n\left|a_{i}-\frac{1}{2}\right| \geq \frac{1}{2 n} for some ii, as required. On the other hand, putting n=2m+1n=2 m+1 and ai=m2m+1a_{i}=\frac{m}{2 m+1} for all ii gives ai=m\sum a_{i}=m, while
ai12=12m2m+1=12(2m+1)=12n \left|a_{i}-\frac{1}{2}\right|=\frac{1}{2}-\frac{m}{2 m+1}=\frac{1}{2(2 m+1)}=\frac{1}{2 n}
for all ii. Therefore, f(n)=12nf(n)=\frac{1}{2 n} is the best possible for any odd nn.

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.