Выдержка из книги
Кадомцев С.Б.
Аналитическая геометрия и линейная алгебра
Этот определитель называется определителем Грама векторов a, b и с. Ясно, что определитель Грама данных векторов неотрицателен и равен нулю тогда и только тогда, когда эти векторы линейно зависимы.
