# GeoGebra

## Projective Geometry

I have been wanting to do this for quite some time, and GeoGebra provides a vehicle to do this! I have studied bits and pieces of H.S.M Coxeter's Projective Geometry for the last couple of years. As I go back over it again, I will post dynamic sketches for each section of the text. This process will help me learn it again, and perhaps will help you, too!

## Chapter 2: Triangles and Quadrangles

### 2.1 Axioms

• There is a point and a line that are not incident.
• Every line is incident with at least three points.
• Any two distinct points are incident with just one line.
• If A,B,C,D are four distinct points, and AB intersects CD, then AC intersects BD.
• If ABC is a plane, there exists a point not on the plane.
• Any two planes have at least two common points.
• The diagonal points of a Complete Quadrilateral are never collinear.
• If a projectivity leaves invariant each of three distinct points on a line, it leaves invariant every point on the line.

### 2.5 Harmonic Sets

Harmonic Sets are a special case of Quadrangular Sets when line g is through two diagonal points of the quadrangle.

## Chapter 3: The Principal of Duality

### 3.5 Harmonic Nets

A point D is said to be harmonically related to three distinct collinear points A, B, and C if P forms a harmonic set with A, B, and C in any order. The set of all points P is called a harmonic net or a net of rationality. Restricting ourselves to A, B, and C, we will have three other points in the harmonic net. However, you could continue this process, using B, C, and P, or A, C, and P.

## Chapter 4: The Fundamental Theorem and Pappus' Theorem

### 4.1 How Three Pairs Determine a Projectivity

The Fundamental Theorem of Projective Geometry

A projectivity is completely determined when three collinear points and the corresponding collinear points are given.

You can replace either one or both of the "three collinear points" with "three concurrent lines" and still have a true statement.

## Chapter 5: One-Dimensional Projectivities

### 5.2 Parabolic Projectivities

THEOREM: If a projectivity mapping ABW to BCW forms a harmonic range (AC)(BW), then the mapping is parabolic. Otherwise, hyperbolic.