Академический Документы
Профессиональный Документы
Культура Документы
:
z1 i z 2 i , :
1.
z1 z 2 z1 z 2
2.
z1 z 2 z1 z 2
3.
z1 z 2 z1 z 2
4.
z1 z1
.
z2 z2
. :
z1 z 2 ( i) ( i) ( ) ( )i
( ) ( )i ( i) ( i) z1 z 2 .
( 1 3 . :
z1 z 2 z z1 z 2 z
z 1 z 2 ... z z 1 z 2 ... z :
z1 z 2 ... z z , : ( z ) ( z ) )
2.:
z1 , z 2 ,
| z1 z 2 | | z1 | | z 2 |
z1 | z1 |
z2 | z2 |
, :
| z 1 z 2 | | z 1 | | z 2 | | z 1 z 2 | 2 | z1 | 2 | z 2 | 2
( z1 z 2 )( z1 z 2 ) z1 z1 z 2 z 2
z1 z 2 z1 z 2 z1 z1 z 2 z 2
, , .
.
3.
: || z1 | | z2 ||| z1 z2 || z1 | | z2 | .
Bbs
:
lim f ( x) 0 , f ( x) 0 x 0 (. 48)
xx
0
lim f ( x) 0 , f ( x) 0 x 0 (. 48)
xx
0
:
f , g x 0 f ( x) g ( x) x 0 ,
lim f ( x) lim g ( x)
x x0
x x0
:
f g x 0 , :
1. lim ( f ( x) g ( x)) lim f ( x) lim g ( x)
xx
xx
xx
0
4. xlim
x
lim f ( x)
f ( x ) x x0
,
g ( x) lim g ( x)
lim g ( x) 0
x x0
x x0
5. lim | f ( x) | lim f ( x)
x x0
x x0
6. lim k f ( x) k lim f ( x) ,
xx
x x
0
f ( x) 0 x 0 .
1 3 .
:
x x0
R*
f , g , h .
h( x) f ( x) g ( x) x 0
h( x) lim g ( x) ,
xlim
x
xx
0
: xlim
f ( x) .
x
0
Bbs
:
P( x) x 1 x 1 1 x 0
x o R.
:
lim P( x) lim ( x 1 x 1 0 ) lim ( x ) lim ( 1 x 1 ) lim 0
x x0
x x0
x x0
x x0
x x0
x x0
x x0
lim P( x) P( x0 )
x x0
f ( x)
P( x)
Q( x)
, P(x) , Q(x) x x o R Q( x0 ) 0 .
,
lim f ( x) lim
x x0
x x0
lim P( x) P( x )
P ( x ) x x0
0
.
Q( x) lim Q( x) Q( x 0 )
x x0
,
lim
x x0
P( x) P( x 0 )
,
Q( x) Q( x 0 )
Q( x0 ) 0
T
:
| x | | x | ,
xR
(
x 0)
:
x x 0
xlim
x
0
x x 0
xlim
x
0
lim x 0
x 0
lim x 1
x 0
(1)
:
| x | | x | ,
| x | x | x | .
( | x | ) 0 lim | x | , ,
lim
x 0
x 0
Bbs
lim x 0 .
x 0
2 x 1 2 x ,
x 1 2 x
, x ,0 0, .
2
x 0
x 0
.
x x 0 .
, , xlim
x
0
x x0
h 0
h 0
x0 lim h x0 lim h
h 0
h 0
(1)
x 0 1 x 0 0 x 0 .
lim x x 0 .
x x0
:
x
1
x
x 1
lim
0
x 0
x
) lim
x 0
1 ( )
x0R
R
g :
f :
f g
2 ( )
x0R,
f
:
g
:
fg :
>0
<0
>0
<
0
+
, ( )
. .
:
4
Bbs
() ()
0 () . . :
() () ,
() ()
0
0
f g x 0 , x 0 :
f g,
c f ,
c R ,
f g ,
f
g
| f |
x 0 .
:
f ( x) x g( x ) x .
f ( x) 3x 2 , ,
3
g ( x) 3x 2 .
2
f ( x) | xx | , f ( x) | g ( x) | , g ( x) xx
f 1 ( x) x f 2 ( x) x .
, :
f x 0 g f ( x0 ) ,
gof x 0 .
Bolzano
f , [, ] . :
f [, ] , ,
f () f ( ) 0 ,
, , x0 (, ) ,
f ( x0 ) 0 .
, , , f ( x) 0 (, ) .
f, [, ] . :
f [, ]
f () f ( )
, f () f ( ) , x0 (, ) ,
f ( x0 )
Bbs
f () f ( ) . f () f ( ) (. 67).
g ( x) f ( x) , x [, ] , :
g [, ]
g () g ( ) 0 ,
g () f () 0
g ( ) f ( ) 0 .
,
g ( x0 ) f ( x0 ) 0 , f ( x 0 ) .
Bolzano,
x0 (, )
f () f
.
-
f [, ] , f [, ]
m. (. 69)
, x1 , x2 [, ] , , m f ( x1 ) M f ( x 2 ) ,
m f ( x) M ,
x [, ] .
: f [, ]
[m, M ] , m
A f (, ) ,
( , ) (. 71),
lim f ( x)
x
B lim f ( x) .
x
, , f (, ) ,
( B, A) (. 71).
Bbs
f x 0 , .
x x 0
f ( x) f ( x 0 )
f ( x) f ( x 0 )
( x x0 ) ,
x x0
f ( x) f ( x 0 )
lim [ f ( x) f ( x 0 )] lim
( x x 0 )
x x0
x x0
x x0
lim
x x0
f ( x) f ( x 0 )
lim ( x x 0 ) f ( x 0 ) 0 0 ,
x x0
x x0
f x 0 . , lim f ( x) f ( x0 ) , f x 0 .
xx
0
f ( x) c ,c R. f R f ( x) 0 ,
(c ) 0
, x 0 R, x x 0 :
f ( x) f ( x 0 )
cc
0.
x x0
x x0
,
lim
x x0
f ( x) f ( x 0 )
0,
x x0
(c) 0 .
f ( x) x . f R f ( x) 1 ,
( x) 1
, x 0 R, x x 0 :
f ( x) f ( x 0 ) x x 0
1.
x x0
x x0
,
lim
x x0
f ( x) f ( x 0 )
lim 1 1 ,
x x0
x x0
( x) 1 .
f ( x) x , {0,1}. f R f ( x) x 1 ,
( x ) x 1
, x 0
x x 0 :
f ( x) f ( x 0 ) x x 0 ( x x 0 )( x 1 x 2 x 0 x 0 1 )
x 1 x 2 x 0 x 0 1 ,
x x0
x x0
x x0
Bbs
lim
x x0
f ( x) f ( x 0 )
lim ( x 1 x 2 x 0 x 0 1 ) x 0 1 x 0 1 x 0 1 x 0 1 ,
x x0
x x0
( x ) x 1 .
f ( x) x . f (0, ) f ( x)
2 x
1
2 x
, x 0 (0, ) , x x 0 :
f ( x) f ( x 0 )
x x0
x x0
x x0
x x0
( x x )
x x0
x x0
x x0
( x x )
0
x x0
x x0
f ( x) f ( x0 )
lim
x x0
x x0
lim
x x0
1
x x0
1
2 x0
1
2 x
(. 215): f ( x ) x 0.
f ( x) x . f R f ( x) x ,
(x) x
, x R h 0
f ( x h) f ( x) ( x h) x x h x h x
h
h
h
x
( h 1)
h
.
x
h
h
lim
h 0
h
1
h
lim
h 0
h 1
0,
h
lim
h 0
f ( x h) f ( x )
x 0 x 1 x .
h
, (x) x .
f ( x) x . f R f ( x) x ,
(x) x
, x R h 0 :
f ( x h) f ( x) ( x h) x x h x h x
h
h
h
x
h
h 1
x
h
h
lim
h 0
f ( x h) f ( x)
h
h 1
lim x
lim x
h
0
h
0
h
h
h
x 0 x 1 x .
, (x) x .
8
Bbs
f ,g
x0 ,
f g x 0
( f g ) ( x0 ) f ( x0 ) g ( x0 )
x x 0 , :
( f g )( x) ( f g )( x 0 ) f ( x) g ( x) f ( x 0 ) g ( x 0 ) f ( x) f ( x 0 ) g ( x) g ( x 0 )
x x0
x x0
x x0
x x0
f , g x 0 , :
lim
x x0
( f g )( x) ( f g )( x 0 )
f ( x) f ( x 0 )
g ( x) g ( x 0 )
lim
lim
f ( x 0 ) g ( x 0 ),
x
x
x
x
0
0
x x0
x x0
x x0
( f g ) ( x0 ) f ( x0 ) g ( x0 ) .
f , g x 0 , f g
x 0 :
( f g )( x0 ) f ( x0 ) g ( x0 ) f ( x0 ) g ( x0 )
x x 0 :
( f g )( x) ( f g )( x 0 ) f ( x) g ( x) f ( x 0 ) g ( x 0 )
x x0
x x0
f ( x) g ( x) f ( x 0 ) g ( x) f ( x 0 ) g ( x) f ( x 0 ) g ( x 0 )
x x0
f ( x) f ( x 0 )
g ( x) g ( x 0 )
g ( x) f ( x 0 )
x x0
x x0
f , g , x 0 , :
lim
x x0
( f g )( x) ( f g )( x 0 )
f ( x) f ( x 0 )
g ( x) g ( x 0 )
lim
lim g ( x) f ( x 0 ) lim
x
x
x
x
x
x
0
0
0
x x0
x x0
x x0
f ( x0 ) g ( x0 ) f ( x0 ) g ( x0 ) ,
( f g )( x0 ) f ( x0 ) g ( x0 ) f ( x0 ) g ( x0 ).
f , g , x :
( f g )( x ) f ( x ) g( x ) f ( x ) g ( x ) .
Bbs
f , g x 0 g ( x0 ) 0 ,
f
g
x 0 :
f ( x 0 ) g ( x 0 ) f ( x 0 ) g ( x 0 )
f
( x 0 )
[ g ( x 0 )] 2
g
.
f , g x g ( x) 0 ,
x :
f
f ( x ) g( x ) f ( x)g ( x )
( x )
[ g( x )] 2
g
f ( x) x , *. f R* f ( x) x 1 ,
( x ) x 1
, R* :
(1) x 1( x ) x 1
1
( x )
x 1 .
2
2
(x )
x
x
, , ( x ) x 1 , 1 . , Z-{0,1},
( x ) x 1 .
f ( x) x . f R1 = R {x| = 0}
f ( x)
1
2 x
,
(x)
1
2 x
, x R1 :
(x) x x( x) x x xx 2 x 2 x
1
x
(x)
.
2
2
2
2
f ( x) x , R - (0, ) f ( x) x 1 ,
( x ) x 1
(1)
, y x e ln x u ln x , y e u . ,
y (e u ) e u u e ln x
x x 1 .
x
x
f ( x) x , 0 R f ( x) x ln , :
, y x e x ln u x ln , y e u . ,
y (e u ) e u u e x ln ln x ln .
( x ) x ln
10
Bbs
f ( x) ln | x | , x R* R*
(ln | x | )
1
x
.
1
x
x 0 , (ln | x | ) (ln x) ,
x 0 , ln | x | ln( x) , , y ln( x) u x , y ln u . ,
y (ln u )
1
1
1
u
(1)
u
x
x
1
x
(ln | x | ) .
g x 0 f g ( x0 ) ,
f g x 0
( f g ) ( x0 ) f ( g ( x0 )) g ( x0 )
, g f g () ,
f g
( f ( g( x ))) f ( g( x )) g ( x ) .
, u g( x ) ,
( f (u)) f (u) u .
dx du dx
dy
dx
. ,
- Rolle
f :
[, ]
(, )
f () f ( )
, , (, ) , :
f ( ) 0
- ...
f :
[, ]
(, )
, , (, ) , : f ( )
f ( ) f ( )
11
Bbs
f .
f
f ( x) 0 x ,
f .
x1 , x 2 f ( x1 ) f ( x 2 ) .
x1 x 2 , f ( x1 ) f ( x 2 ) .
x1 x 2 , [ x1 , x2 ] f .
, ( x1 , x2 ) ,
f ( )
f ( x 2 ) f ( x1 )
.
x 2 x1
(1)
, f ( ) 0 ,, (1), f ( x1 ) f ( x 2 ) . x 2 x1
, f ( x1 ) f ( x 2 ) . , , f ( x1 ) f ( x 2 ) .
f , g .
f , g
f ( x) g ( x) x ,
c , x :
f ( x) g ( x) c
f g x
( f g ) ( x) f ( x) g ( x) 0 .
, , f g . ,
f ( x) g ( x) c .
C , x f ( x) g ( x) c ,
f, .
f ( x) 0 x , f .
f ( x) 0 x , f .
f ( x) 0 .
x1 , x 2 x1 x 2 . f ( x1 ) f ( x 2 ) . , [ x1 , x2 ] f
... , ( x1 , x2 ) , f ( )
f ( x 2 ) f ( x1 )
x 2 x1
f ( x 2 ) f ( x1 ) f ( )( x 2 x1 )
f ( ) 0 x 2 x1 0 , f ( x 2 ) f ( x1 ) 0 , f ( x1 ) f ( x 2 ) .
12
Bbs
f ( x) 0 .
(Fermat)
f x 0 . f
x 0 , :
f ( x 0 ) 0
f x 0 . x 0
f , 0 ,
( x 0 , x 0 )
f ( x) f ( x 0 ) , x ( x0 , x 0 ) .
, , f x 0 ,
f ( x 0 ) lim
x x0
(1)
f ( x) f ( x 0 )
f ( x) f ( x 0 )
lim
.
x x0
x x0
xx
0
,
x ( x0 , x0 ) , , (1),
f ( x 0 ) lim
x x0
f ( x) f ( x 0 )
0
x x0
x ( x0 , x0 ) , , (1),
f ( x 0 ) lim
x x
0
f ( x) f ( x 0 )
0 ,
x x0
(2)
f ( x) f ( x 0 )
0 ,
x x0
f ( x) f ( x 0 )
0.
x x0
(3)
, (2) (3) f ( x0 ) 0 .
.
, , f
, .
f :
1. f .
2. f .
3. ( ).
f
, f .
13
Bbs
-
f (, ) , x 0 ,
f .
i) f ( x) 0 (, x0 ) f ( x) 0 ( x0 , ) , f ( x0 ) f.
ii) f ( x) 0 (, x0 ) f ( x) 0 ( x0 , ) , f ( x0 ) f.
iii) A f (x) (, x0 ) ( x0 , ) , f ( x0 ) f
(, ) . (. 35).
i) E f ( x) 0 x (, x0 ) f x 0 , f (, x 0 ] .
f ( x) f ( x 0 ) , x (, x 0 ] .
(1)
f ( x) 0 x ( x0 , ) f x 0 , f [ x0 , ) .
:
f ( x) f ( x 0 ) , x [ x 0 , ) .
(2)
y
35a
f <0
f >0
f (x 0 )
f <0
f >0
f (x 0 )
x0
x0
, (1) (2), :
f ( x) f ( x 0 ) , x (, ) ,
f ( x0 ) f (, ) .
ii) .
y
35
f >0
f <0
f <0
O
x0
f >0
x0
iii)
f ( x) 0 , x (, x 0 ) ( x0 , ) .
y
f >0
f >0
f >0
35
f >0
x0
x0
14
Bbs
f x 0 (, x 0 ]
[ x0 , ) . , x1 x0 x 2 f ( x1 ) f ( x0 ) f ( x 2 ) . f ( x 0 ) f.
, , f (, ) . , x1 , x 2 (, ) x1 x 2 .
x1 , x2 (, x0 ] , f (, x 0 ] , f ( x1 ) f ( x 2 ) .
x1 , x2 [ x0 , ) , f [ x0 , ) , f ( x1 ) f ( x 2 ) .
, x1 x0 x2 , f ( x1 ) f ( x0 ) f ( x 2 ) .
, f ( x1 ) f ( x 2 ) , f (, ) .
, f ( x) 0 x (, x0 ) ( x0 , ) .
, f ( x) x 4 4 x 3
f
3
2
f ( x) 4 x 12 x . f ( x) 0 x 0 () x 3 , f
:
x
f (x)
0
0
3
0
, f (, 3] ,
[3, ) ,
x 3 , f (3) 27 .
f ( x0 )
f (, ) , f ( x0 ) f (, ) .
f [, ] , ( 1.8), f
. :
1. f.
2. f .
3. f.
-
f ( , ) x 0 ( , ) f
.
f ( x0 ) 0 f ( x0 ) 0 , f ( x 0 ) .
f ( x0 ) 0 f ( x0 ) 0 , f ( x 0 ) .
f
.
f ( x) 0 x , f .
f ( x) 0 x , f .
A( x0 , f ( x0 ))
f f , f ( x0 ) 0 .
15
Bbs
f :
i) f ,
ii) f (. 43).
.-
y x f , ,
lim
f ( x)
R
x
lim
f ( x)
x
lim [ f ( x) x] R,
x
R lim [ f ( x) x] R.
x
2 .
P( x)
,
Q( x)
P(x)
, .
,
:
f .
, f .
, , (, ) ,
(, ) .
de l Hospital.-
1 ( 0 )
0
lim f ( x) 0 , lim g ( x) 0 , x0
xx
xx
0
lim
x x0
{, } lim
x x
f ( x)
g ( x)
( ), :
f ( x)
f ( x)
lim
x
x
0 g ( x)
g ( x)
2 (
lim f ( x) , lim g ( x) , x0
xx
xx
0
{, } lim
x x
f ( x)
g ( x)
( ),
:
lim
x x0
f ( x)
f ( x)
lim
.
x
x
0 g ( x)
g ( x)
16
Bbs
-
f . F f ,
c R,
G ( x) F ( x) c ,
f
G f
G ( x) F ( x) c ,
c R.
G( x) F ( x) c , c R, f ,
G ( x) ( F ( x) c) F ( x) f ( x) , x .
G f . x F ( x) f ( x) G ( x) f ( x) ,
G ( x) F ( x) , x .
, 2.6, c ,
G( x) F ( x) c , x .
.
f , g [, ] , R.
f ( x)dx f ( x)dx
[ f ( x) g ( x)]dx
f ( x)dx g ( x)dx
[ f ( x) g ( x)]dx
f ( x)dx g ( x)dx
( )
f , , ,
f ( x)dx 3
4
f ( x)dx 7 ,
f [, ] . f ( x) 0 x [, ]
f ,
f ( x)dx 0 .
17
Bbs
f ,
F ( x) f (t )dt , x ,
f . :
x f (t )dt f ( x) ,
a
x .
(. 14) :
F ( x h) F ( x)
14
y=f (x)
xh
f (t )dt
.
f ( x) h , h 0 .
f (x)
F(x)
, h 0
x
O
F ( x h) F ( x )
f ( x) ,
h
F ( x) lim
h 0
F ( x h) F ( x )
f ( x)
h
-
f [, ] . G f
[, ] ,
f (t )dt G( ) G()
, F ( x) f (t )dt f
[, ] . G f [, ] , c R ,
G ( x) F ( x) c .
(1)
, x ,
f (t )dt G( ) G() .
18
Bbs