Wolfram 语言与系统参考资料中心

Simplify

Simplify[expr]

在 expr 上执行各种代数变换操作，并返回它找到的最简单形式.

Simplify[expr,assum]

在假设条件下进行化简.

更多信息和选项

Simplify 尝试在表达式上进行展开、因式分解和其它变换，并返回所得到的最简单形式.
Simplify 可以用到方程、不等式以及域指定上.
不等式中显示的代数量通常假设为实数.
FullSimplify 执行比 Simplify 更深层次的化简.
您可以用 Assuming 来设置 Simplify 的缺省假定.
可以使用的选项：

Assumptions	$Assumptions	缺省假设，并添加到 assum 中
ComplexityFunction	Automatic	怎样估计所生成的每种形式的复杂度
TimeConstraint	300	尝试进行任何特殊变换的时间 (以秒为单位)
TransformationFunctions	Automatic	对表达式进行变换的函数
Trig	True	是否进行代数变换以及三角变换

假定条件可以由方程、不等式、诸如 x∈Integers 的域指定以及这些的逻辑组合组成.
设置 TimeConstraint->{t_loc,t_tot} 时，任意特定转化花了至多 t_loc 秒，而在返回最佳结果之前全部转化花了至多 t_tot 秒.
Simplify 可应用于符号数组表达式.

范例

打开所有单元关闭所有单元

基本范例 (3)

如果假设条件是关于 x 的，Simplify 可以进行更深的化简：

范围 (5)

化简一个多项式：

化简一个有理表达式：

化简一个三角表达式：

化简一个指数表达式：

化简一个方程：

在假设条件下化简表达式：

在假设条件下证明不等式：

化简符号数组表达式：

选项 (10)

Assumptions (3)

假设条件可以作为自变量或选项值给出：

Assumptions 选项的缺省值是 $Assumptions:

当假设条件作为自变量给出，也使用 $Assumptions：

指定假设条件作为选项值，这样避免在 $Assumptions 中使用 Simplify：

ComplexityFunction (2)

缺省 ComplexityFunction 统计子表达式和整数的位数：

LeafCount 仅统计子表达式的数量：

在缺省的 ComplexityFunction 下，Abs[x] 较关于 -x 的 FullForm 简短：

这个复杂函数使得 Abs 比 Times 更复杂：

ExcludedForms (1)

这里给出没有化简的形式：

除了 (x-2)^10 的变化，它允许 Simplify 的保留项的展开：

TimeConstraint (2)

这花费较长的时间，归因于三角展开，但不产生化简：

用 TimeConstraint 显示任何单个转换的时间：

一个相似的例子，其中转换产生一个化简：

在这个例子中，设置 TimeConstraint 避免某些化简：

TransformationFunctions (1)

这里 Simplify 用 t 作为仅有的转换：

这里 Simplify 使用 t 和所有内置转换：

Trig (1)

缺省下，Simplify 使用三角恒等式：

设置 Trig->False，Simplify 不使用三角恒等式：

应用 (4)

证明解满足它的方程：

显示算术平均值大于代数项：

这应用 Fermat's little 理论：

根据 Wolfram 的关于布尔代数的最小公理，证明可交换性：

属性和关系 (3)

用 Assuming 传送假设条件：

用 FullSimplify 化简关于特殊函数的表达式：

ArraySimplify 只执行数组变换：

Simplify 也可执行其他变换：

可能存在的问题 (2)

Wolfram 语言中，零乘以一个符号表达式结果为零：

这甚至对无穷的符号表达式也有效：

因为这个原因，有奇点的表达式的化简结果是不确定的：

在这个例子中，FullSimplify 识别零：

化简结果可能取决于符号名称：

Top

更多学习资源

技术支持

Wolfram 解决方案

Wolfram 的教育解决方案

开始

提高你的技能

与我们合作

成人教育计划

青少年教育计划

欢迎阅读

Simplify

更多信息和选项

范例

基本范例 (3)

范围 (5)