Покажем, что для любых двух векторов x и y евклидова пространства справедливо неравенство
|(x, y)| , (9.2)
называемое неравенством Коши – Буняковского *, причем знак равенства в нем имеет место только в том случае, если векторы x и y линейно зависимы.
В самом деле, если x = 0 или y = 0, то неравенство (9.2) очевидно, поэто-му будем считать, что, например, y 0. Рассмотрим вектор z = x + y, где – любое действительное число. Поскольку (z, z) , то имеем
(z, z) = (x + y, x + y) = (x, x) + 2 (x, y) + (y, y) . (9.3)
При = – (x, y)/(y, y) из неравенства (9.3) получим
,
или
что равносильно неравенству (9.2).
Знак равенства в (9.2) возможен тогда и только тогда, когда (z, z) = 0 z = x + y = 0 x = – y, т. е. когда векторы x и y линейно зависимы.
Из определения скалярного произведения в R n (формула (9.1)) следует, что в R n неравенство Коши – Буняковского принимает вид
.