利用同角关系式及诱导公式可进行三角函数式的化简和三角恒等式或条件等式的证明。化简时要注意下列要求:(1)项数尽量少(2)次数尽量低(3)分母、根式中尽量不含三角函数(4)能求值则求值进行三角恒等式或条件等式的证明时既可以从左向右，也可以从右向左，还可以左右归一，但要遵

回顾之前的文章中介绍了高斯在22岁的时候关于算术-几何平均数的一些研究，先回顾一下：对两个正数a和b，计算它们的算术平均（a+b)/2和几何平均√ab,再计算两个新数的算术平均和几何平均，无限地进行下去，这个过程中两个数会趋于同一个极限，高斯将这个极限叫做a和b的算术-几