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.