一上来就遇到maplesoft2020的bug！

mathematica

同样的问题，mathematica只解出一组解，maplesoft解出三组解！
mathematica代码见：
https://bbs.emath.ac.cn/forum.ph ... 274&fromuid=865

maplesoft代码见

1. 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});
   
2. evalf(ans);
   

复制代码

而且maple的输出结果真丑！变量不是按照我指定的{x,a,BC}排序的！真的让我对maple好失望！

mathematica

1. {BC = 8.944271908, a = 0.4636476090, x = 6.833333333}
   
2. {x/Sin[5*a]-(11-x)/Sin[a],(*△BCE正弦定理*) (8-x)^2+(8*Tan[a])^2-(11-x)^2,(*△CDE勾股定理*) -BC^2+x^2+(11-x)^2-2*x*(11-x)*Cos[4*a],(*△BCE余弦定理*) BC>0&&0<a<Pi/4&&0<x<=8(*限制变量范围*) }
   
3. 
   
4. {BC = 7.9120650, a = 0.7522665594, x = 0.1581892036}
   
5. {x/Sin[5*a]-(11-x)/Sin[a],(*△BCE正弦定理*) (8-x)^2+(8*Tan[a])^2-(11-x)^2,(*△CDE勾股定理*) -BC^2+x^2+(11-x)^2-2*x*(11-x)*Cos[4*a],(*△BCE余弦定理*) BC>0&&0<a<Pi/4&&0<x<=8(*限制变量范围*) }
   

复制代码

利用mathematica代码，对求解结果的验证，由于不太会maple，所以只好用mathematica验证方程解的结果，只有第一组结果是

mathematica

习惯了mathematica后，用maple感觉好不习惯，而且感觉maple还没mathematica强大

mathematica

1. restart;(*清除所有*)
   
2. 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};(*写出方程组*)
   
3. ans:=solve(eqns,{x,a,BC});(*求解方程组*)
   
4. aa:=eval(eqns,ans[1]);(*把第一个解带入方程组，看结果*)
   
5. evalf(aa);(*数值化看两边结果是否相等*)
   
6. bb:=eval(eqns,ans[2]);
   
7. evalf(bb);
   
8. cc:=eval(eqns,ans[3]);
   
9. evalf(cc);
   

复制代码

结果就不贴了，显示2 3并非方程组的解，是软件的bug
不知道如何把maple的结果一下子都转成LaTeX，所以没办法搞了，
不传图片给郭先强节省一点论坛空间