Problem:
Consider the inequality
a. Determine for which it holds for every possible choice of positive real numbers .
b. Determine for which it holds for every possible choice of real numbers .
Problem:
Consider the inequality
a. Determine for which it holds for every possible choice of positive real numbers .
b. Determine for which it holds for every possible choice of real numbers .
Solution:
We shall prove that the inequality
- holds for every choice of positive real numbers if and only if ;
- holds for every choice of real numbers if and only if .
We split the proof into several steps.
Step 1. We show that for the inequality is false, even for triples of positive real numbers. Indeed, setting , the left-hand side equals while the right-hand side equals .
Step 2. For the inequality holds for every choice of real numbers (positive, negative, or zero).
Indeed, expanding the square and moving everything to the left-hand side we obtain the inequality
that is
which is trivially always true.
Step 3. For every there exists at least one choice of real numbers (not all positive) for which the inequality is false.
Indeed, setting the left-hand side vanishes, while the right-hand side equals .
Step 4. For every the inequality holds for every choice of positive real numbers.
We prove this fact by induction on . Suppose the claim holds for and let us prove it for . Let be positive real numbers. Note that the inequality does not change if we cyclically permute the numbers , and therefore we may assume that is a number greater than or equal to all the others. From the inequality for terms we obtain
where by our assumption on . The inequality is proved.