例谈常用的方法证明不等式.docVIP

例谈常用的方法证明不等式 　　? 　　1.比较法? 　　例1 已知0x1，求证：? 　　|?log??a（1―x）||?log??a（1+x）|.? 　　证法1 （作差法）（1）当0　　因为0x1，? 　　所以|?log??a（1―x）|―|?log??a（1+x）| 　　?=?log??a（1―x）+?log??a（1+x） 　　?=?log??a（1―x?2）0.? 　　（2）当a1时，因为0x1，? 　　所以|?log??a（1―x）|―|?log??a（1+x）| 　　?=―?log??a（1―x）―?log??a（1+x） 　　?=―?log??a（1―x?2）0.? 　　所以，总有? 　　|?log??a（1―x）|―|?log??a（1+x）|0，? 　　|?log??a（1―x）||?log??a（1+x）|.? 　　证法2 （作商法）? 　　[SX（]|?log??a（1―x）|[]|?log??a（1+x）|[SX）]=|[SX（]?log??a（1―x）[]?log??a 　　（1+x）[SX）]| 　　?=|?log???1+x?（1―x）|=―?log???1+x?（1―x） 　　?=?log???1+x?[SX（]1[]1―x[SX）]?log???1+x?（1+x）=1，? 　　所以|?log??a（1―x）||?log??a（1+x）|.? 　　2.综合法? 　　例2 已知a?2+b?2≤1，求证：? 　　a?sin?α+b?cos?α≤1.? 　　证明 因为a?2+?sin??2α≥2a?sin?α，? 　　b?2+?cos??2α≥2b?cos?α，? 　　所以2≥a?2+b?2+1≥2a?sin?α+2b?cos?α，? 　　从而a?sin?α+b?cos?α≤1.? 　　3.分析法? 　　例3 证明 　　[SX（]1[]n+1[SX）]（1+[SX（]1[]3[SX）]+[SX（]1[]5[SX）]+…+[SX（]1[]2n―1[SX）]） 　　≥[SX（]1[]n[SX）]（[SX（]1[]2[SX）]+[SX（]1[]4[SX）]+[SX（]1[]6[SX）]+…+[SX（]1[]2n[SX）] 　　） 　　（n∈[WTHZ]N?*[WTBX]）.? 　　证明 即证n（1+[SX（]1[]3[SX）]+[SX（]1[]5[SX）]+…+[SX（]1[]2n―1[SX）]）≥ 　　（n+1）（[SX（]1[]2[SX）]+[SX（]1[]4[SX）]+[SX（]1[]6[SX）]+…+[SX（]1[]2n[SX）]） （n≥2，n∈ 　　[WTHZ]N?*[WTBX]）.? 　　而该式左边=[SX（]n[]2[SX）]+[SX（]n[]2[SX）]+n（[SX（]1[]3[SX）]+[SX（]1[]5[SX）]+…+[SX（ 　　]1[]2n―1[SX）]），? 　　右边=（[SX（]1[]2[SX）]+[SX（]1[]4[SX）]+[SX（]1[]6[SX）]+…+[SX（]1[]2n[SX）]）+ 　　n（[SX（]1[]2[SX）]+[SX（]1[]4[SX）]+[SX（]1[]6[SX）]+…+[SX（]1[]2n[SX）]） 　　=[SX（]n[]2[SX）]+（[SX（]1[]2[SX）]+[SX（]1[]4[SX）]+[SX（]1[]6[SX）]+…+[SX（]1[]2n[SX）] 　　）+n（[SX（]1[]4[SX）]+[SX（]1[]6[SX）]+…+[SX（]1[]2n[SX）]），? 　　所以只需证明? 　　[SX（]n[]2[SX）]≥[SX（]1[]2[SX）]+[SX（]1[]4[SX）]+[SX（]1[]6[SX）]+…+[SX（]1[]2n[SX）]， 　　? 　　[SX（]1[]3[SX）]+[SX（]1[]5[SX）]+…+[SX（]1[]2n―1[SX）]≥[SX（]1[]4[SX）]+[SX（]1[]6[SX） 　　]+…+[SX（]1[]2n[SX）].? 　　而它们均显然成立，所以欲证成立.? 　　4.判别式法? 　　例4 证明a?2+b?2+c?2≥ab+bc+ca（a、b、c∈[WTHZ]R[WTBX]）.? 　　证明 即证a?2―（b+c）a+b?2+c?2―bc≥0.? 　　令f（a）=a?2―（b+c）a+b?2+c?2―bc，? 　　只需证明该二次函数的判别式Δ≤0.? 　　而Δ=（b+c）?2―4（b?2+c?2―bc） 　　?=―3（b―c）?2≤0，? 　　从而原不等式得证.? 　　5.换元法? 　　例5 设x、y∈[WTHZ]R?+[WTBX]，x+y=1，求证 　　（x+[SX（]1[]x[SX）]）（y+[SX（