Se tienen $n \geq 3$ reales positivos $a_1,a_2,\ldots, a_n$. Para cada $a\leq i\leq n$ se define $b_i=\frac{a_{i-1}+a_{i+1}}{a_i}$ donde $a_0=a_n$ y $a_{n+1}=a_1$. Supon que para cada $1\leq i\leq n$ y cada $1\leq j\leq n$ se tiene que $a_i\leq a_j$ si y solo si $b_i\leq b_j$. \nDemuestra que $a_1=a_2=\cdots=a_n$.