TRANSCENDENTAL NUMBERS

Size: px
Start display at page:

Download "TRANSCENDENTAL NUMBERS"

Transcription

1 TRANSCENDENTAL NUMBERS JEREMY BOOHER. Introduction The Greeks tried unsuccessfully to square the circle with a comass and straightedge. In the 9th century, Lindemann showed that this is imossible by demonstrating that π is not a root of any olynomial with integral coefficients. Such numbers are said to be transcendental. Although the distinction between algebraic and transcendental numbers seems similar to the distinction between rational and irrational numbers, transcendental numbers are considerably more mysterious. For examle, it is a standard fact that the algebraic numbers are countable, while the transcendentals are uncountable. Although there are more transcendental numbers, it is surrisingly difficult to exhibit any transcendental number, let alone show a naturally occurring number like e or π is transcendental. We will first discuss Liouville s theorem, which shows that certain secially constructed numbers are transcendental. We then follow Hermite in roving that e is transcendental. The idea is to aroximate the function e z by rational functions, known as Padé aroximants, and use these good aroximations to show e cannot be algebraic. The actual roof is short and self-contained, but crytic in isolation. We then illustrate how Padé aroximants give a natural derivation of the continued fraction exansion of e, following Cohn [3]. Finally, we rove the Lindemann-Weierstrass theorem and as a consequence shows that π is transcendental, following the standard method as resented in [4] or [2]. 2. Aroximation and Transcendental Numbers We first rove a classical aroximation theorem for algebraic numbers which will let us show that certain exlicit, secially constructed numbers are transcendental. Theorem (Liouville). Let β be a solution to a olynomial f(x) = i a ix i of degree d with integral coefficients. Then there exists a constant δ, deending on β, such that for any rational number q β with q >, we have > δ q d. Proof. We factor f(x) = a d (x β) m (x α ) m... (x α n ) mn over the comlex numbers. Let γ be the minimum distance between β and any of the α i. For any δ < γ, no root α i of f(x) satisfies α i β < δ q d < γ. Thus we may assume that q is not a root, so qd f( q ) is a non-zero integer. Thus q d a + q d a a d d Date: 22, udated Aril 7, 26. In contrast, it is elementary to find families of irrational numbers, like n for n square-free.

2 2 JEREMY BOOHER and hence using the factorization that m () a d q d ( q α ) m... ( q α n). mn If > γ and δ < γ, the roof is finished. So suose that that q β γ. Under this assumtion, letting ρ be the maximum of α i β we see that α i q α i β + β q ρ + γ This gives the estimate q α m... q α n n m (ρ + γ) d m. Taking δ to be ositive but less than both γ and ( a d (ρ + γ) d m) m m δm and hence after taking mth roots that Thus no rational number satisfies q d δ q d/m δ q d. < δ q d. and using () gives This theorem can be used to exhibit an exlicit transcendental number. Consider the number β = k= 2 k!. If it were algebraic, then it would be the root of a degree d olynomial. By Liouville s theorem, there would be a δ > such that no rational number q satisfies < δ q d. This is not ossible as the non-zero binary digits of β are far aart, so aroximation. More recisely, let q = 2 K! and = = k=k+ 2 k! k=(k+)! n 2 k! will be too good an k= K 2 K! k!. Then we have k= If we ick K so K > d and 2 2 K! < δ, we get 2q q K δ q d. 2 k = 2 (K+)! 2 = 2q (K+). This contradicts Liouville s theorem, and hence β is transcendental. Liouville s theorem is a simle way to exhibit transcendental numbers. It is more work to show natural constants such as e and π are transcendental.

3 TRANSCENDENTAL NUMBERS 3 3. The Transcendence of e This section will establish that e is a transcendental number. We first resent the elementary argument that e is irrational, and then look at the theory of Padé aroximants to rove that e r is irrational for r Q\{}. We then simlify the roof and use its essential features to rove that e is transcendental. 3.. The irrationality of e. It is very easy to show that e is irrational using its definition as Suose e = a b e := n=. with a and b relatively rime integers. Then for n b, ( ) n N := e k! is an integer because e and k! are integers. However, estimating N shows that < N = n + + (n + )(n + 2) +... < n + + (n + ) = n which is imossible. Thus e is irrational Interlude. The above argument demonstrates the general method of roving that numbers are transcendental: first use analytic roerties to aroximating the number, and then suose the number is algebraic and use the assumtion to show the error is an integer between and. Sometime it is more convenient to use the assumtion to show the estimate is a non-zero multile of a large integer but show the error cannot be that big. The analytic content used to rove that e is irrational was the ower series exansion of e z around z =. Unfortunately, this does not generalize to showing e is transcendental, or even that related numbers like e 5 are irrational. The aroximation of e z by a truncated ower series is too weak to readily give roofs of these facts. Power series determine holomorhic functions which are the basic building blocks of the world of comlex analysis. Meromorhic functions are the next simlest object, so we can hoe to better aroximate e z using rational functions, just as ratios of integers rovide better aroximations to real numbers than integers do Aroximations by Rational Functions. Hermite was able to use the idea of aroximating e z by rational functions to show that e is transcendental. The theory of aroximating general ower series was first studied systematically by Hermite s student Padé near the end of the nineteenth century, so these rational functions are called Padé aroximants desite the secial cases we care about being used earlier. Definition 2. For an analytic function f(z) and air (n, m) of non-negative integers, a Padé aroximant of order (n, m) at is a rational function R(z) = P (z) Q(z) with deg(p ) n and deg(q) m such when exanded as ower series around we have k= f(z) R(z) = O(z n+m+ ). Padé aroximants are analogous to rational aroximations of irrational numbers, so we hoe for similarities with the theory of aroximating real numbers by rationals. From the theory of continued fractions, we know:

4 4 JEREMY BOOHER Fact 3. Let α be an irrational number. For any n, there exists a rational number q with and q relatively rime integers and q > n such that q α < q 2. The quantity qα is an estimate in the error of the aroximation relative to the size of the denominator, and goes to zero as the size of the denominator becomes large. For a Padé aroximant P (z) Q(z) of f(z), the analogous term is P (z) Q(z)f(z) and being small means vanishing to a large order at z =. We are mainly interested in Padé aroximants for e z, so instead of dealing with the general theory we will show that they are unique and then construct Padé aroximants for e z directly. Proosition 4. The Padé aroximant of order (n, m) is unique u to scaling P and Q. Proof. Suose P (z) Q (z) and P 2(z) Q 2 (z) are both Padé aroximants to the same function, both of order (n, m). Then when exanding them as ower series around, we have P (z) Q (z) P 2(z) Q 2 (z) = O(zm+n+ ) Combining the fractions, we see that since Q (z) and Q 2 (z) are nonzero at z =, the order of vanishing of P (z)q 2 (z) P 2 (z)q (z) must be at least m+n+. But this is a olynomial of degree at most m + n, so it vanishes identically. Thus P = cp 2 and Q = cq 2. Since there are m + n + 2 coefficients to ick and P (x) Q(x) deends only on the olynomials u to scalars, we exect to be able to force m + n + coefficients to agree. So general existence theorems for Padé aroximants are not surrising. However, we simly need to understand the aroximants for e z. One simle way to do this is to reformulate definition of Padé aroximants in terms of comlex analysis. Clearing the denominator in the definition, we can equally well require that the olynomials P (z) and Q(z) satisfy as ower series around, or equivalently that P (z) e z Q(z) = O(z m+n+ ) P (z) e z Q(z) z m+n+ is holomorhic at z =. To find and q, the key is exerience with evaluating integrals involving the exonential function multilied by a olynomial. For examle, xe z xz dx = z xez xz + In general, if r(x) is a olynomial of degree n, then e z xz r(x)e z xz dx = P (z)ez Q(z) z n+ z dx = ez z z 2. where Q(z) and P (z) are olynomials obtained via reeated integration by arts. To find Padé aroximants, we need the olynomials P (z) and Q(z) roduced by integration by arts to have low degrees. This requires a secial choice of r(x). Proosition 5. For any olynomial r(x) of degree m + n, r(x)e z xz dx = F (z, )ez F (z, ) z m+n+

5 TRANSCENDENTAL NUMBERS 5 where F (z, x) is the sum (2) F (z, x) := r(x)z m+n + r (x)z m+n r (n+m) (x). In articular, for any m and n, there exist a olynomial r(x) of degree m + n such that where deg(p ) m and deg(q) n. r(x)e z xz dx = P (z)ez Q(z) z m+n+ Proof. The formula for F can be found by reeated integration by arts, but we can just verifying it directly: d ( F (z, x)e z xz ) = dx n+m i= ( r (i) (x)z m+n+ i e z xz r (i+) (x)z m+n i e z xz) = r(x)z m+n+ e z xz. Selecting r(x) so that r() = r () =... = r (n) () = and r() = r () =... = r (m) () = forces the degree of P (z) = F (z, ) and Q(z) = F (z, ) to be at most m and n resectively. To do this, take r(x) = x n ( x) m. Corollary 6. For any air (n, m) there exist a Padé aroximant of order (n, m) for e z The Irrationality of Nonzero Rational Powers of e. These basic ideas about Padé aroximants rovide a method (following []) to show owers of e are irrational. Proosition 7. Let a be a non-zero rational number. Then e a is irrational. Proof. It suffices to rove this when the exonent is a ositive integer, since owers of rational numbers are rational. Let e = a b with a, b ositive and relatively rime. By our analogy with aroximation of rational numbers, we want to take z = and use the fact that P () Q()e is an estimate on the error. Combined with the hyothesis that e is rational, it will yield a contradiction. The error is closely related to the integrals of the revious section. If we set r(x) = x n ( x) n, the relevant integral becomes r(x)e x dx = F (, )e F (, ) 2n+. Using the assumtion that e r is rational, a nice bound is af (, ) bf (, ) = b 2n+ e x x n ( x) n dx b 2n+ e = a 2n+. However, we know that r (k) () = r (k) () = for k < n. Thus the only derivatives aearing in (??) are at least the nth derivative. Since r(x) has integral coefficients the nth and further derivatives at and must be multiles of by Taylor s formula. Thus af (, ) bf (, ) is a multile of. It is not zero since the integral is clearly ositive. If we chose n so that > a 2n+ (ossible since > e ( ) n n) e we get a contradiction. Thus e is irrational. As we attemt to generalize this, there is one simlification to kee in mind. We argued that F (, ) and F (, ) are multiles of a large number ( in this case). This haens because the first n derivatives of f(x) are zero at z = and z =. Since f has integral coefficients, Taylor s formula imlies the higher derivatives are multiles of. It would be better to divide r(x) by so that F (, ) and F (, ) are integers and show the error is an integer between and than to try to kee track of divisibility. This will be imlemented in the next section as we show e is transcendental.

6 6 JEREMY BOOHER 3.5. Transcendence of e. Suose e is algebraic, so there exists integers b i Z such that b + b e b d e d =. We want to aroximate e, e 2,..., e d by rational functions, and then evaluate the error terms. One way to aroximate the owers of e would simly be to use Padé aroximants for each one. But they will be unrelated, and the argument becomes unnecessarily comlicated. 2 The correct aroach is a generalization of the roblem of simultaneous aroximation of irrationals. Fact 8 (Dirichlet). Given α,..., α r in R and n >, there exist,..., r, q Z with < q n such that i q α i <. The key is to aroximate the irrationals by fractions of the same denominator. As before, the quantity i qα i is an estimate of the error relative the size of the denominator that becomes small as q becomes large. By analogy, we need to aroximate e, e 2,..., e d by rational functions with the same denominator. We look at integrals of the form qn r r(x)e z xz dx = F (z, )ez F (z, ) z n+ If we simly try lugging in different values of z, the denominator changes. To get the same denominator, we need to fix z and change the uer bound of integration. This will relace the e by e m while keeing the F (z, ) term. Therefore we are led to look at m r(x)e m x dx = F (, )e m F (, m) as a measure of the error of aroximating e m by F (,m) F (,). So to set u the roof, define F (x) = r(x) + r (x) r deg(r) (x) and I(m) := m Since we want the degrees of F (j) to be small for j =,, 2..., d, take r(x) = (n )! xn ((x )(x 2)... (x d)) n. r(x)e m x dx = F ()e m F (m). This is very similar to the choice of x n ( x) n from the irrationality argument, excet we look at more oints and we simlify by dividing by (n )!. If we aroximate e m by F (m) F (), the error is ( + b e F () ) ( b d e d F (m) ). F () F () Multilying through by the common denominator F () gives + b I() + b 2 I(2) b d I(d). as an estimate of the error. The term I(m) = F (m) F ()e m corresonds to the error term bα i a i when we aroximate the real number α i by a i b. Theorem 9. The number e is transcendental. 2 This aroach is needed to rove the Lindemann-Weierstrass theorem in section 5.. That roof uses the same ideas as in Hermite s roof but requires more work. The transcendence of e does follow immediately.

7 Proof. Suose e is algebraic and satisfies TRANSCENDENTAL NUMBERS 7 b + b e b d e d = where the b i are integers. We have defined r(x) = (n )! xn ((x )(x 2)... (x d)) n We consider the error term F (x) = r(x) + r (x) r (nd ) (x) I(m) = m e m x r(x)dx = F ()e m F (m). J : = b I() + b 2 I(2) b d I(d) ( = b (F () F ()) + b (F ()e F ()) + b 2 F ()e 2 F (2) ) ) b d (F ()e d F (d) = (b F () + b F () b d F (d)). The first ste is to show that J is a nonzero integer. We will do this when n is a rime larger than b. First, a lemma. Lemma. Let m =,,..., d and k be a ositive integer. Then r (k) (m) is an integer. Unless k = n and m =, r (k) (m) is a multile of n. Proof. The derivative r (k) (m) is k! times the coefficient of (x m) k in the ower series exansion of r(x) around m. By the definition of r(x), it vanishes to order n at and to order n at, 2,..., d. Therefore when r (k) (m) is non-zero k n and hence the denominator is canceled out. Provided n is much larger than d, r n () is clearly the only derivative not a multile of n. This immediately shows that F (m) is an integer, and hence J is an integer also. To show J is a nonzero integer, note that all of the derivatives aearing in the sums F (), F ()... F (d) are multiles of n excet for r (n ) (). But since b < n and n is rime, the term b r (n ) () is not a multile of n. Therefore J is a non-zero integer. The second ste is to estimate the integral. If y is in the interval [, d] then r(y) (n )! (2d)n (2d) n... (2d) n = (n )! (2d)dn. As (n )! grows faster than c n, this is less than any ɛ > for sufficiently large n. But then m I(m) = r(x)e m x dx mem ɛ, so J b I() + b 2 I(2) b d I(d) ɛ (b e + b 2 2e b d de d) which can be made less than by aroriate choice of ɛ. This contradicts the fact that J is a non-zero integer. Therefore e is transcendental. Corollary. For any non-zero rational number a, e a is transcendental. Proof. Suose β = e a = e q is algebraic where and q are integers. We may assume both are ositive. Then e satisfies the equation z β q which has algebraic coefficients. Since the algebraic numbers form an algebraically closed field, e is algebraic, a contradiction. Remark 2. The choice to use the different exonents n and n in r(x) = x n ((x )(x 2)... (x d)) n simlifies Hermite s original by making it clear that J is a non-zero integer.

8 8 JEREMY BOOHER 4. An Alication of Padé Aroximants to the Continued Fraction Exansion of e Continued fractions of rational numbers and of quadratic irrationals are finite and eriodic resectively. There are also surrising atterns in the continued fraction exansions of transcendental numbers like e. Padé aroximants rovide a way to find the continued fraction exansion of e. (Another way is to follow Euler and look at a differential equation called the Riccati equation.) A few minutes with a calculator will suggest that the continued fraction exansion of e is [2,, 2,,, 4,,, 6,,, 8,...]. (Sometimes this is re-written as [,,,, 2,,, 4,,,...] to extend the attern.) Using the standard notation for continued fractions, for i we set a 3i = 2i, a 3i+2 = a 3i+ =. Letting [a, a 2,..., a i ] = i q i, in general we have In this case, we can recursively calculate i+2 = a i+2 i+ + i and q i+2 = a i+2 q i+ + q i. 3n = 2n 3n + 3n 2, q 3n = 2nq 3n + q 3n 2 3n+ = 3n + 3n, q 3n+ = q 3n + q 3n 3n+2 = 3n+ + 3n, q 3n+2 = q 3n+ + q 3n. The question is whether lim n, a, a 2,..., a n ] = lim equals e. To check this, we can just n n q n check that lim q ne n =. n Using the connection with Padé aroximants, this should be given by an integral r(x)e x dx. Again, we have a choice of what to use for r(x). If we take r(x) = xn ( x) n, the integral evaluates to some of the convergents of e. Denote the integral by I(n). For examle, n = gives 3 e, n = 2 gives 7e 9, and I(3) = 93 7e. The second, fifth, and eighth convergents to e are 3, 9/7, and 93/7. Where are the other convergents coming from? Our choice of r(x) gives a good aroximation because the degree of the numerator and denominator are balanced. We would still exect a good aroximation if the degrees where n and n +. Define J(n) and K(n) to be J(n) := x n+ ( x) n e x dx and K(n) := Lemma 3. The integrals are related to the convergents of e as follows: I(n) = ( ) n (q 3n e 3n ) J(n) = ( ) n+ (q 3n e 3n ) K(n) = ( ) n (q 3n+ e 3n+ ). x n ( x) n+ e x dx. Proof. We will rove the results by showing that the integrals satisfy the same initial conditions and recurrence relations as the convergents. Now we have that I() = J() = K() = Furthermore, integration by arts gives that I(n + ) = x n+ ( x) n+ e x dx = (n + )! x( x)e x dx = 3 e x 2 ( x)e x dx = 3e 8 x( x) 2 e x dx = 4e. x n+ ( x) n + x n ( x) n+ e x dx = J(n) K(n).

9 In addition, J(n) = TRANSCENDENTAL NUMBERS 9 x n+ ( x) n e x dx (n + )x n ( x) n nx n+ ( x) n = e x dx (2n + )x n ( x) n nx n ( x) n = e x dx = (2n + )I(n) + J(n ) = 2nI(n) + K(n ) Finally, elementary algebra shows that K(n) = x n ( x) n+ e x dx = x n ( x) n e x dx x n+ ( x) n e x dx = I(n) J(n). In articular, these relations among the integrals are the same recurrence relations as the numerator and denominator of the convergents. It is now easy to derive the continued fraction exansion of e. Theorem 4. We have that e = [2,, 2,,, 4,,,...]. Proof. It suffices to show that lim n n q n e =. But this exression is given by I(m), J(m), or K(m) where m n/3. But as n the size of all three integrals goes to since the interval is a constant length, x j ( x) k e x is bounded, and the denominator goes to infinity. Therefore the limit is, so [2,,, 4,,, 6,...] gives a continued fraction exansion of e. 5. More General Transcendence Results It is ossible to rove that π is irrational and transcendental using arguments analogous to those for e. This is not surrising, as e πi = connects the two. However, it is also a consequence of a much more general theorem which Lindemann roved for n = and Weierstrass roved in general. Theorem 5 (Lindemann-Weierstrass). Let β,..., β n be algebraic numbers not all zero, and α,..., α n be distinct algebraic numbers. Then Corollary 6. The number π is transcendental. β e α + β 2 e α β n e αn. Proof. Suose π is algebraic. Then so is πi, and taking α =, α 2 = πi and β = β 2 = we have that + e πi. Corollary 7. If α is a non-zero algebraic integer, e α, sin(α), and cos(α) are transcendental. Proof. Suose e α satisfies a olynomial equation of degree n. Then letting α j = jα for j n and β j be the (algebraic) coefficient of x j, the theorem roduces a contradiction. For the other arts, write the trigonometric functions in terms of exonentials. The roof of Lindemann s theorem has two comonents. The first is an analytic argument similar to the roof that e is transcendental that establishes the theorem in the secial case that the β i are rational and that there are integers n = < n < n 2 <... < n r = n such that (3) β nt+ = β nt+2 =... = β nt+ and α nt+, α nt+2,..., α nt+ are all of the conjugates of α nt+. The second comonent is algebraic in nature, and uses ideas from the theory of symmetric olynomials to extend the first art to the general theorem.

10 JEREMY BOOHER 5.. The Analytic Part. With the hyothesis (3) on the α i and the β i given above, fix a b for which the bα i is an algebraic integer for each i. We need to aroximate e α iz by a quotient of rational functions, but the argument is now more comlicated because the α i are no longer just, 2,..., d. Trying a similar aroach, let (4) where is a large rime number. Define r i (x) = b n() (x α )... (x α n ) /(( )!(x α i )) I i (α) = α r i (z)e α z dz. This is a generalization of the I(m), and is well defined indeendent of the ath from to z because the integrand is holomorhic. Via integration by arts, we can evaluate this integral as (5) I i (α) = F i ()e α F i (α) where F i (z) = n k= r (k) i (z). Lemma 8. Let m =,..., n and k be a ositive integer. Then r (k) i (α m ) is an algebraic integer. Unless k = and m = i, r (k) i (m) is times an algebraic integer. This is essentially the same as Lemma. Finally define J i = β I i (α ) + β 2 I i (α 2 ) β n I i (α n ). We will give bounds on J... J n using the hyothesis that β e α β n e αn =. Using (5) on J i, the terms involving owers of e in J i disaear and we have J i = β F i (α ) β 2 F i (α 2 )... β n F i (α n ). By the lemma, all of the terms in the sums for F i (α j ) are times an algebraic integer excet for the term r ( ) i (α i ). Now recognize that r ( ) i (α i ) = b n (α i α k ) = (g (α i )) where g(x) = k n k i n (bx bα k ) Z[X]. k= If we now look at the roduct J J 2... J n, all but one term in the roduct will be times an algebraic integer. This term is the roduct of the terms from each of the J i that are not multiles of, and so is g (α ) g (α 2 )... g (α n ). It is a rational integer, since all of the g (α i ) are algebraic integers and it is invariant under the action of the Galois grou since the α i include comlete sets of conjugates. Since g (α )g (α 2 )... g (α n ) is indeendent of, for large it cannot be a multile of. Thus J J 2... J n is a non-zero algebraic integer. We will next show that J J 2... J n is rational by showing it is symmetric in α nt+,..., α nt+ (recall this is the grouing of the α i into sets of conjugates). So let σ be any ermutation of n t +,..., n t+ and extend it by the identity to be a ermutation on, 2,..., n. Now J J 2... J n = ( ) n n i= (β F i (α ) + β 2 F i (α 2 ) β n F i (α n )).

11 TRANSCENDENTAL NUMBERS Unraveling the definition of F i (α j ), we see that alying σ to it gives F σ(i) (α σ(j) ). But then alying σ to the roduct and using the fact that β i Q, we obtain n ( β F σ(i) (α σ() ) β n F σ(i) (β σ(n) ) ) n ( = βσ ()F i (α ) β σ (n)f i (β n ) ) i= by re-indexing. By hyothesis β nt+ = β nt+2 =... = β nt+, so the roduct is invariant. Therefore it is a non-zero rational integer. However, estimating the integral as in the roof of the transcendence of e gives that n J... J n βk α k e αk r i (α k ) < i= for large enough as ( )! grows faster than c. But a non-zero rational integer cannot have absolute value less than, so our hyothesis that leads to a contradiction. i= β e α β n e αn = 5.2. The Algebraic Part. We now reduce from the general case of Lindemann s theorem to the case (3) when the β i are rational and that there are integers n = < n < n 2 <... < n r = n such that β nt+ = β nt+2 =... = β nt+ and α nt+, α nt+2,..., α nt+ are a comlete set of conjugates. To reduce to the case that the β i are rational, we will inductively construct a sequence of non-zero olynomials F i with rational coefficients in 2n+ i variables such that F i (β i,..., β n, e α,..., e αn ) = β e α β n e αn. To construct the F i, let F (x,..., x n, y,..., y n ) = x y x n y n. In general, let F i (x i,..., x n, y,..., y n ) := F i (β, x i,..., x n, y,..., y n ) β where the roduct ranges over all β that are conjugate to β i. The definition is invariant under ermuting the conjugates of β i, so F i has rational coefficients. By induction, if F i has degree N i the coefficient of y N i is always non-zero. Next we exand out the olynomial F n+ (e α,..., e αn ) (of degree N) in the form β e α β m e α m We wish to show that at least one of the coefficients β i is non-zero. Without loss of generality, we may assume that α has the largest absolute value of the α i. The exonents α i that arise are n those of the form c j α j where j c j = N. The only way to get an exonent of Nα is to ick j= c = N, c j = for j since α is the largest of all α j. Since the coefficient of y is non-zero, this imlies that the term e Nα has a non-zero coefficient. Thus we are in the case where the β i are rational, the α n are algebraic, and not all of the β i are zero. This exression is zero if the original exression was, so it suffices to rove Lindemann s theorem when all of the β i are rational. Multilying through by the common denominator, we may also assume the β i are rational integers. We now will further restrict to the case when all of the conjugates of α i aear with the same rational coefficient. Pick a olynomial with integral coefficients that has all of the α i as roots. Let α n+,..., α N be the additional roots of this olynomial. Extend the definition of β i to be zero for n < i N, and consider the roduct (β e ασ() β N e ασ(n) ). σ S N

12 2 JEREMY BOOHER If β e α β n e αn = the entire roduct is zero. If we were to exand the roduct, it would again be of the form β e α β m e α m. Now if βe α arises as a term in this roduct, α = c α +...+c N α N where c +c c N = N! and β is a roduct of rational integers. There will also be terms with exonent c α σ() c N α σ(n) for any ermutation. These terms will run through a comlete set of conjugates for α (along with other things) but have the same value of β. By grouing terms in this way, it is clear that the coefficient for each conjugate e α will be the same. Furthermore, at least one will be non-zero: in each roduct (β e α σ() β N e α σ(n) ) ick the non-zero term with the largest value of α i, where the ordering is done first by real art and then by imaginary art. This term in the exansion will be non-zero, and cannot be canceled by anything else because each of the exonents is the largest ossible. This comletes the reduction to the case where (3) holds which we already roved using the analytic argument. 6. Later Results The two results resented here were known in the 9th century. Over the course of the 2th century, the integrals and use auxiliary functions r(x) were generalized considerably yielding more owerful results. The results are roven using the same strategies, but more comlicated functions. Details and roofs of the following can be found in Baker [2]. Theorem 9 (Gelfond-Schneider). Let α be an algebraic number not equal to or, and β an algebraic number that is not rational. Then α β is transcendental. Theorem 2 (Baker). If β, β..., β n and α..., α n are algebraic numbers, then is either zero or transcendental. β + β log(α ) β n log(α n ) Baker s work also allows lower bounds to be constructed which suffice to solve the class number one roblem. Some other results and aroaches are resented in Lang [5]. References. Martin Aigner and Günter M. Ziegler, Proofs from The Book, fifth ed., Sringer-Verlag, Berlin, 24, Including illustrations by Karl H. Hofmann. MR Alan Baker, Transcendental number theory, second ed., Cambridge Mathematical Library, Cambridge University Press, Cambridge, 99. MR (9f:49) 3. Henry Cohn, A short roof of the simle continued fraction exansion of e, Amer. Math. Monthly 3 (26), no., MR (26j:8) 4. Michael Filaseta, Lecture notes for math 785, Available at htt:// 5. Serge Lang, Introduction to transcendental numbers, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 966. MR (35 #5397)

SOME PROPERTIES OF EXTENSIONS OF SMALL DEGREE OVER Q. 1. Quadratic Extensions

SOME PROPERTIES OF EXTENSIONS OF SMALL DEGREE OVER Q. 1. Quadratic Extensions SOME PROPERTIES OF EXTENSIONS OF SMALL DEGREE OVER Q TREVOR ARNOLD Abstract This aer demonstrates a few characteristics of finite extensions of small degree over the rational numbers Q It comrises attemts

More information

6.042/18.062J Mathematics for Computer Science December 12, 2006 Tom Leighton and Ronitt Rubinfeld. Random Walks

6.042/18.062J Mathematics for Computer Science December 12, 2006 Tom Leighton and Ronitt Rubinfeld. Random Walks 6.042/8.062J Mathematics for Comuter Science December 2, 2006 Tom Leighton and Ronitt Rubinfeld Lecture Notes Random Walks Gambler s Ruin Today we re going to talk about one-dimensional random walks. In

More information

1 Gambler s Ruin Problem

1 Gambler s Ruin Problem Coyright c 2009 by Karl Sigman 1 Gambler s Ruin Problem Let N 2 be an integer and let 1 i N 1. Consider a gambler who starts with an initial fortune of $i and then on each successive gamble either wins

More information

As we have seen, there is a close connection between Legendre symbols of the form

As we have seen, there is a close connection between Legendre symbols of the form Gauss Sums As we have seen, there is a close connection between Legendre symbols of the form 3 and cube roots of unity. Secifically, if is a rimitive cube root of unity, then 2 ± i 3 and hence 2 2 3 In

More information

Complex Conjugation and Polynomial Factorization

Complex Conjugation and Polynomial Factorization Comlex Conjugation and Polynomial Factorization Dave L. Renfro Summer 2004 Central Michigan University I. The Remainder Theorem Let P (x) be a olynomial with comlex coe cients 1 and r be a comlex number.

More information

Number Theory Naoki Sato <ensato@hotmail.com>

Number Theory Naoki Sato <ensato@hotmail.com> Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material that an

More information

PRIME NUMBERS AND THE RIEMANN HYPOTHESIS

PRIME NUMBERS AND THE RIEMANN HYPOTHESIS PRIME NUMBERS AND THE RIEMANN HYPOTHESIS CARL ERICKSON This minicourse has two main goals. The first is to carefully define the Riemann zeta function and exlain how it is connected with the rime numbers.

More information

Pythagorean Triples and Rational Points on the Unit Circle

Pythagorean Triples and Rational Points on the Unit Circle Pythagorean Triles and Rational Points on the Unit Circle Solutions Below are samle solutions to the roblems osed. You may find that your solutions are different in form and you may have found atterns

More information

FREQUENCIES OF SUCCESSIVE PAIRS OF PRIME RESIDUES

FREQUENCIES OF SUCCESSIVE PAIRS OF PRIME RESIDUES FREQUENCIES OF SUCCESSIVE PAIRS OF PRIME RESIDUES AVNER ASH, LAURA BELTIS, ROBERT GROSS, AND WARREN SINNOTT Abstract. We consider statistical roerties of the sequence of ordered airs obtained by taking

More information

Lectures on the Dirichlet Class Number Formula for Imaginary Quadratic Fields. Tom Weston

Lectures on the Dirichlet Class Number Formula for Imaginary Quadratic Fields. Tom Weston Lectures on the Dirichlet Class Number Formula for Imaginary Quadratic Fields Tom Weston Contents Introduction 4 Chater 1. Comlex lattices and infinite sums of Legendre symbols 5 1. Comlex lattices 5

More information

arxiv:math/0601660v3 [math.nt] 25 Feb 2006

arxiv:math/0601660v3 [math.nt] 25 Feb 2006 NOTES Edited by William Adkins arxiv:math/666v3 [math.nt] 25 Feb 26 A Short Proof of the Simple Continued Fraction Expansion of e Henry Cohn. INTRODUCTION. In [3], Euler analyzed the Riccati equation to

More information

Lecture 21 and 22: The Prime Number Theorem

Lecture 21 and 22: The Prime Number Theorem Lecture and : The Prime Number Theorem (New lecture, not in Tet) The location of rime numbers is a central question in number theory. Around 88, Legendre offered eerimental evidence that the number π()

More information

More Properties of Limits: Order of Operations

More Properties of Limits: Order of Operations math 30 day 5: calculating its 6 More Proerties of Limits: Order of Oerations THEOREM 45 (Order of Oerations, Continued) Assume that!a f () L and that m and n are ositive integers Then 5 (Power)!a [ f

More information

Introduction to NP-Completeness Written and copyright c by Jie Wang 1

Introduction to NP-Completeness Written and copyright c by Jie Wang 1 91.502 Foundations of Comuter Science 1 Introduction to Written and coyright c by Jie Wang 1 We use time-bounded (deterministic and nondeterministic) Turing machines to study comutational comlexity of

More information

Algebraic and Transcendental Numbers

Algebraic and Transcendental Numbers Pondicherry University July 2000 Algebraic and Transcendental Numbers Stéphane Fischler This text is meant to be an introduction to algebraic and transcendental numbers. For a detailed (though elementary)

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

The Cubic Formula. The quadratic formula tells us the roots of a quadratic polynomial, a polynomial of the form ax 2 + bx + c. The roots (if b 2 b+

The Cubic Formula. The quadratic formula tells us the roots of a quadratic polynomial, a polynomial of the form ax 2 + bx + c. The roots (if b 2 b+ The Cubic Formula The quadratic formula tells us the roots of a quadratic olynomial, a olynomial of the form ax + bx + c. The roots (if b b+ 4ac 0) are b 4ac a and b b 4ac a. The cubic formula tells us

More information

POISSON PROCESSES. Chapter 2. 2.1 Introduction. 2.1.1 Arrival processes

POISSON PROCESSES. Chapter 2. 2.1 Introduction. 2.1.1 Arrival processes Chater 2 POISSON PROCESSES 2.1 Introduction A Poisson rocess is a simle and widely used stochastic rocess for modeling the times at which arrivals enter a system. It is in many ways the continuous-time

More information

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12 CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.

More information

Precalculus Prerequisites a.k.a. Chapter 0. August 16, 2013

Precalculus Prerequisites a.k.a. Chapter 0. August 16, 2013 Precalculus Prerequisites a.k.a. Chater 0 by Carl Stitz, Ph.D. Lakeland Community College Jeff Zeager, Ph.D. Lorain County Community College August 6, 0 Table of Contents 0 Prerequisites 0. Basic Set

More information

Number Theory Naoki Sato <sato@artofproblemsolving.com>

Number Theory Naoki Sato <sato@artofproblemsolving.com> Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material

More information

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)! Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

More information

A Modified Measure of Covert Network Performance

A Modified Measure of Covert Network Performance A Modified Measure of Covert Network Performance LYNNE L DOTY Marist College Deartment of Mathematics Poughkeesie, NY UNITED STATES lynnedoty@maristedu Abstract: In a covert network the need for secrecy

More information

Real Roots of Univariate Polynomials with Real Coefficients

Real Roots of Univariate Polynomials with Real Coefficients Real Roots of Univariate Polynomials with Real Coefficients mostly written by Christina Hewitt March 22, 2012 1 Introduction Polynomial equations are used throughout mathematics. When solving polynomials

More information

Assignment 9; Due Friday, March 17

Assignment 9; Due Friday, March 17 Assignment 9; Due Friday, March 17 24.4b: A icture of this set is shown below. Note that the set only contains oints on the lines; internal oints are missing. Below are choices for U and V. Notice that

More information

Notes on metric spaces

Notes on metric spaces Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.

More information

Stat 134 Fall 2011: Gambler s ruin

Stat 134 Fall 2011: Gambler s ruin Stat 134 Fall 2011: Gambler s ruin Michael Lugo Setember 12, 2011 In class today I talked about the roblem of gambler s ruin but there wasn t enough time to do it roerly. I fear I may have confused some

More information

Lectures 5-6: Taylor Series

Lectures 5-6: Taylor Series Math 1d Instructor: Padraic Bartlett Lectures 5-: Taylor Series Weeks 5- Caltech 213 1 Taylor Polynomials and Series As we saw in week 4, power series are remarkably nice objects to work with. In particular,

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5. PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

Stochastic Derivation of an Integral Equation for Probability Generating Functions

Stochastic Derivation of an Integral Equation for Probability Generating Functions Journal of Informatics and Mathematical Sciences Volume 5 (2013), Number 3,. 157 163 RGN Publications htt://www.rgnublications.com Stochastic Derivation of an Integral Equation for Probability Generating

More information

A Simple Model of Pricing, Markups and Market. Power Under Demand Fluctuations

A Simple Model of Pricing, Markups and Market. Power Under Demand Fluctuations A Simle Model of Pricing, Markus and Market Power Under Demand Fluctuations Stanley S. Reynolds Deartment of Economics; University of Arizona; Tucson, AZ 85721 Bart J. Wilson Economic Science Laboratory;

More information

Multiperiod Portfolio Optimization with General Transaction Costs

Multiperiod Portfolio Optimization with General Transaction Costs Multieriod Portfolio Otimization with General Transaction Costs Victor DeMiguel Deartment of Management Science and Oerations, London Business School, London NW1 4SA, UK, avmiguel@london.edu Xiaoling Mei

More information

Point Location. Preprocess a planar, polygonal subdivision for point location queries. p = (18, 11)

Point Location. Preprocess a planar, polygonal subdivision for point location queries. p = (18, 11) Point Location Prerocess a lanar, olygonal subdivision for oint location ueries. = (18, 11) Inut is a subdivision S of comlexity n, say, number of edges. uild a data structure on S so that for a uery oint

More information

n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...

n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +... 6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence

More information

The Online Freeze-tag Problem

The Online Freeze-tag Problem The Online Freeze-tag Problem Mikael Hammar, Bengt J. Nilsson, and Mia Persson Atus Technologies AB, IDEON, SE-3 70 Lund, Sweden mikael.hammar@atus.com School of Technology and Society, Malmö University,

More information

5.3 Improper Integrals Involving Rational and Exponential Functions

5.3 Improper Integrals Involving Rational and Exponential Functions Section 5.3 Improper Integrals Involving Rational and Exponential Functions 99.. 3. 4. dθ +a cos θ =, < a

More information

Factoring of Prime Ideals in Galois Extensions

Factoring of Prime Ideals in Galois Extensions Chater 8 Factoring of Prime Ideals in Galois Extensions 8.1 Decomosition and Inertia Grous We return to the general AKLB setu: A is a Dedekind domain with fraction field K, L is a finite searable extension

More information

Continued Fractions. Darren C. Collins

Continued Fractions. Darren C. Collins Continued Fractions Darren C Collins Abstract In this paper, we discuss continued fractions First, we discuss the definition and notation Second, we discuss the development of the subject throughout history

More information

Lecture Notes on Polynomials

Lecture Notes on Polynomials Lecture Notes on Polynomials Arne Jensen Department of Mathematical Sciences Aalborg University c 008 Introduction These lecture notes give a very short introduction to polynomials with real and complex

More information

The Magnus-Derek Game

The Magnus-Derek Game The Magnus-Derek Game Z. Nedev S. Muthukrishnan Abstract We introduce a new combinatorial game between two layers: Magnus and Derek. Initially, a token is laced at osition 0 on a round table with n ositions.

More information

Large Sample Theory. Consider a sequence of random variables Z 1, Z 2,..., Z n. Convergence in probability: Z n

Large Sample Theory. Consider a sequence of random variables Z 1, Z 2,..., Z n. Convergence in probability: Z n Large Samle Theory In statistics, we are interested in the roerties of articular random variables (or estimators ), which are functions of our data. In ymtotic analysis, we focus on describing the roerties

More information

Computational Finance The Martingale Measure and Pricing of Derivatives

Computational Finance The Martingale Measure and Pricing of Derivatives 1 The Martingale Measure 1 Comutational Finance The Martingale Measure and Pricing of Derivatives 1 The Martingale Measure The Martingale measure or the Risk Neutral robabilities are a fundamental concet

More information

A MOST PROBABLE POINT-BASED METHOD FOR RELIABILITY ANALYSIS, SENSITIVITY ANALYSIS AND DESIGN OPTIMIZATION

A MOST PROBABLE POINT-BASED METHOD FOR RELIABILITY ANALYSIS, SENSITIVITY ANALYSIS AND DESIGN OPTIMIZATION 9 th ASCE Secialty Conference on Probabilistic Mechanics and Structural Reliability PMC2004 Abstract A MOST PROBABLE POINT-BASED METHOD FOR RELIABILITY ANALYSIS, SENSITIVITY ANALYSIS AND DESIGN OPTIMIZATION

More information

Coin ToGa: A Coin-Tossing Game

Coin ToGa: A Coin-Tossing Game Coin ToGa: A Coin-Tossing Game Osvaldo Marrero and Paul C Pasles Osvaldo Marrero OsvaldoMarrero@villanovaedu studied mathematics at the University of Miami, and biometry and statistics at Yale University

More information

a 1 x + a 0 =0. (3) ax 2 + bx + c =0. (4)

a 1 x + a 0 =0. (3) ax 2 + bx + c =0. (4) ROOTS OF POLYNOMIAL EQUATIONS In this unit we discuss polynomial equations. A polynomial in x of degree n, where n 0 is an integer, is an expression of the form P n (x) =a n x n + a n 1 x n 1 + + a 1 x

More information

SQUARE GRID POINTS COVERAGED BY CONNECTED SOURCES WITH COVERAGE RADIUS OF ONE ON A TWO-DIMENSIONAL GRID

SQUARE GRID POINTS COVERAGED BY CONNECTED SOURCES WITH COVERAGE RADIUS OF ONE ON A TWO-DIMENSIONAL GRID International Journal of Comuter Science & Information Technology (IJCSIT) Vol 6, No 4, August 014 SQUARE GRID POINTS COVERAGED BY CONNECTED SOURCES WITH COVERAGE RADIUS OF ONE ON A TWO-DIMENSIONAL GRID

More information

Differentiation and Integration

Differentiation and Integration This material is a supplement to Appendix G of Stewart. You should read the appendix, except the last section on complex exponentials, before this material. Differentiation and Integration Suppose we have

More information

1 Lecture: Integration of rational functions by decomposition

1 Lecture: Integration of rational functions by decomposition Lecture: Integration of rational functions by decomposition into partial fractions Recognize and integrate basic rational functions, except when the denominator is a power of an irreducible quadratic.

More information

Inner Product Spaces

Inner Product Spaces Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

More information

Effect Sizes Based on Means

Effect Sizes Based on Means CHAPTER 4 Effect Sizes Based on Means Introduction Raw (unstardized) mean difference D Stardized mean difference, d g Resonse ratios INTRODUCTION When the studies reort means stard deviations, the referred

More information

15. Symmetric polynomials

15. Symmetric polynomials 15. Symmetric polynomials 15.1 The theorem 15.2 First examples 15.3 A variant: discriminants 1. The theorem Let S n be the group of permutations of {1,, n}, also called the symmetric group on n things.

More information

TOPIC 4: DERIVATIVES

TOPIC 4: DERIVATIVES TOPIC 4: DERIVATIVES 1. The derivative of a function. Differentiation rules 1.1. The slope of a curve. The slope of a curve at a point P is a measure of the steepness of the curve. If Q is a point on the

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

More information

On Multicast Capacity and Delay in Cognitive Radio Mobile Ad-hoc Networks

On Multicast Capacity and Delay in Cognitive Radio Mobile Ad-hoc Networks On Multicast Caacity and Delay in Cognitive Radio Mobile Ad-hoc Networks Jinbei Zhang, Yixuan Li, Zhuotao Liu, Fan Wu, Feng Yang, Xinbing Wang Det of Electronic Engineering Det of Comuter Science and Engineering

More information

Price Elasticity of Demand MATH 104 and MATH 184 Mark Mac Lean (with assistance from Patrick Chan) 2011W

Price Elasticity of Demand MATH 104 and MATH 184 Mark Mac Lean (with assistance from Patrick Chan) 2011W Price Elasticity of Demand MATH 104 and MATH 184 Mark Mac Lean (with assistance from Patrick Chan) 2011W The rice elasticity of demand (which is often shortened to demand elasticity) is defined to be the

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

Risk in Revenue Management and Dynamic Pricing

Risk in Revenue Management and Dynamic Pricing OPERATIONS RESEARCH Vol. 56, No. 2, March Aril 2008,. 326 343 issn 0030-364X eissn 1526-5463 08 5602 0326 informs doi 10.1287/ore.1070.0438 2008 INFORMS Risk in Revenue Management and Dynamic Pricing Yuri

More information

Math 115 Spring 2011 Written Homework 5 Solutions

Math 115 Spring 2011 Written Homework 5 Solutions . Evaluate each series. a) 4 7 0... 55 Math 5 Spring 0 Written Homework 5 Solutions Solution: We note that the associated sequence, 4, 7, 0,..., 55 appears to be an arithmetic sequence. If the sequence

More information

Math 120 Final Exam Practice Problems, Form: A

Math 120 Final Exam Practice Problems, Form: A Math 120 Final Exam Practice Problems, Form: A Name: While every attempt was made to be complete in the types of problems given below, we make no guarantees about the completeness of the problems. Specifically,

More information

FACTORING BIVARIATE SPARSE (LACUNARY) POLYNOMIALS

FACTORING BIVARIATE SPARSE (LACUNARY) POLYNOMIALS FACTORING BIVARIATE SPARSE (LACUNARY) POLYNOMIALS Abstract. We resent a deterministic algorithm for comuting all irreducible factors of degree d of a given bivariate olynomial f K[x, y] over an algebraic

More information

Cyclotomic Extensions

Cyclotomic Extensions Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate

More information

Powers of Two in Generalized Fibonacci Sequences

Powers of Two in Generalized Fibonacci Sequences Revista Colombiana de Matemáticas Volumen 462012)1, páginas 67-79 Powers of Two in Generalized Fibonacci Sequences Potencias de dos en sucesiones generalizadas de Fibonacci Jhon J. Bravo 1,a,B, Florian

More information

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

More information

X How to Schedule a Cascade in an Arbitrary Graph

X How to Schedule a Cascade in an Arbitrary Graph X How to Schedule a Cascade in an Arbitrary Grah Flavio Chierichetti, Cornell University Jon Kleinberg, Cornell University Alessandro Panconesi, Saienza University When individuals in a social network

More information

CUBIC AND QUARTIC FORMULAS. James T. Smith San Francisco State University

CUBIC AND QUARTIC FORMULAS. James T. Smith San Francisco State University CUBIC AND QUARTIC FORMULAS James T. Smith San Francisco State University Quadratic formula You ve met the uadratic formula in algebra courses: the solution of the uadratic euation ax + bx + c = 0 with

More information

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2)

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Kevin Broughan University of Waikato, Hamilton, New Zealand May 13, 2010 Remainder and Factor Theorem 15 Definition of factor If f (x)

More information

Examples of Functions

Examples of Functions Examples of Functions In this document is provided examples of a variety of functions. The purpose is to convince the beginning student that functions are something quite different than polynomial equations.

More information

Two classic theorems from number theory: The Prime Number Theorem and Dirichlet s Theorem

Two classic theorems from number theory: The Prime Number Theorem and Dirichlet s Theorem Two classic theorems from number theory: The Prime Number Theorem and Dirichlet s Theorem Senior Exercise in Mathematics Lee Kennard 5 November, 2006 Contents 0 Notes and Notation 3 Introduction 4 2 Primes

More information

Section 1.3 P 1 = 1 2. = 1 4 2 8. P n = 1 P 3 = Continuing in this fashion, it should seem reasonable that, for any n = 1, 2, 3,..., = 1 2 4.

Section 1.3 P 1 = 1 2. = 1 4 2 8. P n = 1 P 3 = Continuing in this fashion, it should seem reasonable that, for any n = 1, 2, 3,..., = 1 2 4. Difference Equations to Differential Equations Section. The Sum of a Sequence This section considers the problem of adding together the terms of a sequence. Of course, this is a problem only if more than

More information

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

More information

Jacobi s four squares identity Martin Klazar

Jacobi s four squares identity Martin Klazar Jacobi s four squares identity Martin Klazar (lecture on the 7-th PhD conference) Ostrava, September 10, 013 C. Jacobi [] in 189 proved that for any integer n 1, r (n) = #{(x 1, x, x 3, x ) Z ( i=1 x i

More information

A Class of Three-Weight Cyclic Codes

A Class of Three-Weight Cyclic Codes A Class of Three-Weight Cyclic Codes Zhengchun Zhou Cunsheng Ding Abstract arxiv:30.0569v [cs.it] 4 Feb 03 Cyclic codes are a subclass of linear codes have alications in consumer electronics, data storage

More information

Mathematics. (www.tiwariacademy.com : Focus on free Education) (Chapter 5) (Complex Numbers and Quadratic Equations) (Class XI)

Mathematics. (www.tiwariacademy.com : Focus on free Education) (Chapter 5) (Complex Numbers and Quadratic Equations) (Class XI) ( : Focus on free Education) Miscellaneous Exercise on chapter 5 Question 1: Evaluate: Answer 1: 1 ( : Focus on free Education) Question 2: For any two complex numbers z1 and z2, prove that Re (z1z2) =

More information

The Method of Partial Fractions Math 121 Calculus II Spring 2015

The Method of Partial Fractions Math 121 Calculus II Spring 2015 Rational functions. as The Method of Partial Fractions Math 11 Calculus II Spring 015 Recall that a rational function is a quotient of two polynomials such f(x) g(x) = 3x5 + x 3 + 16x x 60. The method

More information

Albert D. Rich. Soft Warehouse, Inc.

Albert D. Rich. Soft Warehouse, Inc. 4 Simlifying Suare Roots of Suare Roots by Denesting David J. Jerey The University of Western Ontario Albert D. Rich Soft Warehouse, Inc. Abstract: We discuss why it is imortant to try to simlify the suare

More information

MATH 381 HOMEWORK 2 SOLUTIONS

MATH 381 HOMEWORK 2 SOLUTIONS MATH 38 HOMEWORK SOLUTIONS Question (p.86 #8). If g(x)[e y e y ] is harmonic, g() =,g () =, find g(x). Let f(x, y) = g(x)[e y e y ].Then Since f(x, y) is harmonic, f + f = and we require x y f x = g (x)[e

More information

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents A Cyclotomic Polynomials 79 A.1 Minimum Polynomials of Roots of

More information

1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. 1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

More information

Measuring relative phase between two waveforms using an oscilloscope

Measuring relative phase between two waveforms using an oscilloscope Measuring relative hase between two waveforms using an oscilloscoe Overview There are a number of ways to measure the hase difference between two voltage waveforms using an oscilloscoe. This document covers

More information

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson JUST THE MATHS UNIT NUMBER 1.8 ALGEBRA 8 (Polynomials) by A.J.Hobson 1.8.1 The factor theorem 1.8.2 Application to quadratic and cubic expressions 1.8.3 Cubic equations 1.8.4 Long division of polynomials

More information

it is easy to see that α = a

it is easy to see that α = a 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

More information

Zeros of Polynomial Functions

Zeros of Polynomial Functions Review: Synthetic Division Find (x 2-5x - 5x 3 + x 4 ) (5 + x). Factor Theorem Solve 2x 3-5x 2 + x + 2 =0 given that 2 is a zero of f(x) = 2x 3-5x 2 + x + 2. Zeros of Polynomial Functions Introduction

More information

On continued fractions of the square root of prime numbers

On continued fractions of the square root of prime numbers On continued fractions of the square root of prime numbers Alexandra Ioana Gliga March 17, 2006 Nota Bene: Conjecture 5.2 of the numerical results at the end of this paper was not correctly derived from

More information

Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test

Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test Math Review for the Quantitative Reasoning Measure of the GRE revised General Test www.ets.org Overview This Math Review will familiarize you with the mathematical skills and concepts that are important

More information

Beyond the F Test: Effect Size Confidence Intervals and Tests of Close Fit in the Analysis of Variance and Contrast Analysis

Beyond the F Test: Effect Size Confidence Intervals and Tests of Close Fit in the Analysis of Variance and Contrast Analysis Psychological Methods 004, Vol. 9, No., 164 18 Coyright 004 by the American Psychological Association 108-989X/04/$1.00 DOI: 10.1037/108-989X.9..164 Beyond the F Test: Effect Size Confidence Intervals

More information

An important observation in supply chain management, known as the bullwhip effect,

An important observation in supply chain management, known as the bullwhip effect, Quantifying the Bullwhi Effect in a Simle Suly Chain: The Imact of Forecasting, Lead Times, and Information Frank Chen Zvi Drezner Jennifer K. Ryan David Simchi-Levi Decision Sciences Deartment, National

More information

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com Polynomials Alexander Remorov alexanderrem@gmail.com Warm-up Problem 1: Let f(x) be a quadratic polynomial. Prove that there exist quadratic polynomials g(x) and h(x) such that f(x)f(x + 1) = g(h(x)).

More information

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish

More information

This is a square root. The number under the radical is 9. (An asterisk * means multiply.)

This is a square root. The number under the radical is 9. (An asterisk * means multiply.) Page of Review of Radical Expressions and Equations Skills involving radicals can be divided into the following groups: Evaluate square roots or higher order roots. Simplify radical expressions. Rationalize

More information

Zero: If P is a polynomial and if c is a number such that P (c) = 0 then c is a zero of P.

Zero: If P is a polynomial and if c is a number such that P (c) = 0 then c is a zero of P. MATH 11011 FINDING REAL ZEROS KSU OF A POLYNOMIAL Definitions: Polynomial: is a function of the form P (x) = a n x n + a n 1 x n 1 + + a x + a 1 x + a 0. The numbers a n, a n 1,..., a 1, a 0 are called

More information

6.2 Permutations continued

6.2 Permutations continued 6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

More information

Risk and Return. Sample chapter. e r t u i o p a s d f CHAPTER CONTENTS LEARNING OBJECTIVES. Chapter 7

Risk and Return. Sample chapter. e r t u i o p a s d f CHAPTER CONTENTS LEARNING OBJECTIVES. Chapter 7 Chater 7 Risk and Return LEARNING OBJECTIVES After studying this chater you should be able to: e r t u i o a s d f understand how return and risk are defined and measured understand the concet of risk

More information

Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any.

Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any. Algebra 2 - Chapter Prerequisites Vocabulary Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any. P1 p. 1 1. counting(natural) numbers - {1,2,3,4,...}

More information

7. Some irreducible polynomials

7. Some irreducible polynomials 7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of

More information

Integrals of Rational Functions

Integrals of Rational Functions Integrals of Rational Functions Scott R. Fulton Overview A rational function has the form where p and q are polynomials. For example, r(x) = p(x) q(x) f(x) = x2 3 x 4 + 3, g(t) = t6 + 4t 2 3, 7t 5 + 3t

More information

Prime Numbers and Irreducible Polynomials

Prime Numbers and Irreducible Polynomials Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.

More information

PARAMETER CHOICE IN BANACH SPACE REGULARIZATION UNDER VARIATIONAL INEQUALITIES

PARAMETER CHOICE IN BANACH SPACE REGULARIZATION UNDER VARIATIONAL INEQUALITIES PARAMETER CHOICE IN BANACH SPACE REGULARIZATION UNDER VARIATIONAL INEQUALITIES BERND HOFMANN AND PETER MATHÉ Abstract. The authors study arameter choice strategies for Tikhonov regularization of nonlinear

More information

Pinhole Optics. OBJECTIVES To study the formation of an image without use of a lens.

Pinhole Optics. OBJECTIVES To study the formation of an image without use of a lens. Pinhole Otics Science, at bottom, is really anti-intellectual. It always distrusts ure reason and demands the roduction of the objective fact. H. L. Mencken (1880-1956) OBJECTIVES To study the formation

More information

Metric Spaces. Chapter 7. 7.1. Metrics

Metric Spaces. Chapter 7. 7.1. Metrics Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

More information