When Four Cyclic Antipodal Points Are Ordered Counterclockwise in Euclidean and Hyperbolic Geometry

A cyclic antipodal points of a circle is a pair of points that are the intersection of the circle with a diameter of the circle. A recent proof of Ptolemy’s Theorem, simultaneously in both (i) Euclidean geometry; and (ii) the relativistic model of hyperbolic geometry (which is identified with the Klein model of hyperbolic geometry), motivates in this article the study of four cyclic antipodal points of a circle, ordered arbitrarily counterclockwise. The translation of results from Euclidean geometry into hyperbolic geometry is obtained by means of hyperbolic trigonometry, called gyrotrigonometry, to which Einstein addition gives rise. Formulas that extend the Pythagorean formula in both Euclidean and hyperbolic geometry are obtained as byproducts