Course: MATH 3110/5110
Title: College Geometry
Section: 100 (Class Numbers 6946/6963
Campus: Ohio University, Athens Campus
Department: Mathematics
Academic Year: 2021 - 2022
Term: Spring Semester
Instructor: Mark Barsamian
Contact Information: My contact information is posted on my web page .
Course Description: A rigorous course in axiomatic geometry . Birkoff's metric approach (in which the axioms incorporate the concept of real numbers) is used. Throughout the course, various models will be introduced to illustrate the axioms, definitions and theorems. These models include the familiar Cartesian Plane and Spherical Geometry models, but also less familiar models such as the Poincaré Upper Half Plane and the Taxicab Plane . Substantial introduction to the method of proof will be provided, including discussion of conditional statements and quantified conditional statements and their negations , and discussion of proof structure for direct proofs , proving the contrapositive , and proof by contradiction .
Prerequisites Shown in Online Course Description: (MATH 3050 Discrete Math or CS 3000 Introduction to Discrete Structures) and (MATH 3200 Applied Linear Algebra or MATH 3210 Linear Algebra)
Sufficient Prerequisite: Concurrent registration in (MATH 3050 Discrete Math or CS 3000 Introduction to Discrete Structures or MATH 3200 Applied Linear Algebra or MATH 3210 Linear Algebra)
Cross-Listing: Note that this is a cross-listed course: Undergraduate students register for MATH 3110; Graduate students, for MATH 5110.
Special Needs: If you have physical, psychiatric, or learning disabilities that require accommodations, please let me know as soon as possible so that your needs may be appropriately met.
Final Exam Date: Fri Apr 29, 1:00pm - 3:00pm in Gordy 311
Syllabus: This web page replaces the usual paper syllabus. If you need a paper syllabus (now or in the future), unhide the next three portions of hidden content (Textbook, Grading, Course Structure) and then print this web page.
Textbook Information:
Title: Geometry: A Metric Approach With Models, 2 nd Edition
Authors: Millman and Parker
Publisher: Springer, 1991
ISBN Numbers:
Supplemental Reading: Our book relies heavily on logical terminology, terminology that is also widely used in other proof-based math courses. The terminology is sometimes introduced in MATH 3050 and maybe also in CS 3000. You may not have learned that terminology, or you may have learned and forgotten it. The Supplemental Reading on Logical Terminology, Notation, and Proof Structure gives a concise summary of the terminology that is needed for our course.
Grading:
During the semester, you will accumulate a Points Total of up to 1000 possible points .
At the end of the semester, your Points Total will be converted into your Course Letter Grade using a 90%, 80%, 70%, 60% scale.
There is no curve.
Throughout the semester, your current scores and current course grade will be available in an online gradebook in Blackboard.
Ziggy:
(Optional) Challenge Problems
We learned about three properties that a relation on a set may or may not have: reflexive, symmetric, transitive .
Consider strings of three characters, where each character is either n or y . There are eight possible such strings:
For example, the less than relation , \(<\), is not reflexive, not symmetric, but it is transitive. This would be denoted by nny .
Challenge Problem #1: Describe eight relations on the set of Real Numbers , \(\mathbb{R}\), that have the above combinations of properties. (Of course, you only need to come up with seven, because I already gave you one.)
On Wed Mar 16, we discussed the Crossbar Interior of an Angle . The term is introduced in the book in your suggested exercise 4.4#25 . You can also read about the term in the meeting topics for Wed Mar 15 (in the Schedule farther down this web page). Logan had a Class Presentation that was relevant to exercise 4.4#25.
Challenge Problem #2: Given a Poincaré angle \(\angle ABC\) , describe (with a drawing and a mathematical description) the points that are in the Crossbar Interior of \(\angle ABC\) .
On Wed Mar 23, in her presentation, Aoife drew Poincaré angle \(\angle ABC\), for the points \(A=(3,7)\), \(B=(3,4)\), and \(C=(10,3)\). Points \(B,C\) lie on line \(\overleftrightarrow{BC}\) that is described by the symbol \( \ _6L_5\). This line has center at \((6,0)\) and missing endpoints at \((1,0)\) and \((11,0)\).
Mark B then showed how to find the angle bisector of \(\angle ABC\). The result was that the angle bisector is the Poincaré ray that contains the point \(B=(3,4)\) and lies in the Poincaré line with center at \((11,0)\).
James then asked a good question:
The answer to James's question is:
Here is a general description of a simpler, generic problem :
The Given Stuff: Let \(A=(0,h+1), B=(0,h), C=(2c,h)\), where \(c\) is a positive real number . Observe that points \(B\) and \(C\) have the same \(y\) coordinate. This tells us that Poincaré line \(\overleftrightarrow{BC}\) will have center at the location \((c,0)\).
Challenge Problem #3: Prove that the angle bisector of Poincaré angle \(\angle ABC\) will be a Poincaré ray that has endpoint at \(B=(0,h)\) and lies in the Poincaré line with center at the right missing endpoint of \(\overleftrightarrow{BC}\).
Schedule:
Book Sections and Videos:
Exercises:
Mon Jan 10 Meeting Topics
Wed Jan 12 Meeting Topics
Topic for today's Meeting Proof: Structure
There are two common styles of presenting proofs. For students who are learning to write proofs, the style that I do in the videos, with one statement per line and each statement numbered and justified, is a helpful style. These proofs are sometimes referred to as two-column proofs . The idea is that the proof could be written into a two-column table . Each line of the table would have a numbered statement in the left column , and a justification for that numbered statement in the right column .
But in higher level math, it is common to have proofs presented in paragraph style, with sentences just strung together into a paragraph. Justifications are also often omitted, especially if the statement is something that a reader in the target audience should be expected to understand without explanation. And certain statements are also often omitted, especially if they are expected to be fairly obvious a reader in the target audience. It is this second style of proof presentation, the paragraph style of proof, that our book uses.
The target audience for our book is a reader who has more experience reading and writing proofs than many of the students in MATH 3110/5110. One might think that this would disqualify the book for use in our course. But I feel that the book is an excellent book, one of the best Geometry books that I have seen. And I feel that it is important for students in a 3000-level math course like ours to develop the skill of reading the dense mathematical writing in a book like ours, and to develop the skill of writing proofs. For that reason, I have decided to use our rather advanced book, and to supplement the book with material that will (hopefully) help students in the class develop their reading and proof writing skills.
The Instructional Videos that accompany each section of the textbook are largely about developing the skill of writing proofs and, as mentioned above, the proofs created in the videos have the more basic two-column proof style. As students work on writing proofs in this more basic style, they will certainly become more skilled at reading proofs in that basic style. They will also begin to acquire some skill at reading in the more dense paragraph style of proof used in the textbook.
But I think it is important to also work directly on the task of improving the students' reading skills, so that they can more quickly begin to be able to make sense of the more dense paragraph style . For that reason, the Class Presentations will also be little drills having to do with making sense of stuff that is in the book.
Howard Bartels Presentation #1: (See the Notes for Video 1.2a .) In the first problem on Homework H01 , you are asked to prove the following statement.
For all sets \(A\) and \(B\), if \(A \subset B\) then \(A\cap C \subset B \cap C\)
Show the " frame " of the proof. That is, what will need to be the first and last statements of the proof?
During the last part of the fri Zuercher Presentation #1: (See the Notes for Video 1.2a .)
Here is a proof that is written in paragraph form, not in numbered statements.
Let \(x\in A \cap \left( B\cup C \right) \). Then \(x\in A\) and \(x\in B \cup C \). Since \(x\in B \cup C \) either \(x\in B\) or \(x \in C\) (or both!). If \(x\in B\) then \(x\in A \cap B\). If \(x\in C\) then \(x\in A \cap C\). Either way, \(x\in \left( A \cap B \right) \cup \left( A \cap C \right) \).
Rewrite this proof as a list of numbered statements, with justifications for each step.
What is the statement that is being proven by the above proof?
Jingmin Gao Presentation #1: (See the Notes for Video 1.2a .)
Here is a proof that is written in paragraph form, not in numbered statements.
Let \(x\in \left( A \cap B \right) \cup \left( A \cap C \right) \). Then \(x \in \left( A \cap B \right) \) or \(x \in \left( A \cap C \right) \). If \( x\in \left( A \cap B \right) \) then \(x\in A\) and \(x\in B\). Then \(x\in B \cup C\). Therefore, \(x\in A\cap \left(B \cup C\right)\). If \( x\in \left( A \cap C \right) \) then \( x\in A\) and \(x\in C\). Then \(x\in B \cup C\). Therefore, \(x\in A\cap \left(B \cup C\right)\). Either way, \(x\in A\cap \left(B \cup C\right)\).
Rewrite this proof as a list of numbered statements, with justifications for each step.
What is the statement that is being proven by the above proof?
Jen Shviadok Presentation #1: (See the Notes for Video 1.2a .)
Suppose that a proof has the following structure:
Fri Jan 14 Meeting Topics
James Foley Presentation #1: (See the Notes for Video 1.2b .)
Frick and Frack have been given tasks involving the relations presented in [Examples 5,6] in the Notes for Video 1.2b
The relation from [Example 6] is $$R = \left\{(x,y) \in \mathbb{R}^2 \middle| x^2=y^2 \right\}$$ and the relation from [Example 6] is $$R = \left\{(x,y) \in \mathbb{R}^2 \middle| x^2+y^2=1 \right\}$$
Frick is asked to prove whether or not the relation in [Example 5] is reflexive .
Frack is asked to prove whether or not the relation in [Example 6] is reflexive .
Frick says that the relation in [Example 5] is reflexive because \(3^2=3^2\), which tells us that \(3\) is related to itself.
Frack says that the relation in [Example 6] is reflexive because \( \left(\frac{1}{\sqrt{2}}\right)^2+\left(\frac{1}{\sqrt{2}}\right)^2 = 1\), which tells us that \(\frac{1}{\sqrt{2}}\) is related to itself.
Did either give a valid answer? Explain.
Michael Cooney Presentation #1: (See the Notes for Video 1.2b .)
In your suggested exercise textbook problem 1.2#9 , you study a relation on the set of all rectangles . In that problem, it is discussed that
The textbook does not introduce a term that would be useful. I'll introduce it, because it is a common term. For a rectangle \(R\) with height \(h\) and width \(w\), the aspect ratio of \(R\) is the ratio $$\frac{h}{w}$$
A relation is defined on the set of all rectangles as follows.
If rectangle \(R_1\) has height \(h_1\) and width \(w_1\), and rectangle \(R_2\) has height \(h_2\) and width \(w_2\), then we say that the sentence $$R_1 \text{ is related to } R_2$$ which is abbreviated $$R_1 \sim R_2$$ is defined to mean $$\frac{h_1}{w_1}=\frac{h_2}{w_2}$$ This could be spoken as $$\text{the aspect ratio of } R_1 = \text{the aspect ratio of } R_2$$
It turns out that this relation is an equivalence relation on the set of all rectangles.
In textbook problem 1.2#9 , you are asked to prove that the relation is an equivalence relation. This would involve three proofs: a proof that the relation is reflexive , a proof that the relation is symmetric , and a proof that the relation is transitive .
Your job in your presentation is not to write the three proofs, but rather to just present the " frame " of the three proofs. That is, show the first and last statements of the three proofs. Fill in your frame with one more layer. That is, also show the second and second-to-last statement of each proof. Leave plenty of empty space for the middle of each of your proofs. Stop there.
Homework H01 due at the start of the Fri Jan 14 class meeting. H01 Cover Sheet
Quiz Q01 during last part of the Fri Jan 14 class meeting
Book Sections and Videos:
Exercises:
Mon Jan 17 is a Holiday: No Class
Wed Jan 19 Meeting Topics
Nicole Adams Presentation #1: Your Presentation is a review of some basic logical terminology from your Discrete Math Course, Math 3050. Most MATH 3110 students are very rusty on this stuff, though. If you need to review, here are a couple of possible references:
Let Statement S be the following conditional statement :
We now have five statements:
Are any of these statements logically equivalent ? Explain.
Mandie Dicicco Presentation #1: (See the Notes for Video 1.3a .) Frack says that to say a function is one-to-one means that for each input, there is exactly one output . Frack is not correct.
Dani Duey Presentation #1: (See the Notes for Video 1.3a .) Tell the class about the Natural Exponential function, \( y=e^{(x)} \).
Joe Durk Presentation #1: (See the Notes for Video 1.3a and the Notes for Video 1.3b .) In your presentation, you'll be talking about the graph of a relation from \( \mathbb{R} \) to \( \mathbb{R} \), and about the graph of its inverse relation . (Don't be spooked: there is a lot of writing in the description of your presentation, but you don't actually have that much to do!)
Part 1: A Relation
The equation $$y=x^3-6x^2+11x-6$$ defines a relation on the set \( \mathbb{R} \). That is, the set of ordered pairs \( (x,y) \) that satisfy the equation is a subset of \( \mathbb{R} \times \mathbb{R} \). That is, a subset of \( \mathbb{R}^2\).
Task #1: Make a large, neat graph of the equation \(y=x^3-6x^2+11x-6\). (You�re welcome to use a computer-generated graph, such as from Desmos.) (It might be useful to have a few graphs to work with, because you're going to be drawing on them.)
We could also think of the equation as defining a relation from \( \mathbb{R} \) to \( \mathbb{R} \). The domain of this relation would be \( \mathbb{R} \), and the range of this relation would also be \( \mathbb{R} \). We could call this relation \(f\). The arrow diagram for the relation \(f\) would be written $$ f: \mathbb{R}\rightarrow \mathbb{R}.$$
Task #2: Use your graph to explain why the relation \(f\) actually qualifies to be called a function .
In function notation the function would be written $$f(x)=x^3-6x^2+11x-6.$$ The arrow diagram , or function diagram , for the function \( f \) would be written $$ f: \mathbb{R}\rightarrow \mathbb{R}$$ which is the same as the arrow diagram for the for the relation \( f \).
Task #3: Use your graph to explain why the function \(f\) is surjective .
Task #4: Use your graph to explain why the function \(f\) is not injective .
Part 2: The Inverse Relation
If we interchange \(x\) and \(y\) in the equation above, we get a new equation. $$x=y^3-6y^2+11y-6$$ This equation defines a new relation on the set \( \mathbb{R} \). That is, the set of ordered pairs \( (x,y) \) that satisfy the equation is a subset of \( \mathbb{R}^2\).
Task #5: Make a large, neat graph of the equation \(x=y^3-6y^2+11y-6\). (You�re welcome to use a computer-generated graph, such as from Desmos.)
This new relation is called the inverse relation for the relation discussed in Part 1 . This inverse relation is denoted \(f^{-1}\). The arrow diagram for the relation \(f^{-1}\) would be written $$ f^{-1}: \mathbb{R}\rightarrow \mathbb{R}.$$
Task #6: Use your graph to explain why the inverse relation \(f^{-1}\) is not qualified to be called a function .
Task #7: Use your graph to find \(f^{-1}(0)\). Explain.
Here's a summary:
Remark: Notice that the original equation $$y=x^3-6x^2+11x-6$$ is solved for \(y\) in terms of \(x\). That is, it defines a function $$f(x)=x^3-6x^2+11x-6.$$ But the equation cannot be solved for \(x\) in terms of \(y\). That tells us that there is no inverse function .
Fri Jan 21 Meeting Topics
Kelsie Flick Presentation #1: (See the Notes for Video 1.3b .) In your presentation, you'll be talking about two functions:
$$f(x)=3-\frac{1}{2x} \\ g(x)=\frac{1}{6-2x}$$Rachel Han Presentation #1: (See the Notes for Video 1.3b .) In your presentation, you'll be talking about properties of functions and properties of compositions of functions.
(a) Give an example of functions \(f:S \rightarrow T \) and \(g:T \rightarrow V\) such that \(g \circ f\) is injective but \(f\) and \(g\) are not both injective.
(b) What does your example in (a) tell us about the truth of the following statement? Explain.
In the Notes for Video 1.3b, Barsamian introduces a Theorem D
He proves this by proving the contrapositive of the statement of Theorem D.
Barsamian also introduces a Theorem E
He does not prove this theorem. Your goal is to set up the frame of a proof of Theorem E.
(c) Write the contrapositive of the statement of Theorem E.
(d) To prove Theorem E by proving its contrapositive , what would need to be the frame of the proof? That is, what would need to be the first and last statements of the proof? What would need to be the second and second-to-last statements of the proof? Show the frame of the proof, along with the second and second-to-last statements of the proof, with a large space in the middle for the gap that needs to be closed. (You don't have to write the full proof: Just stop there.)
Homework H02 due at the start of the Fri Jan 21 class meeting. H02 Cover Sheet
Quiz Q02 during last part of the Fri Jan 21 class meeting
Book Sections and Videos:
Exercises:
Mon Jan 24 Meeting Topics
Kyle Hill (Presentation #1): (Study Textbook Section 2.1, Video 2.1a and its Notes , and Video 2.1b and its Notes .)
Jack Lazenby (Presentation #1): (Study Textbook Section 2.1, Video 2.1a and its Notes , and Video 2.1b and its Notes .)
Taylor Miller (Presentation #1): (Study Textbook Section 2.1, Video 2.1a and its Notes , and Video 2.1b and its Notes .) Consider this pair \( (\mathscr{P},\mathscr{L}) \)
Draw an illustration of \( (\mathscr{P},\mathscr{L}) \). (Hint: Look at book page 25 for some ideas.) Make your drawing large (at least \(4'' \times 4'' \)) and neat, with points labeled with their letters.
Who is correct? Explain.
Jack Muslovski (Presentation #1): (Study Textbook Section 2.1, Video 2.1a and its Notes , and Video 2.1b and its Notes .)
Wed Jan 26 Meeting Topics
Logan Prater(Presentation #1): (Study Textbook Section 2.1, Video 2.1a and its Notes , and Video 2.1b and its Notes .)
(Follow the Presentation Style Guidelines .)
Sammi Rinicella (Presentation #1): (Study Textbook Section 2.1, Video 2.1a and its Notes , and Video 2.1b and its Notes .)
(Follow the Presentation Style Guidelines .)
Jake Schneider (Presentation #1): (Study Textbook Section 2.1, Video 2.1a and its Notes , and Video 2.1b and its Notes .)
(Follow the Presentation Style Guidelines .)
Helen Sitko (Presentation #1): (Study Textbook Section 2.1, Video 2.1a and its Notes , and Video 2.1b and its Notes .)
(Follow the Presentation Style Guidelines .)
Fri Jan 28 Meeting Topics
Danielle Stevens (Presentation #1): (Study Textbook Section 2.2 and Video 2.2a its Notes )
You will be working with points \(P=(3,4)\) and \(R=(10,3)\).
(Follow the Presentation Style Guidelines .)
Hannah Worthington (Presentation #1): (Study Textbook Section 2.2 and Video 2.2a its Notes )
You will be working with points \(P=(3,4)\) and \(Q=(3,10)\) and \(R=(10,3)\).
Following the procedure on page 26 of the Notes for Video 2.1a , it can be shown that
(You don't have to find those line descriptions: they are given.)
Your job is to do the following three things:
(Follow the Presentation Style Guidelines .)
Homework H03 due at the start of the Fri Jan 28 class meeting. H03 Cover Sheet
Quiz Q03 during last part of the Fri Jan 28 class meeting.
Book Sections and Videos:
Exercises:
Mon Jan 31 Meeting Topics
Josh Stookey (Presentation #1): (Study Textbook Section 2.2, Video 2.2a its Notes , and Video 2.2b and its Notes ). In particular, study [Example 1] on page 19 of the notes for Video 2.2b.
You will be working with points \(P=(3,4)\) and \(Q=(3,10)\) in the Poincaré Upper Half Plane . Last Wednesday, Sammi Rinicella found that the Poincaré line containing points \(P\) and \(Q\) is the type I line \( \ _3L\). Your job will be to work with the coordinates of those points using the standard ruler \(f\) for that line in the Poincaré plane .
(Follow the Presentation Style Guidelines .)
Nicole Adams (Presentation #2): (Study Textbook Section 2.2, Video 2.2a its Notes , and Video 2.2b and its Notes ). In particular, study [Example 2] on page 21 of the notes for Video 2.2b.
You will be working with points \(P=(3,4)\) and \(R=(10,3)\) in the Cartesian plane . Last Wednesday, Jake Schneider found that the Cartesian line containing points \(P\) and \(R\) is the non-vertical line \(L_{-\frac{1}{7},\frac{31}{7}}\). Your job will be to work with the coordinates of those points using the standard ruler \(f\) for that line in the Euclidean plane .
(Follow the Presentation Style Guidelines .)
Michael Cooney (Presentation #2): (Study Textbook Section 2.2, Video 2.2a its Notes , and Video 2.2b and its Notes ). In particular, study [Example 3] on page 24 of the notes for Video 2.2b.
You will be working with points \(P=(3,4)\) and \(R=(10,3)\) in the Cartesian plane . Last Wednesday, Jake Schneider found that the Cartesian line containing points \(P\) and \(R\) is the non-vertical line \(L_{-\frac{1}{7},\frac{31}{7}}\). Your job will be to work with the coordinates of those points using the standard ruler \(f\) for that line in the Taxicab plane .
(Follow the Presentation Style Guidelines .)
Mandie Dicicco (Presentation #2): (Study Textbook Section 2.2, Video 2.2a its Notes , and Video 2.2b and its Notes ). In particular, study [Example 4] on page 27 of the notes for Video 2.2b.
You will be working with points \(P=(3,4)\) and \(R=(10,3)\) in the Poincaré Upper Half Plane . Last Wednesday, Helen Sitko found that the Poincaré line containing points \(P\) and \(R\) is the type II line \( \ _6L_5\). Your job will be to work with the coordinates of those points using the standard ruler \(f\) for that line in the Poincaré plane .
(Follow the Presentation Style Guidelines .)
Wed Feb 2 Meeting Topics
Dani Duey (Presentation #2): (Study Textbook Section 2.2 and Video 2.2b and its Notes . In particular, study [Example 5] on page 33 of the notes for Video 2.2b.)
Find the point \(P\) on the non-vertical line \(L_{-\frac{1}{2},5}\) that has coordinate \( \lambda = 2 \) in the standard ruler for that line in the Euclidean plane . Illustrate your result. (Study [Example 2] on page 21 of the notes for Video 2.2b for ideas about how such a result can be illustrated.)
(Follow the Presentation Style Guidelines .)
James Foley (Presentation #2): (Study Textbook Section 2.2 and Video 2.2b and its Notes . In particular, study [Example 7] on page 35 of the notes for Video 2.2b.)
Find the point \(P\) on the type II line \( \ _0L_5 \) that has coordinate \( \lambda = \ln{(2)} \) in the standard ruler for that line in the Poincaré plane . Illustrate your result. (Study [Example 4] on page 27 of the notes for Video 2.2b for ideas about how such a result can be illustrated.)
(Follow the Presentation Style Guidelines .)
Joe Durk (Presentation #2): (Study Textbook Section 2.3 and Video 2.3 and its Notes . In particular, study [Example 1] on page 24 of the notes for Video 2.3.)
In the Euclidean plane , let \(A=(4,3)\) and \(B=(0,5)\). Find a ruler with \(A\) as origin and \(B\) positive. . Illustrate your result. (Study [Example 2] on page 21 of the notes for Video 2.2b for ideas about how such a result can be illustrated.)
(Follow the Presentation Style Guidelines .)
Kelsie Flick (Presentation #2): (Study Textbook Section 2.3 and Video 2.3 and its Notes . In particular, study [Example 3] on page 29 of the notes for Video 2.3.)
In the Poincaré plane , let \(A=(4,3)\) and \(B=(0,5)\). Find a ruler with \(A\) as origin and \(B\) positive. . Illustrate your result. (Study [Example 4] on page 27 of the notes for Video 2.2b for ideas about how such a result can be illustrated.)
(Follow the Presentation Style Guidelines .)
Fri Feb 4 Classes Cancelled Because of Weather
Book Sections and Videos:
Exercises:
Exam X1 (Covering Chapters 1,2) for the full duration of the Mon Feb 7 class meeting
No Calculators (They are not needed, anyway.)
No Phones
No Books or Notes
The Exam is 6 problems, 6 pages, printed on front & back of three sheets of paper.
(A fourth sheet of paper has definitions and formulas on both sides.)
Observe that Exam X1 will not have any problems involving computing line equations or finding rulers and coordinates for Poincaré lines . You had a good dose of that on Homework H03 and Quiz Q03, and you'll get plenty more of it in coming weeks. (Bwahahaha!) So save time and don't bother reviewing Poincaré stuff for Exam X1.
Wed Feb 9 Meeting Topics
Topic for Today:
An Alternative Description of the Cartesian Plane (using Vectors
)
(concepts from Section 3.1)
Mark B: Review the idea of Vector Space over a Field , and introduce the vector space \((\mathbb{R}^2,+,scalar mult)\) over the field \(\mathbb{R}\).
The basic vector space operations of vector addition and scalar multiplication are defined in the book on page 42, in Definition parts (i) and (iii).
For vectors \( A=(x_A,y_A ) \) and \( B=(x_B,y_B ) \),
The definition there also introduces three more operations involving vectors:
In Proposition 3.1.1 on page 43 of the textbook, a bunch of facts about the above Vector Space Operations are presented. In some sense, these facts look familiar: they resemble some properties of arithmetic such as the commutative , associative , or distributive properties. But these facts are not about ordinary arithmetic ; they are about Vector operations . For the reader, it is worthwhile to take the time to prove some of these facts, so that the reader will better understand what they are looking at.
In your Homework H04 , due this coming Monday, you will be asked to do that. Today, James will prove one of the facts as his presentation .
James Foley, Rachel Han, and Kyle Hill: Read textbook Section 3.1. In particular, read the definition of the vector space \( \mathbb{R}^2 \) on page 42. You will need to understand the meaning of the symbols for vector addition , scalar multiplication , inner product , and norm , introduced in the book and reviewed above.
James Foley (Presentation #2): (Preparation: Read the first two pages of textbook Section 3.1. In particular, read the definition of the vector space \( \mathbb{R}^2 \) on page 42. You will need to understand the meaning of the symbols for vector addition and inner product , introduced in the book and reviewed above.)
Present a proof of Proposition 3.1.1(vii): $$ \langle A+B,C \rangle = \langle A,C \rangle + \langle B,C \rangle $$ Set up your proof in the following format:
(Follow the Presentation Style Guidelines .)
Mark B: A couple pages later, on pages 45 and 46 of the textbook, two inequalities are presented that are satisfied by vectors in the vector space \(\mathbb{R}^2\). The Cauchy-Schwarz Inequality is presented in Proposition 3.1.5 , and the Triangle Inequality for the Norm is presented at the top of page 46, during the proof of Proposition 3.1.6 .
It is useful to compute some examples involving actual vectors , to see how these inequalities are actually satisified in those examples. In your Homework H04 , due this coming Monday, you will be asked to do that. Today, Rachel and Kyle will do two such examples in their presentations .
Rachel Han and Kyle Hill: (Preparation: Read the first two pages of textbook Section 3.1. In particular, read the definition of the vector space \( \mathbb{R}^2 \) on page 42. You will need to understand the meaning of the symbols for vector addition , scalar multiplication , the inner product , and the norm , introduced in the book and reviewed above.) Your job is to present some examples showing how all vectors satisfy the Cauchy-Schwarz Inequality and the Triangle Inequality for the Norm .
(Follow the Presentation Style Guidelines .)
Mark B: The reason that the authors introduce vectors and vector operations in Section 3.1 is that some calculations and proofs involving the Cartesian Plane can be simplified if vector operations are used. The authors start by using vector calculations to describe the line through distinct points \(P\) and \(Q\). They denote the line by \(L_{AB}\).
$$ L_{AB}=\left\{X\in \mathbb{R}^2 \middle| X=A+t(A-B)\text{ for some }t \in \mathbb{R}\right\} $$Jack Lazenby (Presentation #2): (See Section 3.1 and Video 3.1) Let \(P=(4,2) \)and \(Q=(6,7) \).
(Follow the Presentation Style Guidelines .)
Fri Feb 11 Meeting Topics
Topic for Today: Betweenness
(concepts from Section 3.2)
Mark B: In Section 3.2, the authors introduce the concept of Betweenness for points in a metric geometry . The concept is be defined in terms of collinearity of points and the distance between points . After the authors define betweenness for points , they then proceed to define betweenness for real numbers .
In my Video 3.2a, I prefer to first introduce betweenness for real numbers , and then introduce betweenness for points . The reason is that betweenness for real numbers is simpler, more concrete, and involves the absolute value distance function on \(\mathbb{R}\) , something that I introduced in Video 2.2a and which could use some review. Furthermore, all of the facts that will eventually get proven about betweenness for points will turn out to be analogous to facts about betweenness for real numbers . So it is useful to identify those facts about real numbers first.
(Mark B review Video 3.2a pages 2 - 11.)
Having discussed the concept of betweenness for real numbers , my Video 3.2a then goes on to introduce betweenness for points .
(Mark B review Video 3.2a pages 12 - 13.)
In the textbook and in my Video 3.2a, immediately after betweenness for points is defined, there are basic examples involving the definition. In your Homework H04 problems [4],[5], you will be asked to do some basic problems involving the definition. Taylor, Jack, Logan, and Sammi will present examples involving the definition.
Taylor Miller (Presentation #2): Consider the points \( A=(2,3) \), \( B=(6,5) \), and \( C=(8,6) \) in the Euclidean plane .
(Follow the Presentation Style Guidelines .)
Jack Muslovski (Presentation #2): Consider the points \( A=(2,3) \), \( B=(6,5) \), and \( C=(8,6) \) in the Taxicab plane .
(Follow the Presentation Style Guidelines .)
Logan Prater (Presentation #2): Consider the points \( A=(2,3) \), \( B=(7,4) \), and \( C=(8,6) \) in the Taxicab plane .
(Follow the Presentation Style Guidelines .)
Sammi Rinicella (Presentation #2): Consider the points \( A=(0,5) \), \( B=(33,32) \), and \( C=(70,73) \) in the Euclidean plane .
Frick, Frack, and Moonbeam have been asked to determine whether \(B\) is between \(A\) and \(C\).
Frick decides to start by making a graph.
Sammi: Present a graph of line \( \overleftrightarrow{AC} \) along with points \( A,B,C \).
Frick observes that it is pretty obvious from the graph that \(B\) is between \(A\) and \(C\).
Frack decides to check distances. He says that
Moonbeam is suspicious of Frick's graph, because it is about \(2" \times 2"\). So she decides to check slopes to verify collinearity of the points. She says that
It turns out that all three are wrong ! Point \( B \) is not between \(A\) and \( C \) in the Euclidean plane .
How can they be wrong? Explain.
(Follow the Presentation Style Guidelines .)
Mark B: Having defined betweenness for real numbers and betweenness for points in my Video 3.2a, I then proceed in Video 3.2b to discuss Properties of Betweenness .
(Mark B review pages 5 - 8 in Video 3.2b.)
The most important property of betweenness for points on a line \(l\) is the fact that it is related to the betweenness for the real number coordinates of those points . This relationship is articulated in Theorem 3.2.3.
Equivalence Theorems
It is very important to understand the style of presentation that I use for Theorem 3.2.3, and the style that the textbook uses for the same theorem.
(Mark B compare Theorem 3.2.3 on page 6 of Video 3.2b with Theorem 3.2.3 on page 49 of the book.)
In general, a common style of proof statement is the if and only if statement (the style used by the textbook).
Statement A if and only if Statement B
Understand that what this really means is the following:
Statement A is true if and only if Statement B is true
In other words, Statements A and B are either both true, or both false.
I prefer to present such theorems in a different style, a style that I call Equivalence Theorems .
The Following Are Equivalent (TFAE):
Understand that what this really means is the following:
The Following Are Equivalent (TFAE):
Again, this simply means that Statements A and B are either both true, or both false.
It is also crucial that you undertand that an if and only if theorem, or an Equivalence theorem, does not tell you that either of the statements is true! It only tells you that either both statements are true, or they are both false. It is common for students to misuse if and only if theorems, or Equivalence theorems, using them to claim, out of the blue, that some statement is true. Maybe I'll illustrate this common mistake with an example of an Equivalence theorem and its misuse.
The Joe Burrow Theorem The Following Are Equivalent (TFAE):
Consider the following:
Mark Barsamian plays for the Cincinnati Bengals (by the Joe Burrow Theorem).
That's nonsense. I have a hard time bending over to tie my shoe. The Joe Burrow Theorem cannot be used to say, out of the blue, that I play for the Cincinnati Bengals.
But consider the following:
Trayveon Williams's teammate is Joe Burrow (by the Joe Burrow Theorem (ii) \(\rightarrow\) (i)).
That statement is true, and it has a valid justification.
Observe that to use an if and only if theorem, or an Equivalence theorem, one must already know that one of the statements mentioned in the theorem is true . And when one cites the theorem as a justification for a line in a proof, one should specify which statement is already known to be true and which statement is being declared true by using the theorem . (See the justification for the statement about Trayveon Williams.)
(Of course, it could be that you know that one of the statements mentioned in an Equivalence Theorem is false . Then the Equivalence Theorem would be used to prove that the other statement mentioned in the theorem is also false .)
Example about Betweenness for Points on a Line: Suppose that points \(A,B,C\) are collinear on some line \(l\) in a metric geometry, and suppose that using a ruler \(f\) for line \(l\), the coordinates of the three points are \(f(A)=17\) and \(f(B)=12\) and \(f(C)=9\).
Two More Theorems about Betweenness of Points
Proposition 3.2.5 , presented on page 50 of the textbook and on page 9 of the Notes for Video 3.2b, is about Betweenness of Points Expressed Using the Vector Description of a Line . I do a partial proof of the proposition in the video. Here, I will just illustrate why the theorem makes sense. Consider points \(B\) of the form $$B=A+t(C-A)$$
Proposition 3.2.6 , presented on page 50 of the textbook and on page 12 of the Notes for Video 3.2b, is about Existence of Points with Certain Betweenness Relationships . I do a proof of the theorem in the video. In your Homework H04, you will be asked to justify and illustrate the steps. Here, I will illustrate the statement of the theorem .
Book Sections and Videos:
Exercises:
Mon Feb 14 Meeting Topics
Homework H04 due at the start of the Mon Feb 14 class meeting. H04 Cover Sheet
Quiz Q04 during last part of the Mon Feb 14 class meeting.
Wed Feb 16 Meeting Topics
Fri Feb 18 Meeting Topics
One Leftover Topic from Section 3.2
Mark B: We discussed Section 3.2 Betweenness last week. The concept comes up in one of your suggested exercises for this week, so it is worth revisiting the concept. Jake will do a presentation involving an exercise of the following type:
Jake Schneider (Presentation #2): (Review the definition of Betweenness for Points , found on page 47 of the book and on page 13 of the Notes for Video 3.2a .) Suppose that \(A,P,X\) are collinear points in a metric geometry and that the distances between the points are
One More Topic From Section 3.3: Midpoint of a Line Segment.
Mark B: The textbook puts the definition of a midpoint of a line segment in Exerise 3.3#11 on page 58. It can also be found on page 19 of the Notes for Video 3.3b .
Observe that I have drawn the midpoint \(M\) so that \(A-M-B\), but nothing in the definition of midpoint specifies that the points \(A,M,B\) have that betweenness relationship. Helen will show in her presentation that the betweenness relationship is true.
Helen Sitko (Presentation #2): (Study pages 19-20 of the Notes for Video 3.3b .) (Suggested Exercise 3.3#11a) Prove the following:
If \(M\) is a midpoint of \(\overline{AB}\) then \(A-M-B\).
Section 3.4: Angles and Triangles
Mark B: The textbook definitions of angle and triangle are on page 59 and 69. They can also be found on page 2 of the Notes for Video 3.4 .
Question for the Class: Frick and Frack are co-teaching a high school geometry class. Today, they are discussing angles .
Danielle Stevens (Presentation #2): (Study Textbook Section 3.4 and Video 3.4 and the Notes for Video 3.4 .) Let \(A=(2,10)\) and \(B=(2,6)\) and \(C=(10,6)\).
(Follow the Presentation Style Guidelines .)
Hannah Worthington (Presentation #2): (Study Textbook Section 3.4 and Video 3.4 and the Notes for Video 3.4 .) Let \(A=(-12,5)\) and \(B=(0,13)\) and \(C=(12,5)\).
(Follow the Presentation Style Guidelines .)
During the last part of the fri Zuercher (Presentation #2): (Study Textbook Section 3.4 and Video 3.4 and the Notes for Video 3.4 .) Let \(A=(-6,4)\) and \(B=(0,4)\) and \(C=(6,4)\).
(Follow the Presentation Style Guidelines .)
Question for the Class: Frick and Frack are discussing triangles with their high school geometry class.
Book Sections and Videos:
Exercises:
Mon Feb 21 Meeting Topics
Mark B: We could consider one goal of our course in Axiomatic Geometry to be to come up with an axiom system that precisely describes, in words, the kind of behavior that we are used to seeing in the drawings that we have made all our lives. That is, we want to come up with an axiom system that describes all of the behavior of the Euclidean Plane
It is worthwhile to review the three axiom systems for geometry that we have encountered so far, and consider how they have done at fulfilling that goal.
Notice that after starting with Abstract Geometry , we could consider each successive geometry as an improvement in the sense that it specified (in additional axioms and definitions) something that had not been specified in the previous geometry. In this way, each successive geometry describes more precisely how the geometry has to behave.
A natural question, is:
That is, does the axiom system for Metric Geometry fully specify the behavior of the straight line drawings that we are used to drawing? After all, we have seen that The Euclidean Plane is a model of metric geometry .
If you consider that we have seen three other models of metric geometry (the Taxicab plane , the Max plane , the Poincaré Upper Half Plane ), then you will realize that we are not done . That is, the axiom system for metric geometry allows for some pretty weird behavior.
But what additional axioms will we need? Obvious weird behavior that we have seen in metric geometries includes
Well, that's exactly what we will be doing in the next couple of months. What's interesting, though, is that we will start by adding an axiom that does not rule out those three weird models. In fact at first, it might not be clear that we even need this new axiom. The new axiom has to do with what is called Plane Separation , which is the subject of Chapter 4.
Chapter 4 Plane Separation
Section 4.1 The Plane Separation Axiom
Consider the four familiar behaviors of drawings that are presented on page 2 of the Notes for Video 4.1 . We could think of those four behaviors as desirable plane separation behavior . We certainly want our axiom system for axiomatic geometry to be specific enough, complete enough, that it guarantees that this sort of desirable behavior will happen in our axiomatic geometry.
A natural question is:
Interestingly (this is proven later in Chapter 4), all four of our familiar models of metric geometry (Euclidean, Taxicab, Max, Poincaré) do exhibit this behavior. Those facts can be proven in calculations involving those four models.
But if you try to prove theorems saying that all metric geometries have that desirable plane separation behavior, you will be frustrated. It turns out that it is impossible to prove that all metric geometries have that desirable plane separation behavior, because there are examples of metric geometries that do not have that behavior. (We will study one, called the Missing Strip Plane , this week.)
So if we want to insure that our axiomatic geometry does have that desirable plane separation behavior, we will have to add an axiom that articulates that requirement. That axiom is called the Plane Separation Axiom .
Before we can understand the wording of that axiom, though, we will need to understand some new terminology: Partition of a Set , and Convex Sets .
Partition of a Set
The Definition of a Partition of a Set is presented on page 4 of the notes for Video 4.1 . The terminology is not used in the book, but it should be, because the underlying concepts are used in the Plane Separation Axiom . Barsamian's version of the Plane Separation Axiom does use the terminology of Partition .
Convexivity
The Definition of a Convexivity is presented
Howard will present a proof that in every metric geometry , every line is a convex set .Howard Bartels Presentation #2: (Study Book Section 4.1 and watch Video 4.1 and read the Notes for Video 4.1 pages 1 - 14 )
The goal is to prove this theorem:
The theorem that Howard proved involved a specific, known set (a line ) and the proof was fairly simple.
On page 10 of the notes for Video 4.1 , a more abstract theorem is presented and proved:
You can see that the proof is very straightforward: all of the steps really come from considering proof structure .
But some simple sounding statements about convexivity can be a nuisance to prove. Jingmin will consider such a statement, and will make drawings to illustrate the statement.
Jingmin Gao Presentation #2: (Study Book Section 4.1 and watch Video 4.1 and read the Notes for Video 4.1 pages 1 - 14 )
Our goal is to prove this theorem:
You don't have to prove the theorem--we'll discuss it as a class. Your job is just to make some drawings that illustrate the statement of the theorem. (See page 6 of the video notes for an example of how such a drawing can look.) Your drawing task is made a little harder by the fact that there are different configurations that the sample points \(A,B\) can have on ray \( \overrightarrow{PQ} \). Make drawings that illustrate the statement of the theorem for the different possible configurations of points \(A,B\) can have on ray \( \overrightarrow{PQ} \).
Mark B: Jingmin's illustrations show that a proof of the statement that every ray is a convex set will have to involve a bunch of different cases. I will prove just one of the cases here, to give you an idea of what a nuisance such a proof would be.
But once we prove (or have a sense of how to prove) certain statements that are hard to prove, we can use those proven statements to prove other stuff. For example, consider this theorem:
One might think that a proof of this statement would be a nuisance, involving a few different cases, as happened in the proof of Jingmin's theorem about rays being convex. But it turns out that there is a very simple proof involving previously proved statements:
First Proof of Mark's Theorem about Segments:
Vacuously True Statements
Consider this theorem.
It is possible to prove this theorem with a proof similar to the proof that we just saw for segments:
Proof of Mark's Theorem about Points:
This proof certainly works, but notice that it relies on three previously-proven theorems, theorems whose proofs you might have forgotten:
It is possible (and much better) to give a simpler proof of Mark's Theorem about Points , a proof that does not require that you remember so many previous theorems. To discover the simpler proof, it is helpful to remind ourselves of what it means to say that a point is a convex set , and to think about what would have to happen for that statement to be false .
To say that
means the following universally-quantified statement, which we can call Statement S
The negation of this statement is the following existentially-quantified statement:
Think about it: There is no pair of points \(A,B\) with \(A\neq B\) such that \(A,B \in P\). So it is impossible for the Negation of Statement S to be true.
Since the Negation of Statement S cannot possibly be true, we realize that Statement S must be true.
Observe that Statement S is true because there are no objects that exist that could cause Statement S to be false . There is an expression that is sometimes used to describe this sort of situation: We say that Statement S is vacuously true . Recall that I often point out in class that the following statement is true:
I can say that the statement is true, because the only way for the statement to be false would be for there to be an elephant in the room that is not purple. Since there are no objects that exist that could cause the statement to be false, we say that the statement is vacuously true .
Homework H05 due at the start of the Mon Feb 21 class meeting. H05 Cover Sheet
Take-Home Quiz Q05 due at the start of the Mon Feb 21 class meeting.
Wed Feb 23 Meeting Topics
Section 4.1 The Plane Separation Axiom, continued
On Monday, we discussed four familiar behaviors of drawings that are presented on page 2 of the Notes for Video 4.1 . We could think of those four behaviors as desirable plane separation behavior . We certainly want our axiom system for axiomatic geometry to be specific enough, complete enough, that it guarantees that this sort of desirable plane separation behavior in our axiomatic geometry.
I discussed the fact that although all four of our familiar models of metric geometry (Euclidean, Taxicab, Max, Poincaré) do exhibit this behavior, there are examples of metric geometries that do not have that desirable behavior. (We will study one, called the Missing Strip Plane , this week.) So, if we want to insure that our axiomatic geometry does have that desirable plane separation behavior , we will have to add an axiom that articulates that requirement. The axiom that will be added is called the Plane Separation Axiom .
On Monday, I mentioned that before we can understand the wording of that axiom, though, we will need to understand some new terminology: Partition of a Set , and Convex Sets . So on that day,
For the first part of today's meeting, we will finish our discussion of Convex Sets with some Presentations .
Nicole Adams and Michael Cooney and Jake Schneider: (Study Book Section 4.1 and watch Video 4.1 and read the Notes for Video 4.1 pages 1 - 14 ) Frick, Frack, and Moonbeam came up with a theorem, and they each came up with their own proof.
Frick's proof:
Nicole Adams Presentation #3: What is wrong with Frick's "proof"?
Frack's proof:
Consider the triangle \( \Delta PQR\) shown. Observe that for any points \( A,B \in \Delta PQR\), the line segment \( \overline{AB} \subset \Delta ABC\)
Michael Cooney Presentation #3: What is wrong with Frack's "proof"? Explain.
Moonbeam's proof:
Consider the triangle \( \Delta PQR\) shown. Observe that for the two points \( A,B \in \Delta PQR\), the line segment \( \overline{AB} \subset \Delta ABC\)
Jake Schneider Presentation #2: What is wrong with Moonbeam's "proof"? Explain.
Class: What is wrong with the Frick Frack Moonbeam "Theorem" ?
The Plane Separation Axiom
Now that we have discussed Partitions of Sets and Convex Sets , we are ready to understand the terminology used in the Plane Separation Axiom . The axiom is presented in two places:
Observe the that the Plane Separation Axiom guarantees the first type of desirable plane separation behavior that was presented on page 2 of the Notes for Video 4.1 . Note that the other types of desirable plane separation behavior are not mentioned in any way. It will turn out that if a metric geometry satisfies the Plane Separation Axiom , it can be proven in theorems that the other types of desirable plane separation behavior will be guaranteed, as well. (We will learn that in the coming week.)
In order to use the Plane Separation Axiom (PSA) it will be crucial to recognize that statements (ii) and (iii) of the PSA are conditional statements , and to recognize how one uses conditional statements in a proof. This is discussed on pages 15 - 24 of the Notes for Video 4.1 .
Josh will present an example that will involve using statements (ii) and (iii) of the PSA in a proof.
Josh Stookey (Presentation #2): (Study Textbook Section 4.1, watch Video 4.1 , and study pages 15 - 28 of the Notes for Video 4.1 ). Suppose that \(l\) and \(m\) are lines in a metric geometry that satisfies the Plane Separation Axiom (PSA) . Furthermore suppose that lines \(l\) and \(m\) intersect at point \(P\) and that \(A,B,C\) are points on line \(m\) such that \(A-P-B-C\)
Fri Feb 25 Meeting Topics
Final Topic from Section 4.1: Proving Same Side / Opposite Side Statements
Mark B: On Wednesday, we discussed the Plane Separation Axiom . The axiom is presented in two places:
On Wednesday, Josh presented proofs of a couple of Opposite Side / Same Side Statements:
Josh's Theorem: Suppose that \(l\) and \(m\) are lines in a metric geometry that satisfies the Plane Separation Axiom (PSA) . Furthermore suppose that lines \(l\) and \(m\) intersect at point \(P\) and that \(A,B,C\) are points on line \(m\) such that \(A-P-B-C\)
Remember that Josh's proofs made use of PSA (ii) and PSA (iii) . Well, more precisely, Josh's proofs made use of the contrapositives of those statements.
Josh's proof of statement (a), paraphrased:
Josh's proof of statement (b), paraphrased:
Observe that Josh's proof show that sometimes Opposite Side / Same Side statements can be proven by using PSA (ii) contrapositive or PSA (iii) contrapositive .
But sometimes, Opposite Side / Same Side statements are proved simply by using PSA (i) .
Mandie will give a presentation about that.
Mandie Dicicco (Presentation #3) (Read Textbook Section 4.1 and watch Video 4.1 and read the Notes for Video 4.1 ) Prove Theorem 4.1.3:
Section 4.2 The Plane Separation Axiom (PSA) in Our Familiar Metric Geometries
Mark B: As mentioned on Monday and Wednesday, all four of the metric geometries that we have encountered so far ( Euclidean plane, Taxicab Plane, Max Plane, Poincaré plane ) do satisfy the Plane Separation Axiom (PSA) . Section 4.2 of the book is devoted to proving that they do. (The Max plane is not included in the discussion, but the proof that it satisfies PSA would be similar to the proofs that the Taxicab plane satisfies PSA .)
As is often the case with our book, some of the most difficult material has to do with proving that certain analytic geometries do satisfy certain axioms . The details of the proofs in Section 4.2 are messy, and are not so necessary for our course. In our course, we're most interested in understanding the axioms and using them to prove theorems about axiomatic geometry . We like knowing about the models (such as the Euclidean plane, Taxicab Plane, Max Plane, Poincaré plane ) because they illuminate the significance of certain axioms . But if certain calculations involving a particular model are too cumbersome, we can sometimes just skip the details and study the conclusions, without diminishing too much our understanding of the meaning of the axioms .
However, it is important to read Section 4.2, and to understand the overall structure of what is presented. A rough summary of the content of Section 4.2 is:
You might notice that the Taxicab plane and Max plane are not included in the discussion in Section 4.2.. The Taxicab plane is discussed in one of the exercises; the Max plane is not discussed, because it behaves so similarly to the Taxicab plane .
In the videos,
The definition of the half planes for Euclidean Geometry seems reasonable enough, but there is some subtlety. The video describes that the authors of the textbook (who almost never make mistakes) give a bad definition in the book.
But the definion of half planes for the Poincaré plane might seem a little surprising, so it is worth exploring a bit. Joe will present an example that may clarify the situation.
Joe Durk (Presentation #3): Illustrating Concavity of Poincaré Half Planes (Read the Textbook Section 4.2 and watch Video 4.2 and study pages 8 and 13 of the Notes for Video 4.2 )
Section 4.3 Pasch Geometries
Mark B: We have discussed the fact that all four of the metric geometries that we have encountered so far ( Euclidean plane, Taxicab Plane, Max Plane, Poincaré plane ) do satisfy the Plane Separation Axiom (PSA) . So one might think that we don't need to make the PSA an axiom. Maybe we could simply prove in a theorem that all metric geometries satisfy the PSA . It turns out that proving such a theorem would be impossible , because the statement is not true . That is, there are metric geometries that do not satisfy the PSA . One of those metric geometries is the Missing Strip Plane , which is presented on page 79 of the textbook and on pages 14 - 17 of the Notes for Video 4.3
Recall that at the beginning of Video 4.1 , some common behaviors of drawings was presented. One of these was the following:
Kelsie will present an example showing how that kind of behavior might not happen in the Missing Strip Plane .
Kelsie Flick (Presentation #3): An example of the Missing Strip Plane not having nice plane separation behavior (read pages 14 - 21 of the Notes for Video 4.3
Observe that \(P \in \text{int}(\Delta ABC)\) and yet ray \(\overrightarrow{BP}\) does not intersect side \(\overline{AC}\) of \( \Delta ABC\).
Book Sections and Videos: More discussion of these three sections:
Exercises:
Mon Feb 28 Meeting Topics
We discussed the proof of this theorem in groups and then as a class:
Theorem: In a metric geometry that satisfies the Plane Separation Axiom (PSA) , if line \(l\) intersects sides \(\overline{AB}\) and \(\overline{AC}\) of \(\Delta ABC\) at points \(D\) and \(E\) such that \(A-D-B\) and \(A-E-C\), then line \(l\) will not intersect side \(\overline{BC}\).
Homework H06 due at the start of the Mon Feb 28 class meeting. H06 Cover Sheet
Quiz Q06 during last part of the Mon Feb 28 class meeting.
Wed Mar 2 Meeting Topics
We discussed the graded Homework H06 papers and discussed more topics from Sections 4.1, 4.2, 4.3.
Exam X2 (Covering Chapter 3 and Sections 4.1, 4.2, 4.3) for the full duration of the Fri Mar 4 class meeting
No Calculators (They are not needed, anyway.)
No Phones
No Books or Notes
For Reference ,You may use your Theorem List that I handed out in class on Mon, Feb 28.
The Exam is 5 problems, 4 pages, printed on front & back of two sheets of paper.
Sat Mar 5 - Sun Mar 13 is Spring Break.
Book Sections and Videos:
Exercises:
Mon Mar 14 Meeting Topics
The textbook does not define the interior a segment and interior of a ray until the current Section 4.4. But there is nothing in the definition of interior of a segment or interior of a ray that needed to wait until now to be introduced. Everything in the definitions could have been introduced back in Section 3.3 , when segment and ray were defined. In fact, the interiors of segments and rays were introduced in Video 3.3a . Observe that the interior of a segment or ray is the same thing as the set of passing points for that object. ( Passing points were also defined in Video 3.3a .)
The fact that lines , segments , and rays are convex was discussed in a meeting back when we were discussion Section 3.3 .
In the current Section 4.4 , it is discussed that interiors of segments and rays are also convex. The proof of the fact is left as an exercise. We won't discuss the proof, and the exercise is not assigned, but we will use that fact that interiors of segments , and rays are convex, even though we haven't done the proof. It will be helpful to keep in mind a visualization of those facts from Video 4.4 .
A fairly unsurprising and uninteresting Theorem 4.4.2 is presented in the book and in Video 4.4. Even though this theorem is not surprising, it is in fact very important, and gets used throughout the rest of Chapter 4 and occasionally throughout the rest of the book.
In fact, Theorem 4.4.2 is used right away in the book, to prove Theorem 4.4.3 (the Z Theorem) . This theorem might also look uninteresting, but it will be key to proving the Crossbar Theorem , later in the section.
In Video 4.4, more descriptive half-plane notation is introduced. This notation is not used in the book, but it is easy to understand and is very helpful. Later in Video 4.4, the new notation is used in a definition of interiors of angles and triangles .
The textbook presents a theorem about angle interiors that is really just a restating of the definition , using the terminology of same side instead of the terminology of half planes :
Earlier in the meeting, it was mentioned that although Theorem 4.4.2 may look uninteresting, it is very important. We have already seen that Theorem 4.4.2 is used in Proving Theorem 4.4.3 (the Z Theorem) . The Theorem 4.4.2 is also used in proving the Theorem 4.4.6 , a theorem that is easy to visualize and very useful.
Remark: Notice how the Statement of Theorem 4.4.6 is illustrated in the video: There is one drawing for the situation described in the hypothesis , and another drawing for the statement described in the conclusion .
In your Assigned Homework H07 , you will be asked to Justify and Illustrate the steps in a given proof of Theorem 4.4.6. ( Hint: Be sure to look for steps that can be justified by Theorem 4.4.2 .)
Similar to the statement of Theorem 4.4.6 , just discussed, is the following
You are asked to Prove the statement in your Assigned Homework H07 . ( Hint: At some point in the proof, you can use Theorem 4.4.2 as a justification. As I said earlier, Theorem 4.4.2 may be uninteresting, but it is very useful.)
Remember that the interior of an angle is defined to be an intersection of half planes . When one wants to prove that a particular point either is or is not in the interior of some angle, it will often be useful to invoke the Plane Separation Axiom Parts (ii) and (iii) and their contrapositives , which describe how half planes behave. An example of a problem involving this very important technique is the following:
Rachel will illustrate the statement with a drawing.
Rachel Han (Presentation #3): Rewriting and Illustrating a Statement about Angle Interiors (read pages 16 - 17 of the Notes for Video 4.4 ) Use a drawing to illustrate the statement of Suggested Excercise 4.4#6 (displayed above). (Don't prove the statement.) Your drawing should include two drawings: one drawing illustrating the given information ; another drawing illustraiting the claim .
Mark B will prove the statement that Rachel just illustrated. Notice how the proof uses the Plane Separation Axiom Parts (ii) and (iii) and their contrapositives .
A very famous Theorem in Axiomatic Geometry is the Crossbar Theorem . Its proof is too complex to discuss in detail in class. Read the book's proof, or study the proof in the video. (The proof in the video just expands, justifies, and illustrates the book's proof.)
In the book, the Crossbar Theorem is immediately followed by two more theorems whose proofs use the Crossbar Theorem. There are many interesting and useful Theorems and Statements presented in Section 4.4, both in the Exposition and in the Exercises . Ideally, one would have time to learn to prove all of them. Most of you probably do not have that much time to spend on such a project. However, you should at least take the time to do two things:
Kyle Hill (Presentation #3): (read pages 16 - 17 of the Notes for Video 4.4 ) Make a drawing to illustrate the statement of this theorem:
Jack Lazenby (Presentation #3): (read pages 16 - 17 of the Notes for Video 4.4 ) Make a drawing to illustrate the statement of this theorem:
Group Activity: Illustrating a Statement about Angle Interiors Make a drawing to illustrate this Statement:
The two Presentations and Group Activity just finished were about visualizing statements about angle interiors. Two of those were If and only If statements. When considering how to structure the proof of an If and Only If statement, it may be helpful to first re-write the statement as an Equivalence statement. Then, it will become clearer that a two-part proof will be necessary. James will do some of that rewriting and thinking about proof structure in his Presentation .
James Foley (Presentation #3): Earlier, Kyle and Jack illustrated the statements of Theorem 4.4.8 and Theorem 4.4.9 . Both of those Theorems are presented in the book as If and Only If statements.
Your job is to do two things for each theorem:
Mark B will prove the two theorems. Notice that the proof of Theorem 4.4.9 is cool because it can be significantly shortened by doing a clever change of variables .
Wed Mar 16 Meeting Topics
The Converse of the Statement of The Crossbar Theorem is presented as a Theorem in Video 4.4 . The statement is not presented as a Theorem in the book. Rather, it is just presented as a Statement to be Proven in Book Exercise 4.4#12 . You will prove the statement in your Homework H07 Problem [5] .
Here is a nice Example that uses both the Crossbar Theorem and the Converse of the Statement of the Crossbar Theorem .
Suggested Exercise 4.4#17 says to prove the following:
A slogan that conveys some elements of that statement could be:
This statement is actually fairly important, and it is rather difficult to prove. It really ought to be called a Theorem . Mark B will describe the main elements of the proof.
Having seen that
a natural question is,
Exercise 4.4#23 Deals with this question. That exercise says,
An informal wording of this question could be:
If we only read the statement of the exercise, we might be duped into thinking that the answer to our question is, an angle cannot enclose a line .
And if we draw an example of an angle and a line that passes through a point in the interior of the angle , it seems that the line will always intersect the angle at one or two points. That is, the drawing seems to confirm that an angle cannot enclose a line .
But realize that Exercise 4.4#23 is another one of those Part B exercises with the instructions,
In other words, the full instructions for Exercise 4.4#23 are,
That is,
If we draw angles in the Euclidean Plane (Mark B will do this.), it sure seems like an angle cannot enclose a line . That is, it seems lke the statement is true .
But the fact that we are asked to prove or disprove the statement means that we should not so blithely assume that the statement is true , even if drawings seem to indicate that the statement is true.
Taylor and Jack have Presentations that will shed light on the subject.
Taylor Miller (Presentation #3):
Jack Muslovski (Presentation #3):
Definition of Crossbar Interior
Observe that the definition of the crossbar interior of \( \ \angle ABC \ \) only uses the concept of betweenness . So \( \ \text{cint}(\angle ABC) \) is defined for any angle in any metric geometry .
Now recall that the interior of \( \ \angle ABC \ \) , introduced in Section 4.4, uses the concept of half planes . So \( \ \text{int}(\angle ABC) \) is only defined for angles in a metric geometry that has half planes . That is, \( \ \text{int}(\angle ABC) \) is only defined for angles in a Pasch geometry .
A natural question is,
Abbreviated in symbols,
Exercise 4.4#25 Deals with this question. That exercise says,
If we only read the statement of the exercise, we might be duped into thinking that the answer to our question is, yes, the crossbar interior of the angle is the same as the interior of the angle .
But realize that Exercise 4.4#25 is one of those Part B exercises with the instructions,
In other words, the full instructions for Exercise 4.4#25 are,
Logan will shed some light on this question in his Presentation .
Logan Prater (Presentation #3):
Fri Mar 18 Meeting Topics
Assigned Homework H07 due at the start of the Fri Mar 18 class meeting. H07 Cover Sheet
Quiz Q07 during last part of the Fri Mar 18 class meeting
Book Sections and Videos:
Suggested Exercises:
Assigned Homework H08 due at the start of the Fri Mar 25 class meeting. H08 Cover Sheet
Mon Mar 21 Meeting Topics
Sammi Rinicella (Presentation #3): To prepare for your presentation, read page 2 of the Notes for Video 5.1 .
Draw points \(A=(1,0)\), \(B=(0,0)\), \(C=(2,0)\), \(D=(-3,0)\). (Make a big, clear drawing.)
On page 84 of the book , there are a few paragraphs that are meant to walk the reader through the process of figuring out what the formula for the Euclidean Tangent to a Poincaré Ray \(\overrightarrow{PQ}\) should be. Near the middle of these paragraphs, the authors say,
The reader might not find those paragraphs of explanation very helpful: The expression \( \pm(y_B,c-x_B)\) is kind of pulled out of thin air.
Following these paragraphs, the Definition of the Euclidean Tangent to a Poincaré Ray \(\overrightarrow{PQ}\) is presented, and the definition incorporates the expressions \( (y_B,c-x_B)\) and \( -(y_B,c-x_B)\).
On Page 16 of the Notes for Video 5.1 , the same Definition of the Euclidean Tangent to a Poincaré Ray is presented, although with letters changed, and there is also a Procedure for Computing \(T_{PQ}\), the Euclidean Tangent to a Poincaré Ray \(\overrightarrow{PQ}\) . There is no explanation at all of why the formulas look the way they do.
Jake, Helen, and Danielle will do Presentations that may help you better understand why the formulas are what they are.
Jake Schneider (Presentation #3): To prepare for your presentation, read pages 15 - 17 of the Notes for Video 5.1 .
Helen Sitko (Presentation #3): To prepare for your presentation, read pages 15 - 17 of the Notes for Video 5.1 .
Danielle Stevens (Presentation #3): To prepare for your presentation, read pages 15 - 17 of the Notes for Video 5.1 .
Wed Mar 23 Meeting Topics
Josh Stookey Presentation #3: (Read Section 5.1, watch Video 5.1 , and study the Notes for Video 5.1 ) Let \(A=(3,4), B=(9,4), C=(15,4)\)
Hannah Worthington Presentation #3: (Read Section 5.1, watch Video 5.1 , and study the Notes for Video 5.1 ) Let \(A=(2,3), B=(6,5), C=(9,4)\)
Aoife Zoerche Presentation #3: (Read Section 5.1, watch Video 5.1 , and study the Notes for Video 5.1 ) Let \(A=(3,7), B=(3,4), C=(10,3)\).
Fri Mar 25 Meeting Topics
Howard Bartels (Presentation #3): Prove the following Theorem
Jingmin Gao (Presentation #3): The book presents the definition of a vertical pair of angles on page 104. The illustration that is shown is of a vertical pair in the Euclidean plane . (Howard probably used a similar illustration in his presentation.)
Draw an example of a vertical pair in the Poincaré Upper Half Plane .
Nicole Adams (Presentation #4):
Homework H08 due at the start of the Mar 25 class meeting. H08 Cover Sheet
Quiz Q08 will be a take-home quiz , due Mon Mar 28 .
Book Sections and Videos:
Suggested Exercises:
Assigned Homework H09 due at the start of the Fri Apr 1 class meeting. H09 Cover Sheet
Mon Mar 28 Meeting Topics
Wed Mar 30 Meeting Topics
Michael Cooney (Presentation #4): Illustrate the statement that is to be proven in book exercise 6.1#10 on page 130. ( Don't prove the statement! )
Mandie Dicicco (Presentation #4): Illustrate the statement that is to be proven in book exercise 6.2#5 on page 134. ( Don't prove the statement! )
Joe Durk (Presentation #4): Illustrate the statement that is to be proven in book exercise 6.2#6 on page 134. ( Don't prove the statement! )
Kelsie Flick (Presentation #4): Prove that Triangle Congruence is reflexive .
James Foley (Presentation #4): Prove that Triangle Congruence is symmetric .
Fri Apr 1 Meeting Topics
Assigned Homework H09 due at the start of the Fri Apr 1 class meeting. H09 Cover Sheet
Quiz Q09 Take-Home Quiz, will be distributed in class on Fri Apr 1; due at the start of the Mon Apr 4 class meeting
Book Sections and Videos:
Suggested Exercises:
Assigned Homework H10 due at the start of the Fri Apr 8 class meeting. H10 Cover Sheet
Mon Apr 4 Meeting Topics
Quiz Q09 Take-Home Quiz, will be distributed in class on Fri Apr 1; due at the start of the Mon Apr 4 class meeting
Wed Apr 6 Meeting Topics
Different versions of the Statement of Theorem 6.3.6
Mandie Dicicco (Presentation #4): (on the chalkboard) Illustrate the Statement of Theorem 6.3.6 . (Illustrate the version of the theorem with the vertices named \(A,B,C\).) Draw the triangles with \(A\) as the top vertex and \(B\) on the left end of the horizontal base and \(C\) on the right end of the base.
Proof of Theorem 6.3.6:
End of Proof
I've assigned the job of illustrating and justifying the statements in the proof to seven of you, as follows:
Jake Schneider (Presentation #4):
Different versions of the Statement of Theorem 6.3.6
Helen Sitko (Presentation #4): (on the chalkboard) Illustrate the Statement of Theorem 6.3.7 . Draw the triangles with \(A\) as the top vertex and \(B\) on the left end of the horizontal base and \(C\) on the right end of the base.
Danielle Stevens (Presentation #4):
Fri Apr 8 Meeting Topics
Definition of Right Triangle and associated other objects, from page 143 of the book.
Discussed Theorem 6.4.1 (really a Corollary of previously-discussed theorems) In a neutral geometry, there is only one right angle and one hypotenuse for each right triangle. The remaining angles are acute, and the hypotenuse is the longest side of the triangle.
Discussed the Theorem 6.4.2 (Perpendicular Distance Theorem): Given a line \(l\) and a point \(P\) not on \(l\), among all the points \(Q\) on \(l\), the point \(Q \in l\) for which the segment \(\overline{PQ}\) is the shortest is the unique point \(Q \in l\) such that \(\overleftrightarrow{PQ} \perp l\). This enables us to define the distance from \(P\) to \(l\) to be the length of that shortest segment.
Discussed Altitude lines and Altitude segments for triangles
Assigned Homework H10 due at the start of the Fri Apr 8 class meeting. H10 Cover Sheet
Book Sections and Videos:
Suggested Exercises:
Mon Apr 11 Meeting Topics
Discussed Theorem 6.4.4 (Hypotenuse-Leg HL) : If two right triangle have congruent hypotenuses and a congruent leg, then the triangles are Congruent.
Corollary 5.3.7 , from the previous chapter, told us that in a protractor geometry, every line segment has a unique perpendicular bisector .
Theorem 6.4.6 articulates an interesting fact about perpendicular bisectors, the theorem says that the following two statements are equivalent:
Theorem 5.3.8 , from the previous chapter, told us that in a protractor geometry, every angle has a unique angle bisector .
Theorem 6.4.7 and Exercise 6.4#11 articulate an interestings fact about angle bisectors.
Theorem 6.4.7 says that if \(\overrightarrow{BD}\) is the bisector of \(\angle ABC\), then point \(D\) is equidistant from the two rays of the angle. That is, \(d(D,\overleftrightarrow{BA})=d(D,\overleftrightarrow{BC})\).
Exercise 6.4#11 says that a converse statement is also true. A simplified version of the statement is the following:
If point \(D \in \text{int}(\angle ABC)\) and \(D\) is equidistant
from the two rays of the angle. (That is, \(d(D,\overleftrightarrow{BA})=d(D,\overleftrightarrow{BC})\).)
then \(\overrightarrow{BD}\) is the bisector of \(\angle ABC\).
Realize that the results of Theorem 6.4.7 and Exercise 6.4#11 could be generalized and combined into a single corollary about equivalent statements .
Unstated Corollary of Theorem 6.4.7 and Exercise 6.4#11 In a neutral geometry, the following two statements are equivalent:
Exam X3 for the full duration of the Wed Apr 13 class meeting
Five Problems:
Reference for use during the exam: Axioms, Definitions, and Theorems Through Chapter 6
Fri Apr 15 Meeting Topics
[Example 1]: Circle centered at \((C=0,0)\) with radius \(r=1\) in the Euclidean Plane
[Example 2]: Circle centered at \((C=0,0)\) with radius \(r=1\) in the Taxicab Plane
[Example 3]: The set of points
$$\left\{(x,y)\in \mathbb{R}^2 \middle| x^2+(y-5)^2=16\right\}$$Review Theorem 6.4.6 (about Perpendicular Bisectors of Line Segments) discussed on Monday.
Associated Fact about Circles: Corollary 6.5.4 about Perpendicular Bisectors of Chords: For any circle in a neutral geometry, the perpendicular bisector of any chord contains the center of the circle.
Remark: In the book, Corollary 6.5.4 comes after Theorem 6.5.3 , which the reader might take to mean that the Corollary follows from the Theorem 6.5.3 just presented. This is misleading. The corollary is a corollary of the earlier Theorem 6.4.6.
Corollary of that Corollary: For any circle in a neutral geometry, the perpendicular bisectors of any two chords intersect at the center of the circle. (They may also be the same line, in which case they intersect at lots of points!)
Another Fact about Circles: Theorem 6.5.3 In any Neutral Geometry, if two circles have three points in common, then they are the same circle.
Theorem 6.5.6: In a Neutral Geometry, a line that intersects a circle \( \mathscr{C}_r(C) \) at a point \(Q\) is tangent to a circle if and only if the line is perpendicular to the radius segment \(\overline{CQ}\)
Book Sections and Videos:
Suggested Exercises:
Mon Apr 18 Meeting Topics
Wed Apr 20 Meeting Topics
Theorem 6.5.3 says that in Neutral Geometry , if two circles have three points in common, then the circles are in fact the same circle.
In the proof of that theorem, there is a little mini-proof of the following Fact that is key to the larger proof:
Fact Proven Inside the Proof of Theorem 6.5.3: In Neutral Geometry if distinct points \(R,S,T\) lie on a common circle, then the perpendicular bisectors of segments \(\overline{RS}\) and \(\overline{ST}\) intersect.
Nicole Adams (Presentation #5): Write the contrapositive of the Fact just stated.
Kelsie Flick (Presentation #5)( Suggested Exercise 6.5#26
):
Give an example of three non-collinear
points in the Poincaré Upper Half Plane
that do not
lie on a common circle.
( Hint:
Use Nicole's result. Come up with as simple an example as possible, one that could be drawn on the beach. Think of particularly simple examples of three non-collinear
points in the Poincaré Plane
.)
(E-mail Mark for help if you need it.)
Josh Stookey (Presentation #4): In neutral geometry , given
Hannah Worthington (Presentation #4): In neutral geometry , given
Remark:
Jingmin Gao (Presentation #4): In neutral geometry , given
Hint:
Let \(M\) be the midpoint of chord \(\overline{AB}\). Use Josh's result. Then compare the length of segments \(\overline{AM}\) and \(\overline{AC}\).
(E-mail Mark for help if you need it.)
Remark: Jingmin's result is the subject of Suggested Exercise 6.5#14 .
Michael Cooney (Presentation #5): In neutral geometry , given
Taylor Miller (Presentation #5): In neutral geometry , given
Remark: Michael's and Taylor's results are the subject of Suggested Exercise 6.5#15 .
Aoife Zuercher and Howard Bartels (Presentation #4): Given a circle \(\mathscr{C}_r(C)\) in neutral geometry , it is easy to produce examples of
Exercise 6.5#5 (one of your Suggested Exercises ) is about proving that in neutral geometry , a line cannot intersect a circle more than two times .
The goal for your presentations is to solve this exercise. There are two cases. Each of you will solve one case. Here are the details:
Suppose that in a neutral geometry , a line \(L\) intersects a circle \(\mathscr{C}_r(C)\) at points \(A\) and \(B\). Let \(D\) be any other point on line \(L\). Our goal will be to show that \(D\) does not lie on circle \(\mathscr{C}_r(C)\).
There are two possibilities for where point \(D\) lies on line \(L\): Either (i) point \(D\) is between \(A\) and \(B\), or (ii) point \(D\) is not between \(A\) and \(B\).
Aoife (Presentation #4):
Show that in Case (i)
, \(CD < r\). (This tells us that \(D\) does not
lie on circle \(\mathscr{C}_r(C)\).)
(E-mail Mark for help if you need it.)
Howard (Presentation #4):
Show that in Case (ii)
, \(CD > r\). (This tells us that \(D\) does not
lie on circle \(\mathscr{C}_r(C)\).)
(E-mail Mark for help if you need it.)
The goal of Suggested Exercise 6.5#16 is to prove the following Fact :
Fact: In neutral geometry , given
Mandie Dicicco (Presentation #5):
Write the contrapositive
of the Fact
just stated.
(E-mail Mark for help if you need it.)
Mark will prove the Fact.
Fri Apr 22 Meeting Topics
Statement S : For all segments \(\overline{AB}\) and points \(P\) in a neutral geometry , if \(P\) is the midpoint of \(\overline{AB}\), then \(PA=PB\).
Statement U : For all angles \(\angle ABC\) and \(\angle DBE\) in a neutral geometry , if \(\angle ABC \simeq \angle DBE\), then \(\angle ABC\) and \(\angle DBE\) are a vertical pair .
Statement V : For all trangles \(\Delta ABC\) and points \(P\) such that \(B-P-C\) in a neutral geometry , if \(\angle PAB \simeq \angle PAC\), then \( \overline{PB} \simeq \overline{PC}\).
Statement W : For all trangles \(\Delta ABC\) in a neutral geometry , if \(AB > AC \), then \( m(\angle ACB) > m(\angle ABC) \).
James Foley (Presentation #5): Consider the following statement.
Statement Y : For all angles \(\Delta ABC\) and points \(P\) in a neutral geometry , if \(P \in \text{int}(\angle ABC)\), then there exist points \(D \in \overrightarrow{BA}\) and \(E \in \overrightarrow{BC}\) such that \(D-P-E\).
Final Exam (Covering the entire course) on Fri Apr 29, 1:00pm - 3:00pm in Gordy 311
page maintained by Mark Barsamian , last updated Wed Apr 28, 2022
(740) 593–9381 | Building 21, The Ridges
Ohio University | Athens OH 45701 | 740.593.1000 ADA Compliance | © 2018 Ohio University . All rights reserved.