Der (Einheits-)Kreis ist ein eindimensionales Objekt und es gibt verschiedene (Teil-)Parametrisierungen für ihn, etwa durch
oder die trigonometrische Parametrisierung
Hier brauchen wir aber eine Parametrisierung, die rationale Zahlen in solche Punkte überführt, deren beide Koordinaten rational sind.
Wir betrachten hierzu die Abbildung, die einen Punkt auf der -Achse auf den Durchstoßungspunkt abbildet, den der Einheitskreis mit der durch und definierten Geraden bildet. Aufgrund des Strahlensatzes haben wir die Bedingung
bzw. . Setzt man diese Gleichung in die Gleichung des Einheitskreises ein, so erhält man
und damit
Da uns die erste Lösung nicht interessiert, betrachten wir den zweiten Faktor
die zu
führt. Die Abbildung
ist also eine rationale Parametrisierung des Einheitskreises.