Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
虚拟全书 > 数学和算法 > 代数计算 > 带有假定的化简 >
MATHEMATICA 教程
相关教程 »|函数 »

带有假定的化简

Simplify[expr,assum]带有假定的 expr 的化简

带有假定的化简.

Mathematica 不自动化简这个表达式，因为它只对 的某些值才化简.
In[1]:=
Click for copyable input
Out[1]=
等于 只对 成立，否则不成立.
In[2]:=
Click for copyable input
Out[2]=
此处对 Simplify 假定 ，才能化简.
In[3]:=
Click for copyable input
Out[3]=
这个表达式不能被自动化简.
In[4]:=
Click for copyable input
Out[4]=
当假定 和 为正数时，该表达式就能被化简.
In[5]:=
Click for copyable input
Out[5]=
这里是三角函数化简的例子.
In[6]:=
Click for copyable input
Out[6]=
Element[x,dom]声明 x 属于集合 dom
Element[{x1,x2,...},dom]声明所有的 属于集合 dom
Reals实数
Integers整数
Primes素数

假定中使用的某些数集.

假定 为实数，化简 .
In[7]:=
Click for copyable input
Out[7]=
假定 为整数，化简三角函数.
In[8]:=
Click for copyable input
Out[8]=
在给出的假定下，费尔马小定理得以使用.
In[9]:=
Click for copyable input
Out[9]=
这里显示出当 为实数时 函数也为实数. 但 不一定是实数.
In[10]:=
Click for copyable input
Out[10]=
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF