向量可以“除以”实数,但是不叫“除法”
向量“除以”一个实数等价于“乘以”这个实数的倒数,所以也就是数乘运算