Norm ve ic carpim olarak yazdigimizda (goruntu guzelligi bakimindan) $$0\le\left\lVert\frac{u}{\lVert u\rVert}-\frac{v}{\lVert v\rVert}\right\rVert^2=\left(\frac{u}{\lVert u\rVert}-\frac{v}{\lVert v\rVert}\right)\cdot\left(\frac{u}{\lVert u\rVert}-\frac{v}{\lVert v\rVert}\right)$$$$=\left(\frac{u\cdot u}{\lVert u\rVert^2}+\frac{v\cdot v}{\lVert v\rVert^2}\right)-2 \frac{u\cdot v}{\lVert u \rVert \;\lVert v\rVert}=2-2 \frac{u\cdot v}{\lVert u \rVert \;\lVert v\rVert}$$ oldugundan $$ \frac{u\cdot v}{\lVert u \rVert \;\lVert v\rVert} \le 1$$ olur.
Not:
$u=(u_1,\cdots,u_n)$ ve $v=(v_1,\cdots,v_n)$ icin $$u\cdot v:=\sum\limits_{i=1}^nu_iv_i$$ ve
$$\lVert u \rVert:= \sqrt{u \cdot u}$$ olarak tanimli.
Peki, esitlik ne zaman saglanir? Bunu bu cevap veriyor...