MMA在“公式推导、解方程、三角函数线”的应用

1、一、公式推导

在学习中我们经常会遇到各种公式推导，有时候有些公式的推导十分繁琐而且收效甚微，这时可以利用软件来辅助我们.这样我们可以把精力集中在问题的解决上而不是如何推导公式.

1.      三角函数的代数运算

Mathematica中提供了全部的三角函数.

1.1       把三角函数的乘积展开为和差的形式

2、1.2     三角函数的因式分解

3、1.3       化简三角函数

4、1.4    验证恒等式

5、1.5  函数的周期

1.6  函数值域

6、2.公式处理

7、二.解方程（组）或不等式（组）

8、三.三角函数线