两向量相乘的坐标公式推导