ArticlePublisher preview available

Duality of isosceles tetrahedra

Authors:
To read the full-text of this research, you can request a copy directly from the authors.

Abstract and Figures

In this paper we define a so-called dual simplex of an n-simplex and prove that the dual of each simplex contains its circumcenter, which means that it is well-centered. For triangles and tetrahedra S we investigate when the dual of S, or the dual of the dual of S, is similar to S, respectively. This investigation encompasses the study of the iterative application of taking the dual. For triangles, this iteration converges to an equilateral triangle for any starting triangle. For tetrahedra we study the limit points of period two, which are known as isosceles or equifacetal tetrahedra.
This content is subject to copyright. Terms and conditions apply.
J. Geom. (2019) 110:49
c
2019 Springer Nature Switzerland AG
0047-2468/19/030001-11
published online September 17, 2019
https://doi.org/10.1007/s00022-019-0506-y Journal of Geometry
Duality of isosceles tetrahedra
Jan Brandts and Michal Kˇıˇzek
Dedicated to Dr. Milan Pr´ager on his 90th birthday
Abstract. In this paper we define a so-called dual simplex of an n-simplex
and prove that the dual of each simplex contains its circumcenter, which
means that it is well-centered. For triangles and tetrahedra Swe inves-
tigate when the dual of S, or the dual of the dual of S, is similar to
S, respectively. This investigation encompasses the study of the iterative
application of taking the dual. For triangles, this iteration converges to
an equilateral triangle for any starting triangle. For tetrahedra we study
the limit points of period two, which are known as isosceles or equifacetal
tetrahedra.
Keywords. Well-centered simplices, Dual simplices, Isosceles tetrahedra,
Circumcenter, Circumradius.
1. Preliminaries
Let mnbe positive integers. Recall that an n-simplex Sin an m-dimensional
Euclidean space Rmis the convex hull of n+ 1 points that do not lie in a
hyperplane of an n-dimensional space. These points are called the vertices of
the simplex S.Itsfacets are (n1)-dimensional simplices formed by any n
vertices of the simplex S. Throughout the paper we shall identify vertices with
vectors. The center of the circumscribed sphere of Sis called the circumcenter
and its radius circumradius.
Definition 1. An n-simplex Sis said to be well-centered if its circumcenter lies
in the interior of S.
The next theorem gives an interesting characterization of well-centered sim-
plices.
Theorem 1. An n-simplex is well-centered if and only if its vertices do not lie
on a hemisphere of the circumscribed sphere.
Content courtesy of Springer Nature, terms of use apply. Rights reserved.
... This follows, for example, from the fact that on each step we switch from the triangle with the angles π 3 + α, π 3 + β, π 3 + γ to the triangle with the angles π 3 − α 2 , π 3 − β 2 , π 3 − γ 2 . The same procedure for the euclidian simplex of the higher dimension is discussed in [1], and for the tetrahedrons in [2]. As shown in these sources, the sequence of simplices does not have a unique limit, but instead, the iterations of the odd and even orders have two limits, that are, generally speaking, different. ...
Preprint
Full-text available
We study the iterations of the procedure of taking the contact simplex. We define the concept of the root of the simplex, which is a homothety image of contact simplex with a special coefficient greater than 1. The article shows that once we iterate the root of a given simplex, the circumcenter sequence of these simplices has two partial limits.
Article
We extend Morley’s trisector theorem in the plane to an isosceles tetrahedron in three-dimensional space. We will show that the Morley tetrahedron of an isosceles tetrahedron is also isosceles tetrahedron. Furthermore, by the formula for distance in barycentric coordinate, we introduce and prove a general theorem on an isosceles tetrahedron.
Article
Full-text available
The motivation for this paper comes from physical problems defined on bounded smooth domains Ω in 3D. Numerical schemes for these problems are usually defined on some polyhedral domains Ωh and if there is some additional compactness result available, then the method may converge even if Ωh → Ω only in the sense of compacts. Hence, we use the idea of meshing the whole space and defining the approximative domains as a subset of this partition. Numerical schemes for which quantities are defined on dual partitions usually require some additional quality. One of the used approaches is the concept of well-centeredness, in which the center of the circumsphere of any element lies inside that element. We show that the one-parameter family of Sommerville tetrahedral elements, whose copies and mirror images tile 3D, build a well-centered face-to-face mesh. Then, a shape-optimal value of the parameter is computed. For this value of the parameter, Sommerville tetrahedron is invariant with respect to reflection, i.e., 3D space is tiled by copies of a single tetrahedron.
Chapter
We study the relation between the set of n + 1 vertices of an n-simplex S having \(\mathbb {S}^{n-1}\) as circumsphere, and the set of n + 1 unit outward normals to the facets of S. These normals can in turn be interpreted as the vertices of another simplex \(\hat {S}\) that has \(\mathbb {S}^{n-1}\) as circumsphere. We consider the iterative application of the map that takes the simplex S to \(\hat {S}\), study its convergence properties, and in particular investigate its fixed points. We will also prove some statements about well-centered simplices in the above context.
Article
Acute triangles are defined by having all angles less than π/2, and are characterized as the triangles containing their circumcenter in the interior. For simplices of dimension n ≥ 3, acuteness is defined by demanding that all dihedral angles between (n−1)-dimensional faces are smaller than π/2. However, there are, in a practical sense, too few acute simplices in general. This is unfortunate, since the acuteness property provides good qualitative features for finite element methods. The property of acuteness is logically independent of the property of containing the circumcenter when the dimension is greater than two. In this article, we show that the latter property is also quite rare in higher dimensions. In a natural probability measure on the set of n-dimensional simplices, we show that the probability that a uniformly random n-simplex contains its circumcenter is 1/2ⁿ. © 2017, Institute of Mathematics of the Academy of Sciences of the Czech Republic, Praha, Czech Republic.
Article
In the answer to the book-work question, set in a recent examination to investigate the volume of a pyramid, one candidate stated that the three tetrahedra into which a triangular prism can be divided are congruent , instead of only equal in volume. It was an interesting question to determine the conditions in order that the three tetrahedra should be congruent, and this led to the wider problem – to determine what tetrahedra can fill up space by repetitions. An exhaustive examination of this required one to keep an open mind as regards whether space is euclidean, elliptic, or hyperbolic, and then to pick out the forms which exist in euclidean space.
Article
The object of this paper is to discuss some properties of the Isosceles Tetrahedron, in which each edge is equal to its opposite. The last three theorems are possibly new, the remainder are included for their own interest or for completeness in listing elementary results; in the latter case, proofs are not given.