3 实数的大小有传递性，即若 α>b,b>c,则有 α>c4 Achimedes性质：即对任何 a,be R，若b>a>0则存在正整数n，使得nα>b。5稠密性：即任何两个不相等的实数之间必有另一个实数，且暨有有理数也有无理数6
6 3 实数的大小有传递性，即若 则有 4 Achimedes性质：即对任何 ，若 则存 在正整数 ，使得 。 5 稠密性：即任何两个不相等的实数之间必有另一个 实数，且暨有有理数也有无理数。 a b,b c, a c a,b R b a 0 n na b
6实数集的几何表示：数轴：a=b, >0,a-b< 例>0,a<b+ α<b二、绝对值与不等式a, a≥0绝对值定义：1α=-a,a<0从数轴上看的绝对值就是到原点的距离0-aa
7 例 1 设 x , y 为实数， x y ，证明：存在有理数 r 满 足 x r y 证 明 由 x y 存在非负整数 n ，使得 n n x y ， 取 2 n n x y r + = 则 r 显然为有理数，且 x x r y y n n 实数的一些主要性质 1 四则? 算封闭性: 2 三? 性( 即有序性 ): 任何两个实数 a , b ，必满足下述三个关系之一： a b , a = b , a b 3 实数大小由传 递性 ，即 a b b c , 则有 a c. 4 Achimedes 性: a, b R, b a 0, n N, n a b. 5 稠密性: 有理数和无理数的稠密性, 给出稠密性的定义. 6 实数集的几何表示： 数轴: 例 , 0, . 0, a < b + a b a b a b = − 二. 绝对值与不等式 绝对值定义： , 0 | | , 0 a a a a a = − 从数轴上看的绝对值就是到原点的距离： -a 0 a
绝对值的一些主要性质1.lα=-α|≥0 当且仅当 α=0 时|α=02. -la|<≤a≤|a3. |a<h<>-h<a<h; |a|≤h<-h≤a≤h,h>04. α-b≤a±b≤a+b5. |abH allbla|al6.b±0b[b]8
8 绝对值的一些主要性质 | | | | 0 0 | | 0 - < < ; | | , 0 4. 5. | | | || | | | 6. , 0 | | a a a a a a a a h h a h a h h a h h a b a b a b ab a b a a b b b = − = = − − + = = 1. 当且仅当 时 2. -| | | | 3. | |
性质4（三角不等式）的证明：由性质2-|a|<a≤al,-|b|<b<[b两式相加-(a +b )<a+b≤a|+ b[a+b|<|a|+|b由性质 3上式等价于把上式的 b 换成 -b 得 la-b|<|a|+|b由此可推出If(x)-A< A-<f(x)<A+[A-<|f(x)|<|A/-8
9 性质 4（三角不等式）的证明： 由性质2 -|a| a |a|, -|b| b |b| 两式相加 -(|a|+|b|) a+b |a|+|b| 由性质 3 上式等价于 |a+b| |a|+|b| 把上式的 b 换成 -b 得 |a-b| |a|+|b| 由此可推出 − − − − + | | | ( ) | | | | ( ) | ( ) A f x A f x A A f x A
三.几个重要不等式：(1) a2 +b2 ≥2|abl,[sin x|≤1. [sin x ≤|x|(2) 对 Var,α2,...,a, ERt, 记M(a,) - ai +az +...+ a,N(算术平均值)anni=l(几何平均值)G(a,) = "ja,az .an1nnH(a)(调和平均值)1+a,αzanTO有均值不等式：H(a)≤G(a)≤M(a),等号当且仅当a =α,=:=a,时成立10
10 三. 几个重要不等式: （1） 2 , 2 2 a + b a b sin x 1. sin x x . （2）对 , , , , 1 2 + a a an R 记 , 1 ( ) 1 1 2 = = + + + = n i i n i a n n a a a M a (算术平 均值) ( ) , 1 1 1 2 n n i i n i n G a a a a a = = = (几何平均值) . 1 1 1 1 1 1 1 ( ) 1 2 1 1 = = = = + + + = n i i n n i i i a n a a a n a n H a (调和平均值) 有 均值不等式: ( ) ( ) ( ), i i i H a G a M a 等号当且仅当 n a = a = = a 1 2 时成 立. （3） Bernoulli 不等式: (在中学已用数学归 纳法证明过) 对 x 0, 由 二项展开式 2 3 ( 1) ( 1)( 2) (1 ) 1 , 2! 3! n n n n n n n x nx x x x − − − + = + + + + + 有: (1 ) n + h 上式右端任何一项