Constructions and proofs Greek construction rules and GSP
Axioms for plane geometry
Basic theorems
Proof of the SAS similarity theorem
An angle inequality
Ptolemy's Theorem
Definition of sine and cosine
Basic properties of sine and cosine
Cartesian coordinates