Find the biggest real number $C$, such that for every different positive real numbers $a_1,a_2...a_{2019}$ that satisfy inequality : $\frac{a_1}{|a_2-a_3|} + \frac{a_2}{|a_3-a_4|} + ... + \frac{a_{2019}}{|a_1-a_2|} > C$
Problem
Source: IZHO 2019 P2
Tags: izho, algebra, number theory, number theory proposed, inequalities
11.01.2019 17:31
A very painful problem
11.01.2019 17:33
Was the 2019 on purpose?
11.01.2019 17:37
Yes, it was
12.01.2019 04:01
12.01.2019 10:50
Pathological wrote:
Isnt the problem said that all real numbers must be distinct?
12.01.2019 11:06
where can we find all IZhO problems?
12.01.2019 11:20
yayups wrote: where can we find all IZhO problems? 3rd problem https://artofproblemsolving.com/community/c6h1766351_geometry_from_izhop3 1st problem https://artofproblemsolving.com/community/c6h1766320_comb_problem_from_izho_2019 Today is 2nd day of olympiad
12.01.2019 13:12
Who has Day 2 problems?.
08.01.2022 04:46
Pathological wrote: The greatest such $C$ is $1010$. First, to see that this cannot be improved, take $(a_1, a_2, \cdots, a_{2019}) = (x, 1, x+y, 1+y, x+2y, 1+2y, x+3y, \cdots, x+1008y, 1+1008y, 1+\epsilon),$ where $x = \epsilon^2, y = \epsilon^3$ and $\epsilon$ is tiny. how this shows it can't be improved?
19.08.2024 13:34
In fact we can replace $2019$ with all $n\ge 3.$ Here $C=\lceil n/2\rceil .$ Though the proof is quite short, I still think it is tricky. Construction: when $n$ is even take $a_{2i}=i\varepsilon$ and $a_{2i-1}=1+i\varepsilon$ $(1\le i\le n/2).$ When $n$ is odd take $a_{2i}=i\varepsilon$ and $a_{2i-1}=1+i\varepsilon$ $(1\le i\le n/2),$ $a_n=1+\sqrt{\varepsilon}.$ Let $\varepsilon\to 0$ we get $C\to\lceil n/2\rceil .$
For $\forall k$ we define $\sigma _k=\begin{cases}k+1&a_{k+1}\ge a_{k+2}\\k+2&a_{k+2}> a_{k+1}\end{cases}.$ So consider the graph $k\to\sigma_k,$ note that $|\sigma_k-k|\le 2$ the length of cycle is at least $\lceil n/2\rceil,$ so take a cycle $v_1\to\cdots \to v_t\to v_1$ where $t\ge\lceil n/2\rceil,$by AM-GM Inequality $$\sum_{k=1}^n\frac{a_k}{\max\{a_{k+1},a_{k+2}\}}\ge \sum_{j=1}^t\frac{a_{v_j}}{a_{v_{j+1}}}\ge t\ge\left\lceil\frac n2\right\rceil .\Box$$