请问这是怎么回事 - mathematica吧

level 1

顶顶顶Ω♬ 楼主

解出来的东西不等号左边比右边大？？ [泪]

代码如下
ToRadicals[
Reduce[-2916*a1^12 + (-432*a1^4 + 486*a1^6 + 432*a1^2*t)^2 >=
0 && -1 <= a1 <= 1 && -1 <= t <= 1, a1]]

2023年11月12日 06点11分 1

level 1

顶顶顶Ω♬ 楼主

是不是因为式子有高于五次的变量，所以mathematica在处理的时候出现问题，我刚才用b换掉了a1平方，降为b的四次方好像就没问题了

2023年11月12日 07点11分 6

吧务

level 10

单是观察到有恒假分支倒难说结果有问题，多Reduce ToRadicals一遍就除去了

2023年11月15日 09点11分 7

问题应该在于Reduce默认作为Root处理，而对其不会综合其他条件来判断Root的大小

2023年11月15日 09点11分

@asdasd1dsadsa 而且有的时候想在实数范围内解根还是会出现虚数，是不是也是这个原理

2023年11月20日 14点11分

@顶顶顶Ω♬ 不知道，具体问题具体分析吧

2023年12月01日 08点12分

吧务

level 15

xzcyr

说得再简单一点，Solve，Reduce，Integrate等代数求解函数算出来的东西常常都是没化简的，把它们跟Simplify、FullSimplify等函数搭配着使用是标准操作，不要大惊小怪。

2023年12月02日 03点12分 8