We say that the triple from the segment is worthy, if these numbers satisfy the inequality . Prove that if the triples and are worthy, then is worthy as well.
(Voloshyn Denys)
We say that the triple from the segment is worthy, if these numbers satisfy the inequality . Prove that if the triples and are worthy, then is worthy as well.
(Voloshyn Denys)
We are given the following inequalities:
and we need to show that the following inequality holds:
First observation: we can assume that all numbers are non-negative. Indeed, if , then after taking the absolute values the inequality (2) does not change, while the inequalities (1) can only become stronger. If , then either or ; without loss of generality, assume the former, then
Next, we can assume without loss of generality that . Inequalities (1) and the left-hand side of (2) are invariant to the permutation of . From the inequality for ordered tuples we get that the right-hand side of (2) is maximized when , hence, it is enough to prove the statement only for this case.
Solving the inequality (2) as quadratic w.r.t. , we get the equivalent inequality:
The inequality on the left is obvious since . Let us prove the inequality on the right. By solving the inequalities (1) as quadratic w.r.t. and , we get
Thus, it is enough to show that
Suppose that some of the numbers are equal to 1. Taking into account that and , it is enough to consider the case (the case is similar). The inequality (3) becomes
which is now obvious since .
Now, suppose that none of the numbers is equal to 1. By expanding the brackets in the left-hand side and dividing by , we get after minor simplifications the equivalent inequality:
where . And the last inequality is a partial case of the Cauchy-Schwarz inequality.