空间两条直线关于某平面的法线对称,已知其中一条直线的向量为(m0,n0,p0),平面方程为AX+BY+CZ+D=0,