1
Basic Constructions with Ruler and Compass
▶
1.1
Defining lines, circles and the set of constructable points
1.2
Properties of Lines
1.3
The set of constructable points
1.4
Basic constructions
2
Field of constructable Numbers
▶
2.1
Filed of Constructable Numbers
▶
quadratic closed
Conjugate closed
2.2
K zero
2.3
Classification of Constructable Numbers
3
Ancient Construction Problems
▶
3.1
Doubling the cube
3.2
Trisection of an angle
4
Bibliography
Dependency graph
Formalisation-of-constructable-numbers
Ludwig Monnerjahn
1
Basic Constructions with Ruler and Compass
1.1
Defining lines, circles and the set of constructable points
1.2
Properties of Lines
1.3
The set of constructable points
1.4
Basic constructions
2
Field of constructable Numbers
2.1
Filed of Constructable Numbers
quadratic closed
Conjugate closed
2.2
K zero
2.3
Classification of Constructable Numbers
3
Ancient Construction Problems
3.1
Doubling the cube
3.2
Trisection of an angle
4
Bibliography