In this page we give a proof of the power means inequality for powers which are positive integers using induction (the same inequality follows for negative integers by applying the inequality to reciprocals of the original numbers). Let be positive real numbers, be non-negative weights that add up to one, and let k be a positive integer. First note that by the Cauchy-Schwarz inequality,
with equality if and only if all the 's are equal. The expression on the left hand side is known as the weighted Lehmer mean and is denoted by .
Our aim is to show
Note that for k=1 this inequality follows easily from Cauchy-Schwarz since
Now suppose the inequality is true for a particular k and we show that it's true for k+1. Thus
Raising both sides to the k(k+1) power
and simplifying results in
Multiplying both sides by we get
Now using the fact that
results in
which can simplified to the desired inequality