Вычислим определитель матрицы, составленный из координат векторов:
Определитель не равен 0, значит векторы a, b , c ЛНЗ (линейно независимы), а значит векторы могут быть приняты в качестве базиса пространства.
Пусть вектор альфа имеет координаты
, тогда
разложим его по базису a , b , c . Будем иметь: