Question

我是maxima的初学者，

我把它当作解决方程组的唯一目的。这是我的结果：

(%i30) e1: a*b - c*d + e*f - g*h = i*j - k*l;
(%o30)               (- g h) + e f - c d + a b = i j - k l
(%i31) e2:a^2 + c^2 = b^2 + d^2;
                                2    2    2    2
(%o31)                         c  + a  = d  + b
(%i32) e3:a^2 + c^2 = e^2 + g^2;
                                2    2    2    2
(%o32)                         c  + a  = g  + e
(%i33) e4:a^2 + c^2 = f^2 + h^2;
                                2    2    2    2
(%o33)                         c  + a  = h  + f
(%i34) e5:a^2 + c^2 = i^2 + k^2;
                                2    2    2    2
(%o34)                         c  + a  = k  + i
(%i35) e6:a^2 + c^2 = j^2 + l^2;
                                2    2    2    2
(%o35)                         c  + a  = l  + j
(%i36) algsys([e1,e2,e3,e4,e5,e6], [a]);
(%o36)                                []

现在，我想知道：

我有信心没有解决方案吗？

我怎么知道maxima用来证明这样的事情的步骤是什么？

Answer 1

我问了一位关于irc的专家

答案是你不能相信一个空洞的结果：它并不意味着没有解决方案，这意味着cas没有找到一个

对于该步骤，我建议使用lisp调试输出来完成求解过程

我怎么知道解决的步骤？

1 个答案: