本文，介绍一下，在加上某些限制条件的时候，Mathematica化简表达式的方法。
工具/原料
电脑
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°的余弦的精确值。
注意事项
本文就说这么多！
