Study Guide: Quiz 7

Euclid’s Elements

Note: This is a study guide. The quiz will consist of three or four questions covering the material below. If you understand the ideas and facts in the conceptual questions and can work through the mathematical problems, you will be well prepared.

Key Themes to Understand

• What makes the Elements an axiomatic system, and what counts as a valid reason in a proof.
• The roles of definitions, axioms (postulates and common notions), and propositions.
• How to follow and justify a proof using the axiomatic method (Propositions I.1, I.15, IX.20).
• Why a drawing cannot replace a proof: the gap in Proposition I.1 and the “all triangles are isosceles” fallacy.
• Number theory in the Elements: unit, number, prime, and potential vs. actual infinity.
• The structure of the proof of the Pythagorean theorem (Proposition I.47).
• How the Elements reached us: fragments, manuscripts, editions, and translations.
• The Elements beyond mathematics: Lincoln and the Declaration of Independence.

Suggestion to better understand Euclid: Play Euclidea, a game based on straightedge-and-compass constructions.

Part 1: Quiz-Style Questions

Note: Euclid’s postulates, common notions, and any necessary definitions and propositions will be provided during the quiz.

1. When and where was Euclid's Elements compiled? Why would it be misleading to say that Euclid discovered all the mathematics in the Elements?
2. What is the axiomatic method? What does it mean to say that the propositions in the Elements are organized in logical progression?
3. Explain the difference between definitions, postulates, common notions, and propositions in the Elements.
4. What kind of starting point do modern axiomatic systems have that the Elements does not?
5. Compare the Elements’ definition of right angle with its definition of point.
6. Postulate 4 states, “All right angles are equal to one another.” Why does the Elements need to state this as a postulate when it seems obvious?
7. State Playfair’s version of Postulate 5. Why was the original Postulate 5 considered different from the first four postulates?
8. Describe the construction of an equilateral triangle on a given segment (Proposition I.1). Justify each construction step with a postulate, common notion or definition.
9. Prove, using the axiomatic method, that the triangle constructed in Proposition I.1 is equilateral. Justify each step with a definition, postulate or common notion.
10. What is the difference between actual and potential infinity? Why doesn't the Elements use the word “infinite” when discussing the result that prime numbers exceed any finite collection?
11. In the proof that (in modern language) there are infinitely many primes, a new prime is found using three given primes. Find a new prime by the method in Euclid’s Elements using 7, 2, and another prime of your choice.
12. The Pythagorean relationship appears in many cultures, for instance Mesopotamia, India, China, and Greece. What makes Euclid's treatment different from the ones we studied?
13. Summarize the proof of the Pythagorean theorem in the Elements (as discussed in class), highlighting the main steps and constructions.

Part 2: Reflection Questions

1. What are the consequences of treating postulates as self-evident truths versus treating axioms as assumptions (the modern view)?
2. According to Proclus, Euclid told Ptolemy, “There is no royal road to geometry.” What do you think Euclid meant? Is there a “royal road” to geometry today that did not exist in Euclid’s time?
3. Morley’s trisector theorem (1899) and Euler’s polyhedral formula (1750s) can both be proven using Euclidean-style reasoning, but neither appears in the Elements. What does this tell you about whether the Elements “finished” geometry?
4. Proposition IX.20 (about the infinitude of primes) is never cited again in the Elements. What might that say about its role?
5. Some definitions in the Elements, for instance, “a point is that which has no part,” are never invoked in any proof, unlike, for instance, the definition of circle. What does this say about these definitions?
6. “The Elements were not created overnight, and were not created by Euclid alone.” What evidence from class supports this statement?
7. In what sense are the “self-evident truths” of the Declaration of Independence similar to Euclid’s axioms? In what sense are they different?

Part 3: Construction Questions

1. In Proposition 14 of Book II of Euclid’s Elements, a construction for squaring a “rectilinear figure A” is given. Perform the construction in GeoGebra. Check, using the Area tool, that figure A and the constructed square have the same area.
2. Consider a right triangle T whose legs have lengths 2 and 9. Divide T into polygonal pieces from which a square can be assembled. What is the side length of this square? Hint: First divide the triangle into pieces that can be reassembled into a rectangle. You can use cm or any other unit of your choice. “Make” your solution on paper or in GeoGebra. Explain how you obtained the solution and provide photos or screenshots of the pieces you made. Include measurements marked on your drawing. (If you complete this successfully, you will have produced a quadrature of a right triangle!)
3. Given A, B, C on a line with B between A and C, and BC = 1, construct a segment of length √AB. Use straightedge and compass (or GeoGebra). Show and explain your steps. What proposition in Euclid’s Elements does this resemble? Note: You can use AI for this last question, but make sure you check your answer.

Quiz Problem Rubric

Points	Criteria
3	Correct answer with reasoning/work shown
2	Partially correct with some reasoning shown
1	Correct answer without reasoning/work OR significant attempt with some understanding
0	Incorrect or blank

Notes

• For computational problems: “reasoning/work” = steps shown.
• For conceptual problems: “reasoning” = explanation given.
• Round partial credit up when in doubt.