In Euclidean Geometry, we know that from a given point there is an unique line perpendicular to a given line. In conformal disk model, can we do the same thing? Or, more exactly, did there exists such a (geodesic) line, if exists, are they unique? if not, when?
in the above figure, disk A is the conformal model disk. J is the given point, and CD is the given line; I asked how to get the line GF, such that J is on it and GF perpendicular to CD.