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

一、公式推导在学习中我们经常会遇到各种公式推导，有时候有些公式的推导十分繁琐而且收效甚微，这时可以利用软件来辅助我们.这样我们可以把精力集中在问题的解决上而不是如何推导公式.1.      三角函数的代数运算Mathematica中提供了全部的三角函数.1.1       把三角函数的乘积展开为和差的形式

1.2     三角函数的因式分解

1.3       化简三角函数

1.4    验证恒等式

1.5  函数的周期1.6  函数值域

2.公式处理

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

三.三角函数线