Konstruierbarkeit/Nur Gerade Gerade, Gerade Kreis/Punkte/Aufgabe/Lösung
Wenn man, wie üblich, die durch die beiden Punkte und definierte Gerade mit identifiziert, so ist die Menge der auf diese Weise konstruierbaren Punkte gleich .
Die Inklusion ergibt sich so: da und zu gehören, ist die reelle Gerade konstruierbar. Damit ist der Kreis mit Mittelpunkt durch konstruierbar und der andere Schnittpunkt ist . Mit als Mittelpunkt durch erhält man und so nach und nach alle natürlichen Zahlen. Die Kreise mit Mittelpunkt durch liefern auch die negativen Zahlen.
Die Inklusion beweisen wir durch Induktion über die Anzahl der Konstruktionsschritte. Der Induktionsanfang ist durch gesichert. Es sei vorausgesetzt, dass nach dem -ten Konstruktionsschritt nur Elemente aus konstruiert wurden. Dann kann man daraus überhaupt nur eine Gerade konstruieren, nämlich die reelle Gerade. Daher können sich keine neuen Punkte über den Schnitt von zwei Geraden ergeben und es steht lediglich der Durchschnitt der reellen Geraden mit Kreisen als Konstruktionsverfahren zur Verfügung. Die elementar konstruierbaren Kreise besitzen als Mittelpunkt eine ganze Zahl und gehen ebenfalls durch eine ganze Zahl. Also ist der andere Schnittpunkt auch eine ganze Zahl, so dass man innerhalb von bleibt.
