Euclid Geometry And Non-Euclid Geometry. Have you ever asked yourself why is it that if you walk to a specific place from

Size: px
Start display at page:

Download "Euclid Geometry And Non-Euclid Geometry. Have you ever asked yourself why is it that if you walk to a specific place from"

Transcription

1 Hu1 Haotian Hu Dr. Boman Math 475W 9 November 2016 Euclid Geometry And Non-Euclid Geometry Have you ever asked yourself why is it that if you walk to a specific place from somewhere, you will always find your way back to the same place by same or different direction? ("Euclidean Geometry") Geometry as a branch of mathematics which tends to explain in depth the going off from one place which is based on the definition of an object then coming back to the point of origin. As a mathematician, I came to learn that any object in mathematics is always based on common outside experience which depends mostly on the definition of the objects which is the formulae. If we don t have clear definition of the objects then our results will automatically be wrong. Mathematics is not only a most demanding discipline but also full of imaginative and liberal of all human activities. Every terminologies used in mathematics must clearly be defined and finally proved how they came to be. Despite the clarity that we get from mathematics based on the process of definition till the final stage of proof, the most important thing is how we master the actual definition and formulas so that we don t come up with wrong result. This is clearly illustrated in geometry using Euclid s Elements theory. He was the first Mathematician who came around 300 BCE even before Pythagoras. He came up with many insertions in other mathematician s works. Euclid in his study about geometry said that geometry is divided into three categories; the plane geometry, the solid geometry and finally the number geometry. The plane of geometry

2 Hu2 comprises of the first principles of mathematics which are; the definition, common notions and finally the postulates. The main objective of the definition is to name the basic object and mathematical concepts, the common notion are the accepted rules which are usually accompanied with reasoning and show the relationship of the defined objects and finally the proof of the postulates. The above three are the starting point or the proposition in geometry which are at the end proved through logical rules. The proof of mathematical proposition is explained through deductive arguments which at the end we come up with statements that is finally proved. Some of the geometrical definitions are the definition of an angle. An angle is normally known to result if and only if two lines meet on a plane but most importantly is that they never lie on a straight line. Another example is the parallel line. They are known to be straight lines which will never meet despite the fact that they begin in the same plane. In conjunction to these we also have some geometrical notions some of which are like there is always a straight line which must have its point of origin to any point. Another geometrical notion is that whenever we are given a circle there must always be is center radius and finally its always assumed though never proved that all the right angles are always and with forever be equal to one another. Euclid used the three (definition, common notions and postulates) to give clear meaning of plane geometry. Some of the geometrical proposition that we are familiar with are like; angles in a straight line are add up to 180 degrees, the sum of all interior angles in triangle, square and rectangle are add up to 180 degrees. Euclid came up with the first principle when he came up with proofs and discussion on the Greek geometry and number theory. Euclid Elements is also rigor. His proofs were not only based on the postulates and the definition but a concentrated on the properties of what was being defined. He gave an example of this by saying that given two end points say P and Q and we draw a straight line joining the two points, then if we draw two circles centered at P and Q respectively, then

3 Hu3 eventually the two circle will meet at a point. Now if we draw any straight line to any of the points where the two circles meet, then the two segments will be equal meaning that their base angles are also equal. This is an argument that proofs Euclid proposition that given any line segment, we can have can create equilateral triangle which has the same segment as its sides. Some of the students turns away from mathematics due to the flawlessness of geometrical Elements in line with its apex and rigorous. Most of the Greek have failed to proof some of the Euclid s mathematical statements over a long period of time such as the parallel line postulate has not only led to his fame but also the invention of the non-euclidean geometries. ("Noneuclid: 1: Non-Euclidean Geometry") This is always any geometrical proof which opposes Euclidean geometry. They are normally divided into two categories, the spherical and hyperbolic geometry. The difference between the two geometries is based on parallel line nature or properties. But Proclus came in in the fifth century to prove Euclid s postulate on parallel lines. He said that suppose we have two parallel lines say A and B and C being distinct and it intersect with say line B then line C will also intersect with line A. He used the assumption that parallel lines are normally equidistant from each other. Another scholar who tried to proof Euclid error was Saccheri on the construction of quadrilateral where he discovered the new world of the absolute geometry and the theorems which were concern with the congruent triangles. Majority of the mathematicians who tried to come up with solution to some of the Euclid s postulates only worked which were logically equivalent to Euclid s fifth postulate. (p.667) Example when Legendre ( ) tried to prove that there always exist a triangle in which total value of angles of the three angles are always equal to the sum of measures of two right angles (right angle are always 90 degrees each hence their sum which is equivalent to 180 is equal to the sum of all angles in a triangle).despite his proof that sum of angle in a triangle adds up to 180 degrees, he never gave a proof the sum of this angles can never be less than 180 degrees. Friedrich Thibaut

4 Hu4 also tried to demonstrate property that sum of all angles adds up to 180 degrees. He assumed that every inflexible motion can be resolved into a rotation and independent translation.karl Gauss through his study to proof the theory behind the parallel line for a period of thirty years ended up with formulation of non- Euclidean geometry. He stated that the sum of angle sin a triangle being less than 180 degrees results to a questioning geometry since it appears to be paradoxical.( p.668) Gauss never bothered on trying to proof on Euclid s parallel postulate but rather he replaced it with contradicting with main aim of coming up with (inventing) new geometry. The first period when non-euclidean geometry was used according to Felix Klein was characterized with the use of synthetic method. Another mathematical scholar who also developed non-euclidean geometry was G.F.B Riemann when he said that any straight line always has an infinite length according to Euclid s postulate that a straight line is always restricted in length and has no specific end point and parallel lines postulate was also replaced by the statement that; through a point in a plane there can be drawn in the plane no line which doesn t intersect a given line not passing through the given point. In conclusion, non-euclidean geometry not only widened the knowledge used in geometry but most of all it stimulated leaners to want to find more about geometry and the truth behind mathematical knowledge. In regard to Euclid s view on geometry, it s evident that geometrical statements were only considered to be true if and only if they could describe nature correctly but was considered to be false if it gave wrong information about the nature. Hence geometrical truth involved description of nature. WORK CITATION "Euclidean Geometry". Encyclopedia Britannica, 2016, "Noneuclid: 1: Non-Euclidean Geometry".

5 Hu5 The parallel Postulates, Raymond H. Rolwing and Maita Levine The Poincare Conjecture, Donal O shea

Class IX Chapter 5 Introduction to Euclid's Geometry Maths

Class IX Chapter 5 Introduction to Euclid's Geometry Maths Class IX Chapter 5 Introduction to Euclid's Geometry Maths Exercise 5.1 Question 1: Which of the following statements are true and which are false? Give reasons for your answers. (i) Only one line can

More information

CHAPTER 5 INTRODUCTION TO EUCLID S GEOMETRY. 5.1 Introduction

CHAPTER 5 INTRODUCTION TO EUCLID S GEOMETRY. 5.1 Introduction 78 MATHEMATICS INTRODUCTION TO EUCLID S GEOMETRY CHAPTER 5 5.1 Introduction The word geometry comes form the Greek words geo, meaning the earth, and metrein, meaning to measure. Geometry appears to have

More information

EUCLID S AXIOMS A-1 A-2 A-3 A-4 A-5 CN-1 CN-2 CN-3 CN-4 CN-5

EUCLID S AXIOMS A-1 A-2 A-3 A-4 A-5 CN-1 CN-2 CN-3 CN-4 CN-5 EUCLID S AXIOMS In addition to the great practical value of Euclidean Geometry, the ancient Greeks also found great aesthetic value in the study of geometry. Much as children assemble a few kinds blocks

More information

Test #1 Geometry MAT 4263

Test #1 Geometry MAT 4263 Test #1 Geometry MAT 4263 I. Consider some of the differences and similarities among the three geometries we looked at with respect to each of the following: 1) geodesics (line segments) 2) triangles (appearance,

More information

1. Math 353. Angle Sum of Triangles. 2. The Big Question. Now here comes the question that mystefied mathematicians for over two thousand years:

1. Math 353. Angle Sum of Triangles. 2. The Big Question. Now here comes the question that mystefied mathematicians for over two thousand years: 1. Math 353 Angle Sum of Triangles Professor Richard Blecksmith richard@math.niu.edu Dept. of Mathematical Sciences Northern Illinois University 2. The Big Question Now here comes the question that mystefied

More information

Euclidean Geometry. The Elements of Mathematics

Euclidean Geometry. The Elements of Mathematics Euclidean Geometry The Elements of Mathematics Euclid, We Hardly Knew Ye Born around 300 BCE in Alexandria, Egypt We really know almost nothing else about his personal life Taught students in mathematics

More information

Lecture 1: Axioms and Models

Lecture 1: Axioms and Models Lecture 1: Axioms and Models 1.1 Geometry Although the study of geometry dates back at least to the early Babylonian and Egyptian societies, our modern systematic approach to the subject originates in

More information

CHAPTER 1. Introduction

CHAPTER 1. Introduction CHAPTER 1 Introduction A typical Modern Geometry course will focus on some variation of a set of axioms for Euclidean geometry due to Hilbert. At the end of such a course, non-euclidean geometries (always

More information

Exercise 5.1: Introduction To Euclid s Geometry

Exercise 5.1: Introduction To Euclid s Geometry Exercise 5.1: Introduction To Euclid s Geometry Email: info@mywayteaching.com Q1. Which of the following statements are true and which are false? Give reasons for your answers. (i)only one line can pass

More information

INTRODUCTION TO LOGIC

INTRODUCTION TO LOGIC INTRODUCTION TO LOGIC L. MARIZZA A. BAILEY 1. The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra and geometry.

More information

Exercises for Unit V (Introduction to non Euclidean geometry)

Exercises for Unit V (Introduction to non Euclidean geometry) Exercises for Unit V (Introduction to non Euclidean geometry) V.1 : Facts from spherical geometry Ryan : pp. 84 123 [ Note : Hints for the first two exercises are given in math133f07update08.pdf. ] 1.

More information

Introduction to Logic

Introduction to Logic Introduction to Logic L. Marizza A. Bailey June 21, 2014 The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra

More information

October 16, Geometry, the Common Core, and Proof. John T. Baldwin, Andreas Mueller. The motivating problem. Euclidean Axioms and Diagrams

October 16, Geometry, the Common Core, and Proof. John T. Baldwin, Andreas Mueller. The motivating problem. Euclidean Axioms and Diagrams October 16, 2012 Outline 1 2 3 4 5 Agenda 1 G-C0-1 Context. 2 Activity: Divide a line into n pieces -with string; via construction 3 Reflection activity (geometry/ proof/definition/ common core) 4 mini-lecture

More information

Contact. Emina. Office: East Hall 1825 Phone:

Contact. Emina.   Office: East Hall 1825 Phone: to Contact Emina Email: eminaa@umich.edu Office: East Hall 1825 Phone: 734 647 5518 About me Born in Bosnia: Real home Utah Family Your turn Please fill out the questionnaire Back to business Class website

More information

MA 460 Supplement: Analytic geometry

MA 460 Supplement: Analytic geometry M 460 Supplement: nalytic geometry Donu rapura In the 1600 s Descartes introduced cartesian coordinates which changed the way we now do geometry. This also paved for subsequent developments such as calculus.

More information

p, p or its negation is true, and the other false

p, p or its negation is true, and the other false Logic and Proof In logic (and mathematics) one often has to prove the truthness of a statement made. A proposition is a (declarative) sentence that is either true or false. Example: An odd number is prime.

More information

Flat Geometry. Spherical Geometry

Flat Geometry. Spherical Geometry The Geometry of the Universe What does the constant k in the Friedmann equation really mean? In this lecture we will follow Chapter 4 of Liddle to show that it has close connections with the geometry of

More information

Introducing Proof 1. hsn.uk.net. Contents

Introducing Proof 1. hsn.uk.net. Contents Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction

More information

Dr Prya Mathew SJCE Mysore

Dr Prya Mathew SJCE Mysore 1 2 3 The word Mathematics derived from two Greek words Manthanein means learning Techne means an art or technique So Mathematics means the art of learning related to disciplines or faculties disciplines

More information

Greece In 700 BC, Greece consisted of a collection of independent city-states covering a large area including modern day Greece, Turkey, and a multitu

Greece In 700 BC, Greece consisted of a collection of independent city-states covering a large area including modern day Greece, Turkey, and a multitu Chapter 3 Greeks Greece In 700 BC, Greece consisted of a collection of independent city-states covering a large area including modern day Greece, Turkey, and a multitude of Mediterranean islands. The Greeks

More information

EUCLIDEAN AND HYPERBOLIC CONDITIONS

EUCLIDEAN AND HYPERBOLIC CONDITIONS EUCLIDEAN AND HYPERBOLIC CONDITIONS MATH 410. SPRING 2007. INSTRUCTOR: PROFESSOR AITKEN The first goal of this handout is to show that, in Neutral Geometry, Euclid s Fifth Postulate is equivalent to the

More information

3. In the Poincaré Plane let l = 0 L and. 4. Prove the above Theorem. [Th 7.1.4, p173] 5. Show that in the Poincaré Plane there is

3. In the Poincaré Plane let l = 0 L and. 4. Prove the above Theorem. [Th 7.1.4, p173] 5. Show that in the Poincaré Plane there is 22 The Existence of Parallel Lines The concept of parallel lines has led to both the most fruitful and the most frustrating developments in plane geometry. Euclid (c. 330-275 B.C.E.) defined two segments

More information

#785 Dr. Roger Roybal MATH October 2017 Project 1 A proof is a deliberate process where a mathematical concept is proven to be true using a

#785 Dr. Roger Roybal MATH October 2017 Project 1 A proof is a deliberate process where a mathematical concept is proven to be true using a #785 Dr. Roger Roybal MATH 331-02 24 October 2017 Project 1 A proof is a deliberate process where a mathematical concept is proven to be true using a step-by-step explanation and a lettered diagram. The

More information

Geometry I (CM122A, 5CCM122B, 4CCM122A)

Geometry I (CM122A, 5CCM122B, 4CCM122A) Geometry I (CM122A, 5CCM122B, 4CCM122A) Lecturer: Giuseppe Tinaglia Office: S5.31 Office Hours: Wed 1-3 or by appointment. E-mail: giuseppe.tinaglia@kcl.ac.uk Course webpage: http://www.mth.kcl.ac.uk/

More information

P1-763.PDF Why Proofs?

P1-763.PDF Why Proofs? P1-763.PDF Why Proofs? During the Iron Age men finally started questioning mathematics which eventually lead to the creating of proofs. People wanted to know how and why is math true, rather than just

More information

Hon 213. Third Hour Exam. Name

Hon 213. Third Hour Exam. Name Hon 213 Third Hour Exam Name Friday, April 27, 2007 1. (5 pts.) Some definitions and statements of theorems (5 pts. each) a, What is a Lambert quadrilateral? b. State the Hilbert Parallel Postulate (being

More information

Math. 467: Modern Geometry

Math. 467: Modern Geometry Math. 467: Modern Geometry c S. A. Fulling 2009ff First day [data above] Course handout: http://calclab.math.tamu.edu/~fulling/m467/s11/handoutw.pdf (Class web page is the same without the last file name.)

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

CN#4 Biconditional Statements and Definitions

CN#4 Biconditional Statements and Definitions CN#4 s and Definitions OBJECTIVES: STUDENTS WILL BE ABLE TO WRITE AND ANALYZE BICONDITIONAL STATEMENTS. Vocabulary biconditional statement definition polygon triangle quadrilateral When you combine a conditional

More information

Integrated Math II. IM2.1.2 Interpret given situations as functions in graphs, formulas, and words.

Integrated Math II. IM2.1.2 Interpret given situations as functions in graphs, formulas, and words. Standard 1: Algebra and Functions Students graph linear inequalities in two variables and quadratics. They model data with linear equations. IM2.1.1 Graph a linear inequality in two variables. IM2.1.2

More information

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg ( )

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg ( ) Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg (2005-02-16) Logic Rules (Greenberg): Logic Rule 1 Allowable justifications.

More information

Stepping stones for Number systems. 1) Concept of a number line : Marking using sticks on the floor. (1 stick length = 1 unit)

Stepping stones for Number systems. 1) Concept of a number line : Marking using sticks on the floor. (1 stick length = 1 unit) Quality for Equality Stepping stones for Number systems 1) Concept of a number line : Marking using sticks on the floor. (1 stick length = 1 unit) 2) Counting numbers: 1,2,3,... Natural numbers Represent

More information

35 Chapter CHAPTER 4: Mathematical Proof

35 Chapter CHAPTER 4: Mathematical Proof 35 Chapter 4 35 CHAPTER 4: Mathematical Proof Faith is different from proof; the one is human, the other is a gift of God. Justus ex fide vivit. It is this faith that God Himself puts into the heart. 21

More information

MATHEMATICS (IX-X) (CODE NO. 041) Session

MATHEMATICS (IX-X) (CODE NO. 041) Session MATHEMATICS (IX-X) (CODE NO. 041) Session 2018-19 The Syllabus in the subject of Mathematics has undergone changes from time to time in accordance with growth of the subject and emerging needs of the society.

More information

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg ( )

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg ( ) Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg (2009-03-26) Logic Rule 0 No unstated assumptions may be used in a proof.

More information

Math 1230, Notes 2. Aug. 28, Math 1230, Notes 2 Aug. 28, / 17

Math 1230, Notes 2. Aug. 28, Math 1230, Notes 2 Aug. 28, / 17 Math 1230, Notes 2 Aug. 28, 2014 Math 1230, Notes 2 Aug. 28, 2014 1 / 17 This fills in some material between pages 10 and 11 of notes 1. We first discuss the relation between geometry and the quadratic

More information

Lesson 14: An Axiom System for Geometry

Lesson 14: An Axiom System for Geometry 219 Lesson 14: n xiom System for Geometry We are now ready to present an axiomatic development of geometry. This means that we will list a set of axioms for geometry. These axioms will be simple fundamental

More information

Geometry beyond Euclid

Geometry beyond Euclid Geometry beyond Euclid M.S. Narasimhan IISc & TIFR, Bangalore narasim@math.tifrbng.res.in 1 Outline: Aspects of Geometry which have gone beyond Euclid Two topics which have played important role in development

More information

Pretty Algebra. S.Kalimuthu,SF 212/4,Kanjampatti P.O,Pollachi Via,Tamil nadu ,India

Pretty Algebra. S.Kalimuthu,SF 212/4,Kanjampatti P.O,Pollachi Via,Tamil nadu ,India Pretty Algebra S.Kalimuthu,SF 212/4,Kanjampatti P.O,Pollachi Via,Tamil nadu 642003,India Email:beautiful@budweiser.com, postulate.kalimuthu0@gmail.com Abstract The sum of the interior angles of a number

More information

Lecture 2: What is Proof?

Lecture 2: What is Proof? Lecture 2: What is Proof? Math 295 08/26/16 Webster Proof and Its History 8/2016 1 / 1 Evolution of Proof Proof, a relatively new idea Modern mathematics could not be supported at its foundation, nor construct

More information

5. Introduction to Euclid s Geometry

5. Introduction to Euclid s Geometry 5. Introduction to Euclid s Geometry Multiple Choice Questions CBSE TREND SETTER PAPER _ 0 EXERCISE 5.. If the point P lies in between M and N and C is mid-point of MP, then : (A) MC + PN = MN (B) MP +

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

Integration Made Easy

Integration Made Easy Integration Made Easy Sean Carney Department of Mathematics University of Texas at Austin Sean Carney (University of Texas at Austin) Integration Made Easy October 25, 2015 1 / 47 Outline 1 - Length, Geometric

More information

Solutions to Exercises in Chapter 1

Solutions to Exercises in Chapter 1 Solutions to Exercises in hapter 1 1.6.1 heck that the formula 1 a c b d works for rectangles but not for 4 parallelograms. b a c a d d b c FIGURE S1.1: Exercise 1.6.1. rectangle and a parallelogram For

More information

Please note that, as always, these notes are really not complete without diagrams. I have included a few, but the others are up to you.

Please note that, as always, these notes are really not complete without diagrams. I have included a few, but the others are up to you. Mathematics 3210 Spring Semester, 2005 Homework notes, part 6 March 18, 2005 lease note that, as always, these notes are really not complete without diagrams. I have included a few, but the others are

More information

Honors 213 / Math 300. Second Hour Exam. Name

Honors 213 / Math 300. Second Hour Exam. Name Honors 213 / Math 300 Second Hour Exam Name Monday, March 6, 2006 95 points (will be adjusted to 100 pts in the gradebook) Page 1 I. Some definitions (5 points each). Give formal definitions of the following:

More information

WHAT IS HYPERBOLIC GEOMETRY?

WHAT IS HYPERBOLIC GEOMETRY? 1 WHAT IS HYPERBOLIC GEOMETRY? MAHAN MJ Abstract. We give a brief introduction to hyperbolic geometry, including its genesis. Some familiarity with high school calculus and co-ordinate geometry is all

More information

2-4. Holt McDougal Geometry

2-4. Holt McDougal Geometry Warm Up Write a conditional statement from each of the following. 1. The intersection of two lines is a point. If two lines intersect, then they intersect in a point. 2. An odd number is one more than

More information

Introduction to Geometry

Introduction to Geometry Introduction to Geometry What is Geometry Why do we use Geometry What is Geometry? Geometry is a branch of mathematics that concerns itself with the questions of shape, size, position of figures, and the

More information

θ 2 Euclid s 5 th Axiom:

θ 2 Euclid s 5 th Axiom: Euclid s 5 th Axiom: That, if a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet

More information

Geometry and axiomatic Method

Geometry and axiomatic Method Chapter 1 Geometry and axiomatic Method 1.1 Origin of Geometry The word geometry has its roots in the Greek word geometrein, which means earth measuring. Before the time of recorded history, geometry originated

More information

POINCARE AND NON-EUCLIDEAN GEOMETRY

POINCARE AND NON-EUCLIDEAN GEOMETRY Bulletin of the Marathwada Mathematical Society Vol. 12, No. 1, June 2011, Pages 137 142. POINCARE AND NON-EUCLIDEAN GEOMETRY Anant W. Vyawahare, 49, Gajanan Nagar, Wardha Road, NAGPUR - 440 015, M. S.

More information

Lecture 6 SPHERICAL GEOMETRY

Lecture 6 SPHERICAL GEOMETRY 1 Lecture 6 SPHERICAL GEOMETRY So far we have studied finite and discrete geometries, i.e., geometries in which the main transformation group is either finite or discrete. In this lecture, we begin our

More information

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg Undefined Terms: Point, Line, Incident, Between, Congruent. Incidence Axioms:

More information

3.C. Further comments on axioms for geometry

3.C. Further comments on axioms for geometry 3.C. Further comments on axioms for geometry One important feature of the Elements is that it develops geometry from a very short list of assumptions. Although axiom systems like Hilbert s (or G. D. Birkhoff

More information

2-1. Inductive Reasoning and Conjecture. Lesson 2-1. What You ll Learn. Active Vocabulary

2-1. Inductive Reasoning and Conjecture. Lesson 2-1. What You ll Learn. Active Vocabulary 2-1 Inductive Reasoning and Conjecture What You ll Learn Scan Lesson 2-1. List two headings you would use to make an outline of this lesson. 1. Active Vocabulary 2. New Vocabulary Fill in each blank with

More information

Exercise 2.1. Identify the error or errors in the proof that all triangles are isosceles.

Exercise 2.1. Identify the error or errors in the proof that all triangles are isosceles. Exercises for Chapter Two He is unworthy of the name of man who is ignorant of the fact that the diagonal of a square is incommensurable with its side. Plato (429 347 B.C.) Exercise 2.1. Identify the error

More information

Chapter 12: Ruler and compass constructions

Chapter 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 information

Symbolic Logic 3. For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true.

Symbolic Logic 3. For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true. Symbolic Logic 3 Testing deductive validity with truth tables For an inference to be deductively valid it is impossible for the conclusion to be false if the premises are true. So, given that truth tables

More information

DISCOVERING GEOMETRY Over 6000 years ago, geometry consisted primarily of practical rules for measuring land and for

DISCOVERING GEOMETRY Over 6000 years ago, geometry consisted primarily of practical rules for measuring land and for Name Period GEOMETRY Chapter One BASICS OF GEOMETRY Geometry, like much of mathematics and science, developed when people began recognizing and describing patterns. In this course, you will study many

More information

Integrated Math 3 Math 3 Course Description:

Integrated Math 3 Math 3 Course Description: Course Description: Integrated Math 3 Math 3 Course Description: Integrated strands include algebra, functions, geometry, trigonometry, statistics, probability and discrete math. Scope and sequence includes

More information

JANE LONG ACADEMY HIGH SCHOOL MATH SUMMER PREVIEW PACKET SCHOOL YEAR. Geometry

JANE LONG ACADEMY HIGH SCHOOL MATH SUMMER PREVIEW PACKET SCHOOL YEAR. Geometry JANE LONG ACADEMY HIGH SCHOOL MATH SUMMER PREVIEW PACKET 2015-2016 SCHOOL YEAR Geometry STUDENT NAME: THE PARTS BELOW WILL BE COMPLETED ON THE FIRST DAY OF SCHOOL: DUE DATE: MATH TEACHER: PERIOD: Algebra

More information

Unit 1: Introduction to Proof

Unit 1: Introduction to Proof Unit 1: Introduction to Proof Prove geometric theorems both formally and informally using a variety of methods. G.CO.9 Prove and apply theorems about lines and angles. Theorems include but are not restricted

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

Geometry, Physics, and Harmonic Functions

Geometry, Physics, and Harmonic Functions Geometry, Physics, and Harmonic Functions Robert Huffaker June 3, 2010 1 Introduction Mathematics is a language of rigor and clarity. A plethora of symbols and words litter every student s math textbooks,

More information

Warm Up Lesson Presentation Lesson Quiz. Holt McDougal Geometry

Warm Up Lesson Presentation Lesson Quiz. Holt McDougal Geometry 2-4 Warm Up Lesson Presentation Lesson Quiz Geometry Warm Up Write a conditional statement from each of the following. 1. The intersection of two lines is a point. If two lines intersect, then they intersect

More information

PHIL 50 - Introduction to Logic

PHIL 50 - Introduction to Logic Euclid Archimedes Gerhard Gentzen PHIL 50 - Introduction to Logic Marcello Di Bello, Stanford University, Spring 2014 Week 3 Monday Class - Derivations in Propositional Logic The Semantic and the Syntactic

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

1 Implication and induction

1 Implication and induction 1 Implication and induction This chapter is about various kinds of argument which are used in mathematical proofs. When you have completed it, you should know what is meant by implication and equivalence,

More information

Chapter 3 Representations of a Linear Relation

Chapter 3 Representations of a Linear Relation Chapter 3 Representations of a Linear Relation The purpose of this chapter is to develop fluency in the ways of representing a linear relation, and in extracting information from these representations.

More information

9th and 10th Grade Math Proficiency Objectives Strand One: Number Sense and Operations

9th and 10th Grade Math Proficiency Objectives Strand One: Number Sense and Operations Strand One: Number Sense and Operations Concept 1: Number Sense Understand and apply numbers, ways of representing numbers, the relationships among numbers, and different number systems. Justify with examples

More information

3. MATHEMATICS (CODE NO. 041) The Syllabus in the subject of Mathematics has undergone changes from time to time in accordance with growth of the subject and emerging needs of the society. The present

More information

baryons+dm radiation+neutrinos vacuum curvature

baryons+dm radiation+neutrinos vacuum curvature baryons+dm radiation+neutrinos vacuum curvature DENSITY ISN T DESTINY! The cosmologist T-shirt (if Λ>0): ΩM,0=0.9 ΩΛ,0=1.6 ΩR=0 ΩM,0=2.5 ΩM,0=2.0 ΩΛ,0=0.1 ΩM,0=2.0 TODAY Baryons 10 t0 68% Dark Energy 5%

More information

Volume: The Disk Method. Using the integral to find volume.

Volume: The Disk Method. Using the integral to find volume. Volume: The Disk Method Using the integral to find volume. If a region in a plane is revolved about a line, the resulting solid is a solid of revolution and the line is called the axis of revolution. y

More information

Limits and Continuity

Limits and Continuity Chapter 1 Limits and Continuity 1.1 Introduction 1.1.1 What is Calculus? The origins of calculus can be traced back to ancient Greece. The ancient Greeks raised many questions about tangents, motion, area,

More information

Course Notes for MA 460. Version 5.

Course Notes for MA 460. Version 5. ourse Notes for M 460. Version 5. Jim Mclure 1 Definitions and asic Facts. The goal of this course is to help you become expert in geometry, so that you can teach it with confidence and pleasure. We begin

More information

(b) Follow-up visits: December, May, October, March. (c ) 10, 4, -2, -8,..

(b) Follow-up visits: December, May, October, March. (c ) 10, 4, -2, -8,.. Geometry Honors - Chapter 2 Reasoning and Proof Section 2-1 Inductive Reasoning and Conjecture I can explore inductive and deductive reasoning. I can find counterexamples to disprove conjectures. I can

More information

Deduction by Daniel Bonevac. Chapter 3 Truth Trees

Deduction by Daniel Bonevac. Chapter 3 Truth Trees Deduction by Daniel Bonevac Chapter 3 Truth Trees Truth trees Truth trees provide an alternate decision procedure for assessing validity, logical equivalence, satisfiability and other logical properties

More information

Geometry and Minimal Surfaces. Dr Giuseppe Tinaglia

Geometry and Minimal Surfaces. Dr Giuseppe Tinaglia Geometry and Minimal Surfaces Dr Giuseppe Tinaglia What is Geometry? geo = earth, metria = measure It all begun with doing measurements. Collection of empirically discovered principles concerning lengths,

More information

Math Number 842 Professor R. Roybal MATH History of Mathematics 24th October, Project 1 - Proofs

Math Number 842 Professor R. Roybal MATH History of Mathematics 24th October, Project 1 - Proofs Math Number 842 Professor R. Roybal MATH 331 - History of Mathematics 24th October, 2017 Project 1 - Proofs Mathematical proofs are an important concept that was integral to the development of modern mathematics.

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

CHAPTER 1 NUMBER SYSTEMS. 1.1 Introduction

CHAPTER 1 NUMBER SYSTEMS. 1.1 Introduction N UMBER S YSTEMS NUMBER SYSTEMS CHAPTER. Introduction In your earlier classes, you have learnt about the number line and how to represent various types of numbers on it (see Fig..). Fig.. : The number

More information

Projects in Geometry for High School Students

Projects in Geometry for High School Students Projects in Geometry for High School Students Goal: Our goal in more detail will be expressed on the next page. Our journey will force us to understand plane and three-dimensional geometry. We will take

More information

Gabriel s Horn: An Understanding of a Solid with Finite Volume and Infinite Surface Area 1. Jean S. Joseph. Abstract

Gabriel s Horn: An Understanding of a Solid with Finite Volume and Infinite Surface Area 1. Jean S. Joseph. Abstract Gabriel s Horn: An Understanding of a Solid with Finite Volume and Infinite Surface Area 1 Jean S. Joseph Abstract The Gabriel s Horn, which has finite volume and infinite surface area, is not an inconsistency

More information

Greece. Chapter 5: Euclid of Alexandria

Greece. Chapter 5: Euclid of Alexandria Greece Chapter 5: Euclid of Alexandria The Library at Alexandria What do we know about it? Well, a little history Alexander the Great In about 352 BC, the Macedonian King Philip II began to unify the numerous

More information

Euclid: The Father of Geometry In our day and age, it is rare to read and research a person who has shaped such a fundamental

Euclid: The Father of Geometry In our day and age, it is rare to read and research a person who has shaped such a fundamental Elaine Chen 1037631 History of Mathematics Essay 1 Euclid: The Father of Geometry In our day and age, it is rare to read and research a person who has shaped such a fundamental subject in our lives without

More information

Week 2. Week 1 Recap. Week 2

Week 2. Week 1 Recap. Week 2 Week 2 Week 1 Recap In our first session, we outlined our big-picture goals for this course. We are going to spend these first couple weeks looking at mathematical proof, then we will take a couple weeks

More information

Grade 7/8 Math Circles Winter March 20/21/22 Types of Numbers

Grade 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 information

Math. 467: Modern Geometry

Math. 467: Modern Geometry Math. 467: Modern Geometry c S. A. Fulling 2009ff First day Course handout: http://calclab.math.tamu.edu/~fulling/m467/f16/handout.pdf Class web page: http://calclab.math.tamu.edu/~fulling/m467/f16/ 1

More information

REVISED vide circular No.63 on

REVISED vide circular No.63 on Circular no. 63 COURSE STRUCTURE (FIRST TERM) CLASS -IX First Term Marks: 90 REVISED vide circular No.63 on 22.09.2015 UNIT I: NUMBER SYSTEMS 1. REAL NUMBERS (18 Periods) 1. Review of representation of

More information

Reasoning and Proof Unit

Reasoning and Proof Unit Reasoning and Proof Unit 1 2 2 Conditional Statements Conditional Statement if, then statement the if part is hypothesis the then part is conclusion Conditional Statement How? if, then Example If an angle

More information

MAC-CPTM Situations Project

MAC-CPTM Situations Project Prompt MAC-CPTM Situations Project Situation 51: Proof by Mathematical Induction Prepared at the University of Georgia Center for Proficiency in Teaching Mathematics 13 October 2006-Erik Tillema 22 February

More information

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

13 Spherical geometry

13 Spherical geometry 13 Spherical geometry Let ABC be a triangle in the Euclidean plane. From now on, we indicate the interior angles A = CAB, B = ABC, C = BCA at the vertices merely by A, B, C. The sides of length a = BC

More information

7 th Grade Math Scope and Sequence Student Outcomes (Objectives Skills/Verbs)

7 th Grade Math Scope and Sequence Student Outcomes (Objectives Skills/Verbs) own discovery of the Big BIG IDEA: How are different types of numbers used to represent real life situations? Why is it necessary to have different types of numbers for different situations? Pg 762 1-4(no

More information

The Evolution and Discovery of the Species of Equality in Euclid s Elements

The Evolution and Discovery of the Species of Equality in Euclid s Elements From the SelectedWorks of Lee T Nutini 2010 The Evolution and Discovery of the Species of Equality in Euclid s Elements Lee T Nutini Available at: https://works.bepress.com/nutini/2/ Nutini 1 The Evolution

More information

#26: Number Theory, Part I: Divisibility

#26: Number Theory, Part I: Divisibility #26: Number Theory, Part I: Divisibility and Primality April 25, 2009 This week, we will spend some time studying the basics of number theory, which is essentially the study of the natural numbers (0,

More information

Circles and Volume. Circle Theorems. Essential Questions. Module Minute. Key Words. What To Expect. Analytical Geometry Circles and Volume

Circles and Volume. Circle Theorems. Essential Questions. Module Minute. Key Words. What To Expect. Analytical Geometry Circles and Volume Analytical Geometry Circles and Volume Circles and Volume There is something so special about a circle. It is a very efficient shape. There is no beginning, no end. Every point on the edge is the same

More information

1) If AB is congruent to AC, then B is congruent to C.

1) If AB is congruent to AC, then B is congruent to C. 233 1) If is congruent to, then is congruent to. Proof of 1). 1) ssume ". (We must prove that ".) 2) ", because the identity is a rigid motion that moves to. 3) Therefore, Δ " Δ by the xiom. (The correspondence

More information

Numbers. The aim of this lesson is to enable you to: describe and use the number system. use positive and negative numbers

Numbers. The aim of this lesson is to enable you to: describe and use the number system. use positive and negative numbers Module One: Lesson One Aims The aim of this lesson is to enable you to: describe and use the number system use positive and negative numbers work with squares and square roots use the sign rule master

More information