scientific article; zbMATH DE number 1150110

From MaRDI portal
Publication:4388307





\textit{R. Alexander} introduced in 1975 the concept of metric addition in Euclidean space \(E^n\) [see Lect. Notes Math. 490, 57-65 (1975l; Zbl 0314.52004)]. In a series of papers [see, e.g., J. Chengdu Univ. Sci. Technol. 1981, No. 4, 63-70 (1981; Zbl 0483.51009); Kexue Tongbao, Foreign. Lang. Ed. 27, 699-703 (1982; Zbl 0506.52005); Chin. Ann. Math., Ser. A 8, 242-253 (1987; Zbl 0628.52010)], \textit{L. Yang} together with \textit{J. Zhang} contributed to this theory. In the present paper the first author extends the concept of metric addition to \(n\)-dimensional spherical spaces \(X\) of constant curvature \(K > 0\) and proves two inequalities. Let \(S\), \(S'\) be two non-degenerate \(n\)-dimensional simplices in \(X\) and denote by \(\rho_{ij}\) (by \(\rho'_{ij}\)) the distances of any pair of vertices of \(S\) (of \(S'\)). Set \(\rho_{ij}:= {1\over \sqrt K}\arccos({1\over 2}(\cos\sqrt K \rho_{ij} + \cos \sqrt K \rho'_{ij}))\). By \textit{L. M. Blumenthal} [`Theory and applications of distance geometry'. 2nd ed., Bronx, New York: Chelsea Publishing Company. XI, 347 p. (1970; Zbl 0208.24801)], there exists an \(n\)-simplex \(S\) whose pair of vertices have distance \(\rho_{ij}\). The simplex \(S\) is called the \textit{sum} of \(S\) and \(S'\). Let \(r\), \(r'\), and \(r\) be the circumradii and let \(h\), \(h'\), and \(h\) be corresponding altitudes of \(S\), \(S'\), and \(S\). The author proves the following inequalities: \[ \cos^2 \sqrt K r \geq {1\over 2}(\cos^2\sqrt K r + \cos^2\sqrt K r'),\tag{1} \] \[ \sin^2 \sqrt K h \geq {1\over 2}(\sin^2\sqrt K h + \sin^2\sqrt K h')\tag{2.} \]











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4388307)