Вы находитесь на странице: 1из 8

-*

. .

. . .
e-mail: gal@nw.math.msu.su

511.36

: , ,
, ,
.



- ^ 0; 1
(3.
- ,
z = 0.
Abstract
A. I. Galochkin, On the prooves of Lindemann's
theorem and GelfondSchneider's theorem, Fundanient aln ay a i prikladnaya m a f e m a ^ a vol. 3(1997), 4,
p. 1253-1260.
The paper presents the new prooves of the Lindemann's theorem on the transcedence of the number ea for non-zero algebraic a and the GelfondSchneider's
theorem on the transcendence of the number a' for algebraic 0; 1 and algebraic
irrational (3. There is a difference from other prooves of GelfondSchneider's theo
rem. On the first step we construct the auxilary function with great order of zeroes
at only the point z = 0.

(1882 .) - (1934 .),
.
- (., , [1],
[2], 4 5 [3])
, z 0.
.
.
.
*
, 970100181.

1997, 3, 4, . 12531260.
1997 ,
"
"

1254

. .

, 22
.
().

1. a\,...,as

rai,...,ms.

= {\, . . ., as), {\, . . ., xs) [1, . . ., xs]


{\, . . ., as) = 0,

\P(a1,...,as)\^L1-^^m^C-d,
d L

{\, . . ., xs).

.
, , 4 1 [4]
4.2 2 [3].
.
.
, act\, . . ., aas
. /3 = adP(cti, . . ., as) 7L^
an, ,ajm;,

= l,s,

(1)

, ',
\adP(airi,

. . . , a s r J | ^ C'fb,

8- = 1,8-; i=l,s;

C\ = a m a x ( l , |a 8 j|).

(2)

hi

mi

()=

ri=l

ms

(x-adP(alri,...,asrs))

Q[x],

rs=l

s (1),
.

() = + _1~1

+ + 0 = ( - ft) ( - j3n)

/3 = (3\. /3 22, () []
|&| ^ 1, {\, . . ., as) 0.
() ()
/3, () /3, () \ ()
() () (2)

1 ^ |60| = \fo - ad\P(ai, ...,

as)\(CdL)n-\

1255

< \ ms,

aCi"11"-"1')-1.

2. a8-j 7L, \\ <

Li(x)

= ^2 ciijXj,
i=i

i=l,p;

Li(x) = ,

p < q.

i = 1,,

I ()
()\
() - 47
(\ , . . ., xq ) , - ,

0 < m a x \xf] | ^ 1 + (qA)

^ .

, ,
8 3 [4] [3].
.

.
.

. 1882 . 9 ,
. .
7.
,
, 7 i , 72 .
3.

1 1

k=0 1=0

a^i 7L,
0<<71,

/W(0) = 0, t = 0,[n^]-l,

[]

(4)
(5)

1256

. .

. ,
_1

min(t,fe)

/(')(*) = a f c ,

+ 1)-1'-1*.

J2 ;{-1)---{-8

k,l = 0

(6)

s=0

n-1

/W(0)=

*(*!)*'-*<,


= [ 3 ' 2 ] (5) q = 2 -

\{\)1*~\ < 2 " 3 / V n n 3 / 2 < 33'2 = .


2 a^i,

\\ < 1 + (qA)^

< n

o r d ^ = a F(z) F(z) z = .
4. >\, . . . ,>
= Px{z)e^z

fm(z)

Pk(z)
.

+ +

Pm(z)ew~z,

o r c U o / m ( z ) ^ ^ ( ( d e g P f c ( z ) ) + l).
k=l


,
/ m _ ! ( z ) = e^z ( e - ^ fm(z)){nm+l),

nm =

degPm(z),

, fm(z),
1.
X ,
. 4
=

min ordz=xa

f(z) ^ n2.

(7)

= 0,

5.
\f^(xa)\

< n-W/2-i/3(x-6)T;

x =

^x.

- 1 2 5 7

. (7) 3 ,
g{z) = f{z)z-^'2\z

- )~ (z - )~

,
. = \\ + 1 < ^/.
max|#(z)| < max \g(u)\.
$

|ti|=V"

(3) (4) :
Mr = m a x | / ( z ) | ^
\ [" 3/2 1 /

< max |/()|


\\=^/

max

z\

\z\<:r,\u\=^/n

<L n2n^n(,/n)nen3/2

-,4^-,4

/ z
/

/z\

< -1/^-1/_

(8)

,
/ (

)(^_^!
2iri

/
J

f(z)dz
(z xa)T+1

'

\z xa\ = l

(7)
f{T)(xa)

<C (T\)Mr <C TTMr <C n2TMr

(8) .
. (7) ,
(0 < < X), f(T>(xoa) 0,
(, ) .
,
\ ^. (,)
1. (6) :

L(P) < n n~ {n\)x%J2CT{n2

lin

l T

) ~" ^ " 7 + ,

degP <^ + .

s= 0

1 ,
|/( )( 0 )| = \{,)\

^ ) ) ! - ! " ^ - d e g P > n -74n-m i m a T_

, 5 X = 3mim2 + 6
\f^(x0a)\<n-^n3/2-m^T.
.
.

1258

. .

1900 .
23 ,
.
.
. .
1929 . . 1930 .
1934 . . . .
.
,
0 1, /3
,
.
13 = ^
.
. In ,
.
6. /3 22
/3

= & m _ l / 3- 1 + . . . + &l/3 + &0,

, I

\bj\<:B.

(9)

/3

/3 t = & t ) m _ 1 / 3 m - 1 + --- + &t)1/3 + &t)0,

( + * = S t ^ ^ - i / T -

bjtz,

bttjez,

\bttj\^(B

:
+

iy.

+ + Bt,k,itlp

Bt.k.ij

Bt,k,i,0;
GZ,

\Bt,k,i,j\^

(5 + 2)V.

.
t < (9). t. (9)
I3t+l = h ^ b ^ r -

+ + bo) + 6 t , m - 2 / 9 m _ 1 + +

hfil3,

t + 1.
.
t

m\

s=0

j=0

, /3J
t

J2C?kt~slsiB
s= 0

+ 1Y = (k + l(B + l)Y < (5 + 2)*n*.

- 1 2 5 9

7. /3

1 1

{k+mz

j2J2
k=0 1=0

f(z) =

aki E 7L,
< m a x | a f e ; | < nls",
k,l

/ ( ) = 0,

'

t = , [n 3 / 2 ] - 1.

. :
/(')(*)= ^ a f c J ( * + ^)te(fc+"3>,

(10)

k,l = 0

6
1 1

/ ( t ) ( 0 ) = J2 aki(k + WY= J2
k,l = 0

Y<Bt>k>l>'P'akl-

k,l = 0 s = 0

/3s.

t = 0, [3/2] - 1,

^2Btikili,ak,=0,

8=

0,-1,

,1 = 0

= [3'2] q = 2 aki-
6
\Bt,k,i,s\ <( + 2 ) V < 23/2 = (t< 3'2),
2.
, , X ,
. 4
=

min ordz=xln

g f(z) ^ 2.

(11)

= 0,

8.

|/()(1)| <

->^-1/3(-6)^

0 ^ .


5.
g{z) = f(z)z-[n3/2](z

- l n a ) " T (z - X l n a ) " T

1260

. .

= | 1 | + 1 < /.
.
, /3 ,
, 6/3 22, ,
/3 ,
13.
(11) , , f(T> (XQ In ) 0,
(/3,,")

.
, /3,
13 , \ ^.
(10) :
L(P) < 2~<5(2),

degP^T

2nX.

1 ,
| / ( ) ( 0 1 ) | = \(^,,)\

^ (L(P))1-mmimaC_

degP

> n-yrn-mmimaT

, 8 X = \2 + 6

|/()(01)| <
n-ien^-mmim2T
.
.

-
.

[1] . . . .: ,
1952.
[2] . . .: , 1968.
[3] . . . .: - . -, 1982.
[4] . . . .: , 1987.
1997 .