Professional Documents
Culture Documents
2012-2013
.
.
:
Rolle
: 2012-2013
i i
.
:
( 89)
M 1 (, ) M 2 (, ) i
M(+, +)
i ,
M2(,)
( i) ( i) ( ) ( )i
M1(,)
M ( , ) .
, OM OM 1 OM 2 .
i i
.
( 89)
:
y
2(,)
( i) ( i) ( ) ( )i
N ( , ) .
1(,)
x
( , )
, ON OM 1 OM 2 .
3( , )
( 90)
:
, i ,
4 ,
4, :
i i 4
1
i
i 4 i (i 4 ) i 1 i i
-1
z1 z2 z1 z2
, 2
,
( 91)
:
z1 i z 2 i , :
z1 z 2 ( i) ( i) ( ) ( )i
( ) ( )i ( i) ( i) z1 z 2
z 2 z 0 , , R 0 ( 92)
:
, ,
C. ,
z 2 z 0 ,
, , R 0 .
R ,
, :
2
,
z
2
4 2
2 4 . , :
0 . T : z1, 2
0 . T : z
2
2
0 .
T,
(1)( ) i 2 ( ) 2
, :
2
4 2
4 2
(2) 2
2
i
.
z
2
2
z1, 2
i
2
| z1 z2 | | z1 | | z2 |
( 98)
:
, :
| z1 z 2 | | z1 | | z 2 | | z1 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
, , .
lim P( x) P( x0 )
x x0
( 167)
P( x) x 1 x 1 1 x 0
x0 R .
:
lim P( x) lim ( x 1 x 1 0 )
x x0
x x0
x x0
x x0
x x0
x x0
x0 1 x0 1 0 P( x0 ) .
,
lim P( x) P( x 0 ) .
x x0
P( x) P( x0 )
, Q( x0 ) 0
x x0 Q( x)
Q( x0 )
lim
( 167)
:
f ( x)
P( x)
, P(x) , Q(x) x
Q( x)
x0 R
Q( x 0 ) 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( x 0 ) 0
( 194)
f, [, ] .
:
f [, ]
f () f ( )
, f () f ( ) ,
x 0 (, ) ,
f ( x0 )
:
f () f ( ) . f () f ( ) (. 67).
g ( x) f ( x) , x [, ] , :
g [, ]
g () g ( ) 0 ,
y
f ()
g () f () 0
67
y=
g( ) f ( ) 0 .
f (a)
,
Bolzano, x0 (, ) ,
g ( x0 ) f ( x0 ) 0 , f ( x 0 ) .
B(, f ())
( , f ())
a x0
x0
x0
( 217)
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 )
x x0
x x0
f ( x0 ) 0 0 ,
f x 0 . , lim f ( x) f ( x 0 ) , f
x x0
x 0 .
( 223-224)
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
(c) 0 .
f ( x) f ( x 0 )
0,
x x0
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
( x) 1 .
f ( x) f ( x 0 )
lim 1 1 ,
x x0
x x0
f ( x) x , N {0,1}. f R
f ( x) x 1 ,
( x ) x 1
, x 0 R, 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
lim
x x0
f ( x) f ( x 0 )
lim ( x 1 x 2 x0 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, )
1
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 x0
( x x0 ) x x0
x x0
( x x0 ) x x0
1
x x0
lim
x x0
f ( x) f ( x0 )
lim
x x0
x x0
1
x x0
2 x0
2 x
3.1 f ( x ) x
0.
( 229)
1
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 ) .
( 230 )
f , g , h :
f x g x h x f x g x h x f x g x h x f x g x h x
:
f x g x h x f x g x h x f x g x h x f x g x h x
f x g x f x g x h x f x g x h x
f x g x h x f x g x h x f x g x h x
*
( x ) x
, v N x R ( 231-232)
:
*
*
f ( x) x , N . f R
f ( x) x 1 ,
( x ) x 1
, x R* :
(1) x 1( x ) x 1
1
(x )
x 1 .
2
2
(x )
x
x
(x)
1
, x 0
2 x
( 232)
f ( x) x .
R1 R {x |x 0} f ( x)
1
,
2 x
(x)
1
2 x
, x R1 :
2
2
1
x (x)x x(x) xx xx x x
(x)
2
2
2
x
x
x
2 x
x
( x ) x 1 , R Z x 0,
( 234)
:
f ( x) x , R Z (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
x
x
( ) ln , 0
:
( 234-235)
f ( x) x , 0 R f ( x) x ln ,
( 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 .
(ln | x |)
1
, x R*
x
( 235)
:
*
*
f ( x) ln | x | , x R R
(ln | x | )
1
x
.
x 0 , (ln | x | ) (ln x)
1
,
x
x 0 , ln | x | ln( x) , , y ln( x) u x , y ln u .
,
y (ln u )
(ln | x | )
1
.
x
1
1
1
u
(1)
u
x
x
( 251)
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 , x 2 ] 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 ) .
( 251)
f , g .
f , g
f ( x) g ( x) x ,
c , x :
f ( x) g ( x ) c
:
f g
x
22
y=g(x)+c
( f g )( x) f ( x) g ( x) 0 .
, ,
f g . ,
C , x
f ( x) g ( x) c ,
f ( x) g ( x ) c .
y=g(x)
O
( 253)
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 , x 2 ] 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 ) .
f ( x) 0 .
(Fermat) ( 260-261)
f x 0 .
f x 0 , :
f ( x 0 ) 0
:
f x 0
. x 0
f (x0)
33
f ,
0 ,
( x 0 , x 0 )
f ( x) f ( x0 ) , x ( x0 , x0 ) .
x0 x0 x0+
(1)
, , f x 0 ,
f ( x 0 ) lim
x x0
f ( x) f ( x 0 )
f ( x) f ( x 0 )
lim
.
x x0
x x0
xx
0
,
x ( x0 , x0 ) , , (1),
f ( x) f ( x 0 )
0 ,
x x0
f ( x) f ( x 0 )
0
x x0
f ( x 0 ) lim
x x0
x ( x0 , x0 ) , , (1),
f ( x 0 ) lim
xx
0
(2)
f ( x) f ( x 0 )
0 ,
x x0
f ( x) f ( x 0 )
0.
x x0
(3)
, (2) (3) f ( x0 ) 0 .
.
( 262-263)
f (, ) ,
x 0 , f .
i) f ( x) 0 (, x0 ) f ( x) 0 ( x0 , ) , f ( x0 )
f. (. 35)
ii) f ( x) 0 (, x0 ) f ( x) 0 ( x0 , ) , f ( x0 )
f. (. 35)
iii) A f (x) (, x0 ) ( x0 , ) , f ( x0 )
f (, ) . (. 35).
( i iii):
i) f ( x) 0 x (, x0 ) f x 0 , f
(, x 0 ] .
f ( x) f ( x0 ) , x (, x 0 ] .
(1)
f ( x) 0 x ( x0 , ) f x 0 , f
[ x0 , ) . :
f ( x) f ( x0 ) , x [ x 0 , ) .
(2)
y
35a
f <0
f >0
f (x 0 )
f <0
f >0
x0
f (x 0 )
x0
, (1) (2), :
f ( x) f ( x0 ) , x (, ) ,
f ( x0 ) f (, ) .
ii) .
iii) f ( x) 0 , x (, x0 ) ( x0 , ) .
y
f >0
f >0
f >0
35
f >0
x0
x0
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 , ) .
( 304)
f . F f
,
G( x) F ( x) c ,
c R,
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 .
( 334)
f
,
x
F ( x) f (t )dt , x ,
f . :
xf (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)
, h 0
F ( x h) F ( x )
f ( x) ,
h
F ( x) lim
h 0
F ( x h) F ( x)
f ( x)
h
x
O
x+h
( )
( 334-335)
[, ] . 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() .