为什么互相垂直的向量其点积为0?