Homogeneous inequalities are inequalities in which if you multiply all the variables by some positive real , it is possible to simplify and go back to the original inequality. Such inequalities often allow to fix conditions on its variables without loss of generality. By combining the proprieties of homogeneity with some Classical Inequalities, it's often possible to find elegant shortcuts leading to elegant solutions.
Let be variables and let be an expression.
is homogeneous of degree if, for all , we have the following :
If we multiply the variables of by we get that . Therefore it's homogeneous of degree .
Also, is homogeneous of degree and is homogeneous of degree
An inequality is said homogeneous if both of its sides have the same degree of homogeneity
The advantage of homogeneous inequalities is that we can multiply the variables by a factor without loss of generality. That's because if the (homogeneous) inequality is true for then it is also true for .
We can assume, without loss of generality, that the variables verify an additional propriety such as or or some other condition depending on the problem.
Suppose that we've demonstrated a homogeneous inequality for beforehand. We can then argue that it is also true for for any . Here is why :
If then which means that .
Now since we know that the inequality holds for then we can simply multiply both sides by and it won't cause any problem thanks to homogeneity !
But always be wary of , if allowed.
A koala dies for every viewer who reads this article and doesn't see applications... Save koalas, add exercices.