Table of Contents
Fetching ...

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

Miłosz Płatek

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$.

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

Abstract

The Apollonius problem asks for a sphere tangent to given spheres or hyperplanes in . This problem has been widely studied for an isolated configuration of 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 spheres in and the solutions of the Apollonius problem corresponding to all its subsets of size . 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 . We then introduce a two--step construction of further Apollonius spheres and show that the lines determined by their centers also pass through . This yields numerous applications in two and three dimensions and, at the same time, automatically extends them to . The second main result is an --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 spheres in , 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 .

Paper Structure

This paper contains 11 sections, 14 theorems, 47 equations, 7 figures.

Key Result

Lemma 2.4

A projective point $[X]\in \mathbb{P}(V)$ represents a cycle if and only if $(X|X)=0$. $\blacktriangleleft$$\blacktriangleleft$

Figures (7)

  • Figure 1: Example \ref{['check1']}: Circumcenter.
  • Figure 2: Example \ref{['check2']}: Incenter.
  • Figure 3: Corollary \ref{['outerapol']}: Points $I$, $O_1$, and $O_2$ are collinear.
  • Figure 4: Corollary \ref{['pozdro']}: Points $I$, $O$, and $S$ are collinear.
  • Figure 5: Corollary \ref{['mort']}: K. Morita's Theorem in 2-dimensions.
  • ...and 2 more figures

Theorems & Definitions (43)

  • Definition 2.1
  • Remark 2.2
  • Definition 2.3: Cycle representation
  • Lemma 2.4: Cycles
  • Lemma 2.5: Tangency
  • Definition 2.6: Lie quadric
  • Definition 2.7
  • Lemma 2.8: Decomposition with respect to $P$
  • Definition 2.9: Reflection in P
  • Remark 2.10
  • ...and 33 more