Zirkel und Lineal/Konstruierbare Zahl/Koordinatencharakterisierung/Fakt

Es sei ein Punkt in der Ebene.

Dann ist genau dann konstruierbar, wenn die beiden Koordinaten und konstruierbar sind.