Euclid’s Elements: The first 4 axioms

Slides:



Advertisements
Similar presentations
MAT 360 Lecture 8 Neutral Geometry.
Advertisements

Euclidean Geometry
Non –Euclidean Geometry
ENS 207 engineering graphics
By: Victoria Leffelman.  Any geometry that is different from Euclidean geometry  Consistent system of definitions, assumptions, and proofs that describe.
Axiomatic systems and Incidence Geometry
Learning through failure in mathematics.  Around 300 B.C., Euclid began work in Alexandria on Elements, a veritable “bible of mathematics”  Euclid.
Geometry Review Test Chapter 2.
Chapter 1 Using Geogebra Exploration and Conjecture.
Hyperbolic Geometry Chapter 9.
§7.1 Quadrilaterals The student will learn:
MAT 360 Lecture 10 Hyperbolic Geometry. What is the negation of Hilbert’s Axiom? There exists a line l and a point P not on l such that there are at least.
a location in space that has no size.
Euclid BC Author of The Elements –13 books in all. –Standard textbook for Geometry for about 2000 years. Taught in Alexandria, Egypt.
The Axiomatic Method. The axiomatic method I: Mathematical Proofs Why do we need to prove things? How do we resolve paradoxes?
Nikolai Lobachevsky ( ) Born: 1 Dec 1792 in Nizhny Novgorod, Russia Died: 24 Feb 1856 in Kazan, Russia Went to school and studied in Kazan under.
Study Guide Timeline Euclid’s five axioms (300 BC) From Proclus (400AD) belief that the fifth axiom is derivable from the first four Saccheri (17 th century):
Math 260 Foundations of Geometry
Non-Euclidean Geometries
History of Mathematics
Chapter 2: Euclid’s Proof of the Pythagorean Theorem
Chapter 2. One of the basic axioms of Euclidean geometry says that two points determine a unique line. EXISTENCE AND UNIQUENESS.
Chapter 9: Geometry.
Euclidean geometry: the only and the first in the past.
Non-Euclidean Geometry Br. Joel Baumeyer, FSC Christian Brothers University.
The Strange New Worlds: The Non-Euclidean Geometries Presented by: Melinda DeWald Kerry Barrett.
Geometry: Points, Lines, Planes, and Angles
§4.1 Triangles The student will learn about: altitudes, and medians, 1 other geometric properties of triangles.
Hyperbolic Geometry Chapter 11. Hyperbolic Lines and Segments Poincaré disk model  Line = circular arc, meets fundamental circle orthogonally Note: 
1 Those Incredible Greeks Lecture Three. 2 Outline  Hellenic and Hellenistic periods  Greek numerals  The rise of “modern” mathematics – axiomatic.
Chapter 2 Greek Geometry The Deductive Method The Regular Polyhedra Ruler and Compass Construction Conic Sections Higher-degree curves Biographical Notes:
MAT 333 Fall  As we discovered with the Pythagorean Theorem examples, we need a system of geometry to convince ourselves why theorems are true.
MAT 360 Lecture 5 Hilbert’s axioms - Betweenness.
Michelle Huchette Block 2. * Greek * From Alexandria, taught mathematics there * Worked with prepositions and proofs * Created the basis for teachings.
INTRODUCTION TO Euclid’s geometry The origins of geometry.
Euclid’s Postulates 1.Two points determine one and only one straight line 2.A straight line extends indefinitely far in either direction 3. A circle may.
A proof that can be proved in Euclidean geometry, yet not in Non-Euclidean geometry.
Euclid The famous mathematician Euclid is credited with being the first person to describe geometry.
Chapter 2 Construction  Proving. Historical Background Euclid’s Elements Greek mathematicians used  Straightedge  Compass – draw circles, copy distances.
Euclid and the “elements”. Euclid (300 BC, 265 BC (?) ) was a Greek mathematician, often referred to as the "Father of Geometry”. Of course this is not.
Non-Euclidean Geometry Part I.
Geometric Constructions
The Non-Euclidean Geometries
Euclidean Geometry
§21.1 Parallelism The student will learn about: Euclidean parallelism,
Section 3-3 Parallel Lines and the Triangle Angle-Sum Theorem.
The Parallel Postulate
Chapter 7: Hyperbolic Geometry
Geometry Triangles. Vocabulary  Theorem 4-1 (angle sum theorem): The sum of the measures of the angles of a triangle is 180 In order to prove the angle.
Lesson 3.3 Classifying Triangles & Triangle Angle-Sum Theorem Do Now: Find the measure of angle and x+12 are complementary. 62+x+12 = 90 degrees.
MA.8.G.2.3 Demonstrate that the sum of the angles in a triangle is 180- degrees and apply this fact to find unknown measure of angles. Block 26.
The Elements Definition 10 When a straight line standing on a straight line makes the adjacent angles equal to one another, each of the equal angles is.
Geometry 2.2 And Now From a New Angle.
Chapter 9: Geometry. 9.1: Points, Lines, Planes and Angles 9.2: Curves, Polygons and Circles 9.3: Triangles (Pythagoras’ Theorem) 9.4: Perimeter, Area.
Conditional Statements A conditional statement has two parts, the hypothesis and the conclusion. Written in if-then form: If it is Saturday, then it is.
MA.8.G.2.3 Demonstrate that the sum of the angles in a triangle is 180- degrees and apply this fact to find unknown measure of angles. Block 26.
HYPERBOLIC GEOMETRY Paul Klotzle Gabe Richmond.
Euclid’s Postulates Two points determine one and only one straight line A straight line extends indefinitely far in either direction 3. A circle may be.
Euclid’s Definitions EUCLID’ S GEOMETRY
9.7 Non-Euclidean Geometries
Geometry 4.1 Triangle and Angles.
Lecture 10 Hyperbolic Geometry
Book 1, Proposition 29 By: Isabel Block and Alexander Clark
Geomtry of the Future ( ca. 1800s)
Geometry 3.1 Line & Angle Pairs.
Euclid’s Geometry Definitions Postulates Common Notions
Converse Definition The statement obtained by reversing the hypothesis and conclusion of a conditional.
Theorems to be proven at JC Higher Level
3-3 Parallel Lines & the Triangle Angle Sum Theorem
Chapter 2 Greek Geometry
Presentation transcript:

Euclid’s Elements: The first 4 axioms A modern form of the axioms. For every point P and every point Q not equal to P there exists a unique line that passes through P and Q. For every segment AB and for every segment CD there exists a unique point E such that B is between A and E and segment CD is congruent to segment BE. For every point O and every point A not equal to O there exists a circle with center O and radius OA. All right angles are congruent to each other.

Equivalent versions of the Parallel Postulate That, if a straight line falling on two straight lines make the interior angle on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which are the angles less than two right angles. (Euclid ca. 300BC) For every line l and for every point  P that does not lie on l there exists a unique line m through P that is parallel to l. (Playfair 1748-1819) The sum of the interior angles in a triangle is equal to two right angles. (Legendre 1752-1833 )

Girolamo Saccheri (1667-1733) Only one of the following: Hypothesis of right angle (HRA). Hypothesis of Obtuse Angle (HOA) Hypothesis of Acute Angle (HAA)  way to study the parallel postulate. HRA is equivalent to the parallel postulate. Axioms 1-4 imply HOA not possible.

Adrien-Marie Legendre (1752-1833). In 1794 Legendre published Eléments de géométrie which was the leading elementary text on the topic for around 100 years. Always believed that the parallel postulate can be deduced from the first four axioms, even after seeing Bolyai’s proof. In 1832 (the year Bolyai published his work on non-euclidean geometry) Legendre confirmed his absolute belief in Euclidean space when he wrote:- It is nevertheless certain that the theorem on the sum of the three angles of the triangle should be considered one of those fundamental truths that are impossible to contest and that are an enduring example of mathematical certitude.

Adrien-Marie Legendre (1752-1833). 1770 defended his thesis in mathematics and physics at the Collège Mazarin 1775 to 1780 he taught at École Militaire 1782 won prize offered by the Berlin Academy for treatise on projectiles 1783 appointed as adjoint the Académie des Sciences, 1791 member. Reappointed after Napoleon Quarreled with Gauss over priority of reciprocity and the method of least squares. Worked in number theory, elliptic functions, geometry, astronomy,… Refused to vote for the government candidate, lost his pension and died in poverty.

Adrien-Marie Legendre (1752-1833). Gives correct refutation of HOA. Gives attempts of proofs for refutation of HAA. His attempt to show that the first four axioms imply the parallel postulate leads to yet another equivalent version of the parallel postulate: Through any point in the interior of an angle it is always possible to draw a line which meets both sides of the angle.