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

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

3、条件不充分，化简不彻底。比如，假定a是实数：Refine[…………, a \[Element] Reals]a是实数，等价于，Im[a]==0。

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

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

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