三角恒等式与三角方程.pdf

维普资讯 2006年第8期 数 学 通 讯 39 三角恒等式与三角方程 边红平 (武钢兰中。湖北 430080) 设有两个函数 Y=^ (z)与Y一 (z)， in[(詈一导)一导] 如果对任意X。∈D都有， (z。)一^(z。)，则 称fl(z)===f2()是 D上的恒等式．如果 x~COS号c。s(詈一号) ^()，^()中有一个是三角函数式，就称 此恒等式为三角恒等式． tan(T一0)_tan导 三角恒等式分无条件恒等式和条件恒等 式两种，它们的证明都是通过一些基本的三 sin(~-一 sin 角公式，把一种表达式转换为另一种表达式． 1+cos( 一 ) 1+cos 中学的三角方程，主要是指可通过三角 一 一 = 变换和代数变形化为形如sirlx--~-a，COSX~a， 一 一 ===钿右边坦．‘ tanx=a，cotx=a的三角方程． 说明 1)角恒等式的证明是在使函数 三角方程的问题往往涉及到反三角函 同名、角度同一的过程中实现的，本证法多处 数，在反三角函数中，有下列重要的恒等式： 用到三角公式的逆用． 1)sin(arcsinx)= ，xE[一1，1]； 2)令 tan0 cos(arccosx)= ，∈[一1，1]； 一￡，分别代入等式两边，均 tan(arctanx)一 ，X∈R． 可化为 ，这是用万能置换公式，转 2)arcsin(sinx)= ∈[一号，号]， 化为代数恒等式的方法来证明的． 例2求证：喜t-lc。s，l‘1：一号． l，z硭[一号，--fi-1,xEE一号，号]，sinx=-fflnx． 证明 为了便于书写，令a=== ，则 fz，∈[一-兀g，-gl， 2sina·喜^一1c。sz十l=n3a—sina)+ l~Z,xC-E一号，号]，∈[一号，号]，∞：co．(sin5a--sin3a)+…+[sin(2+1)口一sin(2n 一 1)el一一sin口+sin(2+1)口；一sin口． 3)arcsin+arccos=詈，∈[一11]； 所以喜I—1c。sZ，l十l一一号Z． arctanx~arccotz=詈，xER． 说明 本证法的思路是z·左边===(nz m a1)+ (n3--g／2)+ …+ (口一 一1)=口^一al = · 右边．由于等式左边的项数较多，右边 1q-sinOq-cosO= 1q-sin