给了2个向量的坐标,求向量积的公式和是否共线的公式