Glossary of Videos
I hear, I forget. I see, I remember. I do, I understand.
—Chinese Proverb

As with the quote above, it is not enough to just watch these videos.

Chapter One - Axiomatic Systems and Finite Geometry

	1.1.2 Example of an Axiomatic System.
	1.2 Fano's Theorem 1.
	1.2 Fano's Theorem 2.
	1.3 Finite Projective Plane Models.
	1.3 Finite Projective Theorem 2.
	1.3 Finite Projective Theorem 3.

Chapter Two - Euclidean and Non-Euclidean Geometry

	2.1.3 Euclidean Distance is a Distance Function
	2.2  Line Uniqueness (SMSG Postulate 1).
	2.2  Existence of Points (SMSG Postulate 5(a)).
	2.3  Ruler Models in Geometers Sketchpad
	2.3  Euclidean Plane satisfies the Ruler Postulate (SMSG Postulate 3).
	2.3  Ruler Placement Postulate. (SMSG Postulate 4) (Outline of proof that it is not independent.)
	2.4.1 Plane Separation Postulate and Pasch's Postulate. (SMSG Postulate 9)
	2.4.2 Measurement of Angles in the Euclidean Plane and the Poincare Half-plane.
	2.6.1 Exterior Angle Theorem.
	2.6.1 Alternate Interior Angles and Parallel Lines.
	2.6.1 Triangle Inequality
	2.6.2 Saccheri Quadrilateral
	2.7.1 Euclid's Fifth Postulate implies Playfair's Axiom
	2.7.1 Playfair's Axiom implies Euclid's Fifth Postulate
	2.7.2 Construct a perpendicular line in the Poincare Half-Plane using Geometer's Sketchpad

Chapter Three - Transformational Geometry

	3.2.2 Analytic Model for the Euclidean Plane.
	3.2.3 Affine Transformation of the Euclidean Plane.
	3.3.1 Isometry - Invariant Properties.
	3.3.1 Isometry - Group Under Composition.
	3.3.1 Isometry Determined from Three Points.
	3.3.2 Image of a Line Under an Affine Transformation.
	3.3.3 Matrix Form of an Affine Isometry.
	3.3.3 Angle Between Lines for an Affine Isometry.
	3.4.1 Translation is an Isometry.
	3.4.1 Translations - Invariant Properties.
	3.4.1 Rotation is an Isometry
	3.4.2 Matrix Form of an Affine Translation.
	3.4.2 Matrix Form of an Affine Rotation
	3.5.1 Reflection is an Isometry
	3.5.2 Matrix Form of an Affine Reflection
	3.5.2 Isometry a Composition of Reflections

Chapter Four - Plane Projective Geometry

	4.3 Duality - Axioms 1–3.
	4.3 Duality - Axiom 4.
	4.3 Duality - Axiom 5.
	4.5.1 Harmonic Sets - Existence.
	4.5.1 Geometer's Sketchpad Construction of a Harmonic Set of Points
	4.5.1 Harmonic Sets - Uniqueness.
	4.5.1 Harmonic Sets - H(AB,CD) iff H(CD, AB).
	4.6.2 Existence of a Projectivity Between Distinct Pencils.
	4.6.2 Geometer's Sketchpad Construction of a Projectivity Between Pencils of Points
	4.6.2 Fundamental Theorem of Projective Geometry.
	4.6.3 Harmonic Sets and Projectivity.
	4.6.4 Alternate Construction of a Projectivity (Theorem of Pappus.)
	4.7.1 Points of a Point Conic.
	4.7.1 Five Points Determine a Point Conic.
	4.7.2 Point Conics and Diagonal Points of a Hexagon.
	4.7.2 Five Point Determine a Unique Point Conic.
	4.7.3 Tangent Lines to Point Conics.
	4.7.3 Tangent Lines and A Degenerate Form of Pascal's Theorem.