Prove. For two vectors X and Y

Proof. Let

and

and let a be any real number. We first derive the identity

as follows:

Now a quadratic polynomial in a is greater than or equal to zero for all real values of a if and only if its discriminant is less than or equal to zero. Thus

or