Здравствуйте, Дмитрий!
Векторы
a[sub]1[/sub],
a[sub]2[/sub],
a[sub]3[/sub] образуют базис в том, и только в том случае, если они линейно независимы, то есть их линейная комбинация [$945$]
1a[sub]1[/sub] + [$945$]
2a[sub]2[/sub] + [$945$]
3a[sub]3[/sub] равна 0 только при
[$945$][sub]1[/sub]=[$945$][sub]2[/sub]=[$945$][sub]3[/sub]=0. Другими словами, векторы
a[sub]1[/sub] = {x
1, y
1, z
1},
a[sub]2[/sub] = {x
2, y
2, z
2} и
a[sub]3[/sub] = {x
3, y
3, z
3} образуют базис, если линейная однородная система уравнений
имеет единственное решение
[$945$][sub]1[/sub]=[$945$][sub]2[/sub]=[$945$][sub]3[/sub]=0. Это, в свою очередь возможно только если определитель системы
отличен от нуля (в противном случае система имеет бесконечно много решений).
В данном случае соответствующий определитель (составленный из координат векторов) равен
то есть векторы
a[sub]1[/sub],
a[sub]2[/sub],
a[sub]3[/sub] действительно образуют базис.
Координаты вектора
b = {x
b, y
b, z
b} в этом базисе можно найти, решив соответствующую неоднородную систему
которая в данном случае имеет вид
Решение системы можно найти, например, методом Крамера, вычислив соответствующие определители:
то есть
b =
a[sub]1[/sub]+2
a[sub]2[/sub]-a[sub]3[/sub].