You are on page 1of 16

:

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

lim ( x ) lim ( 1 x 1 ) lim 0


x x0

x x0

x x0

lim x 1 lim x 1 lim 0


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)

(1), x , G() F () c f (t )dt c c , c G() .


,
G( x) F ( x) G() ,

, x ,

G( ) F ( ) G() f (t )dt G()

f (t )dt G( ) G() .

You might also like