题目

Mathematica解四元二次方程组,结果太大了,怎么回事?
我要解一个四元二次方程组,我用的代码是：
(Solve[{((Dx -
Ex))^2 + ((Dy - Ey))^2 - 1400^2 ==
0,((Dy - Ey))*((0 - By)) + ((Dx - Ex))*((Cx -
Bx)) == 0,((Ey - By))*((Cx - Bx)) - ((0 - By))*((Ex -
Bx)) == 0,Dx == 1600},{Dx,Dy,Ex,Ey}])
复制到Mathematic里就知道了,
我解出来的结果有好几大页,根本没法用.
小弟这里先谢过大家

提问时间：2021-03-31

答案

因为在你的代码里,未知数是Dx,Dy,Ex,Ey,而Bx,By,Cx是字母常数,不是数字常数,Mathematica已无法把未知数表示为更为简单明了的形式了.也就是说,Mathematica给出的解答事实上已经是最简单的形式了,无法再化简了--除非你给Bx,By,Cx赋予具体的数值(你不妨试一下就知道了).因而也是完全正确的解答.