The present paper considers volume formulae, as well as trigonometric identities, that hold for a tetrahedron in 3-dimensional spherical space of constant sectional curvature +1. The tetrahedron possesses a certain symmetry: namely rotation through angle $π$ in the middle points of a certain pair of its skew edges.
The present paper regards the volume function of a doubly truncated hyperbolic tetrahedron. Starting from the previous results of J. Murakami, U. Yano and A. Ushijima, we have developed a unified approach to express the volume in different geometric cases via dilogarithm functions and to treat properly the many analytic strata of the latter. Finally, several numeric examples are given.
We derive an analytic formula for the dual Jacobian matrix of a generalised hyperbolic tetrahedron. Two cases are considered: a mildly truncated and a prism truncated tetrahedron. The Jacobian for the latter arises as an analytic continuation of the former, that falls in line with a similar behaviour of the corresponding volume formulae. Also, we obtain a volume formula for a hyperbolic $n$-gonal prism: the proof requires the above mentioned Jacobian, employed in the analysis of the edge lengths behaviour of such a prism, needed later for the Schläfli formula.
The present paper gives two concrete formulas for the volume of an arbitrary spherical tetrahedron, which is in a 3-dimensional spherical space of constant curvature +1. One formula is given in terms of dihedral angles, and another one is given in terms of edge lengths.
On a regular tetrahedron in spherical space there exist the finite number of simple closed geodesics. For any pair of coprime integers $(p,q)$ it was found the numbers $α_1$ and $α_2$ depending on $p$, $q$ and satisfying the inequalities $π/3< α_1 < α_2 < 2π/3$ such that on a regular tetrahedron in spherical space with the faces angle $α\in \left( π/3, α_1 \right)$ there exists unique, up to the rigid motion of the tetrahedron, simple closed geodesic of type $(p,q)$, and on a regular tetrahedron with the faces angle $α\in \left( α_2, 2π/3 \right)$ there is no simple closed geodesic of type $(p…
We prove elegant trilinear formulas connecting products of volumes of Euclidean tetrahedra with vertices taken from a given set of 6 points. We propose a way for generalizing those formulas.
We consider a compact hyperbolic tetrahedron of a general type. It is a convex hull of four points called vertices in the hyperbolic space $\mathbb{H}^3$. It can be determined by the set of six edge lengths up to isometry. For further considerations, we use the notion of edge matrix of the tetrahedron formed by hyperbolic cosines of its edge lengths. We establish necessary and sufficient conditions for the existence of a tetrahedron in $\mathbb{H}^3$. Then we find relations between their dihedral angles and edge lengths in the form of a cosine rule. Finally, we obtain exact integral formula ex…
An $r$-gentiling is a dissection of a shape into $r \geq 2$ parts which are all similar to the original shape. An $r$-reptiling is an $r$-gentiling of which all parts are mutually congruent. This article shows that no acute tetrahedron is an $r$-gentile or $r$-reptile for any $r < 9$, by showing that no acute spherical diangle can be dissected into less than nine acute spherical triangles.
Define a body A to be able to hide behind a body B if the orthogonal projection of B contains a translation of the corresponding orthogonal projection of A in every direction. In two dimensions, it is easy to observe that there exist two objects such that one can hide behind another and have a larger area than the other. It was recently shown that similar examples exist in higher dimensions as well. However, the highest possible volume ratio for such bodies is still undetermined. We investigated two three-dimensional examples, one involving a tetrahedron and a ball and the other involving a te…
We overview the volume calculations for polyhedra in Euclidean, spherical and hyperbolic spaces. We prove the Sforza formula for the volume of an arbitrary tetrahedron in $H^3$ and $S^3$. We also present some results, which provide a solution for Seidel problem on the volume of non-Euclidean tetrahedron. Finally, we consider a convex hyperbolic quadrilateral inscribed in a circle, horocycle or one branch of equidistant curve. This is a natural hyperbolic analog of the cyclic quadrilateral in the Euclidean plane. We find a few versions of the Brahmagupta formula for the area of such quadrilater…
The largest discs contained in a regular tetrahedron lie in its faces. The proof is closely related to the theorem of Fritz John characterising ellipsoids of maximal volume contained in convex bodies.
In this paper we give an affirmative answer to the following question posed by Daryl Cooper: If one lengthens the sides of a tetrahedron by one unit, is the result still a tetrahedron and (if so) does the volume increase? Our proof involves a (presumably) new and sharp inequality involving the Cayley-Menger determinant and one of its directional derivatives. We give a rigorous computer-assisted proof of the inequality. We also sketch an argument which derives the existence portion of the result, in all dimensions, from an old theorem of Von Neumann. Finally, we prove a number of additional res…
Consider random shadows of a cube and of a regular tetrahedron. Area and perimeter of the former are positively dependent (with correlation 0.915...), whereas area and perimeter of the latter appear to be negatively dependent. This is only one result of many, all involving generalizations of mean width.
We give a rigorous geometric proof of the Murakami-Yano formula for the volume of a hyperbolic tetrahedron. In doing so, we are led to consider generalized hyperbolic tetrahedra, which are allowed to be non-convex, and have vertices `beyond infinity'; and we uncover a group, which we call 22.5K, of 23040 scissors-class-preserving symmetries of the space of (suitably decorated) generalized hyperbolic tetrahedra. The group 22.5K contains the Regge symmetries as a subgroup of order 144. From a generic tetrahedron, 22.5K produces 30 distinct generalized tetrahedra in the same scissors class, inclu…
We present two identities (contiguity relation and variation formula) concerning the volume of a spherically faced simplex in the Euclidean space. These identities are described in terms of Cayley-Menger determinants and their differentials involved with hypersphere arrangements. They are derived as a limit of fundamental identities for hypergeometric integrals.
Given five points in a three-dimensional euclidean space, one can consider five tetrahedra, using those points as vertices. We present a pentagon-like formula containing the product of three volumes of those tetrahedra in its l.h.s. and the product of the two remaining tetrahedron volumes in its r.h.s., as well as the derivative of the "discrete curvature" which arises when we slightly deform our euclidean space.
For a compact right-angled polyhedron $R$ in $\mathbb H^3$ denote by $\operatorname{vol} (R)$ the volume and by $\operatorname{vert} (R)$ the number of vertices. Upper and lower bounds for $\operatorname{vol} (R)$ in terms of $\operatorname{vert} (R)$ were obtained in \cite{A09}. Constructing a 2-parameter family of polyhedra, we show that the asymptotic upper bound $5 v_3 / 8$, where $v_3$ is the volume of the ideal regular tetrahedron in $\mathbb H^3$, is a double limit point for ratios $\operatorname{vol} (R) / \operatorname{vert} (R)$. Moreover, we improve the lower bound in the case $\ope…
A generalized hyperbolic tetrahedra is a polyhedron (possibly non-compact) with finite volume in hyperbolic space, obtained from a tetrahedron by the polar truncation at the vertices lying outside the space. In this paper it is proved that a volume formula for ordinary hyperbolic tetrahedra devised by J. Murakami and M. Yano can be applied to such ones. There are two key tools for the proof; one is so-called Schlafli's differential formula for hyperbolic polyhedra, and the other is a necessary and sufficient condition for given numbers to be the dihedral angles of a generalized hyperbolic simp…
We study spherical tetrahedra with rational dihedral angles and rational volumes. Such tetrahedra occur in the Rational Simplex Conjecture by Cheeger and Simons, and we supply vast families, discovered by computational efforts, of positive examples that confirm this conjecture. As a by-product, we also obtain a classification of all spherical Pythagorean triples, previously found by Smith.
The calculation of volumes of polyhedra in the three-dimensional Euclidean, spherical and hyperbolic spaces is very old and difficult problem. In particular, an elementary formula for volume of non-euclidean simplex is still unknown. One of the simplest polyhedra is the Lambert cube Q(α,β,γ). By definition, Q(α,β,γ) is a combinatorial cube, with dihedral angles α,βand γassigned to the three mutually non-coplanar edges and right angles to the remaining. The hyperbolic volume of Lambert cube was found by Ruth Kellerhals (1989) in terms of the Lobachevsky function Λ(x). In the present paper the s…
We consider a spherical antiprism. It is a convex polyhedron with $2n$ vertices in the spherical space $\mathbb{S}^3$. This polyhedron has a group of symmetries $S_{2n}$ generated by a mirror-rotational symmetry of order $2n$, i.e. rotation to the angle $π/n$ followed by a reflection. We establish necessary and sufficient conditions for the existence of such polyhedron in $\mathbb{S}^3$. Then we find relations between its dihedral angles and edge lengths in the form of cosine rules through a property of a spherical isosceles trapezoid. Finally, we obtain an explicit integral formula for the vo…
We generalize valuations on polyhedral cones to valuations on fans. For fans induced by hyperplane arrangements, we show a correspondence between rotation-invariant valuations and deletion-restriction invariants. In particular, we define a characteristic polynomial for fans in terms of spherical intrinsic volumes and show that it coincides with the usual characteristic polynomial in the case of hyperplane arrangements. This gives a simple deletion-restriction proof of a result of Klivans-Swartz. The metric projection of a cone is a piecewise-linear map, whose underlying fan prompts a generaliz…
A subset of the d-dimensional Euclidean space having nonempty interior is called a spindle convex body if it is the intersection of (finitely or infinitely many) congruent d-dimensional closed balls. The spindle convex body is called a "fat" one, if it contains the centers of its generating balls. The core part of this paper is an extension of Schramm's theorem and its proof on illuminating convex bodies of constant width to the family of "fat" spindle convex bodies.
The aim of this paper is to prove isoperimetric inequalities for simplices and polytopes with $d+2$ vertices in Euclidean, spherical and hyperbolic $d$-space. In particular, we find the minimal volume $d$-dimensional hyperbolic simplices and spherical tetrahedra of a given inradius. Furthermore, we investigate the properties of maximal volume spherical and hyperbolic polytopes with $d+2$ vertices with a given circumradius, and the hyperbolic polytopes with $d+2$ vertices with a given inradius and having a minimal volume or minimal total edge length. Finally, for any $1 \leq k \leq d$, we inves…
It is proved that the volume of spherical or hyperbolic simplices, when considered as a function of the dihedral angles, can be extended continuously to degenerated simplices.