向量是数学中的一种基本概念，它通常表示为有向线段。向量的相乘有多种方式，其中一种是垂直相乘。当两个向量垂直相乘得到的结果为0向量时，这两个向量被称为互相垂直。

对于任意两个向量a和b，如果它们垂直相乘得到0向量，即a⊥b=0，则这两个向量必定是互相垂直的。这是因为向量的垂直相乘的结果就是两个向量的数量积乘以它们的夹角的正弦值，即a⊥b=|a|·|b|·sinθ。当两个向量垂直时，它们的夹角θ为90度，sin90度等于1，所以a⊥b=0。

此外，当两个向量垂直时，它们的数量积也为0，即a·b=0。这是因为数量积的结果是两个向量的模长相乘再乘以它们的夹角的余弦值，即a·b=|a|·|b|·cosθ。当两个向量垂直时，它们的夹角θ为90度，cos90度等于0，所以a·b=0。

因此，向量a和b如果满足a⊥b=0，则它们一定是互相垂直的。反之，如果向量a和b是互相垂直的，则它们的垂直相乘结果一定为0向量。

总之，向量的垂直相乘是一种重要的数学运算，它不仅可以用于求解向量的垂直关系，还可以应用于各种科学领域，如物理、工程等。对于向量的垂直相乘得到0向量的情况，我们可以得出结论：这两个向量是互相垂直的。