* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Full text
Mathematics of radio engineering 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
Four color theorem wikipedia , lookup
Elementary mathematics wikipedia , lookup
Georg Cantor's first set theory article wikipedia , lookup
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. *******