Isogonal conjugation in isosceles tetrahedron

In this article we investigate the properties of isogonal conjugation in isosceles tetrahedron. Particularly we reveal three hyperbolic paraboloids each of which is formed by pairs of isogonal conjugate points symmetric in the respective bimedian, as well as we prove that the circumsphere of an isosceles tetrahedron is invariant under isogonal conjugation in that tetrahedron.

💡 Research Summary

The paper investigates the geometry of isogonal conjugation within an isosceles tetrahedron (a tetrahedron whose opposite edges are equal). After recalling basic properties—such as the coincidence of circumcenter, incenter and centroid, and the fact that each face is an acute, congruent triangle—the author defines isogonal conjugation for a polyhedron as the natural extension of the planar notion: for each dihedral angle, the plane through a point P is reflected across the dihedral’s bisector plane, and the unique point Q that simultaneously lies in all reflected planes is called the isogonal conjugate of P.

Theorem 3.1 proves that for any point P not on the surface of an arbitrary tetrahedron, a unique isogonal conjugate Q exists. The construction uses reflections of P in the four faces (PA, PB, PC, PD); these four points lie on a sphere whose center is the midpoint M of segment PQ. Consequently, the “pedal sphere” (the sphere through the orthogonal projections of P onto the faces) is centered at M, and the same holds for Q. Corollaries 3.1 and 3.2 state that the eight face‑projections of two isogonal conjugates lie on a common pedal sphere whose center is the midpoint of the conjugate pair, and that two points are isogonal conjugates iff their pedal spheres coincide.

Section 4 gathers auxiliary facts about angles between intersecting spheres, inversion, and homothety, establishing that angles are preserved under inversion and that a sphere passing through a given circle and making equal angles with two intersecting spheres must have its center on the line of external homothety. These results are later used to handle the circumsphere.

The core of the paper is Theorem 5.1. The tetrahedron is placed in Cartesian coordinates as
A = (−a, b, c), B = (a, −b, c), C = (a, b, −c), D = (−a, −b, −c) (a,b,c ≠ 0). The three bimedians (segments joining midpoints of opposite edges) align with the coordinate axes: ℓA ∥ Ox, ℓB ∥ Oy, ℓC ∥ Oz. Using elementary formulas (Proposition 5.1) the author computes face areas, distances from the common center O to the faces, and the half‑dihedral angle θ.

Fixing one bimedian, say ℓC, and taking a pair of isogonal conjugate points P and Q that are symmetric with respect to ℓC, the midpoint M of PQ lies on ℓC. By Corollary 3.1 the pedal sphere Γ of P and Q is centered at M. The intersections of Γ with the two faces containing edge CD are circles γA and γB, which are symmetric about the bisector plane of dihedron CD. Consequently P and Q belong to two right circular cylinders CA and CB built on γA and γB, respectively, and also to a plane π orthogonal to ℓC. Hence P and Q are the intersection of two ellipses ε1 = π ∩ CA and ε2 = π ∩ CB. Explicit coordinate calculations show that ε1 and ε2 intersect along the curve defined by

 z = −(c / ab) · x y,

which is a hyperbolic paraboloid H containing all such symmetric conjugate pairs. The author then proves the converse: any two points on H that are symmetric about ℓC are indeed isogonal conjugates. This is achieved by showing that their projections onto the faces satisfy the distance equalities of Lemma 5.1, which forces the four projections onto the two faces sharing edge CD to be equidistant from the projection of the midpoint onto ℓC. A direct algebraic verification confirms that the squared distances to the two remaining faces are equal, implying the two points share the same pedal sphere, and by Corollary 3.2 they are isogonal conjugates.

Section 6 establishes the invariance of the circumsphere Ω under isogonal conjugation. For any point P on Ω (excluding the vertices), the isogonal conjugate Q also lies on Ω. The proof uses inversion with respect to Ω and the angle‑preserving properties of inversion (Proposition 4.1), together with Proposition 4.4 concerning spheres passing through a common circle and making equal angles with two intersecting spheres. The result contrasts sharply with the planar case: for an equilateral triangle, the isogonal conjugate of a non‑vertex point on the circumcircle is “at infinity” because the reflected lines become parallel.

In summary, the paper delivers three main contributions: (1) a rigorous definition and existence proof of isogonal conjugation for any tetrahedron; (2) the discovery that, in an isosceles tetrahedron, symmetric conjugate pairs with respect to each bimedian lie on a specific hyperbolic paraboloid, providing a new geometric surface associated with the tetrahedron; and (3) the proof that the circumsphere of an isosceles tetrahedron is invariant under isogonal conjugation, a property absent in the two‑dimensional analogue. The work blends coordinate calculations with classical synthetic geometry, enriching the understanding of symmetry and conjugate transformations in three dimensions and opening avenues for further exploration in higher‑dimensional polyhedral geometry.