写出三维平面中关于xoy平面对称的算法和程序;