René Descartes

In der Geometrie beschreibt der Satz von Descartes (Vier-Kreise-Satz von Descartes), benannt nach René Descartes, eine Beziehung zwischen vier Kreisen, die einander berühren. Der Satz kann dazu verwendet werden, zu drei gegebenen Kreisen, die einander wechselseitig berühren, einen vierten zu finden, der die drei anderen berührt. Es handelt sich um einen Spezialfall des Apollonischen Problems.

Geschichte

Über geometrische Probleme im Zusammenhang mit Kreisen, die einander berühren, wurde schon vor mehr als 2000 Jahren nachgedacht. Im antiken Griechenland des 3. Jahrhunderts v. Chr. widmete Apollonios von Perge diesem Thema ein ganzes Buch. Unglücklicherweise ist uns dieses Werk mit dem Titel Über Berührungen nicht erhalten.

René Descartes erwähnte 1643 das Problem (gemäß den damaligen Gepflogenheiten) kurz in einem Brief an die Prinzessin Elisabeth von Böhmen. Er kam im Wesentlichen zu der Lösung, die weiter unten in Gleichung (1) beschrieben ist. Daher wird der Vier-Kreise-Satz heute nach Descartes benannt.

Frederick Soddy entdeckte die Gleichung im Jahre 1936 wieder. Man spricht manchmal von den Soddy-Kreisen, vielleicht weil Soddy seine Version des Satzes in Form eines Gedichts mit dem Titel The Kiss Precise veröffentlichte, das in der Zeitschrift Nature (20. Juni 1936) abgedruckt wurde. Soddy verallgemeinerte auch den Satz von Descartes zu einem Satz über Sphären im n-dimensionalen Raum.

Definition der vorzeichenbehafteten Krümmung

Der Satz von Descartes lässt sich am einfachsten durch den Begriff der Krümmung ausdrücken. Die vorzeichenbehaftete Krümmung eines Kreises wird definiert durch <math>k = \pm 1/r</math>, wobei r den Radius bezeichnet. Je größer der Kreis ist, desto kleiner ist der Betrag seiner Krümmung und umgekehrt.

Das Minuszeichen in <math>k = \pm 1/r</math> gilt für einen Kreis, der die anderen drei Kreise einschließend berührt. Andernfalls ist das Pluszeichen zu setzen.

Betrachtet man eine Gerade als entarteten Kreis mit Krümmung <math>k = 0</math>, so lässt sich der Satz von Descartes auch anwenden, wenn eine Gerade und zwei Kreise gegeben sind, die einander berühren, und ein dritter Kreis gesucht ist, der die Gerade und die gegebenen Kreise berührt.

Satz von Descartes

Gegeben seien vier Kreise mit den Radien <math>r_1</math>, <math>r_2</math>, <math>r_3</math> und <math>r_4</math>. Definiert man wie oben für jeden dieser Kreise die vorzeichenbehaftete Krümmung <math>k_i</math> (für <math>i = 1, \ldots, 4</math>), so ist folgende Gleichung erfüllt:

<math>(k_1+k_2+k_3+k_4)^2 = 2\,(k_1^2+k_2^2+k_3^2+k_4^2)</math>

Auflösen dieser Gleichung nach <math>k_4</math> ermöglicht es, den Radius des vierten Kreises zu bestimmen:

<math>k_4 = k_1+k_2+k_3\pm2\sqrt{k_1k_2+k_2k_3+k_3k_1}.</math>

Das Plus-Minus-Symbol drückt aus, dass es im Allgemeinen zwei Lösungen gibt.

Beispiel

Gegeben seien drei Kreise mit den Radien <math>r_1 = 1/2</math>, <math>r_2 = 1/6</math> und <math>r_3 = 1/3</math>. Dementsprechend hat die vorzeichenbehaftete Krümmung die Werte <math>k_1 = 2</math>, <math>k_2 = 6</math> und <math>k_3 = 3</math>. Aus Gleichung (2) ergeben sich nun die beiden Lösungen <math>k_4 = 23</math> und <math>{k_4}' = -1</math>. Der winzige Kreis (rot) zwischen den gegebenen Kreisen hat daher den Radius <math>r_4 = 1/23</math>. Der große Kreis (ebenfalls rot), der die gegebenen Kreise einschließt, hat den Radius <math>{r_4}' = 1</math>.

Spezialfälle

Wird beispielsweise der dritte der drei gegebenen Kreise durch eine Gerade ersetzt, so wird <math>k_3</math> gleich 0 und fällt aus Gleichung (1) heraus. Gleichung (2) wird in diesem Fall wesentlich einfacher:

<math>k_4=k_1+k_2\pm2\sqrt{k_1k_2}.</math>

Beispiel

Gegeben seien zwei Kreise mit den Radien <math>r_1 = 1/4</math> und <math>r_2 = 1/9</math> sowie eine Gerade, die als Kreis mit unendlichem Radius aufgefasst wird. Die entsprechenden Werte für die vorzeichenbehaftete Krümmung sind <math>k_1 = 4</math>, <math>k_2 = 9</math> und <math>k_3 = 0</math>. Durch Anwendung von Gleichung (3) erhält man wieder zwei mögliche Werte, nämlich <math>k_4 = 25</math> und <math>{k_4}' = 1</math>. Für die Radien der beiden rot gezeichneten Kreise ergibt sich folglich <math>r_4 = 1/25</math> beziehungsweise <math>{r_4}' = 1</math>.

Der Satz von Descartes lässt sich nicht anwenden, wenn zwei oder sogar alle drei gegebenen Kreise durch Geraden ersetzt werden. Der Satz gilt auch dann nicht, wenn es mehr als einen einschließend berührenden Kreis gibt, also im Fall von drei ineinander gelegenen Kreisen mit gemeinsamem Berührpunkt.

Komplexer Satz von Descartes

Um einen Kreis vollständig zu bestimmen, nicht nur seinen Radius (oder seine Krümmung), muss man auch seinen Mittelpunkt kennen. Die Gleichung dafür lässt sich am einfachsten ausdrücken, wenn man die Koordinaten des Mittelpunkts (x, y) als komplexe Zahl <math>z = x+iy</math> interpretiert. Die Gleichung für <math>z_1, z_2, z_3, z_4</math> ist dem Satz von Descartes sehr ähnlich und wird daher als komplexer Satz von Descartes bezeichnet.

Gegeben seien vier Kreise mit den Mittelpunkten <math>z_1, z_2, z_3, z_4</math> und den vorzeichenbehafteten Krümmungen <math>k_1, k_2, k_3, k_4</math> (siehe oben), die einander berühren. Dann gilt zusätzlich zu (1) die Beziehung

<math>(k_1 z_1 + k_2 z_2 + k_3 z_3 + k_4 z_4)^2 = 2\,(k_1^2 z_1^2 + k_2^2 z_2^2 + k_3^2 z_3^2 + k_4^2 z_4^2).</math>

Durch die Substitution <math>q_i = k_i \cdot z_i </math> ergibt sich:

<math>(q_1 + q_2 + q_3 + q_4)^2 = 2\,(q_1^2 + q_2^2 + q_3^2 + q_4^2)</math>

Diese Gleichung ist analog zu <math>(1)</math> und hat die Lösung:

<math>q_4 = q_1 + q_2 + q_3 \pm2 \sqrt{q_1 q_2 + q_2 q_3 + q_3 q_1}.</math>

Auch hier ergeben sich im Allgemeinen zwei Lösungen.

Hat man <math>k_4</math> aus Gleichung (2) ermittelt, so erhält man <math>z_4</math> durch <math>z_4 = q_4 / k_4</math>

Weblinks

• Interaktives Applet (vier Kreise, die einander berühren)
• Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks: Beyond The Descartes Circle Theorem