Andy Long
If we think of the and as components of vectors and , then
or
This is the inner product of two unit vectors, which is always between -1 and 1 (the inner product of two vectors is
where is the angle between the vectors (and hence always between -1 and 1). We can demonstrate this fact using linear algebra, calculus (and a trick!) as follows:
as this is the norm of the vector . Expanding this product as a function of t, we get
Since this is always positive ( ), there are no roots: hence, the coefficients must satisfy the relationship
This works out to
or
QED
so
Thus
If we can show that the middle term is zero, we're done.
Recall that from our efforts to minimize we obtained two equations:
and
Now
The second piece on the right hand side is clearly zero, as
The second piece is also zero, but requires a little more work: from the second equation above, we have that
Thus
then, using the second equation,
and so
QED