什么叫做解向量