Про то, что не любой нулевой вектор тривиален я знал
Лучше говорить о тривиальности не векторов, а линейных комбинаций. Нулевой вектор в данном векторном пространстве только один, но он может быть значением самых разных линейных комбинаций, как тривиальных, так и нетривиальных.
Если нулевой вектор является значением нетривиальной линейной комбинации, соответствующая система векторов линейно зависима. Если тривиальной — ничего нельзя сказать, система может быть и зависима, и нет.
всякая подсистема лин. независимой системы является независимой
Допустим, это не так, т.е. некоторая подсистема

зависима, а вся система

независима. Тогда существует нетривиальная линейная комбинация векторов

, равная нулю. Допишем к ней остальные векторы системы

с нулевыми коэффициентами. Чему это всё равно? Чему это противоречит?