Mathematics求解多元符号变量方程组

sol = Solve[a1*x + b1*y + c1 == 0 && a2*x + b2*y + c2 == 0, {x, y}]
// 因为 MMA 计算结果是一个Rule : {x -> xxx, y -> xxx}，因此需要利用这个Rule得到解，/. 表示全部应用规则，例如：f[x_] := x + 1 + y，即出现x的地方用x + 1 + y替换。
x /. sol
y /. sol
//在 MMA 中如果需要将结果进一步计算, 可应用规则：
f[x, y] /. sol
Simplify[%]
// 将表达式转化为C/C++ 语言格式
CForm[%]