Skip to main content
OlympiadHQ

Browse · MathNet

Print

First Round of the 73rd Czech and Slovak Mathematical Olympiad (take-home part)

Czech Republic algebra

Problem

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 .
Final answer
(1, 2, 1, 2) and (2, 1, 2, 1)

Techniques

Cauchy-SchwarzQM-AM-GM-HM / Power MeanLinear and quadratic inequalities