Part c will be a walk in the inequalities forest. Are you ready for that? So the first step will be to start with
![](https://latex.codecogs.com/png.latex?\bg_white a+b\geq{2\sqrt{ab})
and
![](https://latex.codecogs.com/png.latex?\bg_white c+d\geq{2\sqrt{cd}})
.
Next, we will have to start with the fact that
![](https://latex.codecogs.com/png.latex?\bg_white \frac{a+b}{2}\geq{\sqrt{ab}}, \frac{c+d}{2}\geq{\sqrt{cd}})
.
There we divide by 2 and using the inequalities that are known we will have
![](https://latex.codecogs.com/png.latex?\bg_white \frac{\frac{a+b}{2}+\frac{c+d}{2}}{2}\geq{\sqrt{\sqrt{ab}\sqrt{cd}})
Noting that
At this momwnt our goal will be to multiply by 2 and then multiply by 2 and in doing so we actually multiply by 4. There you will have
![](https://latex.codecogs.com/png.latex?\bg_white a+b+c+d\geq{4\sqrt[4]{abcd}})
.
Now the question starts.
Do you recall that
![](https://latex.codecogs.com/png.latex?\bg_white a+b+c=d)
Well, on the LHS of the inequality it will become
![](https://latex.codecogs.com/png.latex?\bg_white 2\left(a+b+c\right)\geq{4\sqrt[4]{abcd}})
There,
![](https://latex.codecogs.com/png.latex?\bg_white a+b+c\geq{2\sqrt[4]{abcd}})
.
I imagine what happens is that out of the rabbit's hat
![](https://latex.codecogs.com/png.latex?\bg_white a\rightarrow{a^{4}}, b\rightarrow{b^{4}}, c\rightarrow{c^{4}})
and in doing so it will give us
![](https://latex.codecogs.com/png.latex?\bg_white a^{4}+b^{4}+c^{4}\geq{2abcd})
. I assume that
![](https://latex.codecogs.com/png.latex?\bg_white d\rightarrow{d^{4}})
out of nowhere. I could sense that either this is a typo or something shady is happening. If it is the latter please show us.
Thus, we have proven that