Top Banner
Math 3610: Introduction to Geometry axiom systems constructions Euclidean and non-Euclidean measurement parallel postulate polyhedra similarity https://mathwithbaddrawings.com/2016/08/10/if-euclid-became-an-oak/ foundations of geometry through the lenses of mathematical reasoning and proofs, manipulatives, Interactive Geometry Software (IGS), and more multiple perspectives and concept development connections among mathematical perspectives Dr. Sarah Math 3610: Introduction to Geometry
27

Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Apr 26, 2020

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Math 3610: Introduction to Geometry

axiom systemsconstructionsEuclidean andnon-Euclideanmeasurementparallel postulatepolyhedrasimilarity

https://mathwithbaddrawings.com/2016/08/10/if-euclid-became-an-oak/

foundations of geometry through the lenses ofmathematical reasoning and proofs, manipulatives,Interactive Geometry Software (IGS), and moremultiple perspectives and concept developmentconnections among mathematical perspectives

Dr. Sarah Math 3610: Introduction to Geometry

Page 2: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Geometry in the Mathematics Major at Appalachian

1110

1120:calc II &analytic

geo

2110 or2510:

techniquesof proof

3610:intro to

geometry

2130:calc III &analytic

geo

4140:differentialgeometry

2240: introto linearalgebra

Dr. Sarah Math 3610: Introduction to Geometry

Page 3: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Grading and Policies

Effective Class Engagement 10%Projects 30%Reflections 20%Exams 40%

No late work, but lowest project and reflection is dropped andaccommodations for emergencies with documentation.

work due start of class (can send it with another student)under my office door sometime before I leave for classor even turn in on ASULearn if need be, but I prefer printed

Dr. Sarah Math 3610: Introduction to Geometry

Page 4: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Where to Get Help

ClassOffice hoursGoogle Dr. Sarah for course calendarASULearn Forums

I care about you and your success!

http://alangregerman.typepad.com/.a/6a00d83516c0ad53ef0168e783575e970c-800wi

Dr. Sarah Math 3610: Introduction to Geometry

Page 5: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Discussion Question

How could we know that the earth is round without usingmodern technology from the 20th or 21st centuries?

http://gstene.files.wordpress.com/2008/08/flat_earth.jpg

Dr. Sarah Math 3610: Introduction to Geometry

Page 6: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

A View of the Earth—Once Upon a Time

E.H. Bunbury

Dr. Sarah Math 3610: Introduction to Geometry

Page 7: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Eratosthenes’ (~276 BCE – ~195 BCE) Data

Creative Commons Attribution-Share Alike 3.0 UnportedTodd Timberlake, remixed by lookang, version public domain earth from Tom Patterson

http://weelookang.blogspot.sg/2012/06/ejs-open-source-eratosthenes-measures.html

Dr. Sarah Math 3610: Introduction to Geometry

Page 8: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Eratosthenes Thinks Big (Globally!)

http://www.freewebtown.com/gr_math/mathimatikoi_astr/eratosthenes_of_cyrene_m.htm

Dr. Sarah Math 3610: Introduction to Geometry

Page 9: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Local to Global: Multiple PerspectivesHow could we know that the earth is round without using

modern technology?GeographyPhilosophyPhysics & AstronomyNavigationWeather

Still controversial? flat earth society (rapper BoB, NBA stars...)

http://www.icis.com/blogs/asian-chemical-connections/FlatEarth.jpghttp://img.dailymail.co.uk/i/pix/2008/04_01/aprilfool60104_468x627.jpg

Dr. Sarah Math 3610: Introduction to Geometry

Page 10: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Local to Global: Multiple PerspectivesHow could we know that the earth is round without using

modern technology?GeographyPhilosophyPhysics & AstronomyNavigationWeather

Still controversial? flat earth society (rapper BoB, NBA stars...)

http://www.icis.com/blogs/asian-chemical-connections/FlatEarth.jpghttp://img.dailymail.co.uk/i/pix/2008/04_01/aprilfool60104_468x627.jpg

Dr. Sarah Math 3610: Introduction to Geometry

Page 11: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Axiomatic Systems, Measurement, and Constructions

Peanut Butter and Jelly Robot

Martin Berube

Dr. Sarah Math 3610: Introduction to Geometry

Page 12: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Axiomatic System: Minesweeper

Axiom 1) Each square is a number or a mine.Axiom 2) A numbered square represents the number ofneighboring mines in the blocks immediately above, below,left, right, or diagonally touching (or a subset of those if ablock is on a boundary)

http://img.gamefaqs.net/screens/a/1/8/gfs_45331_3_3.jpg Martin Berube

Dr. Sarah Math 3610: Introduction to Geometry

Page 13: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Axiomatic System: Minesweeper

Axiom 1) Each square is a number or a mine.Axiom 2) A numbered square represents the number ofneighboring mines in the blocks immediately above, below,left, right, or diagonally touching (or a subset of those if ablock is on a boundary)

http://img.gamefaqs.net/screens/a/1/8/gfs_45331_3_3.jpg Martin Berube

Dr. Sarah Math 3610: Introduction to Geometry

Page 14: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Axiomatic System: Minesweeper

Axiom 1) Each square is a number or a mine.Axiom 2) A numbered square represents the number ofneighboring mines in the blocks immediately above, below,left, right, or diagonally touching (or a subset of those if ablock is on a boundary)

http://img.gamefaqs.net/screens/a/1/8/gfs_45331_3_3.jpg Martin Berube

Dr. Sarah Math 3610: Introduction to Geometry

Page 15: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Axiomatic System: Incidence GeometryAxiom 1) For each two distinct points there exists a uniqueline on both of them.Axiom 2) For every line there exists at least two distinctpoints on it.Axiom 3) There exist at least three distinct points.Axiom 4) Not all points lie on the same line.

Consistent?

Model?Complete (every statement in the language of the system canbe either proved or disproved from the axioms)?

Dr. Sarah Math 3610: Introduction to Geometry

Page 16: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Axiomatic System: Incidence GeometryAxiom 1) For each two distinct points there exists a uniqueline on both of them.Axiom 2) For every line there exists at least two distinctpoints on it.Axiom 3) There exist at least three distinct points.Axiom 4) Not all points lie on the same line.

Consistent?Model?

Complete (every statement in the language of the system canbe either proved or disproved from the axioms)?

Dr. Sarah Math 3610: Introduction to Geometry

Page 17: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Axiomatic System: Incidence GeometryAxiom 1) For each two distinct points there exists a uniqueline on both of them.Axiom 2) For every line there exists at least two distinctpoints on it.Axiom 3) There exist at least three distinct points.Axiom 4) Not all points lie on the same line.

Consistent?Model?Complete (every statement in the language of the system canbe either proved or disproved from the axioms)?

Dr. Sarah Math 3610: Introduction to Geometry

Page 18: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Axiomatic System: Incidence GeometryAxiom 1) For each two distinct points there exists a uniqueline on both of them.Axiom 2) For every line there exists at least two distinctpoints on it.Axiom 3) There exist at least three distinct points.Axiom 4) Not all points lie on the same line.

Consistent?Model?Complete (every statement in the language of the system canbe either proved or disproved from the axioms)?

Dr. Sarah Math 3610: Introduction to Geometry

Page 19: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Measurements & Constructions: Quadrilateral Midpoints

fold midpoints

fold segments connecting adjacent midpointshttps://www.geogebra.org/geometry

Dr. Sarah Math 3610: Introduction to Geometry

Page 20: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Measurements & Constructions: Quadrilateral Midpoints

fold midpointsfold segments connecting adjacent midpoints

https://www.geogebra.org/geometry

Dr. Sarah Math 3610: Introduction to Geometry

Page 21: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Measurements & Constructions: Quadrilateral Midpoints

fold midpointsfold segments connecting adjacent midpointshttps://www.geogebra.org/geometry

Dr. Sarah Math 3610: Introduction to Geometry

Page 22: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Geometric Constructionsstraightedge and compasspaper folding—isometries of the plane (lineartransformations that preserve length)Interactive Geometry Software (IGS) move geometricfigure—configuration like the skeletal system of the humanbody or a mechanical device with interconnected parts,levers, and linkages—preserves dependency relationshipsto reveal invariants

https://www.reddit.com/r/GeometryIsNeat/comments/b4rgv4/a_ruler_and_compass_

construction_of_a_pythagorean/Dr. Sarah Math 3610: Introduction to Geometry

Page 23: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Euclid’s ElementsCC BY-SA 3.0 Euclid’s Elements 1573 Edition. Private collection Hector Zenil.

Dr. Sarah Math 3610: Introduction to Geometry

Page 24: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Euclid’s Elements Postulates

https://www.storyofmathematics.com/hellenistic_euclid.html

Dr. Sarah Math 3610: Introduction to Geometry

Page 25: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Dr. Sarah Math 3610: Introduction to Geometry

Page 26: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Dr. Sarah Math 3610: Introduction to Geometry

Page 27: Introduction to Geometry - Appalachian State Universitysjg/class/3610/3610day1.pdf · 2019-12-04 · Axiomatic System: Incidence Geometry Axiom 1) For each two distinct points there

Where is North?

Leo Reynolds

Dr. Sarah Math 3610: Introduction to Geometry