Professional Documents
Culture Documents
Αποδείξεις Μαθ κατευθ Γ λυκείου
Αποδείξεις Μαθ κατευθ Γ λυκείου
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 )
x x0
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)
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() ,
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)
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