一个关于用向量坐标解立体几何的问题