Coxeters loxodromische Folge von tangierenden Kreisen

Coxeters Spiralen (grau)

Coxeters loxodromische Folge von tangierenden Kreisen ist in der Geometrie eine unendliche Folge von Kreisen, von denen vier aufeinander folgende sich paarweise tangieren und deren Radien eine geometrische Reihe bilden.

Coxeter untersuchte 1968 solche Kreisarrangements und wies nach, dass die Kreismittelpunkte und die Berührungspunkte der Kreise auf einander ähnlichen logarithmischen Spiralen liegen, grau im Bild.

Wenn $k_j=k\cdot q^j$ mit Konstanten $k,q\in ℝ$ die Krümmungen der Kreise sind, dann lautet der Satz von Descartes mit ihnen

$\begin{array}{cc}0=& 2(k_0^2+k_1^2+k_2^2+k_3^2)-(k_0+k_1+k_2+k_3{)}^2\\ =& k^2(2(1+q^2+q^4+q^6)-(1+q+q^2+q^3{)}^2)\\ =& k^2(1+q^2)(1-2q-2q^2-2q^3+q^4)\end{array}$

Im komplexen hat das Polynom in der zweiten Klammer vier Lösungen:

$\begin{array}{cc}{q}_{1,2}=& \mathrm{\Phi }\pm \sqrt{\mathrm{\Phi }},\mathrm{\Phi }=\frac{\sqrt{5}+1}{2}\\ q_{3,4}=& -{\mathrm{\Phi }}^{-1}\pm \mathrm{i}\sqrt{{\mathrm{\Phi }}^{-1}}={\mathrm{e}}^{\pm \mathrm{i}\beta },\beta =\arccos (-{\mathrm{\Phi }}^{-1})\end{array}$

Darin ist ${\mathrm{i}}^2=-1$ die Imaginäre Einheit, e^x die e-Funktion, arccos der Arkuscosinus und $\mathrm{\Phi }$ der goldene Schnitt. Wenn (x,0) die xy-Koordinaten des Mittelpunkts des größten Kreises in der xy-Ebene sind, dann haben die Kreise für $j=1,2,\dots$ die Eigenschaften:

Mittelpunkt:	$m_j=(q_2{q}_3{)}^{j}x={(\mathrm{\Phi }-\sqrt{\mathrm{\Phi }})}^j{(-{\mathrm{\Phi }}^{-1}+\mathrm{i}\sqrt{{\mathrm{\Phi }}^{-1}})}^{j}x$
Radius:	$r_j=\sqrt{3{\mathrm{\Phi }}^{-1}-1}{q}_2^{j}x=\sqrt{3{\mathrm{\Phi }}^{-1}-1}{(\mathrm{\Phi }-\sqrt{\mathrm{\Phi }})}^{j}x$

Die Radien werden immer kleiner und die Mittelpunkte wandern in den Ursprung des Koordinatensystems. Neben den Mittelpunkten liegen auch die Berührungspunkte der Kreise auf ähnlichen Spiralen, die durch einen anderen Wert für x entstehen (dunkler graue Spiralen im Bild).

Siehe auch

• Apollonios-Kreisfüllung
• Pappos-Kette