一上来就遇到maplesoft2020的bug！
同样的问题，mathematica只解出一组解，maplesoft解出三组解！mathematica代码见：
https://bbs.emath.ac.cn/forum.php?mod=redirect&goto=findpost&ptid=17887&pid=89274&fromuid=865
maplesoft代码见
ans:=solve({x/sin(5*a)=(11-x)/sin(a),(8-x)^2+(8*tan(a))^2=(11-x)^2,BC^2=x^2+(11-x)^2-2*x*(11-x)*cos(4*a),BC>0,0<a<Pi/4,0<x<=8},{x,a,BC});
evalf(ans);
而且maple的输出结果真丑！变量不是按照我指定的{x,a,BC}排序的！真的让我对maple好失望！ {BC = 8.944271908, a = 0.4636476090, x = 6.833333333}
{x/Sin-(11-x)/Sin,(*△BCE正弦定理*) (8-x)^2+(8*Tan)^2-(11-x)^2,(*△CDE勾股定理*) -BC^2+x^2+(11-x)^2-2*x*(11-x)*Cos,(*△BCE余弦定理*) BC>0&&0<a<Pi/4&&0<x<=8(*限制变量范围*) }
{BC = 7.9120650, a = 0.7522665594, x = 0.1581892036}
{x/Sin-(11-x)/Sin,(*△BCE正弦定理*) (8-x)^2+(8*Tan)^2-(11-x)^2,(*△CDE勾股定理*) -BC^2+x^2+(11-x)^2-2*x*(11-x)*Cos,(*△BCE余弦定理*) BC>0&&0<a<Pi/4&&0<x<=8(*限制变量范围*) }
利用mathematica代码，对求解结果的验证，由于不太会maple，所以只好用mathematica验证方程解的结果，只有第一组结果是 习惯了mathematica后，用maple感觉好不习惯，而且感觉maple还没mathematica强大 restart;(*清除所有*)
eqns:={x/sin(5*a)=(11-x)/sin(a),(8-x)^2+(8*tan(a))^2=(11-x)^2,BC^2=x^2+(11-x)^2-2*x*(11-x)*cos(4*a),BC>0,0<a,a<Pi/4,0<x,x<=8};(*写出方程组*)
ans:=solve(eqns,{x,a,BC});(*求解方程组*)
aa:=eval(eqns,ans);(*把第一个解带入方程组，看结果*)
evalf(aa);(*数值化看两边结果是否相等*)
bb:=eval(eqns,ans);
evalf(bb);
cc:=eval(eqns,ans);
evalf(cc);
结果就不贴了，显示2 3并非方程组的解，是软件的bug
不知道如何把maple的结果一下子都转成LaTeX，所以没办法搞了，
不传图片给郭先强节省一点论坛空间
页:
[1]