向量线性相关问题划线部分为什么等于0,是因为a1  a2线性无关吗?如果是,那么a1  a2为什么线性无关?