Αποδείξεις Μαθ Κατευθ Γ Λυκείου Παλαιοπωλείο

You might also like

You are on page 1of 26

http://mathkanavis.blogspot.

com


http://mathkanavis.blogspot.com


1 ( 89 )
i
i .

M 1 (, ) M 2 (, ) i i

( i ) ( i ) ( ) ( )i
M ( , ) . , OM OM 1 OM 2 .

2 ( 89 )

i i
.
,
( i) ( i) ( ) ( )i

N ( , ) .
, ON OM 1 OM 2 .
3 ( 89 )
( i )( i ) ( ) ( )i
i i :
( i)( i) ( i) i( i) i i ( i)(i)
i i i 2 i i ( ) ( )i .


http://mathkanavis.blogspot.com

4 ( 90 )

i
i 2 2 2 2
i
,
i

i 0 ,

i ,

:
i ( i)( i) ( ) ( )i

i.
i
( i)( i)
2 2
2 2 2

5 ( 91 )
i.
i ,
4 ,
4, :
i i 4

1
i

i 4 i (i 4 ) i 1 i i
-1

, 0
,

, 2
, 3

6 ( 92 )
z1 z2 z1 z2 .

z1 z2 ( i ) ( i ) ( ) ( )i
( ) ( )i ( i) ( i) z1 z 2
: z1 i z 2 i , :
z 1 z 2 z 1 z 2 , z1 z 2 z1 z 2 ,

z1

z2

z1

z2

7 ( 92-93 )

.

z 2 z 0

z 2 z 0 ,
, , 0 .
R ,
, :
2

z

2
2


http://mathkanavis.blogspot.com

2 4 . ,
:

0.

0 . T : z

T : z1, 2

2
2

0 .

T,

(1)( ) i 2 ( ) 2

2
4 2
4 2
(2) 2

.
: z
2
2

:
z1, 2

i
,
2

(1)

.
8( 98 )
: | z1 z 2 | | z1 | | z 2 |

z1
z
1
z2
z2

, :
| 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

, ,
.
.


http://mathkanavis.blogspot.com


9 ( 167 )
lim P( x) P( x0 ) .
x x0


P( x) x 1 x 1 1 x 0

x0 R .

:
lim P( x ) lim( x 1 x 1

x x0

x x0

0 )

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

x 0 1 x 0 1 0 P( x 0 ) .

10 ( 167 )
lim

x x0

P ( x) P( x 0 )
,

Q( x ) Q ( x 0 )

f ( x)

Q( x 0 ) 0

P( x)
, P(x) , Q(x)
Q( x )

x x0 R Q( x 0 ) 0 . ,

lim P( x) P( x )
P ( x ) x x0
0
lim f ( x) lim

.
x x0
x x0 Q ( x )
lim Q( x) Q( x 0 )
x x0


. Bolzano (.192)

BOLZANO
f , [, ] .
:
f [, ] , ,
f () f ( ) 0 ,
, , x0 (, ) ,
f ( x0 ) 0 .

, , , f ( x) 0
(, ) .


http://mathkanavis.blogspot.com

f
[, ] . A(, f ()) B( , f ( ))
x x ,

f

.
11( 194 )
.

f,
[, ] . :
f [, ]
f () f ( )
, f () f ( ) ,
x0 (, ) ,
f ( x0 )

f () f ( ) . f () f ( ) (. 67).
g ( x) f ( x) , x [, ] ,
:
g [, ]
g () g ( ) 0 ,
g ( ) f ( ) 0 g ( ) f ( ) 0 .
,
Bolzano, x0 (, ) ,
g ( x0 ) f ( x0 ) 0 , f ( x 0 ) .
12 ( 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

x
0

x x0


http://mathkanavis.blogspot.com


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 ( x0 ) ,
x x0

f x 0 .
13 ( 223 )

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 .
14 ( 223 )
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 .
15 ( 224 )
f ( x) x , 0,1 .
f R f ( x) x 1 ,
( x ) x 1

, x 0 R, x x 0 :


http://mathkanavis.blogspot.com

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 .
16 ( 224 )
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

xlim
x

x x0

x x0

f ( x) f ( x0 )
lim
x x0
x x0

x x0

x x0

( x x0 ) x x0
1
x x0

1
2 x0

x x0

( x x0 ) x x0

1
x x0

. H f ( x ) x 0.

2 x

17 ( 224-225 )
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

, (x) x .

f ( x h) f ( x)
x 0 x 1 x .
h


http://mathkanavis.blogspot.com

18 ( 225 )
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 .
19 ( 229 )

:
f , g
f g x 0 :

x0 ,

( 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 x0
x x0
x x0
x x0
x x0

( f g )( x0 ) f ( x0 ) g ( x0 ) .
20 ( 229 )

:
( 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) .


http://mathkanavis.blogspot.com

21 ( 231-232 )
*
f ( x) x , . 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

22 ( 232 )
f ( x) x . f
R1 R x / x 0 f ( x)
(x)

1
,
2 x

1
2 x

, x R1 :

(x) x x(x) xx xx
x
(x)


2 x
2 x
x

2 x 2 x
2 x

1
.
2 x

: f ( x) x .
f

R2 R x / x 0 f ( x)

1
,
2 x

(x)

1
2 x

23 ( 234 )
f ( x) x , R
(0,) f ( x) x 1 ,
( x ) x 1

, y x e ln x u ln x , y e u .
,
1

y (e u ) e u u e ln x x x 1 .
x
x
24 ( 234-235 )
f ( x) x , 0 R
f ( x) x ln ,
( x ) x ln


http://mathkanavis.blogspot.com
,
,

y x e x ln


u x ln ,

y eu .

y (e u ) e u u e x ln ln x ln .

25 ( 235 )
*
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 u . ,
y (ln u)

y ln( x) u x ,

1
1
1
u
(1)
u
x
x

1
x

(ln | x | ) .

.
Rolle (. 246)

(Rolle)
f :
[, ]
(, )
f () f ( )
, , (, ) , :
f ( ) 0


, ,
, (, ) ,
C f M ( , f ( ))
x.


http://mathkanavis.blogspot.com


.. (. 246-247)

( ...)
f :
[, ]
(, )
, , (, ) , : f ( )

f ( ) f ( )


, ,
, (, ) ,
f M ( , f ( ))
.
26 ( 251 )
:
f .
f
f ( x) 0 x ,
f .
x1 , x 2 f ( x1 ) f ( x 2 ) .

x1 x2 , 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 ) .


http://mathkanavis.blogspot.com

27 ( 251 )
:
f , g .
f , g
f ( x) g ( x) x ,
c , x :
f ( x) g ( x) c

y
f g
x y=g(x)+c

( f g ) ( x) f ( x) g ( x) 0 .
y=g(x)
,
, f g
O
. , C
, x f ( x) g ( x) c ,

22

f ( x) g ( x) c .

28 ( 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 , 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 ) .
f ( x) 0 .


http://mathkanavis.blogspot.com

29 ( 260 )
(Fermat)
f x 0
. f
x 0 , :
f ( x 0 ) 0

f x 0
. x 0
f , 0
, ( x0 , x0 ) f ( x) f ( x0 ) ,
(1)
x ( x 0 , x 0 ) .
, , f x 0 ,

f ( x 0 ) lim

x x0

f ( x) f ( x 0 )
f ( x) f ( x 0 )
.
lim
x x0
x x0
x x
0

,
x ( x0 , x0 ) , , (1),

f ( x) f ( x 0 )
0 ,
x x0

f ( x 0 ) lim

x x0

f ( x) f ( x 0 )
0
x x0

x ( x0 , x0 ) , , (1),

(2)
f ( x) f ( x 0 )
0 ,
x x0

f ( x 0 ) lim

x x
0

f ( x) f ( x 0 )
0.
x x0

(3)

, (2) (3) f ( x0 ) 0 .
.
30 ( 262 )
:
f (, ) ,
x 0 , f .
i) f ( x) 0 (, x0 ) f ( x) 0 ( x0 , ) , f ( x 0 )
f. ( )
ii) f ( x) 0 (, x0 ) f ( x) 0 ( x0 , ) , f ( x 0 )
f. ( )
iii) A f (x) (, x0 ) ( x0 , ) , f ( x 0 )
f (, ) . ( ).


http://mathkanavis.blogspot.com

i) E f ( x) 0 x (, x0 ) f x 0 , f
(, x 0 ] . f ( x) f ( x0 ) ,
(1)
x (, x 0 ] .
f ( x) 0 x ( x0 , ) f x 0 , f
[ x0 , ) . : f ( x) f ( x0 ) ,
(2)
x [ x0 , ) .
y
f <0

f >0
f (x 0 )

x0

, (1) (2), : f ( x) f ( x0 ) ,

x (, ) , f ( x 0 ) f (, )
.
ii) .
y

f >0
f <0
O

x0

iii) f ( x) 0 , x (, x0 ) ( x0 , ) .
y
f >0
f >0

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 ( x1 ) f ( x 2 ) .

(, x 0 ] ,


http://mathkanavis.blogspot.com
x1 , x2 [ x0 , ) ,
f ( x1 ) f ( x 2 ) .

[ x0 , ) ,

, x1 x0 x 2 , f ( x1 ) f ( x0 ) f ( x2 ) .
, f ( x1 ) f ( x 2 ) , f
(, ) . , f ( x) 0 x (, x0 ) ( x0 , ) .


http://mathkanavis.blogspot.com


31 ( 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 .
32 ( 334-335 )

.
f [, ] . G

f [, ] , : f (t )dt G( ) G()
x

, F ( x) f (t )dt
f [, ] . G
f [, ] , c R ,
G ( x) F ( x) c .

(1),

x,

(1)

G() F () c f (t )dt c c ,

c G() .

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

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

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

x,


http://mathkanavis.blogspot.com

33 ( 343 )
, f g, [, ]
f ( x) g ( x) 0 x [, ]
f , g x x ( ).
y

y
y=f (x)

y=f (x)

1
y=g(x)
O

()

()

() (1 ) (2 ) f ( x)dx g ( x)dx ( f ( x) g ( x))dx .

(1)

E () ( f ( x) g ( x))dx

34 ( 344 )
(1) :
(i) f ( x) g ( x) x [, ]
(ii) f , g [, ] .
, , (1) (ii).
, f , g [, ] ,
c R f ( x) c g ( x) c 0 , x [, ] .
( )
( ).

, (1), :

() ( ) [( f ( x) c) ( g ( x) c)]dx ( f ( x) g ( x))dx .

, E () ( f ( x) g ( x))dx


http://mathkanavis.blogspot.com

35 ( 344 )



x x ,
g, g ( x) 0 x [, ]
x x (). ,
x x
f ( x) 0 ,

E () ( f ( x) g ( x))dx

[ g ( x)]dx g ( x)dx .

, g g ( x) 0 x [, ] ,

E () g ( x)dx

36 ( 344-345 )

f ( x) g ( x)

[, ] , ,

f , g
x x
1 , 2 3 . ,
() (1 ) (2 ) (3 )

( f ( x) g ( x))dx

( g ( x) f ( x))dx

( f ( x) g ( x))dx

| f ( x) g ( x) | dx | f ( x) g ( x) | dx | f ( x) g ( x) | dx

| f ( x) g ( x) | dx

E () | f ( x) g ( x) | dx


http://mathkanavis.blogspot.com


-
2010
:
. F
f G( x) F ( x) c ,
c R, f
G( x) F ( x) c , c R.
:
x x0 f
f
. f
;
2009
:
f . f
x f x 0
f .
:
x0
;
2008
:
f x ln x , x R*
1
R* ln x .
x
:
[,];

2007
:
z1 , z2

z1 z2 z1 z2
:
f,g ;
:
y=l
f ;


http://mathkanavis.blogspot.com

2006
:
f . :
f x 0 x f
.
f x 0 x f
.
:
f
. f
;
2005
:
f
[,]. :
1) f [,]
2) f a f
f a f
x0 a, f x0
:
y x
f ;
2004
:
f x0
. f x0
f x0 0 .

:
x0
;
2003
:
f
x0 .


http://mathkanavis.blogspot.com

:

;
2002
:
f [,]. G f

[,]

f t dt G G

:
f x x . f R

f x x
2001
:
z1 , z2

z1 z2 z1 z2
:
z z 1 z

1
.
z

2000
:
f
x0 .
:
f x0

f A x0 , f x0 .

-
2010
:
f x x, x R

R f x x .


http://mathkanavis.blogspot.com

:
f
a, ;
f x0 ,
() f x0 ;

2009
:
f x x 0,

x 2 1 x .

:
f x0 .
f x0 ;
2008
:
f [,]. G f

[,]

f t dt G G .

:

;
2007
:
f
x0 .
:
Rolle ;
2006
:
x x, x R
:
f
f ;


http://mathkanavis.blogspot.com

2005
:
f x x 0,

x 2 1 x .

:
f : A R 1 1 ;

2004
:
f . f
x f x 0
f .
2003
:
f . F
f )
G(x)=F(x)+c, c R f )
G f G(x)=F(x)+c, c R .

-
2010
:
, f
x , .
0

:
f
;
2009
:
f,g x0 f+g
x0

f g x0 f x0 g x0 .

:
x x0
f;


http://mathkanavis.blogspot.com

2008
:
z1 i, z2 i
z1 z2 z1 z2
:
f x0 .
f x0 ;
2007
:
f x x , 0,1
f x x 1 .
:

;
2007
:
f,g x0 f+g
x0

f g x0 f x0 g x0 .

:
;
2006
:
z1 , z2

z1 z2 z1 z2
2005
:
f
x0 .
:
(x,y) z=x+yi ;
z;
2005
:
f . f
x f x 0
f .
:
R.
;


http://mathkanavis.blogspot.com

2004
:
i, i ,,, R +i 0
i

i
:
i 2 2 2 2
2004
:
z1 i, z2 i
z1 z2 z1 z2
2003
:
f x x . f
R1 R x / x 0 f x

2 x

You might also like