If and are arbitrary real numbers, then . If some then equality holds if and only if there is a real such that for each .

So to basically prove this you do the following: for all . It is equaled to if .

And this is equaled to

Then we invoke the discriminant of the quadratic equation by making the required substitutions?