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

FullSimplify

FullSimplify[expr]
在包括初级和特殊函数的 expr 中尝试各种不同的变换，并且返回它所找到的最简形式.
FullSimplify
用假设进行化简.
更多信息
  • FullSimplify 总是至少产生和 Simplify 一样简单的形式，但本质上可能花更多时间.
  • 可以给出下面的选项：
Assumptions$Assumptions添加到 assum 上的默认假设
ComplexityFunctionAutomatic如何评价产生的每种形式的复杂度
ExcludedForms{}用来指定不应当被触及的子表达式形式的模式
TimeConstraintInfinity在进行一个特殊变换时所用的秒数
TransformationFunctionsAutomatic尝试进行表达式变换所用的函数
  • FullSimplify 在大多数类型的特殊函数中进行变换.
范例关闭所有单元
例   (3)
化简包含特殊函数的表达式：
使用假设化简：
从相关性的假设中证明一个简单定理：
化简包含特殊函数的表达式：
In[1]:=
Click for copyable input
Out[1]=
 
使用假设化简：
In[1]:=
Click for copyable input
Out[1]=
 
从相关性的假设中证明一个简单定理：
In[1]:=
Click for copyable input
Out[1]=
范围   (8)
化简多项式：
将双曲线表达式化简为指数形式：
将指数表达式化简为三角形式：
化简一个代数数：
化简超越数：
化简包含特殊函数的表达式：
用假设化简表达式：
根据公理系统证明定理：
任意表达式可以用作一个变量：
在定理中，无定量的变量被当作常量处理：
假定左边的恒等性和逆的存在性，证明右边逆的存在：
选项   (8)
Assumptions 可以同时作为变量和选项值给出：
Assumptions 选项的缺省值是 $Assumptions：
当假设作为一个变量给出，也使用 $Assumptions：
把假设指定为一个选择值，避免 FullSimplify 使用 $Assumptions：
默认情况下，这个表达式是不能化简的：
这个复杂函数使得 ChebyshevT 比其它函数代价更高：
这里给出以 Arg[x] 表示的结果：
这里指定 Log 不应被转换：
由于三角函数的展开，这将花费很长时间：
最费时间的变换不是化简：
将转换限制在 100 毫秒内，则化简不会发生：
默认情况下，FullSimplify 不使用 Reduce：
这使得 FullSimplify 在实数域范围内使用关于 x 的 Reduce：
默认情况下 FullSimplify 用三角恒等式：
通过 Trig->False，FullSimplify 不再使用三角恒等式：
应用   (6)
证明一个解满足它自己的方程：
化简包含 Mod 的表达式：
证明满足结合性的操作 ，左中元素和左逆定义一个群：
根据 Wolfram 关于布尔代数的最小定理，证明交换性：
证明固定点连字符存在：
证明关于相交()和结合() 的定理：
属性和关系   (7)
输出一般等价于输入：
FullSimplify 用比 Simplify 更广范围的变换：
FullSimplify 用一些展开变换，包括 Expand：
PowerExpand 对输入进行特殊假定，并且它不被 FullSimplify 使用：
ComplexExpand 假定变量是一个实数并且同样不被 FullSimplify 使用：
FullSimplify 使用一些因数分解变换，包括 Factor：
对于代数数，使用 RootReduce 和 ToRadicals：
对于有理函数，使用 Together 和 Apart：
可能存在的问题   (2)
FullSimplify 使用的某些变换只在一般情况下是正确的：
单个表达式的化简结果是不确定的：
自动计算得出结果：
巧妙范例   (1)
FullSimplify 可识别费马最后定理：
版本 3 的新功能 | 版本 6 修改功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF