3.3.10 使用假定Mathematica 通常对用户要处理的对象作尽可能小的假定. 但有时，这样 得到的结果比较多假定时得到的结果更复杂. 进行带假定的运算 缺省时 Simplify 对此表达式基本上不做任何事情
Out[1]= |  |
原因是该表达式的值对不同的 x 是相当不同的
Out[2]= |  |
使用假定 x>0 立即化简该表达式成为 0
Out[3]= |  |
对 不做假定时，什么事也不能做
Out[4]= |  |
假定  都为正数，Log 就能被展开
Out[5]= |  |
对方程和不等式使用带有适当假定的 Simplify 和 FullSimplify，用户实际上可以建立广泛的定理. 不对 做假定，这个等式是真是假不能确定
Out[6]= |  |
假定  ，便确定出该等式为真
Out[7]= |  |
建立一个标准结果，算术平均值大于几何平均值
Out[8]= |  |
这里证明当自变量为正数时，erf(x) 的值在 (0，1) 内
Out[9]= |  |
一类重要的假定是声明某个对象是一个特定区域的元素. 用户可以使用  建立这种假定，其中  符号可以用  elem 或 \[Element]来输入. 声明对象是区域中的元素 这里认定  是实数域中的一个元素
Out[10]= |  |
这些数都是代数数域的元素
Out[11]= |  |
Mathematica 知道 不是一个代数数
Out[12]= |  |
现代数学没有弄清  是否是一个代数数
Out[13]= |  |
此式代表符号 x 是实数域的一个元素的声明
Out[14]= |  |
Mathematica 支持的数域 当 假定为整数时，sin(n) 为零
Out[15]= |  |
这里建立了定理，当 是实数时，cosh(x)≥1
Out[16]= |  |
如果假定变量满足某个不等式，那么 Mathematica 将自动假定该变量是实数
Out[17]= |  |
通过使用带有假定的 Simplify，FullSimplify 和 FunctionExpand， 用户可以进入 Mathematica 的关于数学结论的庞大集合. 这里使用正切函数的周期性
Out[18]= |  |
假定 k/2  Integers 意味着 k 必须是偶数
Out[19]= |  |
Mathematica 知道对正数有 
Out[20]= |  |
FullSimplify 运用关于特殊函数的知识
Out[21]= |  |
Mathematica 懂得离散数学、数论以及连续数学. 这里使用威尔森定理简化结果
Out[22]= |  |
这里使用欧拉  函数的乘法性质
Out[23]= |  |
| 
