arxiv: v5 [math.gm] 1 Jun 2018

Transcription

1 The Product eπ Is Irrational N A Carella arxiv: v5 [mathgm] Jun 208 Abstract: This note shows that the product eπ of the natural base e and the circle number π is an irrational number Contents The Result 2 2 Foundation 3 3 Convergents Correlations 5 4 Numerical Data 7 5 Sums, Differences, and Ratios 8 6 Algebraic Irrational Numbers 9 7 Equivalence Relations 9 8 Linear Independence Of Zeta Constants 2 9 Recursive Proofs 3 0 Problems 6 Keyword: Irrational number; Natural base e; Circle number π AMS Mathematical Subjects Classification: J72; A55

2 The Result The natural base e and the circle number π are irrational numbers, but the arithmetic properties of the sum eπ and the product eπ seem to be unnown The nown information on the continued fractions and the convergents of the two irrational numbers e and π are used here to construct an infinite subsequence of rational approximations for the product eπ Theorem The product eπ is an irrational number Proof Let e = [a 0,a,a 2,] be the continued fraction of the irrational number e By Lemma 23, there exists a sequence of convergents {p n / : n N} such that e p n < a n qn 2 () Similarly,letπ = [b 0,b,b 2,]bethecontinuedfractionoftheirrationalnumberπ, andlet{u m /v m : m N} be the sequence of convergents such that π u m v m < b m vm 2 (2) Now, suppose that the product eπ = r/s = Q Z is a rational number Then s v m eπ p nu m v m < 2π 2e a n qn b m vm a n b m qn 2 (3) v2 m The left side follows from Lemma 2, and the right side follows from Lemma 24 Multiplying through by the integer s v m leads to eπs v m sp n u m < 2πsv m 2es s (4) a n b m v m a n b m v m By Lemma 3, there exists a pair of infinite subsequences of rational approximations that satisfies the inequality p 3 2 q 3 2 and u m v m (5) (2) ε q 3 2 v m 2(2) ε q 3 2, (6) where ε > 0 is a small number, as,m Replacing (6) into (4) yields eπsq 3 2 v m sp 3 2 u m (7) 2πsv m < 2esq 3 2 s a 2 q 3 2 b m v m a 3 b m q 3 2 v m 2 ε πs 2es s ε (2) ε b m 2b m (2) ε q ε πs ε 2es (2) ε s (2) 2 ε q3 2 2, where the last line uses b m By hypothesis, the quantities e π s p 3 2 v m and s q 3 2 u m (8) are integers But the left side of (7) is, and the strict inequality on the right side of (7) tends to 0 as This data implies that the number can not be an integer Ergo, the product eπ is not a rational number e π s q 3 2 v m (9) 2

3 The structure of the proof, in equations (3), (4), and (7), is similar to some standard proofs of irrational numbers Among these well nown proofs are the Fourier proof of the irrationality of e, see [2, p 35], [9, p 3], the proofs for ζ(2), and ζ(3) in [4], et alii A sample of numerical data is compiled in Section 4 to demonstrate the practicality of this technique 2 Foundation Except for Lemmas 24, and 3, all the materials covered in this section are standard results in the literature, see [9], [0], [2], [5], [7], [9], et alii A real number α R is called rational if α = a/b, where a,b Z are integers Otherwise, the number is irrational The irrational numbers are further classified as algebraic if α is the root of an irreducible polynomial f(x) Z[x] of degree deg(f) >, otherwise it is transcendental Lemma 2 If a real number α R is a rational number, then there exists a constant c = c(α) such that c q α p q (0) holds for any rational fraction p/q α Specifically, c /b if α = a/b This is a statement about the lac of effective or good approximations for any arbitrary rational number α Q by other rational numbers On the other hand, irrational numbers α R Q have effective approximations by rational numbers If the complementary inequality α p/q < c/q holds for infinitely many rational approximations p/q, then it already shows that the real number α R is irrational, so it is sufficient to prove the irrationality of real numbers Lemma 22 (Dirichlet) Suppose α R is an irrational number Then there exists an infinite sequence of rational numbers p n / satisfying 0 < α p n < () for all integers n N Lemma 23 Let α = [a 0,a,a 2,] be the continued fraction of a real number, and let {p n / : n } be the sequence of convergents Then 0 < α p n < a n qn 2 (2) for all integers n N This is standard in the literature, the proof appears in [9, Theorem 7], [7, Corollary 37], and similar references Lemma 22 and Lemma 23 suggest that a nonrational product αβ should have an inequality of the form 0 < αβ p nu m v m < c a n b m qnv 2 m 2, (3) where c > 0 is a constant This would be a very rigid irrationality test A different and more flexible irrationality inequality, which is a basic extension of the previous inequalities in Lemma 22 and Lemma 23, is provided here q 2 n 3

4 Lemma 24 Let α = [a 0,a,a 2,] and β = [b 0,b,b 2,] be distinct continued fractions for two distinct irrational numbers α,β R such that αβ m Z, is not an integer, respectively Then 0 < αβ p nu m v m < 2β a n qn 2α b m vm a n b m qn 2, (4) v2 m where {p n / : n } and {u m /v m : m } are the sequences of convergents respectively Proof By Lemma 23, there exists a sequence of convergents {p n / : n N} such that α p n < a n qn 2, (5) and the corresponding long form is p n a n q 2 n < α < p n a n qn 2 (6) Similarly, there exists a sequence of convergents {u m /v m : m N} such that β u m v m < b m vm 2, (7) and the corresponding long form is u m v m b m v 2 m < β < u m v m The product of the last two long forms returns ( )( ) pn um a n qn 2 v m b m vm 2 < αβ < Expanding these expressions produces ( pn b m vm 2 (8) a n q 2 n )( um v m b m v 2 m ) (9) p n u m u m p n v m a n qn 2 v m b m vm a n b m qn 2v2 m < αβ (20) < p nu m u m p n v m a n qn v m b m vm a n b m qnv 2 m 2 This can be rearranging as the equivalent inequality p n u m u m p n v m a n qn 2 v m b m vm 2 a n b m qn 2v2 m < αβ (2) < p nu m u m p n v m a n qn v m b m vm a n b m qnv 2 m 2 The previous inequality is rewritten as a standard absolute value inequality 0 < αβ p nu m v m < u m p n a n qn v m b m vm a n b m qnv 2 m 2 (22) To complete the proof, use the trivial upper bound p n 2α for all large integers n,m, confer (6) and (8) and u m v m 2β, (23) 4

5 For distinct irrationals α,β (0,), the simpler version 0 < αβ p nu m v m < a n qn b m vm a n b m qnv 2 m 2 (24) can be used to stream line the proof of a result such as Theorem Lemma 25 (Euler) The continued fraction e = [2,2,,,4,,,6,,,8,] of the natural base has unbounded quotients and the subsequence of convergents p n / satisfies the inequality e p n < a n qn 2 (25) The quotients have the precise form a 0 = 2, a 3 = a 3 2 =, a 3 = 2, (26) for The derivation appears in [3], [0, Theorem 2], [7, Theorem 30], [6], and other 3 Convergents Correlations The correlation of a pair of convergents {p n / : n } and {u m /v m : n } provides information on the distribution of nearly equal values of the continuants and v m Theregularpatternandunbounded propertiesofthe partialquotientsa n = a 3 = 2 ofthe continuedfraction of e, see Lemma 25, are used here to generate a pair of infinite subsequences of rational approximations {p 3 2 /q 3 2 : } and {u m /v m : }, for which the product p 3 2 u m q 3 2 v m eπ as,m (27) Furthermore, the values q 3 2 v m are sufficiently correlated The notation f(x) g(x) is defined by g(x) f(x) g(x) The recursive relations p =, p 0 = a 0, p n = a n p n p n 2, q = 0, q 0 =, = a n 2, (28) for all n, see [9], [2], [5], are used to estimate the rate of growth of the subsequences of continuants { : n } and {v m : m } Lemma 3 Let e = [a 0,a,a 2,] and π = [b 0,b,b 2,] be the continued fractions of this pair of irrational numbers Let δ > 0 and ε > 0 be a pair of arbitrary small numbers Then, the followings hold (i) If b m = o(m), then the exists a pair of subsequences of convergents p 3 2 /q 3 2 and u m /v m such that (2) ε q 3 2 v m 2(2) ε q 3 2 (29) (ii) If b m = O(m), then the exists a pair of subsequences of convergents p 3 2 /q 3 2 and u m /v m such that (2) ε q 3 2 v m 2(2) ε q 3 2 (30) (iii) If b m = O(m δ ), then the exists a pair of subsequences of convergents p 3 2 /q 3 2 and u m /v m such that (m ) ε v m 2(m ) ε v m (3) 5

6 Proof Case (i): The partial quotients b m = o(m) are bounded or unbounded Mae the change of index n mod 3 = (n2)/3 to focus on the subsequence of convergents p 3 2 /q 3 2 of the number e as, see Lemma 25 for more details Observe that q 3 2 = q 3 3 q 3 4 = q 3 2 q 3 = 2q 3 q q 3 2 q 3 = q 3 q q 3 2 q 3() 2 = q 3() 3 q 3() q 3 2 q 3() = 2( )q 3() q 3() ( )q 3 2 q 3() = q 3() q 3() 2 6 ( )q 3 2 q 3(2) 2 = q 3(2) 3 q 3(2) ( )q 3 2 q 3(2) = 2( 2)q 3() q 3(2) ( )( 2)q 3 2 This verifies that these numbers has exponential rate of growth in of the form (32) q 3(t) (4) t q 3 2, (33) for some t 0, as Next, consider the sequence of convergents u m /v m of the number π By hypothesis, the partial quotients b m = o(m) are bounded or unbounded Furthermore, to simplify the notation, assume that b m m δ for infinitely many integers m = m 0,m,m 2,m 3, Then, this implies the existence of a subsequence of convergents u m /v m such that v m = b m v m v m 2 = v m v m = b m v m v m 2 (2 m δ )v m v m2 = b m2 v m2 v m2 2 (2 2 m δ ) 2 v m v m3 = b m3 v m3 v m3 2 (2 3 m δ ) 3 v m Moreover, the existence of a single value v m >, see Tables and 2, such that (34) implies the existence of an infinite subsequence of lower bounds (2) ε q 3 2 v m 2(2) ε q 3 2, (35) v ms = (2 s m δ ) s v m (36) (2 s m δ ) s (2) ε q 3 2 (2) ε q 3(t) 2, where and use (33) to identify the relation q 3(t) 2 = (2 s m δ ) s q 3 2, (37) (2 s m δ ) s = o((4) t ) (38) for some s depending on t The corresponding subsequence of upper bounds satisfies v ms = (2 s m δ ) s v m (39) 2(2 s m δ ) s (2) ε q 3 2 2(2) ε q 3(t) 2 6

7 Combining the last two inequalities yields the required relation for some s,t as (2) ε q 3(t) 2 v ms 2(2) ε q 3(t) 2 (40) Case (ii): The the partial quotients b m are bounded or unbounded, and b m = O(m) The proof for this case is similar to Case (i) Case (ii): The partial quotients b m are unbounded, and b m = O(m δ ) In this case, (40) can fail, but since the inequality in Lemma 24 is symmetric in and v m, the proof is almost the same as Case (i), but the subsequences of convergents are switched to obtain the required relation (2 t m δ ) t v mt s 2(2 t m δ ) t v mt (4) for some s,t as Thedistributionofallthe continuants{ : n }associatedwith asubsetofcontinuedfractionsofbounded partial quotients is the subject of Zeremba conjecture, see[5] for advanced details For any continued fraction, the numbers { : n } have exponential growth ( ) n 5 = a n 2, (42) 2 which is very sparse subsequence of integers The least asymptotic growth occurs for the ( 5)/2 = [,,,] But the combined subset of continuants for a subset of continued fractions of bounded partial fractions has positive density in the sunset of integers N = {,2,3,} 4 Numerical Data For each fixed pair of index (n,m), the basic product inequality 0 < eπ p n u m v m < 2π a n qn 2e b m vm a n b m qnv 2 m 2 (43) is usedto test eachrationalapproximation It is quite easytofind the pairs(n,m) toconstructasubsequence of rational approximations p n u m v m eπ (44) as n, m The subsequence of rational approximations is generated by the following algorithm Algorithm Fix an arbitrary small number ε > 0 Input an integer n mod 3 2 Let = (n2)/3 3 Let a n = a 3 = 2, and fix the convergent p n / = p 3 2 /q 3 2 of the natural base e 4 Choose a convergent u m /v m of π such that (2) ε q 3 2 v m 2(2) ε q 3 2 (45) 5 If Step 4 fail, then increment n mod 3, and repeat Step 2, the existence is proved in Lemma 3, see also Remar 4 7

8 (n, m) = (9,0) (a n,b m ) = (2,) p n = = u m = v m = eπ pn u m u m a nqn 2 vm p n b mvm 2 qn a nb mqn 2v2 m vm = = Table : A Rational Approximation Of The Product eπ u m a nqn 2 vm p n b mvm 2 qn a nb mqn 2v2 m (n, m) = (3,2) (a n,b m ) = (20,2) p n = = u m = v m = eπ pn u m vm = = Table 2: A Rational Approximation Of The Product eπ 6 Output a 3 = 2, p 3 2 /q 3 2 and u m /v m The parameters for two small but very accurate approximations are listed in the Tables and 2 These examples demonstrate the practicality of the algorithm Remar 4 Step 5 maes the algorithm independent of the rate of growth of the partial quotients of the number π Various versions of this algorithm are possible, for example, by modifying the interval in (45) 5 Sums, Differences, and Ratios The continued fraction α = [a 0,a,a 2,] of an irrational number α R Q and its inverse { α = [0,a 0,a, ] if α >, [a,a 2,a 3, ] if 0 < α <, (46) see [0, p 4], are the same up to a partial quotient a 0 Thus, the same result as in Theorem is valid for the ratios π e and e π (47) Furthermore, since ±πe is irrational, the sum eπ = e(πe ), and difference e π = e( πe ), are also irrationals In general, the products of irrational numbers are not irrationals, for example, the products of the irrational algebraic integers α = a b d and β = a b d, with d m 2, are rationals However, the products of almost every pair of distinct, and nonconjugates irrationals seems to be irrationals This can be proved using Khintchin theorem 8

9 The rationality or irrationality of a product is heavily determined by the rate of growth of the partial quotients of the continued fractions of these numbers The next result covers a large collection of such numbers Theorem 5 Let α = [a 0,a,a 2,] and β = [b 0,b,b 2,] be distinct continued fractions for two distinct irrational numbers α,β R such that αβ m Z, is not an integer, respectively Suppose that at least one has unbounded quotients a n or b m Then, the product αβ is irrational Proof Same as Theorem mutatis mutandis 6 Algebraic Irrational Numbers The simplest cubic irrationals such as 2 /3 = [,3,,5,,,4,,,8,,4,] have unnown patterns of partial quotients, and there are no information on the magnitude a n = O(n r ) with r 0 The algebraic structure of an algebraic irrational number forces the partial quotients of its continued fraction to be bounded As an illustration, let R = {α,α 2,,α d } R be the set of real roots of the irreducible polynomial f(x) = a d x d a x a 0 Z[x], and let A R, and B = R A Then, the product of irrational real numbers α = α i and β = β i (48) α i A is an integer αβ = a 0 Z There lots of algebraic relationships In particular, all the symmetric polynomials S(x,x 2,,x d ) Z[x,x 2,,x d ]areintegervaluedattherootsofanyirreduciblepolynomialf(x) Z[x] Theorem 6 Let α = [a 0,a,a 2,] be a root of an irreducible polynomial f(x) Z[x] of deg(f) = d > Then, the partial quotients a n = O() are bounded for all n Proof Let α = [a 0,a,a 2,] and β = [b 0,b,b 2,] be distinct continued fractionsfortwodistinct irrational numbers α = α 0, and β = α α 2 α d R, where f(α i ) = 0 for i = 0,,2,,d Assume that the partial quotients a n as n are unbounded Then, a modified version of the proof of Theorem can be used to prove that the product αβ is irrational But, αβ = f(0) Z is an integer, which contradicts the assumption a n as n Therefore, the partial quotients a n = O() are bounded The converse of this theorem for the products of algebraic irrational numbers is not valid For example, the product of the two algebraic irrational numbers 2 3 = 6 is irrational, but it does not imply that at least one of the numbers 2 or 3 has unbounded partial quotients However, the converse of this theorem for the products of transcendental irrational numbers can be valid For example, the product of the two noninverse transcendental irrational numbers e m e n = e mn for n ±m, is irrational and has unbounbed partial quotients, 7 Equivalence Relations The theory of uniform distribution is intrinsically lined to irrational numbers, confer [] Given this fact, it is not surprising that some of its technique can be used to study the properties of irrational numbers Definition 7 A pair of real numbers x,y R are equivalent over the rational numbers if there exists r Q such that x = ry Definition 72 A pair of real sequences {S n R : n } and {T n R : n } are equivalent over the rational numbers if there exists r Q such that S n = rt n for almost all integers n N β i B 9

10 Lemma 7 (Equivalent Number Test) If the real sequences {S n R : n } and {T n R : n } are equivalent over the rational numbers, then the its relations holds e isn = The Equivalent Number Test in Lemma 7 effectively performs the followings tass Classifies the two rational numbers as a single class e itn (49) 2 Classifies a nown irrational number α R Q and a rational number r Q as two distinct equivalent classes That is, as not being equivalent For example, set S n = 2παn and R n = 2πrn and apply Lemma 72 3 Classifies a nown irrational number α R Q and π as two distinct equivalent classes That is, as not being equivalent This follows from Theorem 7 However, the converse of Lemma 7 is not valid: it cannot distinguish between two nown irrational numbers, which do not involve the number π is some effective way, as being inequivalent For example, it cannot establish that 2 2 and 3 2 are in two distinct equivalent classes Theorem 7 The following numbers are linearly independent over the rational numbers Q (i) The nonnegative numbers π and α R πq (ii) The nonnegative numbers lnπ and α R lnπq Proof (i) Suppose that the equation a α b π = c has a nontrivial rational solution (a,b,c) (0,0,0) Equivalently, 2bπn = 2(c aα)n for all n Z Accordingly, Lemma 72 implies that the its e i2bπn = are equivalent These its are evaluated in two distinct ways e i2(aα c)n (50) I Based on the properties of the number π Use the identity e i2πn = to evaluate of the left side it as e i2bπn = = 2 (5) II Based on the properties of the number aα c Since the number t = aα c π for any irrational number α R lnπq, and any integer Z, the value sin(t) = sin(aα c) 0 Applying Lemma 72, the right side has the it e i2(aα c)n sin((2x)t) = sin(t) sin(aα c) = 0 Clearly, these distinct its contradict equation (54) Hence, the Diophantine linear equation a αb π = c Q[α,π] has no solutions in rational numbers (52) 0

11 (ii) Assume a αb lnπ = c has a nontrivial rational solution (a,b,c) (0,0,0) Consider the sequences where n Z Procceed as in the previous case, and evaluate the its 2πn = 2e (c aα)/b n, (53) e i2πn = Corollary 7 The followings statements are valid (i) The numbers e and π are linearly independent over the rational numbers e i2e(c aα)/bn (54) (ii) The trace π e and norm π e of the polynomial f(x) = (x π)(x e) are irrational numbers Proof (i) To prove the linear independence assume that a eb π = c, where a,b,c Q, has a nontrivial solution in rational numbers (a,b,c) ((0,0,0) Equivalently, 2b π n = 2(c a e)n for all n Z Repeat the argument in the proof of Theorem 7 (ii) The irrationality of the trace e π follows from linear independence, Theorem 7 To prove the irrationality of the norm, assume that e π = r Q is rational Set 2πn = 2e rn, and apply the Equivalent number test, Lemma 7 Corollary 72 The followings statement are valid (i) The number π and ln 2 are linearly independent over the rational numbers (ii) The trace πln2 and norm π ln2 of the polynomial f(x) = (x π)(x ln2) are irrational numbers Proof The same as the previous Corollary 7 Theorem 72 The followings statement are valid (i) The number e πa is an irrational number for all rational a Q (ii) The number e πa π b is an irrational number for any rational pair a,b Q Proof (i) It is sufficient to consider a 0 since the case a = 0 reduces to e πa = e On the contrary, let e e πa = r Q be a rational number Rewrite it as π = π a lnr Now apply the equivalent number test, Lemma 7, to the sequences S n = 2πn = T n = 2nπ a lnr, where n (ii) The proof of this is similar Corollary 73 The followings statement are valid (i) The real number i iπa is irrational number for any rational a Q (ii) The real number i i(πa π b) is irrational number for any rational pair a,b Q Proof (i) For a = 0, is the implest i i = e π/2 = r Q, and taing logarithm yield the equation π = 2lnr Now apply the equivalent number test, Lemma 7, to the sequences S n = 2πn = T n = 2nlnr, where n Z In fact, by Theorem 7, the two numbers π/2 and lnr are linearly independent over the rational numbers Lemma 72 For any real number t 0 and a large integer x, the finite sum e i2tn = sin((2x)t) (55) sin(t)

12 Proof Expand the complex exponential sum into two subsums: e i2tn = e i2t e i2tn e i2tn (56) 0 n x 0 n x Lastly, use the geometric series to determine the closed form Lemma 73 The number lnr Q is an irrational for all rational r Q 8 Linear Independence Of Zeta Constants Very few arithmetic properties of the zeta constants are nown Recently, it was proved that,ζ(5),ζ(5),,ζ(25), (57) are linear independent over the rational numbers, confer [20] An improment of earlier wors appears in [8], it proves that many consecutive odd zeta constants are irrationals In section, it is demonstrated that the zeta constants are pairwise linear independent Theorem 8 The following numbers are linearly independent over the rational numbers Q (i) The nonnegative numbers, π r and π s, where r,s N are distinct nonzero integers (ii) The nonnegative numbers, ζ(2r) and ζ(2s), where r,s N are distinct nonzero integers Proof (i) Suppose thatthe equation aπ r bπ s c = 0hasanontrivialrationalsolution(a,b,c) (0,0,0) Without loss in generality assume a,b,c Z are integers Multiplying by 2πn across the board, and rewrite it in the equivalent form 2aπn = 2 ( π r bπ s c ) πn (58) for all n Z Accordingly, Lemma 72 implies that the its e i2aπn = are equivalent These its are evaluated in two distinct ways e i2(πr bπ s c)πn (59) I Based on the properties of the number π Use the identity e i2πn = to evaluate of the left side it as e i2aπn = = 2 (60) II Based on the properties of the number π r b π s c Since r,s, and r s, the number t = π r b π s c π for any nontrivial pair (b,c) (0,0), and any integer Z, the value sin(t) = sin ( π r bπ s c ) 0 Applying Lemma 72, the right side has the it e i2(πr bπ s c)n sin((2x)t) = sin(t) sin(π r bπ s c) = 0 (6) Clearly, these distinct its contradict equation (54) Hence, the Diophantine linear equation aπ r b π s c = 0 has no solutions in rational numbers (a,b,c) (0,0,0) 2

13 (ii) Suppose that the equation aζ(3) bζ(5) c = 0 has a nontrivial rational solution (a,b,c) (0,0,0) Without loss in generality assume a,b,c Z are integers Multiplying by 2πn across the board, and rewrite it in the equivalent form 2aπn = 2(ζ(3)bζ(5)c)πn (62) for all n Z Accordingly, Lemma 72 implies that the its e i2aπn = are equivalent These its are evaluated in two distinct ways e i2(ζ(3)bζ(5)c)πn (63) I Based on the properties of the number π Use the identity e i2πn = to evaluate of the left side it as e i2aπn = = 2 (64) II Based on the properties of the number (ζ(3)bζ(5)c)π Since the number t = (ζ(3)bζ(5)c)π π for any nontrivial pair (b,c) (0,0), and any integer Z, the value sin(t) = sin(ζ(3)πbζ(5)πc) 0 Note that since ζ(3) is irrational, the expression sin(ζ(3)πb ζ(5)πc) = cos(ζ(3)πb) sin(ζ(5)πc) cos(ζ(5)πc) sin(ζ(3)πb) 0 (65) independently of the value of ζ(5)πc 0 Applying Lemma 72, the right side has the it e i2(ζ(3)bζ(5)c)πn sin((2x)t) = sin(t) sin(ζ(3)πb ζ(5)πc) = 0 (66) Clearly, these distinct its contradict equation (54) Hence, the Diophantine linear equation a ζ(3) bζ(5) c = 0 has no solutions in rational numbers (a,b,c) (0,0,0) Another way to verify that sin(t) = sin(ζ(3)πb ζ(5)πc) 0, is to note that ζ(3) is irrational, so the expression sin(ζ(3)πb ζ(5)πc) = cos(ζ(3)πb) sin(ζ(5)πc) cos(ζ(5)πc) sin(ζ(3)πb) independently of the value of ζ(5)πc Corollary 8 The number ζ(5) is irrational 0 (67) Proof By Theorem 8 the Diophantine equation aζ(3) bζ(5) c= 0 has a nontrivial rational solution (a,b,c) (0,0,0) Hence, ζ(5) a/c Q 9 Recursive Proofs A zeta constant at the even integer argument has an exact Euler formula ζ(2n) = ( ) n(2π)2n B 2n 2(2n)! (68) 3

14 in terms of the Bernoulli numbers B 2n, for n This formula expresses each zeta constant ζ(2n) as a rational multiple of π 2n The formula for the evaluation of the first even zeta constant ζ(2), nown as the Basel problem, was proved by Euler, later it was generalized to all the even integer arguments Today, there are dozens of proofs, see [6] for an elementary introduction In contrast, the evaluation of a zeta constant at an odd integer argument has one or two complicated transcendental power series The general forms of these formulas are a n π 4n b n n 4n (e 2πn if s = 4n, ) n ζ(s) = a n π 4n 3 b n n n 4n 3 (e 2πn ) c n n n 4n 3 (e 2πn ) if s = 4n 3, where a n,b n,c n Q are rational numbers These formulas express each zeta constat ζ(2n) as a nearly rational multiple of π 2n The derivations involve the Ramanujan series for the zeta function, and appear in [8], [7], et alii The first few are ζ(3) = 7π n 3 (e 2πn ), n 2 ζ(5) = π n n 5 (e 2πn ) 2 35 n 3 ζ(7) = 9π n 7 (e 2πn ), n n 5 (e 2πn ), et cetera These analysis are summarized in a compact formula Definition 9 Let s 2 be an integer The π-representation of the zeta constant ζ(s) is defined by the formula { rπ s if s = 4n,4n2, ζ(s) = rπ s (70) u if s = 4n,4n 3, where r Q is a rational number and u R is a real number The irrationality of the first even zeta constant ζ(2) was proved by the technique of Lambert, see [3, p 29] The irrationalityof the first odd zeta constant ζ(3) was proved by Apery in 978, [] The irrationalityof the other odd zeta constants ζ(s) remain unnown for s 5, see [8] and [20] The π-representation in Definition 9 offers a recursive method for proving the irrationality of ζ(2n) from the nown irrationality of π 2n2 for n For example, the irrationality of (69) ζ(3), ζ(5), ζ(7), ζ(9),, (7) can be derived from the nown irrationality of the numbers π 4,π 6,π 8,π 0, More generally, this idea can be used to recursively prove the irrationality of ζ(s) from the nown irrationality of π s for s 2 The inner woring of this technique is demonstraded here for s = 5 Theorem 9 The number ζ(5) is irrational Proof Use the π-representation of this number to rewrite this equation as ζ(5) = π5 U, (72) 294 where U 0 is real number, refer to Definition 9 for more information The proof is split into two cases Case U = r 0 π 5 r, with r 0,r Q rational numbers This immediately implies that ζ(5) = π5 π5 U = r 0π 5 r = r 2 π 5 r, (73) 4

15 where r 2 Q a rational number Ergo, ζ(5) is irrational Case 2 U r 0 π 5 r, with r 0,r Q rational numbers Suppose that the equation ζ(5) = a/b Q is a rational number Proceed to rewrite the pi- representation as a b = π5 U, (74) 294 where U 0 is real number, refer to Definition 9 for more information Multiply by 2πn and the lowest common multiple to obtain the equation where A = 294a,B = b,c = 294b Z and U R 2Aπn = 2 ( Bπ 6 CUπ ) n, (75) Next, it will be demonstrated that left side sequence {2Aπn : n Z} is not uniformily distriduted, but the right side sequence {2 ( Bπ 6 CUπ ) n : n Z} is uniformly distributed Toward this end, consider the its These its are evaluated in two distinct ways e i2aπn = e i2(bπ6 CUπ)n (76) I Based on the properties of the number 2Aπ Use the identity e i2aπ =, where A is a fixed integer, to evaluate the it of the left side of equation (76) as e i2aπn = = 2 (77) II Based on the properties of the number Bπ 6 CUπ, where U r 0 π 5 r By Lemma 9 sin(t) = sin ( Bπ 6 CUπ ) 0 Thus, Lemma 72 is applicable, and the it of the left side of equation (76) is e i2(bπ6 CUπ)n sin((2x)t) = sin(t) sin(bπ 6 CUπ) = 0 (78) Clearly, these distinct its contradict equation (76) Hence, the number ζ(5) R is not a rational number Lemma 9 If the number U r 0 π 5 r, then sin ( Bπ 6 CUπ ) 0, where r 0,r Q are rational numbers, and B,C Z are integers Proof The contrary statement satisfies the relation 0 = sin ( Bπ 6 CUπ ) = cos ( Bπ 6) sin(cuπ)cos(cuπ)sin ( Bπ 6) (79) Hence, tan(bπ 6 ) = tan(cuπ) Since the tangent function is periodic and one-to-one on the interval ( π/2,π/2), it implies that Bπ 6 = CUπ mπ, for some m Z Equivalently U = r 3 π 5 r 4 with r 3,r 4 Q But this contradicts the assumption 5

16 0 Problems Exercise 0 Let f(x) = c d x d c xc 0 Z[x] be an irreducible polynomial of deg(f) = d > Find an explicit upper bound a n = B(c 0,c,c d ), where B(x 0,x,x d ) R[x 0,x,x d ] is a bounded function Exercise 02 Giventwocontinuedfractionsα = α 0, andβ = [b 0,b,b 2,]fortwodistinct irrationalnumbersα = α 0,findaformulaforcomputingtheproductαβ = [c 0,c,c 2,]wherec i = c i (a 0,a,;b 0,b,) Exercise 03 Prove that γ = ( ( n log )) n n Exercise 04 Prove that π,π 2,π 3,π 4,π 5,,π n is irrational for any rational numberr 0 Exercise 05 Prove that π,π 2,π 3,π 4,π 5,,π n are pairwise, and triplewise linearly independent over the ration numbers Exercise 06 Prove or disprove that π 3 = rζ(3), where 0 r Q Exercise 07 Show that π 3 R is not algebraic Exercise 08 Show that i i R is not algebraic Exercise 09 Show that lnπ R is irrational Exercise 00 Prove or disprove that a pair of algebraic numbers α, β R are linearly independent over the rational numbers, that is, aαbβ = c has no nontrivial rational solutions (a,b,c) (0,0,0) Exercise 0 Prove or disprove that power series where r 0 Q is rational number S 0 (3) = n Exercise 02 Prove or disprove that power series where r 0 Q is rational number S 0 (5) = n Exercise 03 Prove or disprove that power series where r Q is rational number S (5) = n Exercise 04 Prove or disprove that power series where r 0 Q is rational number S 0 (7) = n n 3 (e 2πn ) = r 0π 3, n 5 (e 2πn ) = r 0π 5, n 5 (e 2πn ) = r π 5, n 7 (e 2πn ) = r 0π 7, 6

17 References [] Apery, Roger Irrationalite de ζ(2) et ζ(3) Luminy Conference on Arithmetic Asterisque No 6 (979), -3 [2] Aigner, Martin; Ziegler, Gunter M Proofs from The Boo Fifth edition Including illustrations by Karl H Hofmann Springer-Verlag, Berlin, 204 [3] Berggren, Lennart; Borwein, Jonathan; Borwein, Peter Pi: a source boo Third edition Springer-Verlag, New Yor, 2004 [4] Beuers, F A note on the irrationality of ζ(2) and ζ(3) Bull London Math Soc (979), no 3, [5] Jean Bourgain, Alex Kontorovich, On Zaremba s Conjecture, arxiv: [6] Cohn, Henry A short proof of the simple continued fraction expansion of e Amer Math Monthly 3 (2006), no, [7] Bruce C Berndt, Armin Straub, Ramanujan s Formula for zeta(2n ), arxiv: [8] Stephane Fischler, Johannes Sprang, Wadim Zudilin, Many odd zeta values are irrationals, arxiv: [9] Hardy, G H; Wright, E M An introduction to the theory of numbers Sixth edition Oxford University Press, Oxford, 2008 [0] Lang, Serge Introduction to Diophantine approximations Second edition Springer-Verlag, New Yor, 995 [] Kuipers, L; Niederreiter, H Uniform distribution of sequences Pure and Applied Mathematics Wiley- Interscience, New Yor- London-Sydney, 974 [2] Niven, Ivan; Zucerman, Herbert S; Montgomery, Hugh L An introduction to the theory of numbers Fifth edition John Wiley & Sons, Inc, New Yor, 99 [3] Olds, C D; The Simple Continued Fraction Expansion of e Amer Math Monthly 77 (970), no 9, [4] Raney, George N On continued fractions and finite automata Math Ann 206 (973), [5] Rose, H E A course in number theory Second edition Oxford Science Publications The Clarendon Press, Oxford University Press, New Yor, 994 [6] Stopple, Jeffrey A primer of analytic number theory From Pythagoras to Riemann Cambridge University Press, Cambridge, 2003 [7] Steuding, Jörn Diophantine analysis Discrete Mathematics and its Applications (Boca Raton) Chapman & Hall/CRC, Boca Raton, FL, 2005 [8] Linas Vepstas, On Plouffe s Ramanujan Identities, arxiv:math/ [9] Waldschmidt, Michel An Introduction to Irrationality and Transcendence Methods, Lecture, wwwmathjussieufr/ miw/articles/pdf/awslecturepdf [20] Wadim Zudilin, One of the Odd Zeta Values from ζ(5) to ζ(25) Is Irrational, arxiv: