1、首先，化简Sqrt[a^2]。
2、用Refine来约定a>0。注意，限定条件放在后面。
3、条件不充分，化简不彻底。比如，假定a是实数：Refine[…………, a \[Element] Reals]a是实数，等价于，Im[a]==0。
4、Assuming的限定条件放在前面，但是它对“平方根”的化简是无效的，需要用Refine进行配合。
5、用Simplify也可以进行条件化简。不过，实际情况和官网里面讲的不符！
6、用FullSimplify可以识别费尔马大定理，但是Simplify就做不到！
7、化简一个复杂的鹩梏钔喔三角函数式：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)]))]
8、用ExpandFunction给出18°的余弦的精确值。
