arxiv: 2604.03067 · v1 · submitted 2026-04-03 · 🧮 math.MG · math.DG

Recognition: 1 theorem link

· Lean Theorem

On the Inscribed Sphere and Concurrent Lines through the Centers of Apollonius Spheres in mathbb{R}^n

Mi{\l}osz P{\l}atek

Pith reviewed 2026-05-13 18:23 UTC · model grok-4.3

classification 🧮 math.MG math.DG MSC 51M15

keywords Apollonius problemconcurrent linesinscribed sphereLie sphere geometryMorita theoremsphere configurationshigher-dimensional geometrysphere tangency

0 comments

The pith

In any configuration of n+2 spheres in R^n, lines through centers of Apollonius spheres from each n+1-subset all meet at one point P_X that also centers the inscribed sphere.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines solutions to the Apollonius problem for every subset of n+1 spheres drawn from a fixed set of n+2 spheres in n-dimensional space. It proves that the lines joining the centers of these solutions are concurrent at a single point P_X. A two-step construction of further Apollonius spheres produces additional lines that likewise pass through P_X. The same point P_X serves as the center of the inscribed sphere tangent to the original configuration. This yields an n-dimensional generalization of Morita's theorem that holds for arbitrary spheres, not necessarily mutually tangent.

Core claim

For a configuration of n+2 spheres in R^n, the Apollonius spheres tangent to each choice of n+1 spheres have centers whose connecting lines all intersect at a common point P_X. Lines arising from a two-step construction of further Apollonius spheres also pass through P_X. This point P_X is the center of the inscribed sphere in the configuration, extending Morita's three-dimensional result to arbitrary (not necessarily tangent) configurations in any dimension within Lie sphere geometry.

What carries the argument

The concurrency point P_X of lines through centers of Apollonius spheres corresponding to different (n+1)-subsets of n+2 spheres, which doubles as the center of the generalized inscribed sphere.

Load-bearing premise

Apollonius spheres exist and are well-defined for every subset of n+1 spheres from the given n+2 spheres.

What would settle it

Pick four generic non-tangent spheres in R^3, compute the four Apollonius spheres (one per trio), form the six lines between their centers, and check whether every line passes through one common point; absence of a shared intersection point falsifies the claim.

Figures

Figures reproduced from arXiv: 2604.03067 by Mi{\l}osz P{\l}atek.

**Figure 7.** Figure 7: Corollary 4.9: Concurrent lines on the Soddy line Corollary 4.9 (A Property of the Apollonian Gasket). Let Ω1, Ω2, and Ω3 be three circles with centers A1, B1, and C1, respectively, that are externally tangent to one another. Let S1 and S2 be the inner and outer Apollonius circles, with centers O1 and O2, respectively. Let the circles ω1, ω2, ω3, centered at A2, B2, and C2, distinct from Ω1, Ω2, and Ω3, r… view at source ↗

read the original abstract

The Apollonius problem asks for a sphere tangent to $n+1$ given spheres or hyperplanes in $\mathbb{R}^n$. This problem has been widely studied for an isolated configuration of $n+1$ spheres. In this paper, we study relations among the solutions of the Apollonius problem arising from a common family of spheres within the framework of Lie sphere geometry. More precisely, we consider a configuration of $n+2$ spheres in $\mathbb{R}^n$ and the solutions of the Apollonius problem corresponding to all its subsets of size $n+1$. The first main result concerns lines passing through the centers of pairs of solutions to the Apollonius problem. We prove that all these lines intersect at a single point $P_X$. We then introduce a two--step construction of further Apollonius spheres and show that the lines determined by their centers also pass through $P_X$. This yields numerous applications in two and three dimensions and, at the same time, automatically extends them to $\mathbb{R}^n$. The second main result is an $n$--dimensional generalization of K. Morita's three-dimensional theorem on the inscribed sphere in a configuration of mutually tangent spheres. We show that Morita's theorem is a special case of our result for an arbitrary configuration of $n+2$ spheres in $\mathbb{R}^n$, not necessarily mutually tangent. Moreover, we connect this result with the preceding ones by proving that the center of the corresponding inscribed sphere is again the point $P_X$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a clean n-dimensional generalization of Morita's inscribed-sphere theorem plus a concurrency result for Apollonius centers, but the statements need explicit domain restrictions for real solutions.

read the letter

The main takeaway is that for any n+2 spheres in R^n the lines through centers of the Apollonius solutions on each n+1 subset all meet at one point P_X, and the same point is the center of the inscribed sphere in the generalized Morita sense. This holds for arbitrary configurations, not just mutually tangent ones, and the two-step construction keeps further solutions on lines through P_X. The Lie-sphere-geometry framing lets the higher-dimensional claims drop out directly from the setup, which is efficient and avoids re-proving low-dimensional cases separately. The approach builds on standard sphere properties without circular definitions, and the citation pattern stays within the expected Lie-geometry literature. What the paper does well is unify the concurrency and inscribed-sphere statements under one point P_X and show that classical 2D/3D applications extend automatically. The soft spot is the handling of existence. The abstract states the results for arbitrary configurations, yet Apollonius solutions are not guaranteed to be real and finite for every choice of centers and radii; some subsets can miss the quadric or land at infinity. The proofs presumably restrict to the open set where the solutions exist or treat degeneracies projectively, but the abstract does not flag this, so a referee should check whether the statements are conditioned properly or whether limiting arguments are supplied. This is specialized work for people already working in metric geometry or Lie sphere geometry. A reader who needs n-dimensional extensions of Apollonius or inscribed-sphere theorems will get direct value from the concurrency point and the generalized Morita result. It shows clear engagement with the geometry and deserves a serious referee to verify the details of the proofs and the domain of the claims.

Referee Report

2 major / 2 minor

Summary. The paper studies the Apollonius problem for a configuration of n+2 spheres in R^n within Lie sphere geometry. It proves that the lines joining the centers of the two Apollonius solutions for each of the n+2 subsets of n+1 spheres all concur at a single point P_X. A two-step construction of additional Apollonius spheres is introduced whose center-lines also pass through P_X. The second main result generalizes K. Morita's theorem by showing that, for an arbitrary (not necessarily mutually tangent) configuration of n+2 spheres, the center of the inscribed sphere is again P_X.

Significance. If the central claims hold, the work supplies a unifying higher-dimensional framework that identifies a common concurrence point P_X across multiple families of Apollonius spheres and recovers the inscribed-sphere center as a special case. The Lie-geometric approach automatically extends 2D/3D phenomena to R^n and may streamline proofs of related tangency and inscription properties.

major comments (2)

[Statement of the first main result and the inscribed-sphere theorem] The first main result (concurrence of the n+2 lines at P_X) and the generalization of Morita's theorem are stated for an arbitrary configuration of n+2 spheres. However, for generic real centers and radii the Apollonius problem for a given subset of n+1 spheres may possess zero, one, or two real finite solutions (corresponding to empty, tangent, or real intersections with the fixed quadric in Lie space). The manuscript should explicitly restrict the statement to the open set of configurations where all 2(n+2) solutions exist and are distinct, or else supply a projective/Lie-geometric formulation that remains valid when some solutions lie at infinity or are complex.
[Two-step construction paragraph] The two-step construction of further Apollonius spheres is asserted to produce center-lines that also pass through P_X. The precise algebraic or geometric relation between this construction and the original family of n+2 lines is not immediately visible from the abstract; an explicit diagram or coordinate verification in low dimension (n=2 or n=3) would confirm that the new lines are linearly dependent on the original concurrence.

minor comments (2)

[Abstract] The abstract claims 'numerous applications in two and three dimensions' without naming them; a single sentence listing the most immediate corollaries (e.g., Descartes-circle variants or specific tangency configurations) would improve readability.
[Introduction / notation paragraph] Notation for the common point is introduced as P_X; a brief remark on whether X denotes the original configuration or a derived object would prevent minor confusion for readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable suggestions, which will help strengthen the clarity and scope of the paper. We address each major comment below and outline the planned revisions.

read point-by-point responses

Referee: The first main result (concurrence of the n+2 lines at P_X) and the generalization of Morita's theorem are stated for an arbitrary configuration of n+2 spheres. However, for generic real centers and radii the Apollonius problem for a given subset of n+1 spheres may possess zero, one, or two real finite solutions (corresponding to empty, tangent, or real intersections with the fixed quadric in Lie space). The manuscript should explicitly restrict the statement to the open set of configurations where all 2(n+2) solutions exist and are distinct, or else supply a projective/Lie-geometric formulation that remains valid when some solutions lie at infinity or are complex.

Authors: We agree that the statements require clarification on the existence of real solutions. Our proofs rely on Lie sphere geometry, which is inherently projective and therefore accommodates solutions at infinity as well as complex solutions in a uniform manner. The concurrence at P_X holds in this projective setting whenever the relevant points are defined. To address the referee's concern for real affine configurations, we will revise the statements of both main theorems to specify that they apply to configurations where the Apollonius spheres exist and are real and finite. We will also add a short remark emphasizing that the underlying Lie-geometric framework extends the result projectively, including degenerate cases. This constitutes a minor but explicit qualification rather than a restriction of the geometric content. revision: yes
Referee: The two-step construction of further Apollonius spheres is asserted to produce center-lines that also pass through P_X. The precise algebraic or geometric relation between this construction and the original family of n+2 lines is not immediately visible from the abstract; an explicit diagram or coordinate verification in low dimension (n=2 or n=3) would confirm that the new lines are linearly dependent on the original concurrence.

Authors: We appreciate this suggestion for improving readability. The two-step construction is defined algebraically via successive solutions of Apollonius problems within the same Lie quadric, so the new centers lie on lines through P_X by the same concurrence argument used for the original n+2 lines. To make this relation explicit, we will add a dedicated subsection (or appendix) containing coordinate verifications for n=2 (planar circles) and n=3 (spheres in space). These calculations will exhibit the explicit linear dependence of the new center-lines on the original concurrence point P_X. We will also include a simple schematic diagram for the n=2 case illustrating the configuration and the additional lines. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation is self-contained in Lie sphere geometry

full rationale

The paper proves concurrence of lines through centers of Apollonius solutions for subsets of an n+2 sphere configuration at a point P_X, then shows the inscribed sphere center coincides with P_X, as a direct consequence of Lie sphere geometry operations on the common family. No step defines P_X via the concurrence result itself, fits parameters to data then renames them predictions, or reduces the central claim to a self-citation chain. The generalization of Morita's theorem is presented as a special case under the same framework without importing uniqueness via prior author work. The derivation relies on standard quadric intersections and sphere inversions external to the target statements, making the result independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the established framework of Lie sphere geometry and Euclidean properties of spheres and tangency; no free parameters, new entities, or ad-hoc axioms are introduced.

axioms (1)

standard math Standard properties of spheres, tangency, and inversion in Euclidean space R^n
Invoked throughout the Lie sphere geometry setup for the Apollonius problem.

pith-pipeline@v0.9.0 · 5586 in / 1108 out tokens · 18270 ms · 2026-05-13T18:23:59.425587+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
We prove that all these lines intersect at a single point P_X ... the center of the corresponding inscribed sphere is again the point P_X.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

Altintas, E

A. Altintas, E. Suppa, Extended Soddy Conﬁgurations Int. J. Comput. Discov. Math. 3 (2018), 62–68

work page 2018
[2]

A. V. Akopyan, Geometry in Figures , 2nd ed., CreateSpace Independent Pub- lishing Platform (2017), problem 6.8.9

work page 2017
[3]

Montesdeoca, Una circunferencia relacionada con la circun- ferencia de Adams Hechos Geom´ etricos en el Tri´ angulo (2023)

A. Montesdeoca, Una circunferencia relacionada con la circun- ferencia de Adams Hechos Geom´ etricos en el Tri´ angulo (2023). http://amontes.webs.ull.es/otrashtm/HGT2023.htm Accessed 22 Au- gust 2025

work page 2023
[4]

B. J. Zlobec, N. M. Kosta, Conﬁgurations of cycles and the Apollonius Problem Rocky Mt. J. Math. 31 (2001), 725–744. https://doi.org/10.1216/rmjm/1020171586 Inscribed Sphere and Apollonius Centers 17

work page doi:10.1216/rmjm/1020171586 2001
[5]

B. J. Zlobec, N. M. Kosta, Geometric constructions on cycles Rocky Mt. J. Math. 34 (2004), 1565–1585. https://doi.org/10.1216/rmjm/1181069816

work page doi:10.1216/rmjm/1181069816 2004
[6]

B. J. Zlobec, N. M. Kosta, Geometric constructions on cy- cles in Rn Rocky Mt. J. Math. 45 (2015), 1709–1753. https://doi.org/10.1216/RMJ-2015-45-5-1709

work page doi:10.1216/rmj-2015-45-5-1709 2015
[7]

Kimberling, Encyclopedia of Triangle Centers University of Evansville (2023)

C. Kimberling, Encyclopedia of Triangle Centers University of Evansville (2023). https://faculty.evansville.edu/ck6/encyclopedia/etc.html Ac- cessed 22 August 2025

work page 2023
[8]

D.–S. Kim, Y. Cho, D. Kim, S. Kim, J. Bhak, S.–H. Lee, Euclidean Voronoi diagrams of 3D spheres and applications to protein structur e analysis Jpn. J. Ind. Appl. Math. (2005), 251–265. https://doi.org/10.1007/BF03167441

work page doi:10.1007/bf03167441 2005
[9]

Kasner, A

E. Kasner, A. Kalish, The Geometry of the Circular Horn Triangle Natl. Math. Mag. 18 (1944), 234–240. https://doi.org/10.2307/3030080

work page doi:10.2307/3030080 1944
[10]

Soddy, The Hexlet Nature 138 (1936), 958

F. Soddy, The Hexlet Nature 138 (1936), 958. https://doi.org/10.1038/138958a0

work page doi:10.1038/138958a0 1936
[11]

Soddy, The Kiss Precise Nature 137 (1936), 1021

F. Soddy, The Kiss Precise Nature 137 (1936), 1021. https://doi.org/10.1038/1371021a0

work page doi:10.1038/1371021a0 1936
[12]

H. S. M. Coxeter, The Problem of Apollonius Canad. Math. Bull. 11 (1968), 175–186. 1 (1984), 1–8. https://doi.org/10.4153/CMB-1968-001-7

work page doi:10.4153/cmb-1968-001-7 1968
[13]

I. M. Yaglom, Geometric Transformations IV: Circular Transformations MAA Press 44 (2009). https://doi.org/10.5948/UPO9780883859582

work page doi:10.5948/upo9780883859582 2009
[14]

J. M. Fitz–Gerald, A note on a problem of Apollonius J. Geom. 5 (1974), 15–26. https://doi.org/10.1007/BF01954533

work page doi:10.1007/bf01954533 1974
[15]

Morita, Some Theorems on Kissing Circles and Spheres J

K. Morita, Some Theorems on Kissing Circles and Spheres J. Geom. Graph. 15 (2011), 159–168

work page 2011
[16]

O. D. Byer, D. L. Smeltzer, Mutually Tangent Spheres in n–Space Math. Mag. 88 (2015), 146–150. https://doi.org/10.4169/math.mag.88.2.146

work page doi:10.4169/math.mag.88.2.146 2015
[17]

Paluszny, J

M. Paluszny, J. B. Wilker, A case of the 3–dimensional problem of Apollonius , Aeq. Math. 41 (1991), 172–186. https://doi.org/10.1007/BF02227453

work page doi:10.1007/bf02227453 1991
[18]

R. C. Alperin, The Gergonne and Soddy lines Elem. Math. 70 (2015), 1–6. https://doi.org/10.4171/EM/266

work page doi:10.4171/em/266 2015
[19]

R. D. Knight, The Apollonius contact problem and Lie contact geometry , J. Geom. 83 (2005), 137–152. https://doi.org/10.1007/s00022-005-0009-x

work page doi:10.1007/s00022-005-0009-x 2005
[20]

R. H. Lewis, S. Bridgett, Conic tangency equations and Apollonius problems in biochemistry and pharmacology Math. Comput. Simul. 61 (2003), 101–114. https://doi.org/10.1016/S0378-4754(02)00122-2

work page doi:10.1016/s0378-4754(02)00122-2 2003
[21]

R. L. Graham, J. C. Lagarias, C. L. Mallows, A. R. Wilks, C . H. Yan, Apollonian Circle Packings: Geometry and Group Theory I. The Apollonian Group Discrete Comput. Geom. 34 (2005), 547–585. https://doi.org/10.1007/s00454-005-1196-9

work page doi:10.1007/s00454-005-1196-9 2005
[22]

T. E. Cecil, Lie Sphere Geometry: With Applications to Submanifolds , 2nd ed., Springer (2008). https://doi.org/10.1007/978-0-387-74656-2 18 Mi/suppress losz P/suppress latek Mi/suppress losz P/suppress latek Independent Researcher Krak´ ow, Poland e-mail: milosz@platek.org

work page doi:10.1007/978-0-387-74656-2 2008