Let , , , be positive real numbers lying in the interval that also satisfy the equation . Prove that the inequality
is satisfied for all such quadruples and determine all the cases when the equality holds.
Solution
To begin with, note that all the numbers are greater or equal to one, so the denominators are positive and the question is well-posed.
As a first step in our solution, let's observe that since and lie in a closed interval of length , we must have , which can be rearranged to
Applying similar bounds to all four terms, we see that it suffices to prove the inequality
But since the condition is equivalent to , this follows from the inequality between the arithmetic and harmonic means (or, if one prefers, from the Cauchy-Schwarz inequality).
In order for equality to be attained, we must have equality in both our estimates. From the first one, we can infer that
Since all the numbers lie in an interval of length , this leaves us with only two options where equality can be attained, and , with an easy check confirming that we indeed get equality.
Conclusion. The inequality holds by the argument above and we get an equality precisely for quadruples and .