三角换元--三角学的智慧之果变量代换是借助于引人新变量来实现问题转化的一种【分析】，新变量的引人没有固定的形式，它依赖问题本身的结构和特点，许多代数题目都可以根据题目的特点，应用三角函数进行适当的代换，结合三角恒等式，将代数问题转化为三角问题，使问题得以简捷地获解，当然，用三角函数或三角函数式代换代数式中的变量时应由旧变量的取值范围确定新元的取值范围．推而广之，将某一个系统中的问题对应地转化到另一个系统中去解决，这是变量代换最本质的作用．三角换元主要用来解决如下结构的数学问题：(1)f2(x)+g2(x)=R2型：可设f(x)=Rcosθ，g(x)=Rsinθ去求解．对θ的取值范围作相应限定，下同．(2)a2-x2与|x|≤a型：可设x=acosθ或x=asinθ去解．(3)f2(x)-g2(x)=R2型：可设f(x)=Rsecθ，g(x)=Rtanθ去解．(4)R2+f2(x)型：可设f(x)=Rtanθ去解．(5)x2-R2或|x|≥R型：可设x=Rsecθ或x=Rcscθ去解．2x1-x2θ(6)、型：可设x=tan，运用万能置换公式去解．1±x21+x22x±y(7)型：可设x=tanα，y=tanβ，运用两角和或差的正切公式去解．1∓xy由函数式隐含的几何意义，通过三角换元转化为运用数形结合法去解，如有些问题可在三角换元后转化为直线与二次曲线的关系问题．典型例题1(1)求函数y=x-4+15-3x的最大值和最小值；x-3(2)求函数y=的值域；1+x2(3)求函数y=x+2x2-4x+6的值域；(4)已知1≤x2+y2≤2，求z=x2-xy+y2的最值．【分析】无理函数的最值或值域的求法是一个难点，难在如何才能去掉根号使之成为有理函数，而三角换元借助于三角公式能实现这一转化，问题在于所给出的函数解析式常常并非一目了然地能找到三角换元的途径，需要对解析式中的被开方式实施变形，找准方向，实现三角换元．对于第(1)问中含有两个无理式，则必须找到两个无理式中被开方式的关联，一步到位实现化无理为有理、化一般代数式为三角式的目标，第(4)问是二元函数，关键在于如何由条件1≤x2+y2≤2，实施三角换元，且要总体考虑，当然三角换元必须由条件对角的范围进行限定．在这一限定下运用三角知识，求解三角换元可使较复杂的问题简·1·单化．【解析】2π(1)由于4≤x≤5，故可令x=4+sinα0≤α≤．2π则原式变为y=sinα+3cosα=2sinα+．3π1当α=，即x=4时，y取得最大值2；64π当α=，即x=5时，y取得最小值1．2ππ(2)函数的定义域为R，令x=tanθ，θ∈-,．22tanθ-3π则y==sinθ-3cosθ=2sinθ-．secθ3ππ5πππ由于-<θ<，∴-<θ-<．226365πππ而当-<θ-<-时，y为减函数，此时-20，从而ucosθ-sinθ=2．cosθ22u1(u+1cos(θ+φ)=2(其中cosφ=，sinφ=)．u2+1u2+12222cos(θ+φ)=≤1，u+1≥2．u+1≥2，u≥1且u>0，∴u≥1，u2+1∴y≥2+1．故函数的值域为[2+1,+∞)．【解法二】2+sinθππ由解法一得u=|θ|<，则u为P(cosθ,sinθ)|θ|<与点A(0,-2)连线的斜率．cosθ22设过点A的直线方程为y+2=kx，即kx-y-2=0，显然k>0，当直线与半圆x2+y2=1(00，当非零实数a，b满足4a-2ab+4b-c=0，且使|2a+b|最大时，-+的最小值abc为．【分析】第(1)问，由于条件是三元等式，如何实现三角换元需要精心构思，可以有多种三角换元的方法；第(2)22b215222问，若将4a-2ab+4b-c=0变形为2a-+b=c(c>0)．联想到三角公式sinα+cosα=1，245b=ccosα可令2，从而求的最大值转化为三角函数求最大值．从而说明了数学是灵动b|2a+b|2a-2=csinα的，通过思维完成构想，一旦成功何等快意，正如欧阳修的诗句：“一阅声长听不尽，轻舟短楫去如飞．【解析】(1)【解法一】222221将c=-(a+b)代入a+b+c=1得a+b+ab=．2a2321整理得+b+a=，令242a22+b=2cosθ666．则a=sinθ≤．∴a的最大值为．323332a=2sinθ【解法二】222221将c=-(a+b)代入a+b+c=1得a+b+ab=．2x=6cosθ令a=x+y，b=x-y，代入上式得6x2+2y2=1．由椭圆的参数方程62y=2sinθ626π6a=x+y=cosθ+sinθ=sinθ+≤．623636∴a的最大值为．3【解法三】由a2+b2+c2=1得b2+c2=1-a2．b=1-a2sinθ令．代入a+b+c=0得a+1-a2sinθ+1-a2cosθ=0．c=1-a2cosθ2πa当1-a≠0时，得2sinθ+=-．41-a2πa2266即2sinθ+=-≤2，解得a≤即-≤a≤．41-a2333·3·6∴a的最大值为．322b2152(2)由4a-2ab+4b-c=0得2a-+b=c．2415b=ccosαb=215ccosα令2，则152a-b=csinα1522a=15ccosα+csinα6cosα=4210c当时，b+2a=，105sinα=4345521052此时-+=-=-2-2≥-2．abcccc345∴-+的最小值为-2．abcan(2-3)3(1)给定数列an，且an+1=，求a2020-a1460；1-an(2-3)22221+bn-1(2)数列an，bn(n∈N)满足：a0=，an+1=1-1-an，b0=1，bn+1=．求证：对22bnn+2n+2任意的n∈N恒有2an<π<2bn．用三角换元的方法求解或证明．第(1)问，由递推式的结构特点，可构造两角和的正切公式求解．第(2)π问，涉及两个递推数列且所给递推式又都是无理式，若能通过巧妙的三角换元并借助当x∈0,时，2有sinx0．ππ由此令a=sinα，b=tanβαβ∈0,．则有α=β=，nnnnnn200422αnαn从而构造三角函数得到sinα=a=1-1-sinα=sin⇒α=⇒数列α是首项为n+1n+12n2n+12nπ1πππα0=，公比为的等比数列⇒αn=⇒an=sin，同理可得bn=tan．422n+22n+22n+2ππ利用熟悉的不等式：x∈0,，则sinx0，b>0且a+2b=1，求证：+≥3+22；abab2(2)a，b，x，y均为正数，且+=1，求证：x+y≥(a+b)；xy(3)求证：-3≤x+3-2x-x2≤22-1．2225(4)设a，b，c是正实数，且abc+a+c=b，求证：-+≤．a2+1b2+1c2+12【分析】代数问题三角化，可以充分利用三角函数的特有性质，使较为复杂的不等式的证明问题得以简化，但要注意角的范围和三角函数的有界性．第(1)问，通过三角换元，弦化切，运用基本不等式证明；第(2)问，即使是三角换元也可以有多种证法，可以通过这些方法错炼发散思维能力，力求对突破难点有所禆益；第(3)问，所证不等式即为求函数y=x+3-2x-x2的值域是否为y∈[-3,22-1]，但是在运用三角换元时由于形式上不是很明朗，故必须先对被开方式进行适当变形，找到如何实施三角换元化无理为a+c有理的途径；第(4)问，由abc+a+c=b得b=，其特征与两角和的正切公式tan(α+β)=1-actanα+tanβ相似，证明思路顿时凸现！1-tanαtanβ【解析】212π(1)证明由a>0，b>0，a+2b=1，设a=cosθ，b=sinθ0<θ<．2222221112cosθ+sinθ2sinθ+2cosθ22则有：+=+=+=3+tanθ+2cotθ≥3+abcos2θsin2θcos2θsin2θ2tan2θ⋅2cot2θ=3+22224212当且仅当tanθ=2cotθ，即tanθ=2．也就是b=a，从而a=，b=1-时取得等号．21+22a2b2π(2)证法一依题设=sinθ，=cosθ，θ∈0,．xy2ab222222∴x+y=+=acscθ+bsecθ=a1+cotθ+b1+tanθ=a+b+acotθ+btanθ≥sin2θcos2θa+b+2abcot2θtan2θ=a+b+2ab．即x+y≥(a+b)2．证法二由证法一题设可得：a=xsin2θ，b=ycos2θ．∴x+y≥(a+b)2⇔x+y≥xsin2θ+ycos2θ+2xysinθcosθ⇔xcos2θ+ysin2θ≥2sinθcosθxy⇔(xcosθ-ysinθ)2≥0，故原不等式得证．证法三由证法一题设可得：a=xsinθ，b=ycosθ，xy∴a+b=xsinθ+ycosθ=x+ysinθ+cosθx+yx+y∴x+y≥(a+b)2·5·22ππ(3)∵3-2x-x=4-(x+1)≥0，∴|x+1|≤2，设x+1=2sinθθ∈-,222π则x+3-2x-x=2sinθ-1+2cosθ=22sinθ+-1，4ππππ3π2π又有-≤θ≤，得-≤θ+≤，-≤sinθ+≤1．2244424π从而-3≤22sinθ+-1≤22-14故-3≤x+3-2x-x2≤22-1π(4)设a=tanα,c=tanβ,α,β∈0,,2a+ctanα+tanβπ由abc+a+c=b得b===tan(α+β)>0,α+β∈0,.1-ac1-tanαtanβ2222222∴-+=-+a2+1b2+1c2+11+tan2α1+tan2(α+β)1+tan2β222222=-+=2cosα+cosβ-cos(α+β)sec2αsec2(α+β)sec2β=cos2α+cos2β-2cos2(α+β)+2=2cos(α+β)cos(α-β)-2cos2(α+β)+2≤2cos(α+β)-2cos2(α+β)+21255=-2cos(α+β)-+≤222·6·