Einheitskreis/Rationale Punkte/Dichtheit/Fakt

Die Menge der Punkte auf dem Einheitskreis mit rationalen Koordinaten bilden eine dichte Teilmenge.