Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学和算法 > 公式处理 > Simplify >
MATHEMATICA 内置符号教程 »|参见 »|更多关于 »

Simplify

Simplify[expr]
在 expr 上执行各种代数变换操作，并返回它找到的最简单形式.
Simplify
在假设条件下进行化简.
更多信息
  • Simplify 尝试在表达式上进行展开、因式分解和其它变换，并返回所得到的最简单形式.
  • 可以使用的选项：
Assumptions$Assumptions缺省假设，并添加到 assum 中
ComplexityFunctionAutomatic怎样估计所生成的每种形式的复杂度
TimeConstraint300尝试进行任何特殊变换的时间 (以秒为单位)
TransformationFunctionsAutomatic对表达式进行变换的函数
TrigTrue是否进行代数变换以及三角变换
  • 假定条件可以由方程、不等式、诸如 xIntegers 的域指定以及这些的逻辑组合组成.
  • Simplify 可以用到方程、不等式以及域指定上.
  • 不等式中显示的代数量通常假设为实数.
范例关闭所有单元
例   (3)
如果假设条件是关于 的，Simplify 可以进行更深的化简：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
In[1]:=
Click for copyable input
Out[1]=
 
如果假设条件是关于 的，Simplify 可以进行更深的化简：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
范围   (4)
化简一个多项式：
化简一个有理表达式：
化简一个三角表达式：
化简一个指数表达式：
化简一个方程：
在假设条件下化简表达式：
在假设条件下证明不等式：
选项   (10)
假设条件可以作为自变量或选项值给出：
Assumptions 选项的缺省值是 $Assumptions:
当假设条件作为自变量给出，也使用 $Assumptions：
指定假设条件作为选项值，这样避免在 $Assumptions 中使用 Simplify：
缺省 ComplexityFunction 统计子表达式和整数的位数：
LeafCount 仅统计子表达式的数量：
在缺省的 ComplexityFunction 下，Abs[x] 较关于 -x 的 FullForm 简短：
这个复杂函数使得 Abs 比 Times 更复杂：
这里给出没有化简的形式：
除了 的变化，它允许 Simplify 的保留项的展开：
这花费较长的时间，归因于三角展开，但不产生化简：
用 TimeConstraint 显示任何单个转换的时间：
一个相似的例子，其中转换产生一个化简：
在这个例子中，设置 TimeConstraint 避免某些化简：
这里 Simplify 用 t 作为仅有的转换：
这里 Simplify 使用 t 和所有内置转换：
缺省下，Simplify 使用三角恒等式：
设置 Trig->False，Simplify 不使用三角恒等式：
应用   (4)
证明解满足它的方程：
显示算术平均值大于代数项：
这应用 Fermat's little 理论：
根据 Wolfram 的关于布尔代数的最小公理，证明可交换性：
属性和关系   (2)
用 Assuming 传送假设条件：
用 FullSimplify 化简关于特殊函数的表达式：
可能存在的问题   (1)
Mathematica 中，零乘以一个符号表达式结果为零：
这甚至对无穷的符号表达式也有效：
因为这个原因，有奇点的表达式的化简结果是不确定的：
在这个例子中，FullSimplify 识别零：
版本 1 的新功能 | 版本 5 修改功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF