# Powers and Fractions Inequality

### Problem

### Proof 1

By the AM-GM inequality,

$\displaystyle\begin{align} \frac{a^3c^3}{b^5}+\frac{ba}{c}+\frac{cb}{a} &\ge 3\left(\frac{a^3c^3}{b^5}\cdot\frac{ba}{c}\cdot\frac{cb}{a}\right)^{1/3}\\ &=\frac{3ac}{b}. \end{align}$

Similarly, $\displaystyle\frac{b^3a^3}{c^5}+\frac{ac}{b}+\frac{cb}{a} \ge\frac{3ba}{c}\;$ and $\displaystyle\frac{c^3b^3}{a^5}+\frac{ac}{b}+\frac{ba}{c} \ge\frac{3cb}{a}.\;$ Adding up,

$\displaystyle\sum_{cycl}\frac{a^3c^3}{b^5}+2\sum_{cycl}\frac{ba}{c}\ge 3\sum_{cycl}\frac{ba}{c},$

which directly proves the required inequality.

### Proof 2

By the AM-GM inequality,

$\displaystyle\begin{align} 2\sum_{cycl}\frac{a^3c^3}{b^5}&=\left(\frac{a^3c^3}{b^5}+\frac{b^3a^3}{c^5}\right)+\left(\frac{b^3a^3}{c^5}+\frac{c^3b^3}{a^5}\right)+\left(\frac{c^3b^3}{a^5}+\frac{a^3c^3}{b^5}\right)\\ &\ge 2\frac{a^3}{bc}+2\frac{b^3}{ca}+2\frac{c^3}{ab}\\ &= \left(\frac{a^3}{bc}+\frac{b^3}{ca}\right)+\left(\frac{b^3}{ca}+\frac{c^3}{ab}\right)+\left(\frac{c^3}{ab}+\frac{a^3}{bc}\right)\\ &\ge 2\frac{ab}{c}+2\frac{bc}{a}+2\frac{ca}{b}\\ &=2\sum_{cycl}\frac{ac}{b}. \end{align}$

### Proof 3

The given inequality is equivalent to $\displaystyle\sum_{cycl}a^8b^8\ge a^4b^4c^4\sum_{cycl}a^2b^2.$

Let $a^2b^2=x,\;$ $b^2c^2=y,\;$ $c^2a^2=z,\;$ $x,y,z\gt 0.\;$ We need to prove that

(1)

$x^4+y^4+z^4\ge xyz(x+y+z).$

Schur's inequality for $t=2\;$ gives

(a)

$x^4+y^4+z^4+xyz(x+y+z)\ge xy(x^2+y^2)+yz(y^2+z^2)+zx(z^2+x^2).$

Now, $x^2+y^2\ge 2xy,\;$ etc., so that

(2)

$xy(x^2+y^2)+yz(y^2+z^2)+zx(z^2+x^2)\ge 2(x^2y^2+y^2z^2+z^2x^2).$

Further,

$\begin{align} 2(x^2y^2+y^2z^2+z^2x^2)&-2xyz(x+y+z)\\&=(xy-yz)^2+(yz-zx)^2+(zx-xy)^2\ge 0, \end{align}$

implying

(3)

$2(x^2y^2+y^2z^2+z^2x^2)\ge 2xyz(x+y+z).$

(2) and (3) give

(b)

$xy(x^2+y^2)+yz(y^2+z^2)+zx(z^2+x^2)\ge 2xyz(x+y+z).$

(a) and (b) add up to the required (1).

### Proof 4

$\displaystyle\begin{align} 4\sum_{cycl}\frac{a^3b^3}{c^5} &= \sum_{cycl}\left(2\frac{a^3b^3}{c^5} + \frac{b^3c^3}{a^5} + \frac{c^3a^3}{b^5}\right)\\ &\ge \sum_{cycl}4\left(\frac{a^3b^3}{c^5}\cdot\frac{a^3b^3}{c^5}\cdot \frac{b^3c^3}{a^5}\cdot \frac{c^3a^3}{b^5}\right)^{1/4}\\ &= 4\sum_{cycl}\frac{ab}{c}. \end{align}$

### Proof 5

As in Proof 3, the required inequality is reduced to

$\displaystyle\sum_{cycl}a^8b^8\ge a^4b^4c^4\sum_{cycl}a^2b^2.$

$\displaystyle 3\sum_{cycl}a^8b^8\ge \sum_{cycl}a^6b^6\sum_{cycl}a^2b^2.$

But, by the AM-GM inequality,

$\displaystyle \sum_{cycl}a^6b^6\ge 3\left(a^{12}b^{12}c^{12}\right)^{1/3}=3a^4b^4c^4.$

### Acknowledgment

Dan Sitaru has kindly posted the above problem at the CutTheKnotMath facebook page, along with several solutions. The problem comes from his book *Math Accent*.

Proof 1 is by Ravi Prakash; Proof 2 is by Lâm Phan; Proof 3 is by Soumava Chakraborty; Proof 4 is by Rory Tarnow-Mordi.

- An Inequality for Grade 8
- An Extension of the AM-GM Inequality
- Schur's Inequality
- An Application of Schur's Inequality
- An Application of Schur's Inequality II
- An Inequality with Cycling Sums
- Powers and Fractions Inequality
- Three Junior Problems from Vietnam

- Newton's and Maclaurin's Inequalities
- Rearrangement Inequality
- Chebyshev Inequality
- Jensen's Inequality
- Muirhead's Inequality
- Bergström's inequality
- Radon's Inequality and Applications
- Jordan and Kober Inequalities, PWW
- A Mathematical Rabbit out of an Algebraic Hat
- An Inequality With an Infinite Series
- An Inequality: 1/2 * 3/4 * 5/6 * ... * 99/100 less than 1/10
- A Low Bound for 1/2 * 3/4 * 5/6 * ... * (2n-1)/2n
- An Inequality: Easier to prove a subtler inequality
- Inequality with Logarithms
- An inequality: 1 + 1/4 + 1/9 + ... less than 2
- Inequality with Harmonic Differences
- An Inequality by Uncommon Induction
- Hlawka's Inequality
- An Inequality in Determinants
- Application of Cauchy-Schwarz Inequality
- An Inequality from Tibet
- An Inequality with Constraint
- An Inequality from Morocco
- An Inequality for Mixed Means
- An Inequality in Integers
- An Inequality in Integers II
- An Inequality in Integers III
- An Inequality with Exponents
- Exponential Inequalities for Means
- A Simple Inequality in Three Variables
- An Asymmetric Inequality
- Linear Algebra Tools for Proving Inequalities
- An Inequality with a Generic Proof
- A Generalization of an Inequality from a Romanian Olympiad
- Area Inequality in Trapezoid
- Improving an Inequality
- RomanoNorwegian Inequality
- Inequality with Nested Radicals II
- Inequality with Powers And Radicals
- Inequality with Two Minima
- Simple Inequality with Many Faces And Variables
- An Inequality with Determinants
- An Inequality with Determinants II
- An Inequality with Determinants III
- An Inequality with Determinants IV
- An Inequality with Determinants V
- An Inequality with Determinants VI
- An Inequality with Determinants VII
- An Inequality in Reciprocals
- An Inequality in Reciprocals II
- An Inequality in Reciprocals III
- Monthly Problem 11199
- A Problem from the Danubius Contest 2016
- A Problem from the Danubius-XI Contest
- An Inequality with Integrals and Rearrangement
- An Inequality with Cot, Cos, and Sin
- A Trigonometric Inequality from the RMM
- An Inequality with Finite Sums
- Hung Viet's Inequality
- Hung Viet's Inequality II
- Hung Viet's Inequality III
- Inequality by Calculus
- Dorin Marghidanu's Calculus Lemma
- An Area Inequality
- A 4-variable Inequality from the RMM
- An Inequality from RMM with Powers of 2
- A Cycling Inequality with Integrals
- A Cycling Inequality with Integrals II
- An Inequality with Absolute Values
- An Inequality from RMM with a Generic 5
- An Elementary Inequality by Non-elementary Means
- Inequality in Quadrilateral
- Marian Dinca's Refinement of Nesbitt's Inequality
- An Inequality in Cyclic Quadrilateral
- An Inequality in Cyclic Quadrilateral II
- An Inequality in Cyclic Quadrilateral III
- An Inequality in Cyclic Quadrilateral IV
- Inequality with Three Linear Constraints
- Inequality with Three Numbers, Not All Zero
- An Easy Inequality with Three Integrals
- Divide And Conquer in Cyclic Sums
- Wu's Inequality
- A Cyclic Inequality in Three Variables
- Dorin Marghidanu's Inequality in Complex Plane
- Dorin Marghidanu's Inequality in Integer Variables
- Dorin Marghidanu's Inequality in Many Variables
- Dorin Marghidanu's Inequality in Many Variables Plus Two More
- Dorin Marghidanu's Inequality with Radicals
- Dorin Marghidanu's Light Elegance in Four Variables
- Dorin Marghidanu's Spanish Problem
- Two-Sided Inequality - One Provenance
- An Inequality with Factorial
- Wonderful Inequality on Unit Circle
- Quadratic Function for Solving Inequalities
- An Inequality Where One Term Is More Equal Than Others
- An Inequality and Its Modifications
- Complicated Constraint - Simple Inequality
- Distance Inequality
- Two Products: Constraint and Inequality
- The power of substitution II: proving an inequality with three variables
- Algebraic-Geometric Inequality
- One Inequality - Two Domains
- Radicals, Radicals, And More Radicals in an Inequality
- An Inequality in Triangle and In General
- Cyclic Inequality with Square Roots
- Dan Sitaru's Cyclic Inequality In Many Variables
- An Inequality on Circumscribed Quadrilateral
- An Inequality with Fractions
- An Inequality with Complex Numbers of Unit Length
- An Inequality with Complex Numbers of Unit Length II
- Le Khanh Sy's Problem
- An Inequality Not in Triangle
- An Acyclic Inequality in Three Variables
- An Inequality with Areas, Norms, and Complex Numbers
- Darij Grinberg's Inequality In Three Variables
- Small Change Makes Big Difference
- Inequality with Two Variables? Think Again
- A Problem From a Mongolian Olympiad for Grade 11
- Sitaru--Schweitzer Inequality
- An Inequality with Cyclic Sums And Products
- Problem 1 From the 2016 Pan-African Math Olympiad
- An Inequality with Integrals and Radicals
- Twin Inequalities in Four Variables: Twin 1
- Twin Inequalities in Four Variables: Twin 2
- Simple Inequality with a Variety of Solutions
- A Partly Cyclic Inequality in Four Variables
- Dan Sitaru's Inequality by Induction
- An Inequality in Three (Or Is It Two) Variables
- An Inequality in Four Weighted Variables
- An Inequality in Fractions with Absolute Values
- Inequalities with Double And Triple Integrals
- An Old Inequality
- Dan Sitaru's Amazing, Never Ending Inequality
- Leo Giugiuc's Exercise
- Another Inequality with Logarithms, But Not Really
- A Cyclic Inequality of Degree Four
- An Inequality Solved by Changing Appearances
- Distances to Three Points on a Circle
- An Inequality with Powers And Logarithm
- Four Integrals in One Inequality
- Same Integral, Three Intervals
- Dorin Marghidanu's Inequality with Generalization
- Dan Sitaru's Inequality with Three Related Integrals and Derivatives
- An Inequality in Two Or More Variables
- An Inequality in Two Or More Variables II
- A Not Quite Cyclic Inequality
- Dan Sitaru's Inequality: From Three Variables to Many in Two Ways
- An Inequality with Sines But Not in a Triangle
- An Inequality with Angles and Integers
- Sladjan Stankovik's Inequality In Four Variables
- An Inequality with Two Pairs of Triplets
- A Refinement of Turkevich's Inequality
- Dan Sitaru's Exercise with Pi and Ln
- Problem 4165 from Crux Mathematicorum

|Contact| |Front page| |Contents| |Algebra| |Store|

Copyright © 1996-2017 Alexander Bogomolny62316151 |