一不等式的概念.doc

(一)不等式的概念 作为表达同类量之间的大小关系的一种数学形式，不等式必须在定义了大小关系的有序集合上研究．由于复数域没有定义大小，所以不等式中的数或字母表示的数都是实数． 1.不等式 用符号＞或＜联结两个解析式所成的式子，称为不等式． 不等号＞或＜叫做严格不等号，≥或≤叫做非严格不等号（相应的不等式分别叫做严格不等式和非严格不等式）．例如表示“或有一个成立，”因此１≥０或１≤１都是真的．另外，日常还使用一种只肯定不等关系但不区分孰大孰小的不等号，即“≠”．下面主要讨论严格不等式的性质．常如下定义不等式： 形如 (2-1) 的式子，的不等式（符号“”表示不等号“”，“”中的任一个）． 在(2-1)式中，定义域的交集，叫做不等式(2-1)的定义域．在不等式(2-1)的定义域中，能使不等式成立的数值组，叫做不等式(2-1)的解，不等式(2-1)解的全体组成的集合，叫做不等式(2-1)的解集．求出不等式解集的过程，叫做解不等式． 如果不等式(2-1)的定义域中一切值组都使不等式(2-1)成立，那么不等式(2-1)叫做绝对不等式．如果不等式(2-1)的定义域中一切值组都使不等式(2-1)不成立，那么不等式(2-1)叫做矛盾不等式．如果不等式(2-1)的定义域中一些值组使不等式(2-1)成立，而另一些值组使不等式(2-1)不成立，那么不等式(2-1)叫做条件不等式． 在不等式(2-1)中，如果都是代数式，那么就叫它代数不等式；如果 中至少有一个为超越式，那么就叫它超越不等式． 在代数不等式(2-1)中，如果 都是有理式，那么就叫它有理不等式；如果 至少有一个为无理式，那么就叫它无理不等式． 在有理不等式(2-1)中，如果都是整式不等式，那么就叫它整式不等式；如果至少有一个是分式，那么就叫它分式不等式． 2.不等式组 含有未知数的几个不等式所组成的一组不等式 (2-2) 称为不等式组． 不等式组(2-2)中， 定义域的交集，叫做不等式组(2-2)的定义域．不等式组(2-2)中，各个不等式的解集的交，叫做不等式组(2-2)的解集．求出不等式组的解集的过程，叫做解不等式组． (二)不等式的性质 实数的三条运算比较性质： ① ② ③ 为不等式性质的证明提供了依据．不等式有如下10条性质． (1)对逆性 如，则；反之如，则． (2)传递性 若则． (3)加法单调性 若，则． (4)乘法单调性 若，则；若则． (5)相加法则 若则． (6)相减法则 若，则． (7)相乘法则 若，则． (8)相除法则 若，则． (9)乘方法则 ，若，整数，则． (10)开方法则 ，若，整数，则． 注意 性质(1),(3),(4),(9)和(10)是可逆的，因此这些性质可以用于证明不等式，也可用作解不等式．其余各条作为解不等式的依据，可以用于证明不等式（当不需可逆推理时）． (三)不等式的证明方法 1.比较法 比较法是直接求出所证不等式两边的差或商，然后推演结论的方法．欲证(或)，可以直接将差式与０比较大小；或者时，直接将商式与1比较大小． 在什么情况下用比较法较好呢？一般地，当移项后容易分解成因式或配成完全平方时，可考虑用比较法；或当不等式两边都是乘积结构（或可化成乘积结构，成虽为商式结构，但分子、分母都可化为乘积结构）时，可考虑比较法；另外，能化成便于放大或缩小的商式，也可考虑用比较法． 例１ 设为不等的实数，求证 证明 因为 所以 例２ 若，求证 证明 考虑用商式．因为 所以 2.综合法 综合法是“由因导果”，即从已知条件出发，依据不等式的性质、函数性质或熟知的基本不等式，逐步推导出要证明的不等式．常利用不等式的性质或借助于现成的不等式．因此，掌握的不等式越多，应用这种方法就越方便． 例３ 试证：若，则有 证明 方法１ 因为，所以．又，所以 同理有 由相同加法则，三式相加即得结论． 方法２ 欲证不等式等价于 因为，三式相加，即得结论． 说明 将所要证不等式分成几个同向不等式，然后将各式相加或相乘，这是证明不等式的常用手法． 3.分析法 分析法是“执因索果”，即从所要证明的结论出发，步步推求使不等式能成立的充分条件（或充分必要条件），直至归结到已知条件或已知成立的结论为止． 例４ 已知，求证 (1) 证明 欲证不等式(1)，只需证 (2) (2)式左边即 (3) (2)式右边即 (4) 比较(3)与(4)式，显然 ． 可知要证(2)式成立，只需证 (5) 当时，(5)式成立；若时，(5)式成立．则时 即(5)式成立，结论得证． 应用分析法的基本思路是“要Ｃ成立，只要Ｂ成立即可；要Ｂ成立，只要Ａ成立…”，一直追溯到已知条件或已知的