Let $n\ge 3$ be an integer, and suppose $x_1,x_2,\cdots ,x_n$ are positive real numbers such that $x_1+x_2+\cdots +x_n=1.$ Prove that $$x_1^{1-x_2}+x_2^{1-x_3}\cdots+x_{n-1}^{1-x_n}+x_n^{1-x_1}<2.$$ ~Sutanay Bhattacharya
Problem
Source: India EGMO 2022 TST P1
Tags: inequalities, Weighted AM-GM
21.11.2021 15:03
Note that since $x_i$'s are positive reals with sum $1$, they are all strictly less than $1$, so $1-x_i$ is positive. Now note that by weighted AM-GM inequality $$x_i^{1-x_{i+1}}=1^{x_{i+1}}\cdot x_i^{1-x_{i+1}}\le 1\cdot x_{i+1}+x_i\cdot(1-x_{i+1})=x_i+x_{i+1}-x_ix_{i+1}<x_i+x_{i+1}.$$Summing this over all $i\in\{1,\cdots ,n\}$ (taking $x_{n+1}=x_1$) we see that $$x_1^{1-x_2}+x_2^{1-x_3}\cdots+x_{n-1}^{1-x_n}+x_n^{1-x_1}<2(x_1+\cdots +x_n)=2.$$This completes the proof. $\square$ Comment from Anish Kulkarni(test-solver) The key inequality can be rephrased with Bernoulli instead of Weighted AM-GM as we get $x_i^{1-x_{i+1}}= (1-(1-x_i))^{1-x_{i+1}}\le 1-(1-x_i)(1-x_{i+1})\le x_i+x_{i+1}-x_ix_{i+1}$
22.11.2021 12:23
We do the only thing to deal with variables in exponents, WAMGM! By Weighted AM-GM, we have $x_{i-1} + x_i - x_ix_{i-1} = x_{i}(1) + (1-x_{i})(x_{i-1}) \ge x_{i-1}^{1-x_i}$. Summing, we have $\sum x_{i-1}^{1-x_i} \le 2 \sum x_i - \sum x_ix_{i-1} < 2$, as desired. $\blacksquare$
05.11.2022 20:09
Here is my solution: https://calimath.org/pdf/IndiaEGMOTST2022-1.pdf And I uploaded the solution with motivation to: https://youtu.be/uP9YosvfC_E
05.11.2022 20:48
Thanks,Cali.Math!
07.11.2024 14:27
By Bernoulli Inequality, \[LHS=\sum{((x_i-1)+1)^{1-x_{i+1}}}\leq \sum{(1-x_{i+1})(x_i-1)+1}=2\sum{x_i}-\sum{x_ix_{i+1}}<2\]As desired.$\blacksquare$
08.01.2025 21:38
Note that from WAMGM, $$x_i^{1-x_{i+1}}1^{x_{i+1}} \le x_i + x_{i+1} -x_ix_{i+1} < x_ix_{i+1}.$$Summing over $i$ yields the conclusion.