Proving that $\frac{ab}{c^3}+\frac{bc}{a^3}+\frac{ca}{b^3}> \frac{1}{a}+\frac{1}{b}+\frac{1}{c}$
Solution 1
AMGM helps! $$\sum_{cyc}\frac{ab}{c^3}=\frac{1}{4}\sum_{cyc}\left(\frac{2ab}{c^3}+\frac{bc}{a^3}+\frac{ca}{b^3}\right)\geq\frac{1}{4}\sum_{cyc}\left(4\sqrt[4]{\left(\frac{ab}{c^3}\right)^2\cdot\frac{bc}{a^3}\cdot\frac{ca}{b^3}}\right)=\sum_{cyc}\frac{1}{c}.$$ Done!
Without $cyc$ we can write the solution so: $$\frac{ab}{c^3}+\frac{bc}{a^3}+\frac{ca}{b^3}=$$ $$=\frac{1}{4}\left(\left(\frac{2ab}{c^3}+\frac{bc}{a^3}+\frac{ca}{b^3}\right)+\left(\frac{ab}{c^3}+\frac{2bc}{a^3}+\frac{ca}{b^3}\right)+\left(\frac{ab}{c^3}+\frac{bc}{a^3}+\frac{2ca}{b^3}\right)\right)\geq$$ $$\geq\frac{1}{4}\left(4\sqrt[4]{\left(\frac{ab}{c^3}\right)^2\cdot\frac{bc}{a^3}\cdot\frac{ca}{b^3}}+4\sqrt[4]{\left(\frac{bc}{a^3}\right)^2\cdot\frac{ab}{c^3}\cdot\frac{ca}{b^3}}+4\sqrt[4]{\left(\frac{ca}{b^3}\right)^2\cdot\frac{bc}{a^3}\cdot\frac{ab}{c^3}}\right)=$$ $$=\frac{1}{c}+\frac{1}{a}+\frac{1}{b}.$$
The same trick gives also a proof by Holder: $$\sum_{cyc}\frac{ab}{c^3}=\sqrt[4]{\left(\sum_{cyc}\frac{ab}{c^3}\right)^2\sum_{cyc}\frac{bc}{a^3}\sum_{cyc}\frac{ca}{b^3}}\geq\sum_{cyc}\sqrt[4]{\left(\frac{ab}{c^3}\right)^2\cdot\frac{bc}{a^3}\cdot\frac{ca}{b^3}}=\sum_{cyc}\frac{1}{c}.$$ Turned out even a bit of shorter.
Solution 2
Use the rearrangement inequality. Assume without loss of generality $a\geq b\geq c>0$. Then we have $ab\geq ac\geq bc\,$ and $\,1/c^3\geq 1/b^3\geq 1/a^3$. Therefore the sorted sumproduct
$$\frac{ab}{c^3}+\frac{ac}{b^3}+\frac{bc}{a^3}\geq\frac{bc}{c^3}+\frac{ab}{b^3}+\frac{ac}{a^3}=\frac{b}{c^2}+\frac{a}{b^2}+\frac{c}{a^2}$$
is greater than equal to a shuffled sumproduct, which is greater than equal to the reversed sumproduct
$$\frac{b}{c^2}+\frac{a}{b^2}+\frac{c}{a^2}\geq\frac{c}{c^2}+\frac{b}{b^2}+\frac{a}{a^2}=\frac{1}{c}+\frac{1}{b}+\frac{1}{a}.$$
Equality is obtained if and only if $\,a=b=c$. If $a,b,c$ are different (not necessarily all different), the greater than "$>$" sign holds.
Solution 3
\begin{eqnarray*} a^4(b^2c^2)^2+b^4(a^2c^2)^2+c^4(b^2a^2)^2+a^2b^2c^2((ab)^2+(cb)^2+(ac)^2) \geq 0. \end{eqnarray*} Rearrange to \begin{eqnarray*} a^4b^4+b^4c^4+c^4a^4 \geq a^2b^2c^2(ab+bc+ca). \end{eqnarray*} Now divide by $a^3b^3c^3$ and we have \begin{eqnarray*} \frac{ab}{c^3}+\frac{bc}{a^3}+\frac{ca}{ b^3} \geq \frac{1}{a}+\frac{1}{b}+\frac{1}{c}. \end{eqnarray*}
Related videos on Youtube
Archer
Updated on August 01, 2022Comments

Archer 10 months
Prove that $\dfrac{ab}{c^3}+\dfrac{bc}{a^3}+\dfrac{ca}{b^3}> \dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}$, where $a,b,c$ are different positive real numbers.
First, I tried to simplify the proof statement but I got an even more complicated: $$a^4b^4+b^4c^4+a^4c^4> a^2b^3c^3+b^2c^3a^3+a^3b^3c^2$$
Then I used Power mean inequality on $\dfrac{1}{a},\dfrac{1}{b},\dfrac {1}{c}$ but that wasn't useful here.
Finally, I tried to solve it using AMHM inequality but couldn't.
What would be an efficient method to solve this problem? Please provide only a hint and not the entire solution since I wish to solve it myself.

marty cohen over 5 years$\dfrac{ab}{c^3}+\dfrac{bc}{a^3}+\dfrac{ca}{b^3} =abc\left(\dfrac{1}{c^4}+\dfrac{1}{a^4}+\dfrac{1}{b^4}\right) $


Archer over 5 yearsHow did you get the first statement?

Zhuoran He over 5 yearsMaybe I don't know the correct name. It says for positive numbers $0<a_1\leq\cdots\leq a_n$ and $0<b_1\leq\cdots\leq b_n$, you have $\sum_ia_ib_i\geq \sum_ia_ib_{p_i}\geq\sum_i a_ib_{n+1i}$ for an arbitrary permutation $p_i$ of the indices $1\cdots n$.

Donald Splutterwit over 5 yearsTo get the second formula is just algebra ... I then drew a triangular grid ($9$ points on each edge) and plotted the terms, I then started looking for exact squares that would contain the negative terms.

Donald Splutterwit over 5 yearsI call this method "brute force" ... just reduce it to the sum of positive terms. If you wait a little while ... folks will derive your inequality using clever results like CS or AMHM etc...

Zhuoran He over 5 years@Abcd I found the correct name: en.wikipedia.org/wiki/Rearrangement_inequality. And in fact it applies to all real numbers.

Mr Pie over 5 yearsWhat does $\sum_{cyc}$ mean???

Michael Rozenberg over 5 years@user477343 $a\rightarrow b\rightarrow c\rightarrow a$. For example, $\sum\limits_{cyc}a=a+b+c$ or $\sum\limits_{cyc}a^2b=a^2b+b^2c+c^2a$ or $\sum\limits_{cyc}\frac{ab}{c^3}=\frac{ab}{c^3}+\frac{bc}{a^3}+\frac{ca}{b^3}.$

Mr Pie over 5 yearsThank you for that. You have now technically answered two questions :)

Archer over 5 yearswhy is there a $\dfrac{1}{4}$ in the first step?

Michael Rozenberg over 5 years@Abcd It's designation only. See please my previous comment. I am ready to explain.

Archer over 5 years@MichaelRozenberg Understood the meaning of cyc. Please explain the first step if you don't mind.

Michael Rozenberg over 5 years@Abcd Because $\sum\limits_{cyc}\frac{ab}{c^3}=\sum\limits_{cyc}\frac{bc}{a^3}=\sum\limits_{cyc}\frac{ca}{b^3}.$

Archer over 5 yearsI am talking about this step: $$\frac{1}{4}\sum_{cyc}\left(\frac{2ab}{c^3}+\frac{bc}{a^3}+\frac{ca}{b^3}\right)\geq\frac{1}{4}...$$

Michael Rozenberg over 5 years@Abcd It's AMGM: For positives $x$, $y$, $z$ and $t$ we have $x+y+z+t\geq4\sqrt[4]{xyzt}$.

Michael Rozenberg over 5 years@Abcd I wrote it without $cyc$. See now.

Michael Rozenberg over 5 years@Abcd You are welcome!