Direction Angles - Sum of Squares of Cosines
Given a nonzero vector in 
, we prove here the following fact about the sums of squares of the cosines of its direction angles.
Proposition Given a nonzero vector x in , let 
denote its 
-th direction angle. Then
