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?