The surface
is in the Poincaré upper half plane model
the set
The geodesics in the upper half plane model of are the euclidean circles and straight lines which meet the boundary orthogonally. This can be shown in the following way:
In
we get
and it follows that
If then constant. In this case it is clear that the geodesic is a straight euclidean line orthogonal to
If
we get from the first equation that
constant so
for some constant
In the
same way we get from the second equation that
for some constant
By combining these equations we get
Therefore
for some constant
This is a circle with centre
on
and so meets
orthogonally.