Using the Hermitian inner product, the scalar product is . The two squared norms are and . The specified real angle in a complex inner product space therefore has
The real part is essential: the complex scalar product itself need not be real.
Conjugating the first vector gives
Their squared norms are and , independently of . Thus the specified real angle in a complex inner product space obeys
The complex Cauchy-Schwarz inequality ensures that this real quotient lies in .