三角恒等式与三角方程

设有两个函数y=f1（x）与y=f2（x），如果对任意x0∈D都有f1（x0）=f2（x0），则称f1（x）=f2（x）是D上的恒等式，如果f1（x），f2（x）中有一个是三角函数式，就称此恒等式为三角恒等式。