Sejam $u$ e $v$ vetores do $\mathbb{C}^n$, $\langle u, v\rangle = \overline{\langle v, u\rangle}$.

Seja $u = (a_j + b_j i)_{j=1}^n$ e $v = (a_j´ + b_j´ i)_{j=1}^n$,

$\langle u, v\rangle = \displaystyle\sum_{j=1}^n [(a_j a_j´ - b_j b_j´) - (a_j b_j´ - b_j a_j´)i] =$

$= \displaystyle\sum_{j=1}^n [(a_j´ a_j - b_j´ b_j) + (a_j´ b_j - b_j´ a_j)i] = \overline{\langle v, u\rangle}$.

Quod Erat Demonstrandum.