lingo中如何求解数学方程

lingo中
x^2+y^2+z^2
其中呢我想表示x.y.z属于两个平面的交线上
满足 a1x+b1y+c1z=d1
a2x+b2y+c2z=d2
而a1 a2 b1 b2 c1 c2 d1 d2等是不知道的,任意的 那么如何能求解呢?

那还用想,最小值就是0,还要用lingo?