HAMPSHIRE COLLEGE: YOU CAN T GET THERE FROM HERE : WHY YOU CAN T TRISECT AN ANGLE, DOUBLE THE CUBE, OR SQUARE THE CIRCLE. Contents. 1.
|
|
- Gerard O’Neal’
- 5 years ago
- Views:
Transcription
1 HAMPSHIRE COLLEGE: YOU CAN T GET THERE FROM HERE : WHY YOU CAN T TRISECT AN ANGLE, DOUBLE THE CUBE, OR SQUARE THE CIRCLE RAVI VAKIL Contents 1. Introduction 1 2. Impossibility proofs, and Real fields 5 4. Recasting the classical problems The first two cases The third case: π 7 5. Conclusion 8 Here are important things to go on the board. 2 / Q. a, b, c, d Q, a + b 2 = c + d 2 a = b = c = d = 0, later changed to F. Two cubics 8x 3 6x 1 = 0, x 3 2 = 0. Three statements in final form. Sneaky Lemma. 1. Introduction Hi there. Let me start by thanking you all for the invitation to be here. Date: Friday, August 4, File hampshire.tex. 1
2 I came here today to tell you a great story. What I want to do is to prove for you the three classical problems of antiquity, the impossibility of trisecting an angle, doubling the cube, or squaring the circle. People hear about it pretty early, but only see the proof in an undergraduate course in Galois theory, which is pretty advanced. Galois theory is one of the coolest courses in undergrad, and the proof of these impossibilities is one of the coolest part of the Galois theory course. I m not going to tell you what Galois theory is, but if you understand and remember the argument I m going tell you, you ll already have an intuitive understanding for some of the ideas. (handout; questions) First of all, how many of you have heard of these problems? What are they? 1. Given an angle, can you trisect it using only ruler and compass? 2. Given a circle, can you construct a square of the same area using only ruler and compass? 3. Given a line segment of length 1, can you construct a segment of length 3 2? I m going to do something even easier. I ll show that you can t even trisect a 60 degree angle! Notice that we need to say with ruler and compass; if you are allowed other means, you can sometimes do these things. For example, Sarah-Marie told me that some of you know how to use origami folds to trisect an angle. Here s another way of trisecting an angle, using a marked straightedge ; this trick is due to Archimedes. In this figure, angle B is one third angle A. 2
3 B A 2. Impossibility proofs, and 2 Math departments around the country get hundreds of letters every year from people claiming to have done it. Some departments actually post these letters on a board for peoples amusement. What these people think is that no one has yet found a way to do these things, but that surely it is possible, and we just haven t been smart enough yet. But that s wrong. It just can t be done. It s not unreasonable for them to have this misconception. After all, how can you show something can t be done? That s why, when this impossibility was first shown, it was such a big deal. So to warm up, let me start with another classical impossibility proof, something most of you have undoubtedly seen, the fact that 2 is irrational. Give them this proof. Here s an immediate consequence. Suppose a + b 2 = c + d 2, where a, b, c, and d are rational. Then a = c and b = d. Reason: Otherwise 2 = (c a)/(b d). Just for future reference, here s another irrationality statement. cos 20 is a root of 8x 3 6x 1 = 0. How can we use this to show that cos 20 is irrational? The irrationality of 2 was a big deal, and it s hard to realize how big a deal it was, because the idea of the real numbers as some sort of continuum is so hard-wired into our brain. But here s how humankind thought of numbers at the time. There were the numbers we could immediately think of, the rationals, which had to do with, literally, number. So the ancient greeks vision of numbers was: Q. 3
4 But there were other things that looked vaguely like numbers as well: lengths. They were of a different flavor. For example, if you multiply two lengths, you get an area. But there was no obvious reason why lengths and numbers shouldn t be the same. Any reasonable person would expect lengths to be numbers. But: 2 is a length but not a number! So suddenly the ancient greeks vision of numbers was Q, and 2. All of a sudden the world got a lot weirder. It actually took a long time to make sense of a bigger set of numbers than Q that didn t look really ad hoc. That was the concept of real number R, and it was only in the last couple of centuries that it was put on a firm footing. Now in school, R is introduced to us as infinite decimals, with issues such as glossed over, and the identification with lengths assumed. After the reals, of course, the idea of number continued to develop. Here are some other common sets of numbers: introduce complex numbers, and algebraic numbers. To prove this ancient result, I ll introduce a new set of numbers, that I ll call constructible numbers, that lie between Q and R. These are the real numbers that you can write down using rational numbers, the four arithmetic operations, and square roots. Everything you write down has to be real though. For example: (Do some.) Theorem. Let S be the set of points you could then construct using ruler and compass, starting with the points (0, 0) and (1, 0). Then S is precisely the set of points (x, y) where x and y are constructible. There are many parts to this proof, but they re all easy. First, let me convince you that you can construct any point (x, y) where x and y are constructible. It suffices to show that you can construct a line segment of length x and a line segment of length y. Explain. 4
5 So how can I get a line segment of some constructible length x? Answer: if I have line segments of length a and b, then I can construct line segments of length a+b, a b, ab, a/b if b 0, a and ra (r Q). I ll show you most of them. (Do it.) Then this is good enough. For example, to construct , I just... So I ve just shown you that you can construct all points with constructible coordinates. Now I have to show that you can t construct any more. I ll just do one part, and hopefully you ll get the idea. So how might you get new points? There are only so many things you could do. You could, for example, take a circle and intersect it with a line. The circle would be defined by choosing a center point and a radius point, and the line would be defined by choosing two points on it. All four points would have to be constructible. (Give them names.) Now if you work out the formula of the intersection, you ll realize that you ll get something involving all of these letters, and the four operations, and square roots. So the result is also constructible. Similarly, you can show that the intersection points of two constructible circles are also constructible, and the same with lines. Before goin on to the proof: pentagon is constructible, as sin 18 = ( 5 1)/4, so can construct 18 degree angles. 17-gon is constructible too! 3. Real fields The constructible numbers are an example of a real field. Definition. A real field F is a subset of R containing 0 and 1, closed under the four operations. In other words, if you add, subtract, multiply, or divide two elements of F, you ll get another element of F. The other idea I ll need is the idea of a quadratic extension of a real field. 5
6 Definition. Suppose F is a real field, and z > 0 is an element of F such that z isn t in F. Then the elements of the form a+b z (where a, b F ) also form a real field, and this is called a quadratic extension of F, and is denoted F ( z). Define the conjugate of a + b z to be a b z. As an example, Q( 2) is a quadratic extension of Q. In fact, if you understand Q( 2), then you basically understand any qudaratic extension F ( z). For example, it s a fact that if a, b, c, d F, and a + b z = c + d z, then a = b = c = d = 0; the proof is just the same as when F = Q and z = 2. Q( 2, 3) is a quadratic extension of Q( 2); we ll say its in a tower of quadratic extensions of Q. Then constructible numbers are precicsely those numbers which lie in some tower of quadratic extensions of Q. For example, 1/ lies in Recasting the classical problems Now the three classical problems can be reduced to the following statements. 1. cos 20 isn t constructible. (Explain.) isn t constructible. 3. π isn t constructible. (Explain.) 4.1. The first two cases. Observe that the first two are roots of cubic polynomials with no rational roots: 8x 3 6x 1, x 3 2. So far we ve just spent our time with definitions. But all that s left is one sneaky lemma. Now pay attention to this, because I don t think this is in any book. 6
7 Sneaky lemma. Suppose F is a real field. Suppose you have a cubic with coefficients in F, and no root in F. Then it has no roots in a quadratic extension. Let me do one example. (1/8) = 0. Consider the polynomial x 3 (6/8)x Question: What are the sum of the roots of this polynomial? Answer: 0. You ve already shown me that there are no rational roots. I ll show that there are no roots in a quadratic extension of Q. Suppose a+b z is a root. Then b isn t 0, as there aren t any rational roots. That means when I stick it into the formula, I get zero. Imagine I did it. Then when I expand it, I get mess 1 + mess 2 z = 0. Then mess 1 and mess 2 must both be zero. What happens when I stick a b z into x 3 (6/8)x (1/8)? If you think about it, you ll realize that you ll get the same thing, except the sign in front of z will change; you ll get mess 1 mess 2 z = 0. Thus a b z is another root! So we ve found 2 roots already! And we can find the third because we know they sum to zero! What s the third? Ans: 2a. But that s rational! And we know that x 3 (3/4)x (1/8) = 0 has no rational roots, so we have a contradiction! Thus we ve shown that a + b z isn t a root of our cubic. Exactly the same argument proves the key lemma in general. Now we can finish the proof in Case 1. 8x 3 6x 1 = 0 has no roots in Q, and its coefficients are in Q, so the Sneaky Lemma tells us that it has no roots in a quadratic extension of F of Q. Now it has no roots in F, and its coefficients are in F, so the Sneaky Lemma tells us that it has no roots in a quadratic extension of G of F. 7
8 Similarly, by induction, it has no roots in any tower of quadratic extensions of Q. Thus it has no constructible roots! We ve proved the first case! The second case was to show that 3 2 isn t constructible. But by the identical argument, x 3 2 = 0 has no constructible roots, so we win again! 4.2. The third case: π. Finally, let s deal with π. Here I ll have to quote a result. You re probably aware that π is transcendental, and hence not algebraic. That s the one fact I won t prove for you, and it s hard. Fact. Constructible numbers are algebraic. That proves the third case! 5. Conclusion In short, I really hope you saw the general flavour of how that argument goes, and I hope that some of you followed it from beginning from end. This is one of the finest intellectual gems in human history, and it s remarkable that it s potentially comprehensible without years of training. I m going to stick around for dinner, so I hope some of you got stuck somewhere, and will have questions to ask me. And finally, I hope all of you found this as cool as I do. Thank you! 8
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 information3.2 Constructible Numbers
102 CHAPTER 3. SYMMETRIES 3.2 Constructible Numbers Armed with a straightedge, a compass and two points 0 and 1 marked on an otherwise blank number-plane, the game is to see which complex numbers you can
More informationGALOIS THEORY : LECTURE 12
GALOIS THEORY : LECTURE 1 LEO GOLDMAKHER Last lecture, we asserted that the following four constructions are impossible given only a straightedge and a compass: (1) Doubling the cube, i.e. constructing
More informationSolving Quadratic & Higher Degree Equations
Chapter 9 Solving Quadratic & Higher Degree Equations Sec 1. Zero Product Property Back in the third grade students were taught when they multiplied a number by zero, the product would be zero. In algebra,
More informationGenerating Function Notes , Fall 2005, Prof. Peter Shor
Counting Change Generating Function Notes 80, Fall 00, Prof Peter Shor In this lecture, I m going to talk about generating functions We ve already seen an example of generating functions Recall when we
More informationLecture 4: Constructing the Integers, Rationals and Reals
Math/CS 20: Intro. to Math Professor: Padraic Bartlett Lecture 4: Constructing the Integers, Rationals and Reals Week 5 UCSB 204 The Integers Normally, using the natural numbers, you can easily define
More informationSolving Quadratic & Higher Degree Equations
Chapter 9 Solving Quadratic & Higher Degree Equations Sec 1. Zero Product Property Back in the third grade students were taught when they multiplied a number by zero, the product would be zero. In algebra,
More informationLesson 21 Not So Dramatic Quadratics
STUDENT MANUAL ALGEBRA II / LESSON 21 Lesson 21 Not So Dramatic Quadratics Quadratic equations are probably one of the most popular types of equations that you ll see in algebra. A quadratic equation has
More informationAlgebra & Trig Review
Algebra & Trig Review 1 Algebra & Trig Review This review was originally written for my Calculus I class, but it should be accessible to anyone needing a review in some basic algebra and trig topics. The
More informationThe Basics COPYRIGHTED MATERIAL. chapter. Algebra is a very logical way to solve
chapter 1 The Basics Algebra is a very logical way to solve problems both theoretically and practically. You need to know a number of things. You already know arithmetic of whole numbers. You will review
More informationbase 2 4 The EXPONENT tells you how many times to write the base as a factor. Evaluate the following expressions in standard notation.
EXPONENTIALS Exponential is a number written with an exponent. The rules for exponents make computing with very large or very small numbers easier. Students will come across exponentials in geometric sequences
More informationOne-to-one functions and onto functions
MA 3362 Lecture 7 - One-to-one and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of one-to-one and onto One-to-one functions and onto functions At the level of set theory, there are
More informationChapter 1A -- Real Numbers. iff. Math Symbols: Sets of Numbers
Fry Texas A&M University! Fall 2016! Math 150 Notes! Section 1A! Page 1 Chapter 1A -- Real Numbers Math Symbols: iff or Example: Let A = {2, 4, 6, 8, 10, 12, 14, 16,...} and let B = {3, 6, 9, 12, 15, 18,
More information6: Polynomials and Polynomial Functions
6: Polynomials and Polynomial Functions 6-1: Polynomial Functions Okay you know what a variable is A term is a product of constants and powers of variables (for example: x ; 5xy ) For now, let's restrict
More informationIntroduction. So, why did I even bother to write this?
Introduction This review was originally written for my Calculus I class, but it should be accessible to anyone needing a review in some basic algebra and trig topics. The review contains the occasional
More informationPolynomials; Add/Subtract
Chapter 7 Polynomials Polynomials; Add/Subtract Polynomials sounds tough enough. But, if you look at it close enough you ll notice that students have worked with polynomial expressions such as 6x 2 + 5x
More informationMath 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011
Math 31 Lesson Plan Day 2: Sets; Binary Operations Elizabeth Gillaspy September 23, 2011 Supplies needed: 30 worksheets. Scratch paper? Sign in sheet Goals for myself: Tell them what you re going to tell
More informationStudent Activity: Finding Factors and Prime Factors
When you have completed this activity, go to Status Check. Pre-Algebra A Unit 2 Student Activity: Finding Factors and Prime Factors Name Date Objective In this activity, you will find the factors and the
More informationQuadratic Equations Part I
Quadratic Equations Part I Before proceeding with this section we should note that the topic of solving quadratic equations will be covered in two sections. This is done for the benefit of those viewing
More informationSolution Guide for Chapter 10
Solution Guide for Chapter 10 Here are the solutions for the Doing the Math exercises in Kiss My Math! DTM from p.133-4 2. 8 7 + 3 =? So, let s distribute the to each term inside the parentheses. In order
More informationDescriptive Statistics (And a little bit on rounding and significant digits)
Descriptive Statistics (And a little bit on rounding and significant digits) Now that we know what our data look like, we d like to be able to describe it numerically. In other words, how can we represent
More informationMath 3361-Modern Algebra Lecture 08 9/26/ Cardinality
Math 336-Modern Algebra Lecture 08 9/26/4. Cardinality I started talking about cardinality last time, and you did some stuff with it in the Homework, so let s continue. I said that two sets have the same
More informationCantor and Infinite Sets
Cantor and Infinite Sets Galileo and the Infinite There are many whole numbers that are not perfect squares: 2, 3, 5, 6, 7, 8, 10, 11, and so it would seem that all numbers, including both squares and
More informationMath 096--Quadratic Formula page 1
Math 096--Quadratic Formula page 1 A Quadratic Formula. Use the quadratic formula to solve quadratic equations ax + bx + c = 0 when the equations can t be factored. To use the quadratic formula, the equation
More informationFinal Review Sheet. B = (1, 1 + 3x, 1 + x 2 ) then 2 + 3x + 6x 2
Final Review Sheet The final will cover Sections Chapters 1,2,3 and 4, as well as sections 5.1-5.4, 6.1-6.2 and 7.1-7.3 from chapters 5,6 and 7. This is essentially all material covered this term. Watch
More informationWe will work with two important rules for radicals. We will write them for square roots but they work for any root (cube root, fourth root, etc.).
College algebra We will review simplifying radicals, exponents and their rules, multiplying polynomials, factoring polynomials, greatest common denominators, and solving rational equations. Pre-requisite
More information2.5 The Fundamental Theorem of Algebra.
2.5. THE FUNDAMENTAL THEOREM OF ALGEBRA. 79 2.5 The Fundamental Theorem of Algebra. We ve seen formulas for the (complex) roots of quadratic, cubic and quartic polynomials. It is then reasonable to ask:
More informationHi, my name is Dr. Ann Weaver of Argosy University. This WebEx is about something in statistics called z-
Hi, my name is Dr. Ann Weaver of Argosy University. This WebEx is about something in statistics called z- Scores. I have two purposes for this WebEx, one, I just want to show you how to use z-scores in
More informationConceptual Explanations: Simultaneous Equations Distance, rate, and time
Conceptual Explanations: Simultaneous Equations Distance, rate, and time If you travel 30 miles per hour for 4 hours, how far do you go? A little common sense will tell you that the answer is 120 miles.
More informationPOLYNOMIAL EXPRESSIONS PART 1
POLYNOMIAL EXPRESSIONS PART 1 A polynomial is an expression that is a sum of one or more terms. Each term consists of one or more variables multiplied by a coefficient. Coefficients can be negative, so
More informationNotes on Quadratic Extension Fields
Notes on Quadratic Extension Fields 1 Standing notation Q denotes the field of rational numbers. R denotes the field of real numbers. F always denotes a subfield of R. The symbol k is always a positive
More informationChapter 3 ALGEBRA. Overview. Algebra. 3.1 Linear Equations and Applications 3.2 More Linear Equations 3.3 Equations with Exponents. Section 3.
4 Chapter 3 ALGEBRA Overview Algebra 3.1 Linear Equations and Applications 3.2 More Linear Equations 3.3 Equations with Exponents 5 LinearEquations 3+ what = 7? If you have come through arithmetic, the
More informationThe Three Ancient Problems 1
The Three Ancient Problems 1 Three problems left unsolved by the ancient Greek school challenged later mathematicians, amateur and professional, for two millennia before their resolution. In this brief
More informationGrade 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 informationMath Lecture 23 Notes
Math 1010 - Lecture 23 Notes Dylan Zwick Fall 2009 In today s lecture we ll expand upon the concept of radicals and radical expressions, and discuss how we can deal with equations involving these radical
More informationJennifer Duong Daniel Szara October 9, 2009
Jennifer Duong Daniel Szara October 9, 2009 By around 2000 BC, Geometry was developed further by the Babylonians who conquered the Sumerians. By around 2000 BC, Rational and Irrational numbers were used
More informationMATH 115, SUMMER 2012 LECTURE 12
MATH 115, SUMMER 2012 LECTURE 12 JAMES MCIVOR - last time - we used hensel s lemma to go from roots of polynomial equations mod p to roots mod p 2, mod p 3, etc. - from there we can use CRT to construct
More informationMath Precalculus I University of Hawai i at Mānoa Spring
Math 135 - Precalculus I University of Hawai i at Mānoa Spring - 2013 Created for Math 135, Spring 2008 by Lukasz Grabarek and Michael Joyce Send comments and corrections to lukasz@math.hawaii.edu Contents
More informationMath 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011
Math 31 Lesson Plan Day 5: Intro to Groups Elizabeth Gillaspy September 28, 2011 Supplies needed: Sign in sheet Goals for students: Students will: Improve the clarity of their proof-writing. Gain confidence
More informationACCESS 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 informationMITOCW ocw-18_02-f07-lec02_220k
MITOCW ocw-18_02-f07-lec02_220k The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high quality educational resources for free.
More information( )( b + c) = ab + ac, but it can also be ( )( a) = ba + ca. Let s use the distributive property on a couple of
Factoring Review for Algebra II The saddest thing about not doing well in Algebra II is that almost any math teacher can tell you going into it what s going to trip you up. One of the first things they
More informationUnits and Dimensionality
Chapter 1 Units and Dimensionality If somebody asked me how tall I am, I might respond 1.78. But what do I mean by that? 1.78 feet? 1.78 miles? In fact, my height is 1.78 meters. Most physical measurements
More information2.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 informationA sequence of thoughts on constructible angles.
A sequence of thoughts on constructible angles. Dan Franklin & Kevin Pawski Department of Mathematics, SUNY New Paltz, New Paltz, NY 12561 Nov 23, 2002 1 Introduction In classical number theory the algebraic
More informationBasics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On
Basics of Proofs The Putnam is a proof based exam and will expect you to write proofs in your solutions Similarly, Math 96 will also require you to write proofs in your homework solutions If you ve seen
More informationCS1800: 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 informationMath Lecture 4 Limit Laws
Math 1060 Lecture 4 Limit Laws Outline Summary of last lecture Limit laws Motivation Limits of constants and the identity function Limits of sums and differences Limits of products Limits of polynomials
More informationIntroduction: Pythagorean Triplets
Introduction: Pythagorean Triplets On this first day I want to give you an idea of what sorts of things we talk about in number theory. In number theory we want to study the natural numbers, and in particular
More informationGrade 7/8 Math Circles November 14/15/16, Estimation
Faculty of Mathematics Waterloo, Ontario N2L 3G1 Introduction Grade 7/8 Math Circles November 14/15/16, 2017 Estimation Centre for Education in Mathematics and Computing If you ever find yourself without
More informationUNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY
UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY ISAAC M. DAVIS Abstract. By associating a subfield of R to a set of points P 0 R 2, geometric properties of ruler and compass constructions
More informationChapter 12: Ruler and compass constructions
Chapter 12: Ruler and compass constructions Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Spring 2014 M. Macauley (Clemson) Chapter
More informationGrades 7 & 8, Math Circles 10/11/12 October, Series & Polygonal Numbers
Faculty of Mathematics Waterloo, Ontario N2L G Centre for Education in Mathematics and Computing Introduction Grades 7 & 8, Math Circles 0//2 October, 207 Series & Polygonal Numbers Mathematicians are
More informationMath Lecture 3 Notes
Math 1010 - Lecture 3 Notes Dylan Zwick Fall 2009 1 Operations with Real Numbers In our last lecture we covered some basic operations with real numbers like addition, subtraction and multiplication. This
More informationAstronomy 102 Math Review
Astronomy 102 Math Review 2003-August-06 Prof. Robert Knop r.knop@vanderbilt.edu) For Astronomy 102, you will not need to do any math beyond the high-school alegbra that is part of the admissions requirements
More informationSolutions to Practice Final
s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (
More informationMath101, 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 informationAlgebra. 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 informationGuide to Proofs on Sets
CS103 Winter 2019 Guide to Proofs on Sets Cynthia Lee Keith Schwarz I would argue that if you have a single guiding principle for how to mathematically reason about sets, it would be this one: All sets
More informationMITOCW Lec 11 MIT 6.042J Mathematics for Computer Science, Fall 2010
MITOCW Lec 11 MIT 6.042J Mathematics for Computer Science, Fall 2010 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high
More informationGALOIS THEORY : LECTURE 4 LEO GOLDMAKHER
GALOIS THEORY : LECTURE 4 LEO GOLDMAKHER 1. A BRIEF REVIEW OF S n The rest of the lecture relies on familiarity with the symmetric group of n elements, denoted S n (this is the group of all permutations
More informationSequences 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 informationComplex Numbers: A Brief Introduction. By: Neal Dempsey. History of Mathematics. Prof. Jennifer McCarthy. July 16, 2010
1 Complex Numbers: A Brief Introduction. By: Neal Dempsey History of Mathematics Prof. Jennifer McCarthy July 16, 2010 2 Abstract Complex numbers, although confusing at times, are one of the most elegant
More informationCool Results on Primes
Cool Results on Primes LA Math Circle (Advanced) January 24, 2016 Recall that last week we learned an algorithm that seemed to magically spit out greatest common divisors, but we weren t quite sure why
More informationPart I Electrostatics. 1: Charge and Coulomb s Law July 6, 2008
Part I Electrostatics 1: Charge and Coulomb s Law July 6, 2008 1.1 What is Electric Charge? 1.1.1 History Before 1600CE, very little was known about electric properties of materials, or anything to do
More informationLecture 6: Finite Fields
CCS Discrete Math I Professor: Padraic Bartlett Lecture 6: Finite Fields Week 6 UCSB 2014 It ain t what they call you, it s what you answer to. W. C. Fields 1 Fields In the next two weeks, we re going
More informationDirect Proofs. the product of two consecutive integers plus the larger of the two integers
Direct Proofs A direct proof uses the facts of mathematics and the rules of inference to draw a conclusion. Since direct proofs often start with premises (given information that goes beyond the facts of
More informationChapter 1 Review of Equations and Inequalities
Chapter 1 Review of Equations and Inequalities Part I Review of Basic Equations Recall that an equation is an expression with an equal sign in the middle. Also recall that, if a question asks you to solve
More informationA π day celebration! Everyone s favorite geometric constant!
A π day celebration! Everyone s favorite geometric constant! Math Circle March 10, 2019 The circumference of a circle is another word for its perimeter. A circle s circumference is proportional to its
More informationDay 15. Tuesday June 12, 2012
Day 15 Tuesday June 12, 2012 1 Properties of Function So far we have talked about different things we can talk about with respect to a function. So far if f : A B we have the following features: A domain:
More informationCOLLEGE ALGEBRA. Paul Dawkins
COLLEGE ALGEBRA Paul Dawkins Table of Contents Preface... iii Outline... iv Preliminaries... 7 Introduction... 7 Integer Exponents... 8 Rational Exponents...5 Radicals... Polynomials...30 Factoring Polynomials...36
More informationAstronomical Distances
Astronomical Distances 13 April 2012 Astronomical Distances 13 April 2012 1/27 Last Time We ve been discussing methods to measure lengths and objects such as mountains, trees, and rivers. Astronomical
More informationASTRO 114 Lecture Okay. We re now gonna continue discussing and conclude discussing the entire
ASTRO 114 Lecture 55 1 Okay. We re now gonna continue discussing and conclude discussing the entire universe. So today we re gonna learn about everything, everything that we know of. There s still a lot
More information2 Systems of Linear Equations
2 Systems of Linear Equations A system of equations of the form or is called a system of linear equations. x + 2y = 7 2x y = 4 5p 6q + r = 4 2p + 3q 5r = 7 6p q + 4r = 2 Definition. An equation involving
More informationAlex s Guide to Word Problems and Linear Equations Following Glencoe Algebra 1
Alex s Guide to Word Problems and Linear Equations Following Glencoe Algebra 1 What is a linear equation? It sounds fancy, but linear equation means the same thing as a line. In other words, it s an equation
More information1 General Tips and Guidelines for Proofs
Math 20F, 2015SS1 / TA: Jor-el Briones / Sec: A01 / Handout Page 1 of 5 1 General Tips and Guidelines for Proofs Proofs, or really any question that asks you to justify or explain something, are a huge
More informationCalculus II. Calculus II tends to be a very difficult course for many students. There are many reasons for this.
Preface Here are my online notes for my Calculus II course that I teach here at Lamar University. Despite the fact that these are my class notes they should be accessible to anyone wanting to learn Calculus
More informationSquaring and Unsquaring
PROBLEM STRINGS LESSON 8.1 Squaring and Unsquaring At a Glance (6 6)* ( 6 6)* (1 1)* ( 1 1)* = 64 17 = 64 + 15 = 64 ( + 3) = 49 ( 7) = 5 ( + ) + 1= 8 *optional problems Objectives The goal of this string
More information5.2 Infinite Series Brian E. Veitch
5. Infinite Series Since many quantities show up that cannot be computed exactly, we need some way of representing it (or approximating it). One way is to sum an infinite series. Recall that a n is the
More informationMITOCW ocw f99-lec01_300k
MITOCW ocw-18.06-f99-lec01_300k Hi. This is the first lecture in MIT's course 18.06, linear algebra, and I'm Gilbert Strang. The text for the course is this book, Introduction to Linear Algebra. And the
More informationChapter 2. Mathematical Reasoning. 2.1 Mathematical Models
Contents Mathematical Reasoning 3.1 Mathematical Models........................... 3. Mathematical Proof............................ 4..1 Structure of Proofs........................ 4.. Direct Method..........................
More informationDifference Equations
6.08, Spring Semester, 007 Lecture 5 Notes MASSACHVSETTS INSTITVTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science 6.08 Introduction to EECS I Spring Semester, 007 Lecture 5 Notes
More informationPROFESSOR: WELCOME BACK TO THE LAST LECTURE OF THE SEMESTER. PLANNING TO DO TODAY WAS FINISH THE BOOK. FINISH SECTION 6.5
1 MATH 16A LECTURE. DECEMBER 9, 2008. PROFESSOR: WELCOME BACK TO THE LAST LECTURE OF THE SEMESTER. I HOPE YOU ALL WILL MISS IT AS MUCH AS I DO. SO WHAT I WAS PLANNING TO DO TODAY WAS FINISH THE BOOK. FINISH
More informationLesson 11-1: Parabolas
Lesson -: Parabolas The first conic curve we will work with is the parabola. You may think that you ve never really used or encountered a parabola before. Think about it how many times have you been going
More informationSolving with Absolute Value
Solving with Absolute Value Who knew two little lines could cause so much trouble? Ask someone to solve the equation 3x 2 = 7 and they ll say No problem! Add just two little lines, and ask them to solve
More informationMath 300: Foundations of Higher Mathematics Northwestern University, Lecture Notes
Math 300: Foundations of Higher Mathematics Northwestern University, Lecture Notes Written by Santiago Cañez These are notes which provide a basic summary of each lecture for Math 300, Foundations of Higher
More informationSection 0.6: Factoring from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative
Section 0.6: Factoring from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative Commons Attribution-NonCommercial-ShareAlike.0 license. 201,
More informationGrade 7/8 Math Circles Winter March 20/21/22 Types of Numbers
Faculty of Mathematics Waterloo, Ontario N2L 3G1 Centre for Education in Mathematics and Computing Grade 7/8 Math Circles Winter 2018 - March 20/21/22 Types of Numbers Introduction Today, we take our number
More informationWhat can you prove by induction?
MEI CONFERENCE 013 What can you prove by induction? Martyn Parker M.J.Parker@keele.ac.uk Contents Contents iii 1 Splitting Coins.................................................. 1 Convex Polygons................................................
More informationASTRO 114 Lecture Okay. What we re going to discuss today are what we call radiation laws. We ve
ASTRO 114 Lecture 15 1 Okay. What we re going to discuss today are what we call radiation laws. We ve been spending a lot of time talking about laws. We ve talked about gravitational laws, we ve talked
More informationWe set up the basic model of two-sided, one-to-one matching
Econ 805 Advanced Micro Theory I Dan Quint Fall 2009 Lecture 18 To recap Tuesday: We set up the basic model of two-sided, one-to-one matching Two finite populations, call them Men and Women, who want to
More informationCMPSCI 250: Introduction to Computation. Lecture #15: The Fundamental Theorem of Arithmetic David Mix Barrington 24 February 2014
CMPSCI 250: Introduction to Computation Lecture #15: The Fundamental Theorem of Arithmetic David Mix Barrington 24 February 2014 The Fundamental Theorem Statement of the Theorem Existence of a Factorization
More informationAnswers for Calculus Review (Extrema and Concavity)
Answers for Calculus Review 4.1-4.4 (Extrema and Concavity) 1. A critical number is a value of the independent variable (a/k/a x) in the domain of the function at which the derivative is zero or undefined.
More informationSECTION 2.3: LONG AND SYNTHETIC POLYNOMIAL DIVISION
2.25 SECTION 2.3: LONG AND SYNTHETIC POLYNOMIAL DIVISION PART A: LONG DIVISION Ancient Example with Integers 2 4 9 8 1 In general: dividend, f divisor, d We can say: 9 4 = 2 + 1 4 By multiplying both sides
More informationLecture 10: Powers of Matrices, Difference Equations
Lecture 10: Powers of Matrices, Difference Equations Difference Equations A difference equation, also sometimes called a recurrence equation is an equation that defines a sequence recursively, i.e. each
More informationMathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers
Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur Lecture 1 Real Numbers In these lectures, we are going to study a branch of mathematics called
More informationImplicit Differentiation Applying Implicit Differentiation Applying Implicit Differentiation Page [1 of 5]
Page [1 of 5] The final frontier. This is it. This is our last chance to work together on doing some of these implicit differentiation questions. So, really this is the opportunity to really try these
More informationCONSTRUCTION OF sequence of rational approximations to sets of rational approximating sequences, all with the same tail behaviour Definition 1.
CONSTRUCTION OF R 1. MOTIVATION We are used to thinking of real numbers as successive approximations. For example, we write π = 3.14159... to mean that π is a real number which, accurate to 5 decimal places,
More informationGrade 6 Math Circles. Ancient Mathematics
Faculty of Mathematics Waterloo, Ontario N2L 3G1 Introduction Grade 6 Math Circles October 17/18, 2017 Ancient Mathematics Centre for Education in Mathematics and Computing Have you ever wondered where
More informationWhile we won t be figuring out how to fold any kinds of models, we will see what points we can find using the folds of origami.
Origami Geometry While we won t be figuring out how to fold any kinds of models, we will see what points we can find using the folds of origami. Origami is the art of folding paper into interesting shapes.
More information