Как мне кажется из системы векторов,
a1. a2. a3, а4, а5, а6 должно получится четыре линейно независимых вектора.
Три - это система векторов, наверное a3, а4, а5, а6.
Определитель любых четырех векторов равен 0, следовательно вектора а3, а4, а5, а6 линейно зависимые. Так как дополнить а1, а2 до базиса системы векторов. получается же размерность базиса 4х3. Так?