1

f :[0,1]R

f ( x)dx = x f ( x)dx = 0 .
0

f()=0 [0 ,1]

f .
f : (0,1)
1

f ( x)dx > 0

f ( x)dx 0

, .

1 (0,1) f(1)=0.
(0,1) f
(0,1) , (1,1) .
f()0 , [0,1] f()0 , [0,1]
1

f ( x)dx 0

f ( x)dx 0

, .

: f() (-1)0 [0,1] f()(-1)0

1

[0,1]

f ( x)( x x1)dx 0 xf ( x)dx x1 f ( x)dx 0 0 0,

0

f ( x)( x x )dx 0 xf ( x)dx x f ( x)dx 0 0 0, .

1

f 1,2 (0,1)

- : .
2012

 2
f:RR :
1) f(+)=f() f() , R
2) f(0)>0
3) f()>0 R
:
) f R
) f R
) lim f ( x) = +oo
x + oo

==0 (1) f(0)=f2(0)
f(0)(f(0)-1)=0
f(0)=1

f(0)>0
(2) f (0) = lim
x0

f ( x) f (0)
f ( x) 1
= lim
>0
x0
x
x 0

f f
()
,h R h 0 :
f ( x + h) f ( x)
f ( x ) f ( h) f ( x )
f ( h) 1
= lim
= lim[ f ( x)
] = f ( x) f (0).
h
h
h
x 0
x 0
x 0
f ( x) = f ( x) f (0) > 0, f ( x) > 0, f (0) > 0

lim

f()>0 R f R
.

f()=f() f(0) f R .
R f ()= f() f(0)>0 f()>0 f(0)>0
f R

f Cf
. Cf (0, f(0))
-f(0)= f(0)(-0)
=f(0) +1. :f() =>f()f(0) +1(*)
lim[ f (0) x + 1] = f (0) limx = +oo f(0)>0 (*)
x + oo

x +00

lim f ( x) = +oo
x + oo

- : .
2012

d , R. :
f()= e
2

)
)

f()e x , 0
f()>e x, <0

g()=f()-e x , x R. : g(0)=f(0)-e 0=0-0=0

g R ,

( f R e
)*
2

g()=f()-e = e

e = ...... e

e
x2

x 2 +1

.(1)

x +1

x2 +1
2
e

e
0 ,x R
1
< +1

2

(1) :g()<0 R , g R
:
0
g()g(0)
g()0
f() e x ( g )
<0
g()>g(0)
g()>0
f() > e x (g )
[
Cf , =ex =-1 =2]
4
x

R g()=
0

2
dt , a > 0
a + et

z=g(x)+xi | | z + i || z 1|
:
.
1. g .
2. z g-1
.
:
1. Re(z)Im(z) R
2. =1
2

3.

1
1
1
1
<
dt
dt <
2
t
t
1+ e
a+e
a+e
1+ e
0
0

- : .
2012


.
1. g R. g
R (t)=

2
2
g()=
>0
t
a+e
a + ex

g R R
2. z (g(),) R.
(,g()) g:
=g()
g-1()=, (g(),) Cg-1. z
g-1
.

1.
2

z + i z 1 z + i z 1 ( z + i) ( z i) ( z 1) (z 1) zz iz + iz +1 zz z z +1
i( z z) ( z + z) i (2xi) 2g( x) 2x 2g( x) x g( x), R

2. h(x)=g(x)-x ,xR h(x)0, R.

h(x)h(0). R. h R
0 Fermat h(0)=0.
2
-1=0

=1
a + e0
2
1
1
1
1
1
1
1
3.
<
dt

dt <


< g (2) g (1) <
2
t
t
2

1+ e
a+e
a+e
1+ e
1+ e
1+ e
0
0

h()=g()-1. h(0)=

... g() [1,2]

(1,2):g()=

g (2) g (1)
= g (2) g (1)
2 1

1<<2
( g) e1<e<e2
1+e<1+ e<1+ e2

2

1
1
1
1
1
1
1
1
1

>


g ( ) >


<
dt
dt <

2
2
2
t
t
1+ e 1+ e
1+ e
1+ e
1+ e
1+ e
1+ e
1+ e
1+ e
0
0

- : .
2012