Abstract
It is shown that a mapping \({\varphi: \mathfrak{A}\rightarrow \mathfrak{B}}\) between models \({\mathfrak{A}}\) and \({\mathfrak{B}}\) of elementary plane hyperbolic geometry, coordinatized by Euclidean ordered fields, that maps triangles having the same area and sharing a side into triangles that have the same property, must be a hyperbolic motion onto \({\varphi(\mathfrak{A})}\). The relations that Tarski and Szmielew used as primitives for geometry, the equidistance relation ≡ and the betweenness relation B are shown to be positively existentially definable in terms of the quaternary relation Δ, with Δ(abcd) standing for “the triangles abc and abd have the same area.”
Similar content being viewed by others
References
Bachmann F.: Aufbau der Geometrie aus dem Spiegelungsbegriff, 2nd ed. Springer-Verlag, Berlin (1973)
Benz W.: Geometrische Transformationen. Bibliographisches Institut, Mannheim (1992)
Benz W.: Real geometries. Bibliographisches Institut, Mannheim (1994)
Benz W.: Classical geometries in modern contexts, Geometry of real inner product spaces, 2nd ed. Birkhäuser Verlag, Basel (2007)
Calapso M.T.: Su un teorema di Hjelmslev e sulla geometria assoluta. Rev. Roum. Math. Pures et Appl. 16, 327–332 (1971)
Hilbert D.: Grundlagen der Geometrie, 12th ed. B. G. Teubner, Stuttgart (1977)
Höfer R.: Kennzeichnungen hyperbolischer Bewegungen durch Lineationen. J. Geom. 61, 56–61 (1998)
Höfer R.: A characterization of Möbius transformations. Proc. Amer. Math. Soc. 128, 1197–1201 (2000)
Li B., Yao G.: On characterizations of sphere-preserving maps. Math. Proc. Cambridge Philos. Soc. 147, 439–446 (2009)
Li B., Wang Y.: A new characterization for isometries by triangles. New York J. Math. 15, 423–429 (2009)
List K.: On orthogonality-preserving Plücker transformations of hyperbolic spaces. Abh. Math. Semin. Univ. Hamburg 70, 63–75 (2000)
Pambuccian V.: A logical look at characterizations of geometric transformations under mild hypotheses. Indag. Math. (N.S.) 11, 453–462 (2000)
Pambuccian V.: Binary relations as single primitive notions for hyperbolic three-space and the inversive plane. Indag. Math. (N.S.) 11, 587–592 (2000)
Pambuccian V.: What is plane equiaffine geometry? Aequationes Math. 66, 90–99 (2003)
Pambuccian V.: Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry. Forum Math. 15, 943–947 (2003)
Pambuccian V.: Why are surjective lineations between Archimedean ordered hyperbolic spaces motions? Acta Math. Hungar. 100, 33–37 (2003)
Pambuccian V.: Hyperbolic geometry in terms of point-reflections or of line-orthogonality. Math. Pannon. 15, 241–258 (2004)
Pambuccian V.: Alexandrov-Zeeman type theorems expressed in terms of definability. Aequationes Math. 74, 249–261 (2007)
Pambuccian V.: Universal-existential axiom systems for geometries expressed with Pieri’s isosceles triangle as single primitive notion. Rend. Semin. Mat. Univ. Politec. Torino 67, 327–339 (2009)
Pambuccian V., Struve R.: On M. T. Calapso’s characterization of the metric of an absolute plane. J. Geom. 92, 105–116 (2009)
Prażmowska M., Prażmowski K.: Grassmann spaces over hyperbolic and quasi hyperbolic spaces. Math. Pannon. 17, 195–220 (2006)
Prażmowska M., Prażmowski K., Żynel M.: Euclidean geometry of orthogonality of subspaces. Aequationes Math. 76, 151–167 (2008)
Prażmowska M., Prażmowski K., Żynel M.: Metric affine geometry on the universe of lines. Linear Algebra Appl. 430, 3066–3079 (2009)
Schwabhäuser W., Szmielew W., Tarski A.: Metamathematische Methoden in der Geometrie. Springer-Verlag, Berlin (1983)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pambuccian, V. Mappings preserving the area equality of hyperbolic triangles are motions. Arch. Math. 95, 293–300 (2010). https://doi.org/10.1007/s00013-010-0156-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-010-0156-7