无法在 Maxima 中求解此代数方程?

Cannot solve this algebraic equation in Maxima?

你好,我正在尝试求解最大值的代数方程,该方程具有 alpha、delta 和 psi 作为变量。我希望根据 psi 和 delta 求解方程中的 alpha。我尝试使用 solve 命令,但我得到的是 alpha 方面的 alpha。

这里是要解的方程 Equation to solve

这是 maxima 的输出

.

这是我正在尝试的代码 -->

solve([(sqrt(-4*alpha*delta*psi-4*delta*psi+alpha^2*delta^2)/(delta^2+delta)-(alpha*delta/(delta^2+delta)))/2-sqrt(4*alpha^2*delta^2+6*alpha*delta^2+3*delta^2+2*alpha^2*delta+4*alpha*delta+2*delta)/(3*delta^2+2*delta)+alpha*delta/(3*delta^2+2*delta)=0],alpha);

谢谢

那个代数方程的问题是涉及到平方根,或者根和正规多项式,这种方程不好解,看看这个方程:

(%i30) solve(x=sqrt(x+6),x);

(%o30) x = sqrt{x+6} 

所以 Maxima 没有 return 任何值,但例如其他软件 Mathematica 有。 让我们对等式两边进行平方并尝试求解

(%i31) solve(x^2=x+6,x);

(%o31) x=3 , x=-2

我们得到两个解,让我们用第一个方程试试:

3 = sqrt(3+6) => 3 = sqrt(9) => 3 = 3

-2 = sqrt(-2+6) => -2 = sqrt(4) => -2 = 2 ??????

所以第二种方案无效,

maxima solve program in Macsyma/Maxima generally avoids methods that produce false solutions, like "square both sides". It may still make errors based on dividing by expressions that appear to be non-zero, but actually ARE zero, and maybe some other similar situations.

从这个mailing list

在你的情况下,我将分解方程以获得简化版本,但对于那些自由变量,这将很困难,因此,尝试为 psi 和 delta 假设一些值:

(%i26) solve(factor((sqrt(-4*alpha*delta*psi-4*delta*psi+alpha^2*delta^2)/(delta^2+delta)-(alpha*delta/(delta^2+delta)))/2-sqrt(4*alpha^2*delta^2+6*alpha*delta^2+3*delta^2+2*alpha^2*delta+4*alpha*delta+2*delta)/(3*delta^2+2*delta)+alpha*delta/(3*delta^2+2*delta))=0,alpha);

(\%o26) \left[ \alpha=\ifrac{\left(3\,\delta+2\right)\,\isqrt{\left(-4\,\alpha-4\right)\,\delta\,\psi+\alpha^2\,\delta^2}+\left(-2\,\delta-2\right)\,\isqrt{\left(4\,\alpha^2+6\,\alpha+3\right)\,\delta^2+\left(2\,\alpha^2+4\,\alpha+2\right)\,\delta}}{\delta^2} \right] 

扩展您的方程式并尝试删除平方根或一些假设:

Equation : (sqrt(-4*alpha*delta*psi-4*delta*psi+alpha^2*delta^2)/(delta^2+delta)-(alpha*delta/(delta^2+delta)))/2-sqrt(4*alpha^2*delta^2+6*alpha*delta^2+3*delta^2+2*alpha^2*delta+4*alpha*delta+2*delta)/(3*delta^2+2*delta)+alpha*delta/(3*delta^2+2*delta);