Mathematica基础——引进限制条件进行化简

首先，化简Sqrt[a^2]。

用Refine来约定a>0。

注意，限定条件放在后面。

条件不充分，化简不彻底。比如，假定a是实数：

Refine[…………, a \[Element] Reals]

a是实数，等价于，Im[a]==0。

Assuming的限定条件放在前面，但是它对“平方根”的化简是无效的，需要用Refine进行配合。

用Simplify也可以进行条件化简。不过，实际情况和官网里面讲的不符！

用FullSimplify可以识别费尔马大定理，但是Simplify就做不到！

化简一个复杂的三角函数式：

ArcTan[(((Cos[(Pi*25/18)]*Cos[(Pi*1/9)]*Sin[(Pi*4/9)])+(Cos[(Pi*25/18)]*Cos[(Pi*4/9)]*Sin[(Pi*1/9)]*(-1))+(Cos[(Pi*13/9)]*Sin[(Pi*5/18)]*(-1)))*(((Cos[(Pi*25/18)]*Sin[(Pi*4/9)]*(Sin[(Pi*1/9)])^(2))+(Cos[(Pi*25/18)]*Cos[(Pi*1/9)]*Sin[(Pi*4/9)]*Sin[(Pi*1/9)])+(Cos[(Pi*25/18)]*Cos[(Pi*4/9)]*Cos[(Pi*1/9)]*Sin[(Pi*1/9)])+(Cos[(Pi*25/18)]*Cos[(Pi*4/9)]*(Cos[(Pi*1/9)])^(2))+(Cos[(Pi*13/9)]*((Sin[(Pi*5/18)]*Sin[(Pi*1/9)]*(-1))+(Cos[(Pi*1/9)]*Sin[(Pi*5/18)])))))^((-1))*(Sin[(Pi*1/9)]+Cos[(Pi*1/9)]))]

用ExpandFunction给出18°的余弦的精确值。