Hyperbolic plane geometry revisited (Q2351543)

The author reviews the method of evaluating the distance in hyperbolic geometry which goes back to the 19th century work of C. Vörös. The key feature of this method is that it allows to define the distances and angles for the not real points or lines, respectively. Based on Vörös' method, the author reviews basic results about hyperbolic triangles, circles and points. He then considers some applications which include a model independent version of Steiner's construction for Malfatti's problem and trigonometric formulas for triangle centers. The detailed proofs of the resulting formulas are given in a supplementary file on the author's homepage. It is worth mentioning that the paper contains some interesting historical comments.