STØRMER NUMBERS PAUL HEWITT

Size: px
Start display at page:

Download "STØRMER NUMBERS PAUL HEWITT"

Transcription

1 STØRMER NUMBERS PAUL HEWITT For nearly two millennia Archimedes method was the best technique for approximating π. In the south Indian state of Kerala during the late medieval period, mathematicians began developing infinite series expressions for trigonometric functions. These led to much faster and more accurate methods for hand computation, especially when combined with the Hindu decimal numeration. Unfortunately none of this work became widely known in the rest of the world. At that time, the Chinese and Islamic empires were in decline, and Europe was not quite ready for such sophisticated mathematics. Eurasia would be swept by Mongol-Turkic armies, then plagues, then new generations of Mongol-Turkic conquerors. When the dust had settled, much of Eurasia was ruled by inward-looking religious zealots, not much interested in expanding the frontiers of math or science. They were all at a very high level of scientific advancement, due to the work of the freer and more open societies that preceded them, but they viewed innovation as a political threat. One exception was Europe. After the trauma of the late Middle Ages, parts of Europe were ready to throw off the hegemony of the Roman church. This only added to the upheaval. So, while much of Eurasia was settling into a comfortable, conservative lifestyle, Europeans were fomenting artistic, religious, political, and scientific revolutions. Like most revolutions, these were messy and bloody. But Europe started this period much the poorer and more backward, compared to its Eurasian brethren, and ended up by far the richer and more powerful. They would dominate the entire globe during what we now call the Colonial Era. In this climate science and mathematics flourished. This culminated in the invention of Calculus. One of the most successful applications of Calculus is methods of approximation. Europeans rediscovered series expansions for trigonometric and other functions. In particular they found better ways to approximate π, based on identities for the arctangent function. There are lots of such identities. In the 20th century, the Swedish mathematician Størmer developed a nice way to generate and study these identities. There is a brief account of Størmer numbers in the fun Book of Numbers, by Conway and Guy [1]. His method use the gaussian integers, which is a system of complex arithmetic which has many of the properties of ordinary whole-number arithmetic. You can find out more about gaussian integers in [1]. The application of gaussian integers to the problem of approximating the real number π nicely illustrates Hadamard s aphorism. Date: 4 November

2 2 PAUL HEWITT 1. Gregory s series Arctangent is the inverse of the tangent function. In other words, (1) α = arctan(y/x) if tan(α) = y/x. α x Of course, there is an ambiguity here. We resolve this by assuming that α lies in the interval ( π/2, π/2). If t = tan(α) then dt (2) dα = sec2 (α) = 1 + tan 2 (α) = 1 + t 2. Hence the Inverse Function Rule tells us that dα (3) dt = 1 dt/dα = t 2. To expand arctangent in a series we will first expand its derivative, and then integrate term by term. This was the point of view eventually adopted by Newton: to him calculus was about manipulation of (possibly infinite) series, since derivatives and integrals of these are so straightforward. To expand 1/(1+t 2 ) we use the geometric series. We start with the finite version: 1 r is a factor of 1 r n, since r is a root of the latter. When we divide we find that 1 r n (4) 1 r = 1 + r + r2 + + r n 1. You can check this by multiplying both sides by 1 r. To get the infinite series we simply let n : this works when r < 1, since then both sides of equation (4) converge: (5) 1 r n 1 r 1 1 r = 1 + r + r2 + as n. If we combine equations (3) and (5) we get Gregory s series 1 : (6) arctan(t) = 1 t 2 + t 4 = t t3 3 + t5 5 This series converges fairly rapidly when t is small. It just barely converges when t = 1, yielding the identity π (7) 4 = This series, first noted by Leibniz, converges far too slowly to be useful for computation, but it is quite pretty. y 1 Gregory died before Newton and Leibniz did their work. His book Geometriae pars universalis was the first appearance of a proof of what we now call the Fundamental Theorem of Calculus. Read more about Gregory at MacTutor [3].

3 STØRMER NUMBERS 3 2. Machin s identity Leibniz series (7) is an example of an alternating series, which means simply that the signs alternate between positive and negative. Note that Gregory s series (6) is alternating when t > 0 but not so when t < 0. In calculus we learned that if the absolute value of the terms of an alternating series decrease monotonically to 0, then the series converges. We deduced this by making an estimate of the error incurred when we truncate the series after (say) n terms: the remainder of the terms sum to something less (in absolute value) than the next term. For example, if we add up 1000 terms of Leibniz series (7) then the error is something less than 1/2001 = This just gives 3-place accuracy. To get faster convergence, and thereby more accuracy for less effort, we want to express π in terms of smaller angles, ones whose tangents are much closer to 0. If we let (8) α n = arctan(1/n) then what we are seeking is an identity for α 1 = π/4 in terms of α n where n > 1. One example is the identity: (9) α 1 = α 2 + α 3. There is a nice picture proof in [1], but this can also be proved using the addition formula for tangent: (10) tan(α ± β) = tan(α) ± tan(β) 1 tan(α) tan(β). When we apply this to α + α we obtain the double-angle formula. Let s apply the addition formula to α 2 + α 3. tan(α 2 + α 3 ) = = 1. We can combine the identity with the Gregory series, to obtain an approximation of π that works fairly well in practice: (11) π 4 = α 1 = By the alternating series estimate, the computation above is enough to get 4-place accuracy. We will see a series for arctangent in the next section which works much better with the identity. A better identity for use with the Gregory series is due to Machin: (12) α 1 = 4α 5 α 239. The nice thing about Machin s identity is that it is relatively easy to compute the Gregory series for α 5 in the decimal system, while the Gregory series for α 239 requires very few terms for a given level of accuracy.

4 4 PAUL HEWITT 3. Euler s identities Euler had the habit of taking up the early work in calculus and improving it far beyond the combined effort of everyone before him. Series approximations of π were no exception. He improved on Gregory s series (6) by computing the Maclaurin series expansion of arctan(1/ x 1): 1 (13) arctan( ) = 1 x 1 x k=0 C k 1 (4x) k, where C k = 1 2k + 1 ( ) 2k. k Euler s series (13) is not alternating, and so the error estimate above does not apply. Nevertheless Euler s series can be seen to converge quite rapidly when x is large. One way to do this is to compare the series to an appropriate geometric series. Why is Euler s series (13) an improvement? Euler noticed that 2 = 5 1 and 3 = 10 1, while 1/(4 5) k = 1/20 k and 1/(4 10) k = 1/40 k are easy to compute in the decimal system. The integers C k are probably easiest to compute using Pascal s triangle. (Certainly not by computing factorials!) The term 1/ x can be computed efficiently in any of a number of ways, among them Newton s iteration. Euler also found several new identities among the α n, including two more that work well with his series: (14) α 1 = 2α 3 + α 7 = 5α 7 + 2α 18 2α 57. You compute α 7, α 18, and α 57 by taking x = 50, 325, and 3250 (respectively) in Euler s series (13). In fact, the computations of the terms in the series for α 18 and α 57 can be done essentially simultaneously. The difference between dividing by (4 325) k = 1300 k and by (4 3250) k = k is simply a matter of shifting the decimal place. These insights highlight Euler s practical genius. But it turns out to be quite easy to generate identities like these. In the 20th century a Swedish mathematician named Størmer 2 found a systematic way to generate all possible identities of this type. His method uses the arithmetic of the complex plane. 4. Størmer s method The angle α m is the argument of the complex number m + i. In the complex plane, the sum of the arguments is the argument of the product. Hence the angle sum α m + α n corresponds to the product (m + i) (n + i). Numbers of the form a + bi are called gaussian integers whenever a and b are ordinary integers. Gauss discovered that this expanded number system enjoys a key property of the ordinary integers, namely that every number except 0, ±1, and ±i factors into primes in an essentially unique way. Of course, an ordinary prime might be a gaussian composite. For example, 2 = (1 + i) (1 i) and 13 = (3 + 2i) (3 2i). On the other hand, some ordinary primes are also gaussian primes. For example, 3 is both an ordinary and gaussian prime. Let s prove this claim. 2 Størmer is known mostly for his mathematical theory describing the aurora borealis (the northern lights). You can read more about him at MacTutor [2].

5 STØRMER NUMBERS 5 Of course 3 factors as ( i) (3i), but this is akin to the factorization ( 1) ( 3) in the ordinary integers. The numbers ±1 and ±i are all units, meaning that they have multiplicative inverses. Whenever you have a unit u then every number x factors as (u 1 ) (ux). So factorizations involving units are not very interesting. There are only two directions on the real line, which we call positive and negative. Every real number x is (essentially) uniquely ±w, where w is positive. (There is one ambiguity at the boundary: 0 = +0. We won t fuss over this detail.) By contrast, there are infinitely many directions in the complex plane. Let s focus on the four cardinal directions: east, north, west, and south. 01arg = π/4 west east north south arg = π/4 The eastern region 3 contains the numbers whose argument is between ±π/4. Multiplication by i rotates the regions π/2 counter-clockwise. Every complex number z is (essentially) uniquely i k w, where w is eastern. (Again, we will not fuss too much deciding which numbers on the boundary lines lie in which regions. A little ambiguity is sometimes a healthy thing.) Now we can state the Unique Factorization Property more precisely: Every eastern gaussian number factors into eastern gaussian primes, uniquely except for order. Since arguments add when complex numbers are multiplied, and since the argument of 3 is 0, the only possible eastern factorization of 3 is (ax + ayi) (bx byi) = ab(x 2 +y 2 ), where a, b, x, and y are all nonnegative integers. Since 3 is an ordinary prime and there is no way to write 3 as a sum of two squares of positive integers, it must be that y = 0, x = 1, and either a = 1 or b = 1. I want to expand a bit on the fact that 3 is not the sum of two ordinary integral squares. For a small number such as 3 this can be checked by considering all of the possibilities. What about for a large prime, such as or ? Is either of these a sum of two integral squares? Gauss used his expanded number system to answer this question completely: An ordinary prime cannot be expressed as the sum of two ordinary integral squares if and only if it leaves a remainder of 3 when divided by 4. 3 In [1] they refer to this region as positive, but I feel this is a bit dangerous. The problem is that you might be lured into the trap that every complex number is either positive or negative, or that the product of positive complex numbers is positive. Both of these are false, and so the word positive does not seem very apt.

6 6 PAUL HEWITT Thus, is not a sum of two ordinary integral squares but is. This theorem is part of a much larger theory, called quadratic reciprocity. This theory answers many questions about quadratic diophantine equations. It was regarded as the pinnacle of number theory at the beginning of the 20th century. Much of the effort of 20th century number theorists was directed towards generalizing Quadratic Reciprocity to higher-degree equations. We will resist the temptation to discuss Gauss theory further. Instead we will show how to use gaussian integers to find all additive relations between the Gregory numbers α n. Rather than state a precise and elaborate theory, we will simply work out a couple of examples in detail. A further example can be found in [1]. The one thing to keep in mind as we work thru the examples is that a gaussian factor of a + bi corresponds to an angle summand of arctan(b/a). Thus an ordinary integral factor corresponds to an angle summand of 0. That is, ordinary integral factors can be ignored when we interpret a gaussian product as an angle sum. Finally, note that α n = α n this is the argument of n i. Let s start with a very simple example: decompose α 23/15 = arctan(15/23) into a sum of angles ±α n, where n is an ordinary integer. We look for factors of 23+15i of the form n ± i. The trick is to find the smallest n which will cancel the largest prime factor of = 754 = For this we need the smallest n such that 29 divides n It turns out that there is always an n not exceeding 29/2. We could simply check all of the integers up to 14, but we outline a more systematic way to do this, which is usually slightly faster as well. By Gauss theorem, 29 is a sum of two squares. A quick check of the numbers less than 29/2 = 3. reveals that 29 = The extended euclidean algorithm, applied to the pair 5, 2 tells us that 1 = Now if we set n = = 12 then 29 divides n = 145. Is there a smaller n? In this case, no. In general at this step the smallest n can be found first by finding the remainder r of n 29, and then taking the smaller value of r and 29 r. In this case, r = n = 12, and so there is no smaller value. Next we compute ( i) (12 ± i), and look for a factor of 29: ( i) (12 + i) = i = 29 (9 + 7i) ( i) (12 i) = i The first of these equations tells us that (15) α 23/15 + α 12 = α 9/7. Now repeat: = 130 = = = = (9 + 7i) (5 + i) = i (9 + 7i) (5 i) = i = 26 (2 + i)

7 STØRMER NUMBERS 7 This last line tells us that (16) α 9/7 α 5 = α 2. If we combine the results (15) and (16) we find that (17) α 23/15 = α 2 + α 5 α 12. It turns out that none of the α n on the right-hand side of equation (17) can be decomposed further. This is because, for each of these n, the largest prime factor of n is already at least 2n: = 5, = 2 13, = In fact, we chose these n for precisely this property. Størmer proved that if n is an ordinary integer then α n can be decomposed precisely when the largest prime factor of n 2 +1 is smaller than 2n. Conway and Guy refer to numbers which cannot be decomposed as Størmer numbers in their book [1]. For the second example we decompose α = 3026 = = = = (55 + i) (34 + i) = i = 89 (21 + i) (55 + i) (34 i) = i This next-to-last line tells us that (18) α 55 + α 34 = α 21. Since = 442 = , 21 is not a Størmer number, and so α 21 can be further decomposed: This last line tells us that 17 = (21 + i) (4 + i) = i (21 + i) (4 i) = 85 17i = 17 (5 i) (19) α 21 α 4 = α 5. When we combine the results (18) and (19) we find that (20) α 55 = α 4 α 5 α 34. Exercises (1) Prove Machin s identity (12) in the following three steps. (a) Compute tan(2α 5 ), using the double-angle formula. (b) Compute tan(4α 5 ), using part (a) and the double-angle formula. (c) Use part (b) and the addition formula to show that tan(4α 5 α 239 ) = 1. (2) Derive Machin s identity (12) by applying Størmer s method to decompose α 239. (3) Give a geometric proof that α 1 = α 2 + α 3 based on the diagram on p 241 of [1].

8 8 PAUL HEWITT (4) For each of the following approximations, determine how many terms are needed to achieve 10-place accuracy. (a) The identity (9). (b) Machin s identity (12). (c) Euler s identities (14). (5) Use Machin s identity (12) with Gregory s series (6) to compute π to 10 decimal places by hand. (6) Use the identity (9) together with Euler s series (13) to compute π to 10 decimal places by hand. References [1] J Conway and R Guy, The Book of Numbers. Copernicus: [2] MacTutor biography of Størmer: [3] MacTutor biography of Gregory: University of Toledo

MthEd/Math 300 Williams Fall 2011 Midterm Exam 2

MthEd/Math 300 Williams Fall 2011 Midterm Exam 2 Name: MthEd/Math 300 Williams Fall 2011 Midterm Exam 2 Closed Book / Closed Note. Answer all problems. You may use a calculator for numerical computations. Section 1: For each event listed in the first

More information

π-day, 2013 Michael Kozdron

π-day, 2013 Michael Kozdron π-day, 2013 Michael Kozdron What is π? In any circle, the ratio of the circumference to the diameter is constant. We are taught in high school that this number is called π. That is, for any circle. π =

More information

Once they had completed their conquests, the Arabs settled down to build a civilization and a culture. They became interested in the arts and

Once they had completed their conquests, the Arabs settled down to build a civilization and a culture. They became interested in the arts and The Islamic World We know intellectual activity in the Mediterranean declined in response to chaos brought about by the rise of the Roman Empire. We ve also seen how the influence of Christianity diminished

More information

What is proof? Lesson 1

What is proof? Lesson 1 What is proof? Lesson The topic for this Math Explorer Club is mathematical proof. In this post we will go over what was covered in the first session. The word proof is a normal English word that you might

More information

Pell s Equation Claire Larkin

Pell s Equation Claire Larkin Pell s Equation is a Diophantine equation in the form: Pell s Equation Claire Larkin The Equation x 2 dy 2 = where x and y are both integer solutions and n is a positive nonsquare integer. A diophantine

More information

5.3 SOLVING TRIGONOMETRIC EQUATIONS

5.3 SOLVING TRIGONOMETRIC EQUATIONS 5.3 SOLVING TRIGONOMETRIC EQUATIONS Copyright Cengage Learning. All rights reserved. What You Should Learn Use standard algebraic techniques to solve trigonometric equations. Solve trigonometric equations

More information

= 5 2 and = 13 2 and = (1) = 10 2 and = 15 2 and = 25 2

= 5 2 and = 13 2 and = (1) = 10 2 and = 15 2 and = 25 2 BEGINNING ALGEBRAIC NUMBER THEORY Fermat s Last Theorem is one of the most famous problems in mathematics. Its origin can be traced back to the work of the Greek mathematician Diophantus (third century

More information

3 Algebraic Methods. we can differentiate both sides implicitly to obtain a differential equation involving x and y:

3 Algebraic Methods. we can differentiate both sides implicitly to obtain a differential equation involving x and y: 3 Algebraic Methods b The first appearance of the equation E Mc 2 in Einstein s handwritten notes. So far, the only general class of differential equations that we know how to solve are directly integrable

More information

Shi Feng Sheng Danny Wong

Shi Feng Sheng Danny Wong Exhibit C A Proof of the Fermat s Last Theorem Shi Feng Sheng Danny Wong Abstract: Prior to the Diophantine geometry, number theory (or arithmetic) was to study the patterns of the numbers and elementary

More information

Chapter One Hilbert s 7th Problem: It s statement and origins

Chapter One Hilbert s 7th Problem: It s statement and origins Chapter One Hilbert s 7th Problem: It s statement and origins At the second International Congress of athematicians in Paris, 900, the mathematician David Hilbert was invited to deliver a keynote address,

More information

8.5 Taylor Polynomials and Taylor Series

8.5 Taylor Polynomials and Taylor Series 8.5. TAYLOR POLYNOMIALS AND TAYLOR SERIES 50 8.5 Taylor Polynomials and Taylor Series Motivating Questions In this section, we strive to understand the ideas generated by the following important questions:

More information

Integration by partial fractions

Integration by partial fractions Roberto s Notes on Integral Calculus Chapter : Integration methods Section 15 Integration by partial fractions with non-repeated quadratic factors What you need to know already: How to use the integration

More information

Number Systems III MA1S1. Tristan McLoughlin. December 4, 2013

Number Systems III MA1S1. Tristan McLoughlin. December 4, 2013 Number Systems III MA1S1 Tristan McLoughlin December 4, 2013 http://en.wikipedia.org/wiki/binary numeral system http://accu.org/index.php/articles/1558 http://www.binaryconvert.com http://en.wikipedia.org/wiki/ascii

More information

10.7 Trigonometric Equations and Inequalities

10.7 Trigonometric Equations and Inequalities 0.7 Trigonometric Equations and Inequalities 857 0.7 Trigonometric Equations and Inequalities In Sections 0. 0. and most recently 0. we solved some basic equations involving the trigonometric functions.

More information

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER / Lines and Their Equations

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER / Lines and Their Equations ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER 1 017/018 DR. ANTHONY BROWN. Lines and Their Equations.1. Slope of a Line and its y-intercept. In Euclidean geometry (where

More information

8.7 MacLaurin Polynomials

8.7 MacLaurin Polynomials 8.7 maclaurin polynomials 67 8.7 MacLaurin Polynomials In this chapter you have learned to find antiderivatives of a wide variety of elementary functions, but many more such functions fail to have an antiderivative

More information

10.7 Trigonometric Equations and Inequalities

10.7 Trigonometric Equations and Inequalities 0.7 Trigonometric Equations and Inequalities 857 0.7 Trigonometric Equations and Inequalities In Sections 0., 0. and most recently 0., we solved some basic equations involving the trigonometric functions.

More information

Power series and Taylor series

Power series and Taylor series Power series and Taylor series D. DeTurck University of Pennsylvania March 29, 2018 D. DeTurck Math 104 002 2018A: Series 1 / 42 Series First... a review of what we have done so far: 1 We examined series

More information

10.7 Trigonometric Equations and Inequalities

10.7 Trigonometric Equations and Inequalities 0.7 Trigonometric Equations and Inequalities 79 0.7 Trigonometric Equations and Inequalities In Sections 0., 0. and most recently 0., we solved some basic equations involving the trigonometric functions.

More information

SUMS OF POWERS AND BERNOULLI NUMBERS

SUMS OF POWERS AND BERNOULLI NUMBERS SUMS OF POWERS AND BERNOULLI NUMBERS TOM RIKE OAKLAND HIGH SCHOOL Fermat and Pascal On September 22, 636 Fermat claimed in a letter that he could find the area under any higher parabola and Roberval wrote

More information

19. TAYLOR SERIES AND TECHNIQUES

19. TAYLOR SERIES AND TECHNIQUES 19. TAYLOR SERIES AND TECHNIQUES Taylor polynomials can be generated for a given function through a certain linear combination of its derivatives. The idea is that we can approximate a function by a polynomial,

More information

2. Limits at Infinity

2. Limits at Infinity 2 Limits at Infinity To understand sequences and series fully, we will need to have a better understanding of its at infinity We begin with a few examples to motivate our discussion EXAMPLE 1 Find SOLUTION

More information

TEACHER NOTES FOR YEAR 11 MATHEMATICAL METHODS

TEACHER NOTES FOR YEAR 11 MATHEMATICAL METHODS TEACHER NOTES FOR YEAR 11 MATHEMATICAL METHODS 10 September 2015 CHAPTER 0: BACKGROUND KNOWLEDGE (ONLINE) A Coordinate geometry Topic 1 Unit 1 B The equation of a line Sub-topic 1.1 Topic 1 C The intersection

More information

Sequences and infinite series

Sequences and infinite series Sequences and infinite series D. DeTurck University of Pennsylvania March 29, 208 D. DeTurck Math 04 002 208A: Sequence and series / 54 Sequences The lists of numbers you generate using a numerical method

More information

The Not-Formula Book for C2 Everything you need to know for Core 2 that won t be in the formula book Examination Board: AQA

The Not-Formula Book for C2 Everything you need to know for Core 2 that won t be in the formula book Examination Board: AQA Not The Not-Formula Book for C Everything you need to know for Core that won t be in the formula book Examination Board: AQA Brief This document is intended as an aid for revision. Although it includes

More information

MITOCW MITRES18_005S10_DiffEqnsMotion_300k_512kb-mp4

MITOCW MITRES18_005S10_DiffEqnsMotion_300k_512kb-mp4 MITOCW MITRES18_005S10_DiffEqnsMotion_300k_512kb-mp4 PROFESSOR: OK, this lecture, this day, is differential equations day. I just feel even though these are not on the BC exams, that we've got everything

More information

Taylor and Maclaurin Series. Copyright Cengage Learning. All rights reserved.

Taylor and Maclaurin Series. Copyright Cengage Learning. All rights reserved. 11.10 Taylor and Maclaurin Series Copyright Cengage Learning. All rights reserved. We start by supposing that f is any function that can be represented by a power series f(x)= c 0 +c 1 (x a)+c 2 (x a)

More information

Math 200 University of Connecticut

Math 200 University of Connecticut IRRATIONALITY OF π AND e KEITH CONRAD Math 2 University of Connecticut Date: Aug. 3, 25. Contents. Introduction 2. Irrationality of π 2 3. Irrationality of e 3 4. General Ideas 4 5. Irrationality of rational

More information

A Dissection Proof of Leibniz s Series for π/4

A Dissection Proof of Leibniz s Series for π/4 A Dissection Proof of Leibniz s Series for π/4 Mitsuo Kobayashi Abstract Inspired by Lord Brouncker s discovery of his series for ln by dissecting the region below the curve /x, Viggo Brun found a way

More information

Elementary Number Theory. Franz Luef

Elementary Number Theory. Franz Luef Elementary Number Theory Congruences Modular Arithmetic Congruence The notion of congruence allows one to treat remainders in a systematic manner. For each positive integer greater than 1 there is an arithmetic

More information

The Mathematics of Renaissance Europe

The Mathematics of Renaissance Europe The Mathematics of Renaissance Europe The 15 th and 16 th centuries in Europe are often referred to as the Renaissance. The word renaissance means rebirth and describes the renewed interest in intellectual

More information

Solutions to Tutorial for Week 4

Solutions to Tutorial for Week 4 The University of Sydney School of Mathematics and Statistics Solutions to Tutorial for Week 4 MATH191/1931: Calculus of One Variable (Advanced) Semester 1, 018 Web Page: sydneyeduau/science/maths/u/ug/jm/math191/

More information

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2 8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose

More information

AS1051: Mathematics. 0. Introduction

AS1051: Mathematics. 0. Introduction AS1051: Mathematics 0 Introduction The aim of this course is to review the basic mathematics which you have already learnt during A-level, and then develop it further You should find it almost entirely

More information

Math /Foundations of Algebra/Fall 2017 Foundations of the Foundations: Proofs

Math /Foundations of Algebra/Fall 2017 Foundations of the Foundations: Proofs Math 4030-001/Foundations of Algebra/Fall 017 Foundations of the Foundations: Proofs A proof is a demonstration of the truth of a mathematical statement. We already know what a mathematical statement is.

More information

CALCULUS I. Review. Paul Dawkins

CALCULUS I. Review. Paul Dawkins CALCULUS I Review Paul Dawkins Table of Contents Preface... ii Review... 1 Introduction... 1 Review : Functions... Review : Inverse Functions...1 Review : Trig Functions...0 Review : Solving Trig Equations...7

More information

Grade 8 Chapter 7: Rational and Irrational Numbers

Grade 8 Chapter 7: Rational and Irrational Numbers Grade 8 Chapter 7: Rational and Irrational Numbers In this chapter we first review the real line model for numbers, as discussed in Chapter 2 of seventh grade, by recalling how the integers and then the

More information

Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2:

Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2: Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2: 03 17 08 3 All about lines 3.1 The Rectangular Coordinate System Know how to plot points in the rectangular coordinate system. Know the

More information

18.03 LECTURE NOTES, SPRING 2014

18.03 LECTURE NOTES, SPRING 2014 18.03 LECTURE NOTES, SPRING 2014 BJORN POONEN 7. Complex numbers Complex numbers are expressions of the form x + yi, where x and y are real numbers, and i is a new symbol. Multiplication of complex numbers

More information

Is there a rigorous high school limit proof that 0 0 = 1?

Is there a rigorous high school limit proof that 0 0 = 1? Is there a rigorous high school limit proof that 0 0 =? Peter Haggstrom www.gotohaggstrom.com mathsatbondibeach@gmail.com February 20, 208 A bare hands proof Youtube contains a number of videos seemingly

More information

5 + 9(10) + 3(100) + 0(1000) + 2(10000) =

5 + 9(10) + 3(100) + 0(1000) + 2(10000) = Chapter 5 Analyzing Algorithms So far we have been proving statements about databases, mathematics and arithmetic, or sequences of numbers. Though these types of statements are common in computer science,

More information

MATH1190 CALCULUS 1 - NOTES AND AFTERNOTES

MATH1190 CALCULUS 1 - NOTES AND AFTERNOTES MATH90 CALCULUS - NOTES AND AFTERNOTES DR. JOSIP DERADO. Historical background Newton approach - from physics to calculus. Instantaneous velocity. Leibniz approach - from geometry to calculus Calculus

More information

SECTION 9.2: ARITHMETIC SEQUENCES and PARTIAL SUMS

SECTION 9.2: ARITHMETIC SEQUENCES and PARTIAL SUMS (Chapter 9: Discrete Math) 9.11 SECTION 9.2: ARITHMETIC SEQUENCES and PARTIAL SUMS PART A: WHAT IS AN ARITHMETIC SEQUENCE? The following appears to be an example of an arithmetic (stress on the me ) sequence:

More information

Sequences and Series

Sequences and Series Sequences and Series What do you think of when you read the title of our next unit? In case your answers are leading us off track, let's review the following IB problems. 1 November 2013 HL 2 3 November

More information

Square-Triangular Numbers

Square-Triangular Numbers Square-Triangular Numbers Jim Carlson April 26, 2004 Contents 1 Introduction 2 2 Existence 2 3 Finding an equation 3 4 Solutions by brute force 4 5 Speeding things up 5 6 Solutions by algebraic numbers

More information

INFINITE SEQUENCES AND SERIES

INFINITE SEQUENCES AND SERIES 11 INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES In section 11.9, we were able to find power series representations for a certain restricted class of functions. INFINITE SEQUENCES AND SERIES

More information

Notes on Continued Fractions for Math 4400

Notes on Continued Fractions for Math 4400 . Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural

More information

Math 3 Variable Manipulation Part 4 Polynomials B COMPLEX NUMBERS A Complex Number is a combination of a Real Number and an Imaginary Number:

Math 3 Variable Manipulation Part 4 Polynomials B COMPLEX NUMBERS A Complex Number is a combination of a Real Number and an Imaginary Number: Math 3 Variable Manipulation Part 4 Polynomials B COMPLEX NUMBERS A Complex Number is a combination of a Real Number and an Imaginary Number: 1 Examples: 1 + i 39 + 3i 0.8.i + πi + i/ A Complex Number

More information

Infinite series, improper integrals, and Taylor series

Infinite series, improper integrals, and Taylor series Chapter 2 Infinite series, improper integrals, and Taylor series 2. Introduction to series In studying calculus, we have explored a variety of functions. Among the most basic are polynomials, i.e. functions

More information

PREPARATION NOTES FOR NUMBER THEORY PRACTICE WED. OCT. 3,2012

PREPARATION NOTES FOR NUMBER THEORY PRACTICE WED. OCT. 3,2012 PREPARATION NOTES FOR NUMBER THEORY PRACTICE WED. OCT. 3,2012 0.1. Basic Num. Th. Techniques/Theorems/Terms. Modular arithmetic, Chinese Remainder Theorem, Little Fermat, Euler, Wilson, totient, Euclidean

More information

MAT100 OVERVIEW OF CONTENTS AND SAMPLE PROBLEMS

MAT100 OVERVIEW OF CONTENTS AND SAMPLE PROBLEMS MAT100 OVERVIEW OF CONTENTS AND SAMPLE PROBLEMS MAT100 is a fast-paced and thorough tour of precalculus mathematics, where the choice of topics is primarily motivated by the conceptual and technical knowledge

More information

Why write proofs? Why not just test and repeat enough examples to confirm a theory?

Why write proofs? Why not just test and repeat enough examples to confirm a theory? P R E F A C E T O T H E S T U D E N T Welcome to the study of mathematical reasoning. The authors know that many students approach this material with some apprehension and uncertainty. Some students feel

More information

On the computational complexity of mathematical functions

On the computational complexity of mathematical functions On the computational complexity of mathematical functions Jean-Pierre Demailly Institut Fourier, Université de Grenoble I & Académie des Sciences, Paris (France) November 26, 2011 KVPY conference at Vijyoshi

More information

1.1.1 Algebraic Operations

1.1.1 Algebraic Operations 1.1.1 Algebraic Operations We need to learn how our basic algebraic operations interact. When confronted with many operations, we follow the order of operations: Parentheses Exponentials Multiplication

More information

Math 109 HW 9 Solutions

Math 109 HW 9 Solutions Math 109 HW 9 Solutions Problems IV 18. Solve the linear diophantine equation 6m + 10n + 15p = 1 Solution: Let y = 10n + 15p. Since (10, 15) is 5, we must have that y = 5x for some integer x, and (as we

More information

Section 6.1 Sinusoidal Graphs

Section 6.1 Sinusoidal Graphs Chapter 6: Periodic Functions In the previous chapter, the trigonometric functions were introduced as ratios of sides of a right triangle, and related to points on a circle We noticed how the x and y values

More information

1 The Real Number System

1 The Real Number System 1 The Real Number System The rational numbers are beautiful, but are not big enough for various purposes, and the set R of real numbers was constructed in the late nineteenth century, as a kind of an envelope

More information

Mathematics - High School Algebra II

Mathematics - High School Algebra II Mathematics - High School Algebra II All West Virginia teachers are responsible for classroom instruction that integrates content standards and mathematical habits of mind. Students in this course will

More information

2.1 Convergence of Sequences

2.1 Convergence of Sequences Chapter 2 Sequences 2. Convergence of Sequences A sequence is a function f : N R. We write f) = a, f2) = a 2, and in general fn) = a n. We usually identify the sequence with the range of f, which is written

More information

Rubbing Shoulders With Newton: A New Look at a Fundamental Constant of Nature

Rubbing Shoulders With Newton: A New Look at a Fundamental Constant of Nature Rubbing Shoulders With Newton: A New Look at a Fundamental Constant of Nature Harlan J. Brothers Director of Technology The Country School Splash 2.71828182845945235362874713526 6249775724793699959574966967627

More information

Roberto s Notes on Linear Algebra Chapter 4: Matrix Algebra Section 7. Inverse matrices

Roberto s Notes on Linear Algebra Chapter 4: Matrix Algebra Section 7. Inverse matrices Roberto s Notes on Linear Algebra Chapter 4: Matrix Algebra Section 7 Inverse matrices What you need to know already: How to add and multiply matrices. What elementary matrices are. What you can learn

More information

8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

More information

6.5 Trigonometric Equations

6.5 Trigonometric Equations 6. Trigonometric Equations In this section, we discuss conditional trigonometric equations, that is, equations involving trigonometric functions that are satisfied only by some values of the variable (or

More information

Module 3 : Differentiation and Mean Value Theorems. Lecture 7 : Differentiation. Objectives. In this section you will learn the following :

Module 3 : Differentiation and Mean Value Theorems. Lecture 7 : Differentiation. Objectives. In this section you will learn the following : Module 3 : Differentiation and Mean Value Theorems Lecture 7 : Differentiation Objectives In this section you will learn the following : The concept of derivative Various interpretations of the derivatives

More information

2. FUNCTIONS AND ALGEBRA

2. FUNCTIONS AND ALGEBRA 2. FUNCTIONS AND ALGEBRA You might think of this chapter as an icebreaker. Functions are the primary participants in the game of calculus, so before we play the game we ought to get to know a few functions.

More information

Elementary Linear Algebra, Second Edition, by Spence, Insel, and Friedberg. ISBN Pearson Education, Inc., Upper Saddle River, NJ.

Elementary Linear Algebra, Second Edition, by Spence, Insel, and Friedberg. ISBN Pearson Education, Inc., Upper Saddle River, NJ. 2008 Pearson Education, Inc., Upper Saddle River, NJ. All rights reserved. APPENDIX: Mathematical Proof There are many mathematical statements whose truth is not obvious. For example, the French mathematician

More information

MthEd/Math 300 Williams Fall 2011 Midterm Exam 3

MthEd/Math 300 Williams Fall 2011 Midterm Exam 3 Name: MthEd/Math 300 Williams Fall 2011 Midterm Exam 3 Closed Book / Closed Note. Answer all problems. You may use a calculator for numerical computations. Section 1: For each event listed in the first

More information

Beautiful Mathematics

Beautiful Mathematics Beautiful Mathematics 1. Principle of Mathematical Induction The set of natural numbers is the set of positive integers {1, 2, 3,... } and is denoted by N. The Principle of Mathematical Induction is a

More information

Section 5.5. Complex Eigenvalues

Section 5.5. Complex Eigenvalues Section 5.5 Complex Eigenvalues A Matrix with No Eigenvectors Consider the matrix for the linear transformation for rotation by π/4 in the plane. The matrix is: A = 1 ( ) 1 1. 2 1 1 This matrix has no

More information

Upon completion of this course, the student should be able to satisfy the following objectives.

Upon completion of this course, the student should be able to satisfy the following objectives. Homework: Chapter 6: o 6.1. #1, 2, 5, 9, 11, 17, 19, 23, 27, 41. o 6.2: 1, 5, 9, 11, 15, 17, 49. o 6.3: 1, 5, 9, 15, 17, 21, 23. o 6.4: 1, 3, 7, 9. o 6.5: 5, 9, 13, 17. Chapter 7: o 7.2: 1, 5, 15, 17,

More information

Fundamentals of Pure Mathematics - Problem Sheet

Fundamentals of Pure Mathematics - Problem Sheet Fundamentals of Pure Mathematics - Problem Sheet ( ) = Straightforward but illustrates a basic idea (*) = Harder Note: R, Z denote the real numbers, integers, etc. assumed to be real numbers. In questions

More information

CS1800: Sequences & Sums. Professor Kevin Gold

CS1800: Sequences & Sums. Professor Kevin Gold CS1800: Sequences & Sums Professor Kevin Gold Moving Toward Analysis of Algorithms Today s tools help in the analysis of algorithms. We ll cover tools for deciding what equation best fits a sequence of

More information

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2018

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2018 ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER 1 2017/2018 DR. ANTHONY BROWN 1. Arithmetic and Algebra 1.1. Arithmetic of Numbers. While we have calculators and computers

More information

We have been going places in the car of calculus for years, but this analysis course is about how the car actually works.

We have been going places in the car of calculus for years, but this analysis course is about how the car actually works. Analysis I We have been going places in the car of calculus for years, but this analysis course is about how the car actually works. Copier s Message These notes may contain errors. In fact, they almost

More information

Taylor and Laurent Series

Taylor and Laurent Series Chapter 4 Taylor and Laurent Series 4.. Taylor Series 4... Taylor Series for Holomorphic Functions. In Real Analysis, the Taylor series of a given function f : R R is given by: f (x + f (x (x x + f (x

More information

SUMMATION TECHNIQUES

SUMMATION TECHNIQUES SUMMATION TECHNIQUES MATH 53, SECTION 55 (VIPUL NAIK) Corresponding material in the book: Scattered around, but the most cutting-edge parts are in Sections 2.8 and 2.9. What students should definitely

More information

Partial Fractions. June 27, In this section, we will learn to integrate another class of functions: the rational functions.

Partial Fractions. June 27, In this section, we will learn to integrate another class of functions: the rational functions. Partial Fractions June 7, 04 In this section, we will learn to integrate another class of functions: the rational functions. Definition. A rational function is a fraction of two polynomials. For example,

More information

On the Cardinality of Mersenne Primes

On the Cardinality of Mersenne Primes On the Cardinality of Mersenne Primes Garimella Rama Murthy, Associate Professor, International Institute of Information Technology (IIIT), Gachibowli, Hyderabad-32,AP,INDIA ABSTRACT In this research paper,

More information

Take It To The Limit. Calculus H Mr. Russo Reaction to Take It To The Limit

Take It To The Limit. Calculus H Mr. Russo Reaction to Take It To The Limit Calculus H Mr. Russo Reaction to Take It To The Limit For Tuesday, I am asking you to read the article below, Take It To The Limit by Steven Strogatz, and to write a brief reaction paper to this reading.

More information

The Ring Z of Integers

The Ring Z of Integers Chapter 2 The Ring Z of Integers The next step in constructing the rational numbers from N is the construction of Z, that is, of the (ring of) integers. 2.1 Equivalence Classes and Definition of Integers

More information

Math Fundamentals for Statistics I (Math 52) Unit 7: Connections (Graphs, Equations and Inequalities)

Math Fundamentals for Statistics I (Math 52) Unit 7: Connections (Graphs, Equations and Inequalities) Math Fundamentals for Statistics I (Math 52) Unit 7: Connections (Graphs, Equations and Inequalities) By Scott Fallstrom and Brent Pickett The How and Whys Guys This work is licensed under a Creative Commons

More information

Chapter 11 - Sequences and Series

Chapter 11 - Sequences and Series Calculus and Analytic Geometry II Chapter - Sequences and Series. Sequences Definition. A sequence is a list of numbers written in a definite order, We call a n the general term of the sequence. {a, a

More information

MITOCW MITRES18_006F10_26_0501_300k-mp4

MITOCW MITRES18_006F10_26_0501_300k-mp4 MITOCW MITRES18_006F10_26_0501_300k-mp4 ANNOUNCER: The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high quality educational

More information

CH 59 SQUARE ROOTS. Every positive number has two square roots. Ch 59 Square Roots. Introduction

CH 59 SQUARE ROOTS. Every positive number has two square roots. Ch 59 Square Roots. Introduction 59 CH 59 SQUARE ROOTS Introduction W e saw square roots when we studied the Pythagorean Theorem. They may have been hidden, but when the end of a right-triangle problem resulted in an equation like c =

More information

Calculus I. Here are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed.

Calculus I. Here are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed. This document was written and copyrighted by Paul Dawkins. Use of this document and its online version is governed by the Terms and Conditions of Use located at. The online version of this document is

More information

Number Theory. Introduction

Number Theory. Introduction Number Theory Introduction Number theory is the branch of algebra which studies the properties of the integers. While we may from time to time use real or even complex numbers as tools to help us study

More information

Separable First-Order Equations

Separable First-Order Equations 4 Separable First-Order Equations As we will see below, the notion of a differential equation being separable is a natural generalization of the notion of a first-order differential equation being directly

More information

Math From Scratch Lesson 29: Decimal Representation

Math From Scratch Lesson 29: Decimal Representation Math From Scratch Lesson 29: Decimal Representation W. Blaine Dowler January, 203 Contents Introducing Decimals 2 Finite Decimals 3 2. 0................................... 3 2.2 2....................................

More information

Radical. Anthony J. Browne. April 23, 2016 ABSTRACT

Radical. Anthony J. Browne. April 23, 2016 ABSTRACT Radical Anthony J. Browne April 23, 2016 ABSTRACT Approximations of square roots are discussed. A very close approximation to their decimal expansion is derived in the form of a simple fraction. Their

More information

Notes: Pythagorean Triples

Notes: Pythagorean Triples Math 5330 Spring 2018 Notes: Pythagorean Triples Many people know that 3 2 + 4 2 = 5 2. Less commonly known are 5 2 + 12 2 = 13 2 and 7 2 + 24 2 = 25 2. Such a set of integers is called a Pythagorean Triple.

More information

What Every Programmer Should Know About Floating-Point Arithmetic DRAFT. Last updated: November 3, Abstract

What Every Programmer Should Know About Floating-Point Arithmetic DRAFT. Last updated: November 3, Abstract What Every Programmer Should Know About Floating-Point Arithmetic Last updated: November 3, 2014 Abstract The article provides simple answers to the common recurring questions of novice programmers about

More information

In these notes we will outline a proof of Lobachevskiĭ s main equation for the angle of parallelism, namely

In these notes we will outline a proof of Lobachevskiĭ s main equation for the angle of parallelism, namely Mathematics 30 Spring Semester, 003 Notes on the angle of parallelism c W. Taylor, 003 In these notes we will outline a proof of Lobachevskiĭ s main equation for the angle of parallelism, namely ( ) Π(y)

More information

What if Gauss had had a computer?

What if Gauss had had a computer? What if Gauss had had a computer? Paul Zimmermann, INRIA, Nancy, France Celebrating 75 Years of Mathematics of Computation, ICERM, Brown University, Providence, November 1st, 2018 What if Gauss had had

More information

The Emergence of Medieval Mathematics. The Medieval time period, or the Middle Ages as it is also known, is a time period in

The Emergence of Medieval Mathematics. The Medieval time period, or the Middle Ages as it is also known, is a time period in The Emergence of Medieval Mathematics The Medieval time period, or the Middle Ages as it is also known, is a time period in history marked by the fall of the Roman civilization in the 5 th century to the

More information

Clock Arithmetic. 1. If it is 9 o clock and you get out of school in 4 hours, when do you get out of school?

Clock Arithmetic. 1. If it is 9 o clock and you get out of school in 4 hours, when do you get out of school? Clock Arithmetic We are going to learn all about clock addition and the relationship to remainders when you divide numbers. 1 Standard Clock Addition 1. If it is 9 o clock and you get out of school in

More information

Slope Fields: Graphing Solutions Without the Solutions

Slope Fields: Graphing Solutions Without the Solutions 8 Slope Fields: Graphing Solutions Without the Solutions Up to now, our efforts have been directed mainly towards finding formulas or equations describing solutions to given differential equations. Then,

More information

Weekly Activities Ma 110

Weekly Activities Ma 110 Weekly Activities Ma 110 Fall 2008 As of October 27, 2008 We give detailed suggestions of what to learn during each week. This includes a reading assignment as well as a brief description of the main points

More information

Polynomial Form. Factored Form. Perfect Squares

Polynomial Form. Factored Form. Perfect Squares We ve seen how to solve quadratic equations (ax 2 + bx + c = 0) by factoring and by extracting square roots, but what if neither of those methods are an option? What do we do with a quadratic equation

More information

Units. Year 1. Unit 1: Course Overview

Units. Year 1. Unit 1: Course Overview Mathematics HL Units All Pamoja courses are written by experienced subject matter experts and integrate the principles of TOK and the approaches to learning of the IB learner profile. This course has been

More information

Math Calculus I

Math Calculus I Math 165 - Calculus I Christian Roettger 382 Carver Hall Mathematics Department Iowa State University www.iastate.edu/~roettger November 13, 2011 4.1 Introduction to Area Sigma Notation 4.2 The Definite

More information