Question

Wolfram Mathematica 如何把多个方程的每个方程任一组解代入到多项式求值？

例如实数方程：
NSolve[x^2 + y^2 - 10 - 3*m == 0 && 2 x + y == 2, {x, y}, Reals, 2]
若令m={2,3,4},表示上述是3个不相关的方程，得到它们的解
{{{x -> 2.5, y -> -3.1}, {x -> -0.94, y -> 3.9}}
{{x -> 2.7, y -> -3.4}, {x -> -1.1, y -> 4.2}}
{{x -> 2.9, y -> -3.7}, {x -> -1.3, y -> 4.5}}
再从每行中任意取一组解组成一个表，如
{x,y}={{ 2.5, -3.1}, {2.7, -3.4},{2.9, -3.7}}
如何得到这个表？
再把这3组解代入另一个关于x,y的多项式得到另一个表，如代入到x+y中，即
x+y={-0.6,-0.7,-0.8}
这个表又如何得到？

Answer 1

……学会使用Mathematica的列表操作啊。总之这样：

sol = NSolve[x^2 + y^2 - 10 - 3*# == 0 && 2 x + y == 2, {x, y}, Reals, 2] & /@ {2, 3, 4}
{x, y} /. Tuples@sol
x + y /. Tuples@sol