【文章內(nèi)容簡(jiǎn)介】 接證明較為困難，若通過(guò)換元的思想與方法去解就很方便，常用于條件不等式的證明，常見(jiàn)的是三角換元。(1)三角換元：是一種常用的換元方法，在解代數(shù)問(wèn)題時(shí)，使用適當(dāng)?shù)娜呛瘮?shù)進(jìn)行換元，把代數(shù)問(wèn)題轉(zhuǎn)化成三角問(wèn)題，充分利用三角函數(shù)的性質(zhì)去解決問(wèn)題。例若x、y∈R+,且 xy=1 A=(x1y)(y+1y)。1x，求證0＜A＜1證明： ∵x，y∈R+，且xy=1，x=secθ，y=tanθ，（0＜θ＜xy）∴ A=(secθ1secθ(tanθ+1tanθ1sec2θ=1cos2θcosθs2m2θ+cos2θcosθs2mθcos2θ=sinθ∵0＜θ＜x2，∴ 0＜s2mθ ＜1因此0＜A＜1復(fù)習(xí)6：已知1≤x2+y2≤2，求證：12 ≤x2xy+y2≤3(2)比值換元：對(duì)于在已知條件中含有若干個(gè)等比式的問(wèn)題，往往可先設(shè)一個(gè)輔助未知數(shù)表示這個(gè)比值，然后代入求證式，即可。例8：已知 x1=y+12=z23，求證：x2+y2+z2≥4314證明：設(shè)x1=y+12=z23=k于是x=k+1，y=zk1，z=3k+2把上式代入x2+y2+z2=(k+1)2(2k1)2+(3k+2)2=14(k+514)2+4314≥43147反證法有些不等式從正面證如果不好說(shuō)清楚，可以考慮反證法，即先否定結(jié)論不成立，然后依據(jù)已知條件以及有關(guān)的定義、定理、公理，逐步推導(dǎo)出與定義、定理、公理或已知條件等相矛盾或自相矛盾的結(jié)論，從而肯定原有結(jié)論是正確的，凡是“至少”、“唯一”或含有否定詞的命題，適宜用反證法。例9：已知p3+q3=2，求證：p+q≤2分析：本題已知為p、q的三次，而結(jié)論中只有一次，應(yīng)考慮到用術(shù)立方根，同時(shí)用放縮法，很難得證，故考慮用反證法。證明：解設(shè)p+q＞2，那么p＞2q∴p3＞（2q）3=812q+6q2q3將p3+q3 =2，代入得 6q212q+6＜0即6（q1）2＜0 由此得出矛盾∴p+q≤2練習(xí)7：已知a+b+c＞0，ab+bc+ac＞0，abc＞：a＞0，b＞0，c＞08數(shù)學(xué)歸納法與自然數(shù)n有關(guān)的不等式，通?？紤]用數(shù)學(xué)歸納法來(lái)證明。用數(shù)學(xué)歸納法證題時(shí)的兩個(gè)步驟缺一不可。例10：設(shè)n∈N，且n＞1,求證：(1+13)(1+15)…(1+12n1)＞2n+12分析：觀(guān)察求證式與n有關(guān)，可采用數(shù)學(xué)歸納法證明：（1）當(dāng)n=2時(shí)，左= 43，右=52∵43＞52∴不等式成立（2）假設(shè)n=k(k≥2，k∈n)時(shí)不等式成立，即（1+13）（1+15）…（1+12k1)＞2k+12 那么當(dāng)n=k+1時(shí)，(1+13)(1+15)…(1+12k1)(1+12k+1)＞2k+12(1+12k+1)①要證①式左邊＞2k+32，只要證2k+122k+22k+1＞2k+32②對(duì)于②〈二〉2k+2＞2k+12k+3〈二〉(2k+2)2＞(2k+1)(2k+3)〈二〉4k2+8k+4＞4k2+8k+3〈二〉4＞3③∵③成立 ∴②成立，即當(dāng)n=k+1時(shí)，原不等式成立由（1）（2）證明可知，對(duì)一切n≥2（n∈N），原不等式成立練習(xí)8：已知n∈N，且n＞1，求證： 1n+1+1n+2+…+12n＞13249構(gòu)造法根據(jù)求證不等式的具體結(jié)構(gòu)所證，通過(guò)構(gòu)造函數(shù)、數(shù)列、合數(shù)和圖形等，達(dá)到證明的目的，這種方法則叫構(gòu)造法。1構(gòu)造函數(shù)法例11：證明不等式：x12x ＜x2（x≠0）證明：設(shè)f（x）=x12xx2（x≠0）∵f(x)=x12x+x2x2x2x1+x2=x12x［1(12x)］+x2=x12xx+x2=f（x）∴f（x）的圖像表示y軸對(duì)稱(chēng)∵當(dāng)x＞0時(shí)，12x＜0，故f（x）＜0∴當(dāng)x＜0時(shí)，據(jù)圖像的對(duì)稱(chēng)性知f（x）＜0∴當(dāng)x≠0時(shí)，恒有f（x）＜0 即x12x＜x2（x≠0）練習(xí)9：已知a＞b，2b＞a+c，求證：bb2ab＜a＜b+b2ab2構(gòu)造圖形法例12：若f（x）=1+x2，a≠b，則|f（x）f（b）|＜ |ab|分析：由1+x2 的結(jié)構(gòu)可知這是直角坐標(biāo)平面上兩點(diǎn)A(1，x)，0(0，0)的距離即 1+x2 =(10)2+(x0)2于是如下圖，設(shè)A(1，a)，B(1，b)則0A= 1+a2 0B=1+b2|AB|=|ab|又0A||0B＜|AB|∴|f(a)f(b)|＜|ab|練習(xí)10：設(shè)a≥c，b≥c，c≥0，求證 c(ac)+c(bc)≤ab10添項(xiàng)法某些不等式的證明若能優(yōu)先考慮“添項(xiàng)”技巧，能得到快速求解的效果。1倍數(shù)添項(xiàng)若不等式中含有奇數(shù)項(xiàng)的和，可通過(guò)對(duì)不等式乘以2變成偶數(shù)項(xiàng)的和，然后分組利用已知不等式進(jìn)行放縮。例13：已知a、b、c∈R+，那么a3+b3+c3≥3abc（當(dāng)且僅當(dāng)a=b=c時(shí)等號(hào)成立）證明：∵a、b、c∈R+∴a3+b3+c3=12 ［(a3+b3)+(b3+c3)+(c3+a3)］≥12 ［(a2b+ab2)+(b2c+bc2)+(c2a+ca2)］=12［a(b2+c2)+b(c2+a2)+c(a2+b2)］≥12(a2bc+b2ca+c2ac)=3abc當(dāng)且僅當(dāng)a=b，b=c，c=a即a=b=c時(shí)，等號(hào)成立。2平方添項(xiàng)運(yùn)用此法必須注意原不等號(hào)的方向例14 ：對(duì)于一切大于1的自然數(shù)n，求證：(1+13)(1+15)…(1+12n1＞ 2n+1 2)證明：∵b ＞ a＞ 0，m＞ 0時(shí)ba＞ b+ma+m∵ ［(1+13)(1+15)…(1+12n1)］2=（465…2n2n1)（465…2n2n1)＞（576…2n+12n)（465…2n2n1)=2n+13＞ 2n+14＞∴(1+13)(1+15)…(1+12n1)＞2n+1 2)3平均值添項(xiàng)例15：在△ABC中，求證sinA+sinB+sinC≤332分析：∵A+B+C=π，可按A、B、C的算術(shù)平均值添項(xiàng)sin π3證明：先證命題：若x＞0，y＜π，則sinx+siny≤2sin x+y2（當(dāng)且僅當(dāng)x=y時(shí)等號(hào)成立）∵0＜x+y2＜ π，π2＜ xy2＜ π2sinx+siny=2sin x+y2cosxy2∴上式成立反復(fù)運(yùn)用這個(gè)命題，得sinA+sinB+sinC+sin π3≤2sinA+B2+2sinc+π32≤22sinA+B2+c+π322 =4sinπ3=332∴sinA+sinB≠sinC≤332練習(xí)11 在△ABC中，sin A2sinB2sinC2≤184利用均值不等式等號(hào)成立的條件添項(xiàng)例16 ：已知a、b∈R+，a≠b且a+b=1，求證a4+b4＞ 18分析：若取消a≠b的限制則a=b= 12時(shí)，等號(hào)成立證明：∵a、b∈R+∴a4+3(12)4 ≥ 44a4 ［(12)4］3=12a①同理b4+3(12)4 ≥b②∴a4+b4≥12(a+b)6(12)4=126(12)4=18③∵a≠b ∴①②中等號(hào)不成立∴③中等號(hào)不成立∴ 原不等式成立1．是否存在常數(shù)c，使得不等式 x2x+y+yx+2y≤c≤xx+2y+y2x+y對(duì)任意正數(shù)x,y恒成立？ 錯(cuò)解：證明不等式x2x+y+ yx+2y≤xx+2y+y2x+y恒成立，故說(shuō)明c存在。正解：x=y得23 ≤c≤23，故猜想c= 23,下證不等式 x2x+y+ yx+2y≤23≤xx+2y+y2x+y恒成立。要證不等式xx+2y+xx+2y≤23，因?yàn)閤,y是正數(shù)，即證3x(x+2y)+3y(2x+y)≤2（2 x+y）(x+2y),也即證3x2+12xy+3y2 ≤2(2x2+2y2+5xy),即2xy≤x2+y2，而此不等式恒成立，同理不等式 23≤xx+2y+y2x+y也成立，故存在c=23 使原不等式恒成立。,y,z∈R+，求證：x2y2+y2z2+z2x2x+y+z ≥ xyz錯(cuò)解：∵ x2y2+y2z2+z2x2≥ 3 3x2y2y2z2z2x2=3xyz3xyz 又x+y+z ≥ 3xyz ∴x2y2+y2z2+z2x2x+y+z≥ 3xyz33xyz33xyz=xyz錯(cuò)因：根據(jù)不等式的性質(zhì)：若a ＞b＞ 0，c ＞d ＞0,則ac bd，但 ac＞bd卻不一定成立 正解：x2y2+y2z2≥ 2x y2z，y2z2+z2x2≥ 2x yz2，x2y2+z2x2≥ 2x 2yz，以上三式相加，化簡(jiǎn)得：x2y2+y2z2+z2x2≥xyz(x+y+z)，兩邊同除以x+y+z:x2y2+y2z2+z2x2x+y+z ≥ xyz 設(shè)x+y0，n為偶數(shù)，求證yn1xn+xn1yn≥1x 1y錯(cuò)證：∵yn1xn+xn1yn1x1y=(xnyn)(xn1yn1)xnynn為偶數(shù)，∴ xnyn ＞0，又xnyn和xn1yn1同號(hào)，∴yn1xn+xn1yn≥ 1x1y錯(cuò)因：在x+y0的條件下，n為偶數(shù)時(shí)，xnyn和xn1yn1不一定同號(hào)，應(yīng)分x、y同號(hào)和異號(hào)兩種情況討論。正解：應(yīng)用比較法：yn1xn+xn1yn1x1y=(xnyn)(xn1yn1)xnyn① 當(dāng)x0,y0時(shí)，(xnyn)(xn1yn1)≥ 0，(xy)n 0所以(xnyn)(xn1yn1)xnyn≥0故：yn1xn+xn1yn≥ 1x1y② 當(dāng)x,y有一個(gè)是負(fù)值時(shí)，不妨設(shè)x0,y0，所以x|y|又n為偶數(shù)時(shí),所以(xnyn)(xn1yn1)0 又(xy)n 0，所以(xnyn)(xn1yn1)xnyn ≥0即 yn1xn+xn1yn≥ 1x1y綜合①②知原不等式成立第三篇：不等式證明若干方法安康學(xué)院 數(shù)統(tǒng)系數(shù)學(xué)與應(yīng)用數(shù)學(xué) 專(zhuān)業(yè) 11 級(jí)本科生論文（設(shè)計(jì)）選題實(shí)習(xí)報(bào)告11級(jí)數(shù)學(xué)與應(yīng)用數(shù)學(xué)專(zhuān)業(yè)《科研訓(xùn)練2》評(píng)分表注：綜合評(píng)分179。60的為“及格”； 第四篇：不等式的一些證明方法數(shù)學(xué)系數(shù)學(xué)與應(yīng)用數(shù)學(xué)專(zhuān)業(yè)2009級(jí)年論文(設(shè)計(jì))不等式的一些證明方法