Kurs:Differentialgeometrie (Osnabrück 2023)/Einheitskreis/Obere Halbebene/Rational isomorph/Reelle Koordinaten/Aufgabe/Aufgabereferenznummer