Potenzgerade

Unter der Potenzgeraden (Potenzlinie, Chordale) zweier Kreise versteht man den geometrischen Ort (die Menge) aller Punkte, deren Potenz in Bezug auf die beiden Kreise übereinstimmt. Sind die Kreise $k_{1}, k_{2}$ durch ihre Mittelpunkte $M_{1}$ und $M_{2}$ sowie ihre Radien $r_{1}$ und $r_{2}$ gegeben, so sind die Potenzen eines Punktes $P$ bezgl. der beiden Kreise

Π_{1} (P) = | P M_{1} |^{2} - r_{1}^{2}, Π_{2} (P) = | P M_{2} |^{2} - r_{2}^{2}

Ein Punkt $P$ gehört zur Potenzgerade $g_{12}$ , wenn

Π_{1} (P) = Π_{2} (P)

gilt.

Die Potenzgerade ist nur definiert, wenn die gegebenen Kreise nicht konzentrisch sind, also keinen übereinstimmenden Mittelpunkt haben. Sind beide Radien gleich oder sogar 0, so ist die Potenzgerade die Mittelsenkrechte der Punkte $M_{1}, M_{2}$ .

Potenzgeraden spielen bei Kreisbüscheln eine wichtige Rolle: Ein Kreisbüschel ist eine Schar von Kreisen mit einer gemeinsamen Potenzgerade.

Bezeichnungen:
J. Steiner nannte die Potenzgerade Linie der gleichen Potenzen.
J.V. Poncelet verwandte chorde ideale.
J. Plücker führte die Bezeichnung Chordale ein.
M. Chasles bezeichnet sie als axe radical, was auch im Englischen (radical axis) üblich ist.
O. Hesse nennt die Potenzgerade gemeinschaftliche Sekante, auch in dem Fall, dass die beiden Kreise keine (reellen) Punkte gemeinsam haben.

Eigenschaften

Geometrische Form und Lage

Im Folgenden sind $\vec{x}, {\vec{m}}_{1}, {\vec{m}}_{2}$ die Ortsvektoren der Punkte $P, M_{1}, M_{2}$ . Die definierende Gleichung der Potenzgerade lässt sich damit schreiben:

(\vec{x} - {\vec{m}}_{1})^{2} - r_{1}^{2} = (\vec{x} - {\vec{m}}_{2})^{2} - r_{2}^{2} \leftrightarrow 2 \vec{x} \cdot ({\vec{m}}_{2} - {\vec{m}}_{1}) + {\vec{m}}_{1}^{2} - {\vec{m}}_{2}^{2} + r_{2}^{2} - r_{1}^{2} = 0

Aus der rechten Gleichung erkennt man

Die als Potenzgerade definierte Punktmenge ist tatsächlich eine Gerade und steht senkrecht auf der Verbindungsgerade der Mittelpunkte. ( ${\vec{m}}_{2} - {\vec{m}}_{1}$ ist eine Normale der Potenzgerade!)

Dividiert man die Gleichung durch $2 | {\vec{m}}_{2} - {\vec{m}}_{1} |$ , erhält man die Hessesche Normalenform. Einsetzen der Mittelpunkte liefert die Abstände der Potenzgerade zu den Mittelpunkten:

d_{1} = \frac{d^{2} + {r_{1}}^{2} - {r_{2}}^{2}}{2 d}, d_{2} = \frac{d^{2} + {r_{2}}^{2} - {r_{1}}^{2}}{2 d}

.

Dabei ist

d = | M_{1} M_{2} |

.

(Bei Verwendung der äquivalenten linken Gleichung in der Form $\dots = 0$ wird die Berechnung von $d_{1}, d_{2}$ besonders einfach.)

Schneiden sich die beiden Kreise, so geht die Potenzgerade durch die gemeinsamen Punkte. Falls sie sich nur berühren ist die gemeinsame Tangente die Potenzgerade.

Spezielle Lagen

Für zwei sich schneidende Kreise (Fall 3) geht die Potenzgerade durch die beiden Schnittpunkte. Falls sich die beiden Kreise berühren (Fall 2 und Fall 4), stimmt die Potenzgerade mit der gemeinsamen Tangente überein.

Orthogonalkreise

Für die Punkte der Potenzgeraden, die außerhalb der gegebenen Kreise liegen, sind die Tangentenabschnitte an beide Kreise gleich lang (siehe den Artikel über Potenz). Sind $S_{1}, T_{1}, S_{2}, T_{2}$ die Berührpunkte der Tangenten durch $P$ an die beiden Kreise, so liegen $S_{1}, T_{1}, S_{2}, T_{2}$ auf einem die Kreise $k_{1}, k_{2}$ senkrecht schneidenden Kreis $k_{o}$ .
Die Potenzgerade zweier Kreise ist die Menge der Mittelpunkte aller Kreise, welche die gegebenen Kreise rechtwinklig schneiden.

System orthogonaler Kreise

Die im vorigen Abschnitt enthaltene Möglichkeit zu zwei Kreisen ein System von Kreisen zu konstruieren, die die gegebenen Kreise orthogonal schneiden, lässt sich zu einer Konstruktion von zwei Systemen von Kreisen, die sich orthogonal schneiden, ausbauen:

Es seien $k_{1}, k_{2}$ zwei getrennt liegende Kreise (wie im vorigen Abschnitt), $M_{1}, M_{2}, r_{1}, r_{2}$ deren Mittelpunkte und Radien und $g_{12}$ deren Potenzgerade. Es werden nun diejenigen Kreise gesucht, deren Mittelpunkte auf der Gerade $\overline{M_{1} M_{2}}$ liegen und deren Potenzgerade zusammen mit $k_{1}$ auch $g_{12}$ ist. Es sei $κ_{2}$ ein solcher Kreis, dessen Mittelpunkt von $M_{1}$ den Abstand $δ$ und den Radius $ρ_{2}$ hat. Nach dem Resultat des vorigen Abschnitts ist dann

d_{1} = \frac{δ^{2} + r_{1}^{2} - ρ_{2}^{2}}{2 δ}

, wobei

d_{1} > r_{1}

fest sind.

Mit $δ_{2} = δ - d_{1}$ lässt sich diese Gleichung umformen zu:

δ_{2}^{2} = d_{1}^{2} - r_{1}^{2} + ρ_{2}^{2}

.

Gibt man den Radius $ρ_{2}$ vor, ergibt sich aus dieser Gleichung der Abstand $δ_{2}$ des neuen Mittelpunktes von der (festen) Potenzgerade. In der Abbildung sind die neuen Kreise lila. Die grünen Kreise (siehe Abbildung) mit Mittelpunkte auf der Potenzgerade schneiden $k_{1}, k_{2}$ senkrecht und damit auch alle neuen Kreise (lila). Wenn man die (rote) Potenzgerade als y-Achse und $\overline{M_{1} M_{2}}$ als x-Achse wählt, haben die beiden Kreisscharen die folgenden Gleichungen:

lila:

(x - δ_{2})^{2} + y^{2} = δ_{2}^{2} + r_{1}^{2} - d_{1}^{2}

grün:

x^{2} + (y - y_{g})^{2} = y_{g}^{2} + d_{1}^{2} - r_{1}^{2} .

( $(0, y_{g})$ ist der Mittelpunkt eines grünen Kreises.)

Eigenschaften:
a) Die grünen Kreise schneiden sich alle auf der x-Achse in den beiden Punkten $P_{1 / 2} = (\pm \sqrt{d_{1}^{2} - r_{1}^{2}}, 0)$ , den Polen des orthogonalen Kreissystems, d. h. die x-Achse ist die Potenzgerade der grünen Kreise.
b) Die lila Kreise haben keine (reellen) Punkte gemeinsam. Fasst man aber die reelle Ebene als Teil der komplexen Ebene auf, so schneiden sich die lila Kreise auf der y-Achse (gemeinsame Potenzgerade) in den beiden Punkten $Q_{1 / 2} = (0, \pm i \sqrt{d_{1}^{2} - r_{1}^{2}})$ .

Sonderfälle:
a) Im Fall $d_{1} = r_{1}$ berühren sich sowohl die grünen als auch die lila Kreise im Nullpunkt. Sie bilden zwei sich orthogonal schneidende parabolische Kreisbüschel (siehe unten).
b) Lässt man $k_{1}$ auf den Punkt $M_{1}$ schrumpfen, d. h. $r_{1} = 0$ , so vereinfachen sich die Gleichungen und es ist $M_{1} = P_{1}$ .

Zusammenfassung:
a) Für jede reelle Zahl $c$ gilt für die Kreisschar

k (ξ) : (x - ξ)^{2} + y^{2} - ξ^{2} - c = 0 :

Je zwei Kreise

k (ξ_{1}), k (ξ_{2})

haben die y-Achse als Potenzgerade.

Für

c > 0

schneiden sich

k (ξ_{1}), k (ξ_{2})

in den Punkten

P_{1 / 2} = (0, \pm \sqrt{c})

.

Für

c < 0

haben

k (ξ_{1}), k (ξ_{2})

keinen Punkt gemeinsam.

Für

c = 0

berühren sich

k (ξ_{1}), k (ξ_{2})

in dem Punkt

(0, 0)

.

b) Für jede reelle Zahl $c$ bilden die beiden Kreisscharen

k_{1} (ξ) : (x - ξ)^{2} + y^{2} - ξ^{2} - c = 0,

k_{2} (η) : x^{2} + (y - η)^{2} - η^{2} + c = 0

ein System orthogonaler Kreise. D.h.:

k_{1} (ξ), k_{2} (η)

schneiden sich für alle

ξ, η

orthogonal.

Für

c > 0

sind

P_{1 / 2} = (0, \pm \sqrt{c})

die Pole.

Für

c < 0

sind

P_{1 / 2} = (\pm \sqrt{- c}, 0)

die Pole.

Für

c = 0

ist

P_{1} = P_{2}

und das System ist parabolisch.

c) Die Gleichungen in b) lassen sich zur koordinatenfreien Formulierung verwenden:

Sind die beiden Punkte

P_{1}, P_{2}

gegeben,

O

ihr Mittelpunkt und

g_{12}

ihre Mittelsenkrechte, so beschreiben die beiden Gleichungen

| X M |^{2} = | O M |^{2} - | O P_{1} |^{2},

| X N |^{2} = | O N |^{2} + | O P_{1} |^{2} = | N P_{1} |^{2}

mit

M

auf

\overline{P_{1} P_{2}}

, aber nicht zwischen

P_{1}, P_{2}

, und

N

auf

g_{12}

das durch

P_{1}, P_{2}

eindeutig bestimmte orthogonale System von Kreisen.

P_{1}, P_{2}

sind die Pole des Systems.

Für

P_{1} = P_{2} = O

muss man zusätzlich die beiden Potenzgeraden, die Achsen des Systems,

a_{1}, a_{2}

vorgeben. Es ergibt sich das parabolische System:

| X M |^{2} = | O M |^{2}, | X N |^{2} = | O N |^{2}

mit

M

auf

a_{1}

und

N

auf

a_{2}

.

Konstruktion mit Zirkel und Lineal:

Ein orthogonales Kreissystem ist durch die Vorgabe seiner Pole $P_{1}, P_{2}$ eindeutig bestimmt:

Die Achsen (Potenzgeraden) sind die Gerade $\overline{P_{1} P_{2}}$ und die Mittelsenkrechte $g_{12}$ der Pole.
Die Kreise (im Bild grün) durch $P_{1}, P_{2}$ haben ihre Mittelpunkte auf $g_{12}$ . Zu einem Punkt $N$ ist der Radius $r_{N} = | N P_{1} |$ .
Um einen Kreis der zweiten Schar (im Bild blau) mit Mittelpunkt $M$ auf $\overline{P_{1} P_{2}}$ zu zeichnen, bestimmt man mit dem Satz des Pythagoras den Radius aus $r_{M}^{2} = | O M |^{2} - | O P_{1} |^{2}$ wie in dem Bild gezeigt.

Falls $P_{1} = P_{2}$ ist, müssen die Achsen vorgegeben werden. Das System ist dann parabolisch und leicht zu zeichnen.

Kreisbüschel

Definition und Eigenschaften:

Sind $k_{1}, k_{2}$ zwei Kreise und $Π_{1}, Π_{2}$ ihre Potenzfunktionen, so ist für jedes $λ \neq 1$

$Π_{1} (x, y) - λ Π_{2} (x, y) = 0$

die Gleichung eines Kreises $k (λ)$ (siehe unten). Diese Schar von Kreisen nennt man das von $k_{1}, k_{2}$ erzeugte Kreisbüschel.

Die Potenzfunktion von $k (λ)$ ist

Π (λ, x, y) = \frac{Π_{1} (x, y) - λ Π_{2} (x, y)}{1 - λ}

.

Man rechnet leicht nach, dass gilt:

$k (λ), k (μ), λ \neq μ,$ haben dieselbe Potenzgerade wie $k_{1}, k_{2}$ .

(H): Schneiden sich $k_{1}, k_{2}$ in zwei Punkten $P_{1}, P_{2}$ , so gehen auch alle Kreise $k (λ)$ durch $P_{1}, P_{2}$ und die Gerade $\overline{P_{1} P_{2}}$ ist ihre gemeinsame Potenzgerade. Ein solches Kreisbüschel heißt elliptisch.
(P): Berühren sich $k_{1}, k_{2}$ in $P$ , so berühren sich alle $k (λ)$ und die gemeinsame Tangente ist die Potenzgerade. Das Kreisbüschel heißt parabolisch.
(E): Haben $k_{1}, k_{2}$ keinen Punkt gemeinsam, so auch alle Kreise $k (λ)$ und das Büschel heißt hyperbolisch.

Konkret:

Führt man so Koordinaten ein, dass

k_{1} : (x - d_{1})^{2} + y^{2} = r_{1}^{2}

k_{2} : (x - d_{2})^{2} + y^{2} = d_{2}^{2} + r_{1}^{2} - d_{1}^{2}

,

so ist die y-Achse ihre Potenzgerade (siehe oben).

Falls $r_{1} > d_{1}$ ist, haben $k_{1}, k_{2}, k (λ)$ die beiden Punkte

P_{1} = (0, \sqrt{r_{1}^{2} - d_{1}^{2}}), P_{2} = (0, - \sqrt{r_{1}^{2} - d_{1}^{2}})

gemeinsam und das Kreisbüschel ist elliptisch.

Falls $r_{1} = d_{1}$ ist, haben $k_{1}, k_{2}, k (λ)$ den Punkt

P_{0} = (0, 0)

gemeinsam und das Büschel ist parabolisch.

Falls $r_{1} < d_{1}$ ist, haben $k_{1}, k_{2}, k (λ)$ keinen Punkt gemeinsam und das Büschel ist hyperbolisch.

Die Berechnung der Potenzfunktion $Π (λ, x, y)$ liefert die Gleichung des Kreises:

k (λ) : x^{2} + y^{2} - 2 \frac{d_{1} - λ d_{2}}{1 - λ} x + d_{1}^{2} - r_{1}^{2} = 0 .

Quadratische Ergänzung und die Substitution $δ_{2} = \frac{d_{1} - λ d_{2}}{1 - λ}$ (x-Koordinate des Mittelpunktes) führt auf die Mittelpunktsform

k (λ) : (x - δ_{2})^{2} + y^{2} = δ_{2}^{2} + r_{1}^{2} - d_{1}^{2}

.

Alternative Formen:
1) In der definierenden Gleichung des Kreisbüschels müssen nicht die Potenzfunktionen selbst stehen. Es können auch jeweils Vielfache davon verwendet werden.
2) Die Gleichung eines der beiden Kreise kann man auch durch die Gleichung der gewünschten Potenzgerade ersetzen. Die Potenzgerade kann man also als einen Kreis mit unendlich großem Radius ansehen. Z.B.:

((x - x_{1})^{2} + y^{2} - r_{1}^{2}) - λ 2 (x - x_{2}) = 0 \Leftrightarrow

(x - (x_{1} + λ))^{2} + y^{2} = (x_{1} + λ)^{2} + r_{1}^{2} - x_{1}^{2} - 2 λ x_{2}

,

beschreibt alle Kreise, die mit dem ersten Kreis die Gerade $x = x_{2}$ als Potenzgerade besitzen.
3) Um beide Kreise in der Definitionsgleichung formal gleich zu behandeln, verwendet man auch gelegentlich die symmetrisierte Form

μ Π_{1} + ν Π_{2} = 0

,

wobei $μ, ν$ nicht gleichzeitig Null sein dürfen. Der Nachteil dieser Form: Sie ist bezgl. $μ, ν$ nicht eindeutig.

Anwendung:
a) Kreisspiegelungen und Möbiustransformationen sind kreistreue und winkeltreue Abbildungen der Ebene. Orthogonale Kreisbüschel spielen deshalb bei Untersuchungen dieser Abbildungen eine besondere Rolle.
b) In der Elektrodynamik treten Kreisbüschel als Feldlinien auf. Sie werden dort, wie im Englischen (coaxal circles), auch koaxiale Kreise genannt.

Radikal dreier Kreise, Konstruktion der Potenzgerade

Sind drei Kreise gegeben, unter denen keine zwei konzentrisch sind, so existieren drei Potenzgeraden (jeweils eine zu zwei Kreisen). Falls die Mittelpunkte der gegebenen Kreise nicht auf einer Geraden liegen, schneiden sich die Potenzgeraden in einem Punkt (engl. radical center), und zwar im Mittelpunkt des Kreises, der die gegebenen Kreise rechtwinklig schneidet (engl. radical circle). Zum Nachweis: die Potenzgerade $g_{i k}$ enthält alle Punkte, die vom i-ten und k-ten Kreis denselben tangentialen Abstand haben. Der Schnittpunkt $R$ von $g_{12}$ und $g_{23}$ muss also zu allen drei Kreisen denselben tangentialen Abstand besitzen und damit auch auf $g_{13}$ liegen.

Diese Eigenschaft gibt die Möglichkeit die Potenzgerade von zwei sich nicht schneidenden Kreisen

k_{1}, k_{2}

zeichnerisch zu bestimmen: Man zeichne einen dritten Kreis

k_{3}

, der die gegebenen Kreise schneidet. Damit lassen sich die Potenzgeraden

g_{13}, g_{23}

zeichnen. Ihr Schnittpunkt

R

liegt auf

g_{12}

, die als Lotgerade von

R

auf die Gerade

\overline{M_{1} M_{2}}

gezeichnet werden kann.

Weitere Konstruktion:

Die Punkte, die bezgl. eines Kreises $k$ die gleiche Potenz besitzen, liegen auf einem zu $k$ konzentrischen Kreis. Diese Eigenschaft lässt sich zu einer weiteren Methode zur Konstruktion der Potenzgerade zweier Kreise verwenden:

Sind zwei sich nicht schneidende Kreise $k_{1}, k_{2}$ gegeben, so lassen sich, wie in der Zeichnung gezeigt, zu jedem Kreis $k_{i}$ ein weiterer Kreis $c_{i}$ zeichnen, mit der Eigenschaft: Die Punkte der Kreise $c_{1}, c_{2}$ haben bezüglich der Kreise $k_{1}, k_{2}$ die gleiche Potenz. Formal: $Π_{1} (P_{1}) = Π_{2} (P_{2})$ . Ist die Potenz groß genug gewählt, schneiden sich $c_{1}, c_{2}$ und liefern zwei Punkte der gesuchten Potenzgerade der Kreise $k_{1}, k_{2}$ .

Falls die Radien der beiden Kreise Null sind, ist die Potenzgerade die Mittelsenkrechte von $M_{1}, M_{2}$ und die Konstruktion ist die für Mittelsenkrechte übliche.

Literatur

↑ G. Aumann: Kreisgeometrie, S. 45
↑ Jakob Steiner: Einige geometrische Betrachtungen. In: Journal für die reine und angewandte Mathematik, Band 1, 1826, S. 165
↑ Ph. Fischer: Lehrbuch der analytische Geometrie, Darmstadt 1851, Verlag Ernst Kern, p. 67
↑ H. Schwarz: Die Elemente der analytischen Geometrie der Ebene, Verlag H. W. Schmidt, Halle, 1858, S. 218
↑ Michel Chasles, C. H. Schnuse: Die Grundlehren der neuern Geometrie, erster Theil, Verlag Leibrock, Braunschweig, 1856, S. 312
↑ O. Hesse: Analytische Geometrie der geraden Linie, des Punktes und des Kreises in der Ebene, Teubner-Verlag, Leipzig, 1881, S. 195.
↑ A. Schoenflies, R. Courant: Einführung in die Analytische Geometrie der Ebene und des Raumes, Springer-Verlag, 1931, S. 113
↑ C. Caratheodory: Funktionentheorie, Birkhäuser-Verlag, Basel, 1961, ISBN 978-3-7643-0064-7, S. 46
↑ Caratheodory: Funktionentheorie, S, 47.
↑ R. Sauer: Ingenieur-Mathematik: Zweiter Band: Differentialgleichungen und Funktionentheorie, Springer-Verlag, 1962, ISBN 978-3-642-53232-0, S. 105
↑ Clemens Schaefer: Elektrodynamik und Optik, Verlag: De Gruyter, 1950, ISBN 978-3-11-230936-0, S. 358.

Günter Aumann: Kreisgeometrie, Springer Spektrum, 2015, ISBN 978-3-662-45305-6, S. 39
Max Koecher, Aloys Krieg: Ebene Geometrie. Springer, 2013, ISBN 978-3-662-06809-0, S. 138–140
Harald Scheid, Wolfgang Schwarz: Elemente der Geometrie. Springer, 2016, ISBN 978-3-662-50323-2, S. 156–158

Weblinks

Eric W. Weisstein: Radical line. In: MathWorld (englisch).
Geogebra: Potenzgeraden interaktiv

[1] G. Aumann: Kreisgeometrie, S. 45

[2] Jakob Steiner: Einige geometrische Betrachtungen. In: Journal für die reine und angewandte Mathematik, Band 1, 1826, S. 165

[3] Ph. Fischer: Lehrbuch der analytische Geometrie, Darmstadt 1851, Verlag Ernst Kern, p. 67

[4] H. Schwarz: Die Elemente der analytischen Geometrie der Ebene, Verlag H. W. Schmidt, Halle, 1858, S. 218

[5] Michel Chasles, C. H. Schnuse: Die Grundlehren der neuern Geometrie, erster Theil, Verlag Leibrock, Braunschweig, 1856, S. 312

[6] O. Hesse: Analytische Geometrie der geraden Linie, des Punktes und des Kreises in der Ebene, Teubner-Verlag, Leipzig, 1881, S. 195.

[7] A. Schoenflies, R. Courant: Einführung in die Analytische Geometrie der Ebene und des Raumes, Springer-Verlag, 1931, S. 113

[8] C. Caratheodory: Funktionentheorie, Birkhäuser-Verlag, Basel, 1961, ISBN 978-3-7643-0064-7, S. 46

[9] Caratheodory: Funktionentheorie, S, 47.

[10] R. Sauer: Ingenieur-Mathematik: Zweiter Band: Differentialgleichungen und Funktionentheorie, Springer-Verlag, 1962, ISBN 978-3-642-53232-0, S. 105

[11] Clemens Schaefer: Elektrodynamik und Optik, Verlag: De Gruyter, 1950, ISBN 978-3-11-230936-0, S. 358.