Выдержка из книги
Крутицкая Н.Ч.
Линейная алгебра в вопросах и задачах
В силу этого равенства квадратный трехчлен Ха (, х) - 2К ( х, у) - - ( у, у), который можно записать в виде ( Яд: - у, х-у), имеет единственный корень Я. Поэтому получаем равенство ( Яо - у, Яо - 1 /) 0, из которого в силу аксиомы IV скалярного произведения следует, что КоХ у. Если я6, то элементы х и у также линейно зависимы.