Download Full text

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Mathematics of radio engineering wikipedia , lookup

Infinity wikipedia , lookup

Law of large numbers wikipedia , lookup

Mathematical proof wikipedia , lookup

Vincent's theorem wikipedia , lookup

Large numbers wikipedia , lookup

Infinitesimal wikipedia , lookup

Nyquist–Shannon sampling theorem wikipedia , lookup

Collatz conjecture wikipedia , lookup

Fundamental theorem of calculus wikipedia , lookup

Central limit theorem wikipedia , lookup

Brouwer fixed-point theorem wikipedia , lookup

List of important publications in mathematics wikipedia , lookup

Wiles's proof of Fermat's Last Theorem wikipedia , lookup

System of polynomial equations wikipedia , lookup

Addition wikipedia , lookup

Four color theorem wikipedia , lookup

Elementary mathematics wikipedia , lookup

Georg Cantor's first set theory article wikipedia , lookup

Theorem wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Transcript
AN APPLICATION OF W. SCHMIDT'S THEOREM
TRANSCENDENTAL NUMBERS AND GOLDEN NUMBER
MAURICE MIGNOTTE
Universite Louis Pasteur, Strasbourg, France
INTRODUCTION
Recently, W. Schmidt proved the following theorem.
Schmidt's
Theorem.
Let 1, a1f a2 be algebraic real numbers, linearly independent over 0, and let
e > 0. There are only finitely many integers q such that
(1)
Wqajl
II<732i < c 7 q ~ 1 ~ € ,
where c-j is a positive constant and where II II denotes the distance from the nearest integer.
Of course, this theorem can be used to prove that certain numbers are transcendental. We shall take a / equal
to the golden number. The integers q will be chosen in the sequence of Fibonacci numbers. It remains only to
take a number a2 such that \\qa2II is small for these values of q and such that 1, aj, a2 are ^-linearly independent We shall give only one example of such a number #2 but the proof shows clearly that there are many other
possible choices of 32THE RESULT
Proposition.
Let (u 1,112, -••) be the sequence of Fibonacci numbers. Put qn = Un. Then the number
a2 - ± *±J=Ui
is transcendental.
Proof.
It is well known and easily proved that
"n+l\
3 / - - -
y/5U*
Thus,
(2)
\a»aA
d
"Hn 1"
~
'
_
\/5Qn
Since un\U2n- Qn divides qn+v H ance,
N
y
„%
2 + (-1)n _Ph
Qn
Qfi
'
wherep n is an integer.
Now, it is easily proved that
I
\B2-
2 + (-l)N+1
(2 +
(-1)N+1)^
QN
Thus,
(3)
From (2) and (3), we get
\qNa2l , (ItUf^JJL
QN
15
,
16
AN APPLICATION OF W. SCHMIDT'S THEOREM
TRANSCENDENTAL NUMBERS AND GOLDEN NUMBER
FEB.1977
\\qNai\\ |<7/v*2 II < "~" ,
VN
where c is a positive constant.
We have verified that (1) holds with e= 1.
It remains only to show that 1, 3y, a2 are linearly independent over 0. Suppose that we can find a non-trivial
relation
ko + k1a1 + k2a2
= 0,
k,- e
0.
We can now limit ourselves to the case of kt e Z For large /I/, the previous relation gives
MW/I
=
±k2\\qNa2\
•
This contradicts (2) and (3). Thus, 1,37,32 are 0-linearly independent Now Schmidt's theorem shows that a2
is not algebraic. The assertion is proved.
REMARK. The proposition remains true if we put
xn
-yn
x - y
where A- is a quadratic Pisot number and y its conjugate.
*******
[Continued from page 14.]
For small integers n the positive solutions of (Drnay be found with a machine because of the upper bound of
n2 on the coordinates. For n = 3 these solutions are exactly those revealed in the general case. That is, (3,3,3)
and permutations of (1,2,3).
In the complementary case (that is, some coordinate is negative), there are, for each n > 1, always an infinite
number of solutions. For example, (a,l,-a)f for any integers, satisfies (1) in case n =3. Forfl =4, {a, a,-a, -a)
satisfies (1), etc. For/? =3 the solution will be a subset of the solutions of
x] + x32+x33
=
u2,
an identified problem [1, p. 566].
In case n = 2 the reader will have no difficulty in showing that all solutions are (a, -a), (I 2), (2, 1), (2, 2)
together, of course, with (0, 0), (0, 1), (1, 0) which come from the case n = 1. The case n = 2 is a special case of
a well known theorem [1, p. 412 etseq.].
REFERENCE
1.
L. E. Dickson, History of the Theorey of Numbers, Vol. II, Carnegie Institution of Washington, D.C., 1920.
*******