$f(x)=\frac{x}{2-x}$ is convex op $]-\infty,2[$, dus ook op $[0,1]$, dus wegens Jensen is $$\sum_{cyc}\frac{x_1}{2-x_1}\ge n\cdot f\left(\frac1n\right) = \frac{n}{2n-1}.$$
Volgens Cauchy in Engel form (I love it.) is $$\sum \frac{x_i}{2-x_i} \geq \frac{\left(\sum x_i\right)^2}{\sum (2x_i-x_i^2)} = \frac{1}{2-\sum x_i^2}$$Bijgevolg is het voldoende te bewijzen dat $$\frac{1}{2-\sum x_i^2} \geq \frac{n}{2n-1}\ \Longleftrightarrow\ 2n-1 \geq 2n-n\sum x_i^2\ \Longleftrightarrow\ n\sum x_i^2 \geq 1,$$wat meteen volgt uit AM-QM op $x_i$.
Oplossing
$f(x)=\frac{x}{2-x}$ is convex op $]-\infty,2[$, dus ook op $[0,1]$, dus wegens Jensen is $$\sum_{cyc}\frac{x_1}{2-x_1}\ge n\cdot f\left(\frac1n\right) = \frac{n}{2n-1}.$$
Volgens Cauchy in Engel form (I love it.) is $$\sum \frac{x_i}{2-x_i} \geq \frac{\left(\sum x_i\right)^2}{\sum (2x_i-x_i^2)} = \frac{1}{2-\sum x_i^2}$$Bijgevolg is het voldoende te bewijzen dat $$\frac{1}{2-\sum x_i^2} \geq \frac{n}{2n-1}\ \Longleftrightarrow\ 2n-1 \geq 2n-n\sum x_i^2\ \Longleftrightarrow\ n\sum x_i^2 \geq 1,$$wat meteen volgt uit AM-QM op $x_i$.