Honors Geometry combines the contemporary discovery approach with the logical rigor of traditional geometry courses. The course incorporates software for performing geometric constructions and also a computer-based Proof Environment for writing formal proofs.

List of Topics

• Assignment 1: What is Geometry? Why Study Geometry?
• Assignment 2: History of Geometry. Introduction to Dynamic Geometry.
• Assignment 3: Points of Concurrency on a Triangle.
• Assignment 4: The Deductive Approach. Introduction to Propositional Logic.
• Assignment 5: Propositional Logic in the EPGY Proof Environment.
• Assignment 6: First-order Logic in the EPGY Proof Environment.
• Assignment 7: Formal Geometry-Points and Lines.
• Assignment 8: Parallel Lines.
• Assignment 9: Betweenness.
• Assignment 10: Line Segments and Rays.
• Assignment 11: Betweenness of Rays.
• Assignment 12: Angles and Triangles.
• Assignment 13: Congruence of Segments and Angles.
• Assignment 14: Triangle Congruence.
• Assignment 15: Transversals of Parallel Lines.
• Assignment 16: Ordering and Adding Segments and Angles.
• Assignment 17: Bisectors, Perpendiculars, and Special Triangles.
• Assignment 18: Parallelograms and Other Quadrilaterals.
• Assignment 19: Introduction to Measurement.
• Assignment 20: Similar Triangles.
• Assignment 21: Right Triangles.
• Assignment 22: Area.
• Assignment 23: Circles, Arcs, and Chords.
• Assignment 24: Inscribed Angles and Other Angles.