Outline
Euclidean plane and its relatives: A minimalist introduction
This is a supplement to "Euclidean plane and its relatives" (https://anton-petrunin.github.io/birkhoff/), and it is always under construction.
Table of Contents
Congruent triangles
Perpendicular lines
- Perpendicular bisector
- Segment bisection
- 3:5
- Center of circle
- Concentric circles 1
- Circumcircle
- Reflection
- Perpendicular 1
- Perpendicular 2
- Tangent line 1
- Tangent line 2
- Tangent line 3
- Tangent circle 1
- Tangent circle 2
- Tangent circle 3
- Incircle
- Minimal sum 1
- Minimal sum 2
- Minimal perimeter 1
- Minimal perimeter 2
- Bisected perpendicular 1
- Concentric circles 2
- Minimal sum 3
- Common tangent
Motions
Similarity
Parallel lines
Apollonian circle
Inscribed angles
Inversion
Hyperbolic plane: conformal model
Hyperbolic plane: projective model
Affine geometry
Projective geometry
Constructions
Area