В предыдущем пункте у нас остался пробел. Мы определили угол $ \varphi $ между векторами x и y формулой
$$ cos \varphi = {{(x, y)} \over {|x| |y|}} $$
Для того чтобы можно было определить $ \varphi $ из этого равенства, нужно доказать, что
$$ -1 \leqslant {{ (x, y)} \over {|x| |y|}} \leqslant 1 $$
или, что то же самое, что
$$ {{ (x, y)^2} \over {|x|^2 |y|^2}} \leqslant 1, $$
т. е.
$$ (x, y)^2 \leqslant (x, x) (y, y). $$
Это неравенство называется неравенством Коши-Буняковского.