model generalised circles perpendicular unit circle correspond hyperbolic lines geodesics translations model described bius transformations map unit disc distance points given cayley klein metric known invariant translations since depends cross ratio key projective invariant translations described variously isometries metric space theory linear fractional transformations formally projective linear transformations projective linear group case su work poncelet jakob steiner others
Formal science Mathematics Pure mathematics Geometry Projective geometry