Seja $v = (v_i)_1^n$ e $u = (u_i)_1^n$. Tomemos $v$ com coordenadas positivas, $\displaystyle\sum_{i=1}^n u_i v_i = 0\ \Leftrightarrow\ u = O$.
Observemos que $u = O$ também satisfaz $u \cdot v = 0$ para $v$ com quaisquer coordenadas.
Quod Erat Demonstrandum.
Nenhum comentário:
Postar um comentário