Theorem 1 If t is a hyperbolic transformation, then
|
|
Proof Since H(2) is generated by h-inversions, it is enough to consider the case where t is an h-inversion. An h-inversion t is the restriction of an inversion t*.
Suppose that H is an h-line.
Also, as t* is an inversion, it preserves angles. It follows that the
|