geometry and proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf ·...
TRANSCRIPT
![Page 1: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/1.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Geometry and Proof
John T. Baldwin
May 6, 2007
![Page 2: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/2.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
My background
1 Model theory research (35 years)
2 working with teachers and future teachers (20 years)
![Page 3: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/3.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Origin of This Talk
1 six sessions with high school teachers on ‘how to teachgeomety’
2 One session of History of Mathematics on ‘thesuperposition principle’
Euclid, Hilbert (google)Hartshorne, WeinzweigSolomonovich: review of modern books and introducing hishttp://www.solomonovich.com/geometry/textbook.htmlRaimi: Why the ‘New Math’ brought algebra into geometryhttp://www.math.rochester.edu/people/faculty/rarm/igno.html
![Page 4: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/4.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
PROOF?
http://www.glencoe.com/sec/math/studytools/cgi-bin/msgQuiz.php4?isbn=0-07-829637-4&chapter=2&lesson=7&quizType=1&headerFile=6&state=il(You have to change slash & back to just ampersand to get thesite.) or just google glencoe. Why does it take six steps toshow:
If two line segments have the same lengthand equal line segments are taken away from each,the resulting segments have the same length.
The remainder of the talk is a discussion of why geometry textsin the U.S. came to be that way.
![Page 5: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/5.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
State Goals
Go to Goal 9 of Illinois State Standards.See geometry standards athttp://www.isbe.state.il.us/ils/math/standards.htm
![Page 6: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/6.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
CONTEXT
How does the axiomatization of geometry affect the teachingof high school geometry?
![Page 7: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/7.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Logical Argument vrs ‘Argument’
Logic analyzes the ‘soundness’ of an argument.Do true premises lead to true conclusions?
Checking the truth of the premises is
1 Mathematics if the premises are mathematical.
2 Politics if the premises are political.
![Page 8: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/8.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Logical Argument vrs ‘Argument’
Logic analyzes the ‘soundness’ of an argument.Do true premises lead to true conclusions?
Checking the truth of the premises is
1 Mathematics if the premises are mathematical.
2 Politics if the premises are political.
![Page 9: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/9.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Logical Argument vrs ‘Argument’
Logic analyzes the ‘soundness’ of an argument.Do true premises lead to true conclusions?
Checking the truth of the premises is
1 Mathematics if the premises are mathematical.
2 Politics if the premises are political.
![Page 10: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/10.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Hilbert’s Critique
1 Undefined Terms
2 Continuity Axioms
3 The Mobility Postulate
![Page 11: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/11.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
CONTEXT
Look at Euclid’s definitions.
Can you distinguish two different types of definitions in this list?
![Page 12: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/12.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Undefined terms
Two kinds of definitions:
1 The ‘system’ of basic notions, not the individual notions,(points, lines, etc) is defined.
2 But auxiliary notions are introduced as abbreviations.
![Page 13: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/13.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Continuity Axioms
The continuity axioms leads to ‘geometry over the reals’.‘Coordinatizing Ring’ is a foreign notion to the Greeks.
How do you explain similarity of figures whose side lengths areincommeasureable?
![Page 14: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/14.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Continuity Axioms
The continuity axioms leads to ‘geometry over the reals’.‘Coordinatizing Ring’ is a foreign notion to the Greeks.
How do you explain similarity of figures whose side lengths areincommeasureable?
![Page 15: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/15.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Superposition Intuition
Common notion 4
Things which coincide with one another equal one another.
What does this mean?
Heath points out a long history of criticisms of Euclid’a use ofsuperposition to prove the congruence theorems.
![Page 16: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/16.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Superposition Axiom
Definition
An isometry is a bijection that preserves congruence of linesegments.
Superposition Axiom:
If angle BAC = DEF there is an isometry taking A to E andsuch that B’A. lies on DE and C’A’ lies on FE.
Consequences:
1 SAS
2 If BA = DE there is an isometry taking A to E and B to D.
![Page 17: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/17.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Solutions
1 Spanish text from 50’s: ignore the critique and really usesuperposition.
2 Hilbert: Assume only SAS
![Page 18: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/18.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Three Frameworks
1 Euclid
2 Hilbert
3 Birkhoff/Moise
![Page 19: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/19.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Euclid
Undefined Terms
points, lines, planes
Basic Relations
incidence, congruence,
Defined Relations
addition, multiplication
Axioms
(omitted continuity, ‘sneaked in’ superposition, no explicitcongruence axioms)
![Page 20: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/20.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Hilbert
Undefined Terms
points, lines, planes
Basic Relations
betweenness, congruence
Defined Relations
addition, multiplication
Axioms
adds continuity, SAS
![Page 21: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/21.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Birkhoff/Moise
Undefined Terms
points, lines, planes, real numbers,
Basic Relations
length functions, angle measure functions, plus, times
Defined Relations
congruence (of segments, angles, figures)
Axioms
real number axioms; correspondence of geometry and numbers,SAS
![Page 22: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/22.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
U.S. High School Curriculum
The Birkhoff-Moise framework is almost universal.One goal is to integrate algebra and geometry.Another was to avoid the ‘errors’ of Euclid.
![Page 23: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/23.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Difficulities with current curriculum
1 Euclid’s early propositions have real proofs; the basic factsof algebra are trivialities.
2 Problem: Students can’t do (algebra) proofs.
3 Solution: Take (geometry) proofs out of the curriculum.
![Page 24: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/24.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Difficulities with current curriculum
1 Euclid’s early propositions have real proofs; the basic factsof algebra are trivialities.
2 Problem: Students can’t do (algebra) proofs.
3 Solution: Take (geometry) proofs out of the curriculum.
![Page 25: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/25.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Difficulities with current curriculum
1 Euclid’s early propositions have real proofs; the basic factsof algebra are trivialities.
2 Problem: Students can’t do (algebra) proofs.
3 Solution: Take (geometry) proofs out of the curriculum.
![Page 26: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/26.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Difficulities with current curriculum
1 Euclid’s early propositions have real proofs; the basic factsof algebra are trivialities.
2 Problem: Students can’t do (algebra) proofs.
3 Solution: Take (geometry) proofs out of the curriculum.
![Page 27: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/27.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Flattening out Geometry
An ‘honors’ text in the U.S. has 24 postulates including:SAS, SSS, ASA, HL,3 (ruler, protractor, segment addition) tie geometry to unstatedaxioms for real arithmetic
![Page 28: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/28.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
The role of Proof
Proof is still a goal of state standards. But the textbooks arenot adequate for students to learn how to prove.There are many reasons; I focus on the mathematical one.
![Page 29: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/29.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Diagnosis
The fundamental problem is:How do we come to grips with congruence and similarity?
Can one resurrect the principle of superposition?
![Page 30: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/30.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Another Approach (Weinzweig/Hartshorne)
Undefined Terms
points, lines, planes, rigid motions
Basic Relations
incidence, application of rigid motions
Defined Relations
congruence, addition, multiplication
Axioms
properties of rigid motions and basic geometry
![Page 31: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/31.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Coming Events
This talk is a summary of the course:Math 592Monday Nights 5-8Fall 2007A paper is available athttp://www.math.uic.edu/ jbaldwin/pub/loggeomfor.pdf
![Page 32: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/32.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
Lessons for Preparing Teachers
The goals of proof are
1 not the mere verification of truth
2 but the gaining of understanding
Proof is a more efficient way retaining information thanmemorization.
![Page 33: Geometry and Proof - homepages.math.uic.eduhomepages.math.uic.edu/~jbaldwin/loggeomtalk3.pdf · Geometry and Proof John T. Baldwin Background Hilbert’s Critique Three Frameworks](https://reader035.vdocument.in/reader035/viewer/2022071504/612431464a0dd403651ca388/html5/thumbnails/33.jpg)
Geometry andProof
John T.Baldwin
Background
Hilbert’sCritique
ThreeFrameworks
High SchoolCurriculum
References
Euclid, Hilbert (google)Hartshorne, WeinzweigSolomonovich: review of modern books and introducing hishttp://www.solomonovich.com/geometry/textbook.htmlRaimi: Why the ‘New Math’ brought algebra into geometryhttp://www.math.rochester.edu/people/faculty/rarm/igno.html