Wenn man einen rationalen Punkt auf dem Einheitskreis sucht, der möglichst nahe an dem irrationalen Punkt liegen soll, so kann man
-
berechnen. Die rationale Approximation
-
führt zum rationalen Punkt
-
auf dem Einheitskreis und zum pythagoreischen Tripel
-
und
In der Tat ist
wie man unmittelbar nachrechnet.