《高中竞赛教程》教案第24讲_三角不等式

-1-第四讲三角不等式含有未知数的三角函数的不等式叫做三角不等式．三角不等式首先是不等式，因此，处理不等式的常用方法如配方法、比较法、放缩法、基本不等式法、反证法、数学归纳法等也是解决三角不等式的常用方法．其次，三角不等式又有自己的特点——含有三角式，因而三角函数的单调性、有界性以及图像特征、三角公式及三角恒等变形的方法等都是处理三角不等式的常用工具．A类例题例1已知、为锐角，且()02x，求证对一切0x，有(cos)(sin)xx分析要证的不等式两边均为指数式，且指数相同，可考虑利用函数()fxx的单调性，因此首先应比较cos与sin的大小，而函数()fxx的单调性与α的符号有关，可分情况讨论．证明（1）若x0，则2，则022，由正弦函数的单调性，得0sin()sin12，即0cossin1，又x0，故有(cos)(sin)xx．（2）若x0，则2，则022，由正弦函数的单调性，得0sinsin()12，即0sincos1，又x0，故有(cos)(sin)xx．说明比较不同角的正弦与余弦的大小，可先化同名，再利用正余弦函数的单调性比较，而一组2的诱导公式是实现正、余弦转化的有力工具．例2已知0，试比较2sin2和cot2的大小．[来源:学*科*网]分析两个式子分别含有2与2的三角函数，故可考虑都化为的三角函数，注意到两式均为正，可考虑作商来比较．解法一2sin21cos4sincostan4sincos2sincot2=2214cos4cos4(cos)12，∵0，所以当1cos2，即3时，上式有最大值1，当0且3时，上式总小于1．因此，当3时，2sin2=cot2；当0且3时，2sin2cot2．-2-解法二设tan2t，由0得022，故tan02t，则1cot2t，2224(1)22sin24sincos(1)ttt，于是有cot2-2sin2=2422222222214(1)2961(31)0(1)(1)(1)ttttttttttt因此，当3时，2sin2=cot2；当0且3时，2sin2cot2．链接本题用到以下两组三角公式：（1）半角公式1cossintan2sin1cos（2）万能公式：22tan2sin1tan2；221tan2cos1tan2；22tan2tan1tan2例3已知[0,]x，求证：cos(sinx)sin(cosx)分析一从比较两数大小的角度来看，可考虑找一个中间量，比cos(sinx)小，同时比sin(cosx)大，即可证明原不等式．证法一（1）当0,,2x时，显然cos(sinx)sin(cosx)成立．（2）当2x时，0sin12x，cos02x，则cos(sinx)0sin(cosx)．（3）当02x时，有0sinxx2，而函数y=cosx在(0,)2上为减函数，从而有cos(sinx)cosx；而0cos2x，则sin(cosx)cosx，因此cos(sinx)cosxsin(cosx)，从而cos(sinx)sin(cosx)．分析二cos(sinx)可看作一个角sinx的余弦，而sin(cosx)可看作一个角cosx的正弦，因此可考虑先用诱导公式化为同名三角函数，再利用三角函数的单调性来证明．证法二当02x时，有0sinx1，0cosx1，且sinx+cosx=2sin()4x22，即0sinx2-cosx2，而函数y=cosx在(0,)2上为减函数，所以cos(sinx)cos(2-cosx)=sin(cosx)，即cos(sinx)sin(cosx)．x在其他区域时，证明同证法1．说明（1）本题的证明运用到结论：(0,)2x时，sintanxxx，这是实现角与三角函数值不等关系转化的重要工具，该结论可利用三角函数线知识来证明．（2）证法一通过中间-3-量cosx来比较，证法二利用有界性得sinx+cosx2，再利用单调性证明，这是比较大小常用的两种方法；（3）本题结论可推广至xR.情景再现1．在锐角△ABC中，求证：sinsinsincoscoscosABCABC.2．已知,(0,)2xy，tan3tanxy，求证：6xy.3．当[0,]2x时，求证：coscossinsinxx.B类例题例4在ABC中，证明：3sinsinsin32ABC分析一本题中有三个变量A、B、C，且满足A+B+C=180°，先固定其中一个如角C，由于A+B=180°-C,故对不等式的左边进行和差化积，将其转化为与A－B有关的三角函数进行研究．证法一我们先假定C是常量，于是A+B=C也是常量.sinsinsin2sincossin22ABABABCC2coscossin22cABC，显然，对于同一个C值，当A=B时，上式达到最大值．同样，对同一个A或B，有类似结论；因此,只要A、B、C中任意两个不等，表达式sinsinsinABC就没有达到最大值，因而，当A=B=C=3时，sinsinsinABC有最大值332，∴原不等式得证．说明不等式中含有多个变量时，我们往往固定其中部分变量，求其他变量变化时，相应表达式的最值，这种方法称为逐步调整法．分析二即证sinsinsin332ABC，观察左边的形式，从而考虑用琴生不等式进行证明．证法二函数sinyx是区间（0，π）上的上凸函数，从而对任意的三个自变量123,,(0,)xxx，总有123123sinsinsinsin()33xxxxxx，等号当123xxx时成立．因此有sinsinsinsin()33ABCABC，从而有sinsinsin1803sin332ABC，因此原不等式成立．说明本方法是利用凸函数性质解题，三角函数在一定区间内均为凸函数，因此很多三角不等如均可利用凸函数的性质证明．链接关于凸函数与琴生不等式的有关知识凸函数定义：函数f(x)如果对其定义域中任意的x1、x2，都有如下不等式成立：f（122xx）-4-≤12[f(x1)+f(x2)]，则称f(x)是下凸函数，等号当x1=x2时成立．如果总有f（122xx）≥12[f(x1)+f(x2)]，则称f(x)是上凸函数，等号当x1=x2时成立．其几何意义是，不等式①表示定义域中任意两点x1、x2，中点M所对应的曲线上点Q位于弦上对应点P的下面，不等式②则有相反的意义．定理：若f(x)是在区间I内的下凸函数，则对区间I内的任意n个点x1，x2，…,xn，恒有f（12nxxxn）≤1n[f(x1)+f(x2)+…+f(xn)]，等号当x1=x2=…=xn时成立．若f(x)为上凸函数，不等号反向．上述不等式称为琴生不等式，琴生不等式是丹麦数学家琴生(Jensen)于1905～1906年建立的．三角函数如y=sinx，y=cosx在（0，2）是上凸函数；y=tanx,y=cotx在（0，2）是下凸函数．例5已知,,xyzR,02xyz．求证：2sincos2sincossin2sin2sin22xyyzxyz（90年国家集训队测试题）分析将二倍角均化为单角的正余弦，联想单位圆中的三角函数线，两两正余弦的乘积联想到图形的面积．证明即证sincossincossincossincossincos4xyyzxxyyzz即证明sin(coscos)sin(coscos)sincos4xxyyyzzz注意到上式右边是如图所示单位圆中三个阴影矩形的面积之和，而4为此单位圆在第一象限的面积，所以上式成立，综上所述，原不等式成立．例6已知不等式62(23)cos()2sin24sincosa[来源:]36a对于[0,]2恒成立．求a的取值范围．（2004年首届东南地区数学奥赛试题）分析所给不等式中有两个变量，给出其中一个的范围，求另一个的范围，常采用分离变量的方法．注意到与角θ有关的几个三角函数式，2cos()(sincos)42，sin22sincos，因此考虑令sincosx进行变量代换，以化简所给不等式，再寻求解题思路．x1x2MPQx1x2MPQ-5-解设sincosx，则22cos(),sin2142xx，当[0,]2时，1,2x．从而原不等式可化为：26(23)2(1)36axxax，即26223340xaxxax，222()3()0xxaxaxx，2(23)01,2(1)xxaxx[来源:]∴原不等式等价于不等式（1），1,2,230xx（1）不等式恒成立等价于201,2xaxx恒成立．从而只要max2()(1,2)axxx．又2()fxxx在1,2上递减，max2()3(1,2)xxx，所以3a．例7三个数a,b,c(0,)2，且满足cosaa，sincosbb，cossincc，按从小到大的顺序排列这三个数．（第16届全苏竞赛题）分析比较a,b,c三数的大小，cosaa，sincoscosbbb，cossincosccc，等式的两边变量均不相同，直接比较不易进行，故考虑分类讨论，先比较a与b，由cossincosaabb，对等号两边分别比较，即先假定一边的不等号方向，再验证另一侧的不等号方向是否一致．解（1）若ab，则cossincosaa，但由cosa(0,)2，故有cossincosaa矛盾，即a≠b．（2）若ab，则由单调性可知coscosab，又由ab及题意可得cossincosab，而sincoscosbb，因此又可得coscosab，从而产生矛盾．综上，ab．类似地，若ca，则由题意可得coscossinaa，从而可得sinaa与sinaa矛盾；若ca，则sinsincaa，即sinca，cossincosca，即ca矛盾．综上可得：bac．说明本题的实质是用排除法从两个实数的三种可能的大小关系排除掉两种，从而得第三种，体现了“正难则反”的解题策略．情景再现4．在三角形ABC中，求证：（1）3sinsinsin2222ABC；（2）3sinsinsin38ABC．5．设12xyz，且2xyz，求乘积cossincosxyz的最值．（1997年全国高中数学联赛）6．求证：|sincostancotseccsc|221xxxxxx（2004年福建省数学竞赛题）C类例题-6-例8已知当[0,1]x时，不等式22cos(1)(1)sin0xxxx恒成立，试求的取值范围．（1999年全国高中数学联赛题）分析一不等式左边按一、三两项配方，求出左边式子的最小值，根据最小值应当为正求出的取值范围．解法一设22()cos(1)(1)sinfxxxxx，则由[0,1]x时()0fx恒成立，有(0)sin0f，(1)cos0f，22()(cos)[(1)sin]2(1)sincos2(1)sinc