В екторы
будут некомпланарными, если 
т.е. тройку векторов
можно взять в качестве базиса.
Разложим вектор
по базису
:
где
─ неизвестные координаты вектора
в базисе
.
Подставим в это равенство координаты векторов:

Из равенства векторов следует:

Решая эту систему любым методом, найдем 
Следовательно 
Заметим, что полученное разложение вектора
по базису
единственное, т.к. система имеет единственное решение (главный определитель системы не равен нулю).






