1.4.6 高级专题：带有假定的化简带有假定的化简 Mathematica 不自动化简这个表达式，因为它只对 x 的某些值才化简
Out[1]= |  |
 等于 x 只对 x ≥ 0 成立
Out[2]= |  |
此处假定 x > 0，才能化简
Out[3]= |  |
这个表达式不能被自动化简
Out[4]= |  |
当假定 a , b 为正数时，该表达式就能被化简
Out[5]= |  |
这里是三角函数化简的例子
Out[6]= |  |
假定中使用的某些数集 假定
Out[7]= |  |
假定 为整数，化简三角函数
Out[8]= |  |
在给出的假定下，费尔马小定理得以使用
Out[9]= |  |
这里显示出当  为实数时 sin(x) 函数也为实数. 但 arcsin(x) 不一定是实数
Out[10]= |  |
|
