Note that $y\geq 0$ and $x+z\leq 2$ imply
$$(x-2y+z)^2+8y\geq (x-2y+z)^2+4(x+z)y=x^2+4y^2+z^2+2xz\,.$$
Thus,
$$(x-2y+z)^2+8y\geq (x-z)^2+4y^2+4xz\geq 4xz\,,$$
whence
$$(x-2y+z)^2\geq 4xz-8y\,.$$
The equality holds if and only if $(x,y,z)=(t,0,t)$ for some $t\in[0,1]$.
Mixing Variables and $uvw$ help.
I'll post my solution, which I found eight years ago.
Let $f(a,b,c,d)=\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{d}+\frac{12}{a+b+c+d}- 7$ and $a=\max\{a,b,c,d\}$.
Thus, $$f(a,b,c,d)-f\left(a,\sqrt[3]{bcd},\sqrt[3]{bcd},\sqrt[3]{bcd}\right)=$$
$$=\frac{bc+bd+cd-3\sqrt[3]{b^2c^2d^2}}{bcd}-\frac{12\left(b+c+d-3\sqrt[3]{bcd}\right)}{(a+b+c+d)\left(a+3\sqrt[3]{bcd}\right)}\geq$$
$$\geq\frac{bc+bd+cd-3\sqrt[3]{b^2c^2d^2}}{bcd}-\frac{12\left(b+c+d-3\sqrt[3]{bcd}\right)}{(\frac{b+c+d}{3}+b+c+d)\left(\frac{b+c+d}{3}+3\sqrt[3]{bcd}\right)}=$$
$$=\frac{bc+bd+cd-3\sqrt[3]{b^2c^2d^2}}{bcd}-\frac{27\left(b+c+d-3\sqrt[3]{bcd}\right)}{(b+c+d)\left(b+c+d+9\sqrt[3]{bcd}\right)}.$$
We'll prove that $$\frac{bc+bd+cd-3\sqrt[3]{b^2c^2d^2}}{bcd}-\frac{27\left(b+c+d-3\sqrt[3]{bcd}\right)}{(b+c+d)\left(b+c+d+9\sqrt[3]{bcd}\right)}\geq0.$$
Indeed, let $b+c+d=3u$, $bc+bd+cd=3v^2$ and $bcd=w^3$.
Thus, $$\frac{bc+bd+cd-3\sqrt[3]{b^2c^2d^2}}{bcd}-\frac{27\left(b+c+d-3\sqrt[3]{bcd}\right)}{(b+c+d)\left(b+c+d+9\sqrt[3]{bcd}\right)}\geq0$$ it's $ g(v^2)\geq0,$
where $g$ is a linear increasing function.
Id est, $g$ gets a minimal value, when $v^2$ gets a minimal value,
which happens for equality case of two variables.
Since $g(v^2)\geq0$ is homogeneous inequality, it's enough to check one case only:
$c=d=1$, which after substitution $b=x^3$ gives
$$(x-1)^2(2x^7+x^6+18x^5-10x^4-50x^3+36x^2+26x+4)\geq0,$$ which is true.
Id est, $$f(a,b,c,d)\geq f\left(a,\sqrt[3]{bcd},\sqrt[3]{bcd},\sqrt[3]{bcd}\right)$$ and it's enough to prove that $f(a,b,b,b)\geq0$, where $a=\frac{1}{b^3}$, which gives
$$(b-1)^2(3b^6+6b^5+9b^4-9b^3-5b^2-b+3)\geq0,$$ which is true.
Best Answer
You claimed to CS it but got nothing useful. I would challenge you to retry it.
Here's a one-line naive CS solution via Titu's lema with the standard trick of making the numerator a perfect square:
It is left to the reader to check the equality conditions and verify that equality holds iff $a=b=c$.
Note: I strongly reommend you to have a go at these.
$$ \sum \frac{x}{x+2y} \geq 1 \geq \sum \frac{y}{x+2y}. $$
$$ \sum \frac{a}{a+3b+2c} \geq \sum \frac{c}{a+3b+2c}.$$