FullSimplify

FullSimplify[expr]

在包括初级和特殊函数的 expr 中尝试各种不同的变换，并且返回它所找到的最简形式.

FullSimplify[expr,assum]

用假设进行化简.

更多信息和选项

范例

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

基本范例  (3)

化简包含特殊函数的表达式：

使用假设化简：

从相关性的假设中证明一个简单定理：

范围  (8)

化简多项式：

将双曲线表达式化简为指数形式：

将指数表达式化简为三角形式：

化简一个代数数：

化简超越数：

化简包含特殊函数的表达式：

用假设化简表达式：

根据公理系统证明定理：

任意表达式可以用作一个变量：

在定理中，无定量的变量被当作常量处理：

假定左边的恒等性和逆的存在性，证明右边逆的存在：

选项  (6)

Assumptions  (1)

Assumptions 可以同时作为变量和选项值给出：

Assumptions 选项的缺省值是 $Assumptions：

当假设作为一个变量给出，也使用 $Assumptions：

把假设指定为一个选择值，避免 FullSimplify 使用 $Assumptions：

ComplexityFunction  (1)

默认情况下，这个表达式是不能化简的：

这个复杂函数使得 ChebyshevT 比其它函数代价更高：

ExcludedForms  (1)

这里给出以 Arg[x] 表示的结果：

这里指定 Log[x] 不应被转换：

TimeConstraint  (1)

由于三角函数的展开，这将花费很长时间：

最费时间的变换不是化简：

将转换限制在 100 毫秒内，则化简不会发生：

TransformationFunctions  (1)

默认情况下，FullSimplify 不使用 Reduce：

这使得 FullSimplify 在实数域范围内使用关于 x 的 Reduce：

Trig  (1)

默认情况下 FullSimplify 用三角恒等式：

通过 Trig->False，FullSimplify 不再使用三角恒等式：

应用  (6)

证明一个解满足它自己的方程：

化简包含 Mod 的表达式：

证明满足结合性的操作 g，左中元素和左逆定义一个群：

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

证明固定点连字符存在：

证明关于相交(⋁)和结合(⋀) 的定理：

属性和关系  (7)

输出一般等价于输入：

FullSimplify 用比 Simplify 更广范围的变换：

FullSimplify 用一些展开变换，包括 Expand：

TrigExpand：

PiecewiseExpand：

FunctionExpand：

LogicalExpand：

PowerExpand 对输入进行特殊假定，并且它不被 FullSimplify 使用：

ComplexExpand 假定变量是一个实数并且同样不被 FullSimplify 使用：

FullSimplify 使用一些因数分解变换，包括 Factor：

FactorSquareFree：

TrigFactor：

对于代数数，使用 RootReduce 和 ToRadicals：

对于有理函数，使用 Together 和 Apart：

可能存在的问题  (3)

FullSimplify 使用的某些变换只在一般情况下是正确的：

单个表达式的化简结果是不确定的：

自动计算得出结果：

简化结果可能与符号名称有关：

巧妙范例  (1)

FullSimplify 可识别费马最后定理：

Wolfram Research (1996)，FullSimplify，Wolfram 语言函数，https://reference.wolfram.com/language/ref/FullSimplify.html （更新于 2014 年）.

文本

Wolfram Research (1996)，FullSimplify，Wolfram 语言函数，https://reference.wolfram.com/language/ref/FullSimplify.html （更新于 2014 年）.

CMS

Wolfram 语言. 1996. "FullSimplify." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2014. https://reference.wolfram.com/language/ref/FullSimplify.html.

APA

Wolfram 语言. (1996). FullSimplify. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/FullSimplify.html 年

BibTeX

@misc{reference.wolfram_2024_fullsimplify, author="Wolfram Research", title="{FullSimplify}", year="2014", howpublished="\url{https://reference.wolfram.com/language/ref/FullSimplify.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_fullsimplify, organization={Wolfram Research}, title={FullSimplify}, year={2014}, url={https://reference.wolfram.com/language/ref/FullSimplify.html}, note=[Accessed: 22-November-2024 ]}