Beweisarchiv: Geometrie: Konjugierte Durchmesser

Beweisarchiv: Geometrie

Schwerpunktsätze von Leibniz

Planimetrie

Kreis: Mittelpunktswinkel-Umfangswinkel · Satz des Ptolemäus · Sehnensatz · Sehnentangentenwinkel · Sehnenviereck · Sekantensatz · Tangentenviereck · Japanischer Satz für konzyklische Vierecke · Satz des Thales

Rechtwinkliges Dreieck: Satz des Pythagoras

Ellipse: Satz vom Flüstergewölbe · Konjugierte Durchmesser

Regelmäßige Vielecke: Dreieck · Viereck · Fünfeck · Sechseck ·

Dreieck: Satz des Heron · Berechnung des Flächeninhalts des Diagonalendreiecks im Quader · Elementarer Satz zur Charakterisierung des Schwerpunkts im Dreieck via Flächeninhalte

Viereck: Flächenformel von Bretschneider

Inzidenzgeometrie ·

affine Geometrie: einfache Hilfssätze · Homothetien und Translationen · Desarguesche affine Ebenen sind Vektorräume

Trigonometrie

Additionstheoreme: Sinus · Kosinus · Tangens · Kotangens

Trigonometriesätze: Sinussatz · Kosinussatz · Neue Folgerungen aus dem Projektionssatz der Dreiecksgeometrie

Trigonometrie in der komplexen Ebene: Tangens und Kotangens in rechtwinkligen Dreiecken aus komplexen Zahlen

In einem kartesischen Koordinatensystem sei $a$ die Hauptachse, $b$ die Nebenachse einer Ellipse.

Ellipse mit zwei konjugierten Durchmessern

• Betrachtet man zu einem beliebigen Ellipsendurchmesser (einer Ellipsensehne durch den Ellipsenmittelpunkt) ${\overline {PP'}}$ alle parallelen Sehnen, so liegen deren Mittelpunkte ebenfalls auf einem Ellipsendurchmesser ${\overline {QQ'}}$. Man nennt ${\overline {QQ'}}$ den zu ${\overline {PP'}}$ konjugierten Durchmesser. (1)
• Bildet man zum konjugierten Durchmesser erneut den konjugierten Durchmesser, so erhält man wieder den ursprünglichen. In der Zeichnung stimmt also der zu ${\overline {QQ'}}$ konjugierte Durchmesser mit dem ursprünglichen Durchmesser ${\overline {PP'}}$ überein. (2)
• Die Tangenten in den Endpunkten eines Durchmessers (etwa ${\overline {PP'}}$) sind parallel zum konjugierten Durchmesser (im Beispiel ${\overline {QQ'}}$). (3)
• Haupt- und Nebenachse sind das einzige Paar orthogonaler konjugierter Durchmesser. (4.1)
• Ist die Ellipse ein Kreis, so sind genau die orthogonalen Durchmesser (auch) konjugiert. (4.2)
• Sind konjugierte Durchmesser nicht orthogonal, so ist das Produkt ihrer Steigungen ${\tfrac {-b^{2}}{a^{2}}}$. (5)
• Seien $d_{1}$, $d_{2}$ konjugierte Durchmesser. Dann ist $({\tfrac {d_{1}}{2}})^{2}+({\tfrac {d_{2}}{2}})^{2}=a^{2}+b^{2}$. (Erster Satz des Apollonius) (6.1)
• Für jedes Paar von konjugierten Halbmessern ${\tfrac {d_{1}}{2}},{\tfrac {d_{2}}{2}}$ hat das von diesen innerhalb der Ellipse aufgespannte Dreieck $\Delta$ stets denselben Flächeninhalt $F_{\Delta }$, nämlich $F_{\Delta }={\frac {a\cdot b}{2}}.$ (Zweiter Satz des Apollonius) (6.2)

Beweis:

Konzept des Beweises insgesamt

• Der Beweis dehnt die Bilinearform der Polare (a.a.O unter "E.") auf weitere Geraden aus, die Obermengen der betrachteten Durchmesser sind (und als Zentralen bezeichnet werden, s.u.). Aus der Beobachtung, dass die gleiche Bilinearform auf zwei verschiedene Arten als Zentrale deutbar ist, lässt sich ein Beweis sämtlicher angeführter Aussagen entwickeln, ohne dass Winkelfunktionen, Parameterformen oder eine affine Abbildung eingeführt werden.
• Wenn eine Aussage über einen Durchmesser direkt aus einer entsprechenden Aussage über die ihn enthaltende Zentrale folgt, wird dies nicht explizit formuliert.
• Ein Spaltenvektor ${\vec {v}}$ und der durch Transposition entstehende Zeilenvektor ${\vec {v}}^{T}$ bezeichnen das gleiche geometrische Objekt. Die jeweilige Schreibweise richtet sich nach der Definiertheit des Matrizenprodukts.
• Ein Punkt wird durch seinen Ortsvektor bezeichnet, die Sprechweise nicht unterschieden (also etwa "Punkt ${\vec {v}}$" für einen Punkt mit dem entsprechenden Ortsvektor usw.).

Definitionen und einfache Aussagen

A. Defintionen: Zentrale und konjugierte Zentrale, Richtung und Polrichtung

• Mit $\alpha ={\tfrac {1}{a^{2}}},\beta ={\tfrac {1}{b^{2}}}$ hat die betrachtete Ellipse die Form $1=\alpha x^{2}+\beta y^{2}$.
• Sei $M={\begin{pmatrix}\alpha &0\\0&\beta \end{pmatrix}}$.
• Für jeden beliebigen, aber festen Punkt ${\vec {s}}^{T}$ beschreibt die Gleichung

${\vec {s}}^{T}M{\vec {t}}=0\quad$ (i)

eine Ursprungsgerade mit (Normalenvektor ${\vec {s}}^{T}M$ und) Punkten ${\vec {t}}$, die in Anlehnung an den entsprechenden Begriff für Kreise im Folgenden als Zentrale $z$ der Ellipse bezeichnet wird. Jeder Punkt ${\vec {t}}$ einer Zentrale ist gleichzeitig ein Richtungsvektor derselben. Ein (beliebiger) Richtungsvektor ${\vec {t}}$ wird auch metonymisch als Richtung der Zentrale bezeichnet, denn zur Kennzeichnung der Geradenrichtung kommt es nicht auf den Skalar an, der die Punkte ${\vec {t}}$ einer gegebenen Zentrale voneinander unterscheidet.

• Der Vergleich mit eine Polarengleichung ${\vec {s}}^{T}M{\vec {t}}=1$ mit Pol ${\vec {s}}^{T}$ motiviert die Auffassung von ${\vec {s}}^{T}$ als "unendlich ferner Pol" der Zentrale, von dem nur die Richtung bekannt ist, und der hier als Polrichtung der Zentrale bezeichnet wird. Die die Polrichtung keinen Betrag hat, ist auch jeder Vektor $\lambda {\vec {s}}^{T}$, $\lambda \neq 0$ zu ihrer Bezeichnung zulässig.
• Wird ein beliebiger Punkt ${\vec {t}}\in z$ als Polrichtung aufgefasst, so beschreibt (i) eine weitere Zentrale mit (Normalenvektor $M{\vec {t}}$ und) Punkten ${\vec {s}}^{T}$, die als konjugierte Zentrale $z'$ (zu $z$) bezeichnet wird.

Die eingeführte Begrifflichkeit definiert die Äquivalenz folgender Aussagen:

"(i) beschreibt eine Zentrale $z$ mit Punkten ${\vec {t}}$."

"(i) beschreibt eine Zentrale $z$ mit Richtung ${\vec {t}}$."

"(i) beschreibt eine Zentrale $z$ mit Polrichtung ${\vec {s}}^{T}$."

"(i) beschreibt eine konjugierte Zentrale $z'$ mit Punkten ${\vec {s}}^{T}$."

"(i) beschreibt eine konjugierte Zentrale $z'$ mit Richtung ${\vec {s}}^{T}$."

"(i) beschreibt eine konjugierte Zentrale $z'$ mit Polrichtung ${\vec {t}}$."

B. Keine Zentrale ist zu sich selbst konjugiert.

Ein Punkt ${\vec {x}}$ gehöre sowohl einer Zentrale $z$ als auch ihrer konjugierten $z'$ an. Dann gilt für diesen:

${\vec {x}}^{T}M{\vec {x}}=0\Leftrightarrow \alpha x_{i}^{2}+\beta y_{i}^{2}=0$;

diese Gleichung hat wegen $\alpha ,\beta >0$ (im Reellen) nur die Lösung $x_{i}=y_{i}=0$. Also sind eine Zentrale und ihre konjugierte bis auf den Ursprung disjunkt.

C. Der Übergang zur konjugierten Zentrale ist eine Involution.

Wird in (i) ein beliebiger Punkt ${\vec {s}}^{T}\in z'$ als Polrichtung aufgefasst, so beschreibt (i) definitionsgemäß die konjugierte Zentrale $z''$ (zu $z'$) mit Punkten ${\vec {t}}$.

Da ${\vec {s}}^{T}$ mit A. Polrichtung von $z$ und eine Zentrale durch ihre Polrichtung eindeutig beschrieben ist, ist $z''$ = $z$.

Wenn zwei Zentralen durch dieselbe Gleichung des Typs (i) beschrieben werden, ist daher frei wählbar, welche derselben als die (zur anderen) konjugierte angesehen wird.

D. Eine Schar von Polaren $p_{i}$ sei parallel zur Zentrale $z:{\vec {s}}^{T}M{\vec {t}}=0$ mit Polrichtung ${\vec {s}}^{T}$. Dann ist der Pol ${\vec {s}}_{i}^{T}$ jeder Polare $p_{i}$ Punkt und Richtung der konjugierten Zentrale $z'$.

Da die Polaren $p_{i}:{\vec {s}}_{i}^{T}M{\vec {x}}=1$ zu $z$ parallel sind, ist der Normalenvektor ${\vec {n}}_{i}^{T}={\vec {s}}_{i}^{T}M$ je einer Polare kollinear zu ${\vec {n}}^{T}=s^{T}M$.

Da die Abbildung ${\vec {s}}_{i}^{T}\rightarrow {\vec {s}}_{i}^{T}M={\vec {n}}_{i}^{T}$ regulär ist, sind auch die Pole ${\vec {s}}_{i}^{T}$ der $p_{i}$ (kollinear zur) Polrichtung ${\vec {s}}^{T}$ von $z$.

Mit der Äquivalenz in A. folgt die Behauptung.

E. Die Zentrale $z:{\vec {s}}^{T}M{\vec {t}}=0$ habe die Richtung ${\vec {s}}^{T}=(x,y)$. Dann hat die konjugierte Zentrale $z'$ die Richtung ${\vec {t}}={\begin{pmatrix}-\beta y\\\alpha x\end{pmatrix}}$.

$z'$ hat die Polrichtung ${\vec {s}}^{T}$ und den Normalenvektor ${\vec {n}}^{T}={\vec {s}}^{T}M\ =(\alpha x,\beta y)$.

Die Richtung von $z'$ ist orthogonal zu ${\vec {n}}^{T}$; daraus folgt die Behauptung.

Beweis der Behauptungen

Idee zu (1): Jede betrachtete Sehne ist Teilmenge einer Polare $p_{i}$, die parallel zur Zentrale $(PP')=z:{\vec {s}}^{T}M{\vec {t}}=0$ mit Polrichtung ${\vec {s}}^{T}$ ist. Mit D. ist der Pol ${\vec {s}}_{i}^{T}$ einer solchen Polare $p_{i}$ Punkt und Richtung der konjugierten Zentrale $z'$. Da $z'$ mit B. nicht parallel zu $z$ ist, ist $z'$ auch nicht parallel zu den Polaren $p_{i}$, sondern schneidet je eine Polare in einem Stützvektor $\mu _{i}{\vec {s}}_{i}$ derselben. Nachrechnen lässt sich, dass $\mu _{i}{\vec {s}}_{i}\in z'$ je eine betrachtete Sehnen halbiert, und $z'$ daher den als konjugiert bezeichneten Durchmesser ${\overline {QQ'}}$ mit der behaupteten Eigenschaft enthält.

Mit ${\vec {s}}_{i}^{T}=(x_{i},y_{i})\in z'$ haben $z$ und die zu ihr parallelen $p_{i}$ nach E. einen Richtungsvektor ${\vec {u}}_{i}={\begin{pmatrix}-\beta y_{i}\\\alpha x_{i}\end{pmatrix}}$, und $p_{i}$ hat die Parameterform:

${\vec {x}}=\mu _{i}{\vec {s}}_{i}+\lambda {\vec {u}}_{i}={\begin{pmatrix}\mu _{i}x_{i}\\\mu _{i}y_{i}\end{pmatrix}}+\lambda {\begin{pmatrix}-\beta y_{i}\\\alpha x_{i}\end{pmatrix}}$.

Die Parameter $\lambda _{s}$ der Endpunkte $x_{1,2}$ der in $p_{i}$ enthaltenen Sehne lassen sich bestimmen, indem die Parameterdarstellung von $p_{i}$ koordinatenweise in die Definitionsgleichung der Ellipse (s.o. A.) eingesetzt wird:

$\alpha (\mu _{i}x_{i}-\lambda _{s}\beta y_{i})^{2}+\beta (\mu _{i}y_{i}+\lambda _{s}\alpha x_{i})^{2}=1$;

die beiden gemischten Glieder $\mp 2\alpha \beta \mu _{i}x_{i}y_{i}\lambda _{s}$ heben sich gegenseitig auf, sodass sich die Lösungen $\lambda _{s1,2}$ dieser quadratischen Gleichung höchstens um ein Vorzeichen unterscheiden, und die Endpunkte haben die Form

${\vec {x}}_{1}=\mu _{i}{\vec {s}}_{i}+\lambda _{s1}{\vec {u}}_{i}$ und ${\vec {x}}_{2}=\mu _{i}{\vec {s}}_{i}-\lambda _{s1}{\vec {u}}_{i}$.

Also halbiert $\mu _{i}{\vec {s}}_{i}\in z'$ je eine betrachtete Sehne, wie behauptet.

(2) folgt direkt aus C., da mit (1) jeder konjugierte Durchmesser in einer konjugierten Zentrale enthalten ist.

Idee zu (3): Die Tangente in $P$ oder $P'$ ist eine Polare, deren Pol auf der Ellipse liegt, und die zur konjugierten Zentrale $(QQ')$ parallel ist.

Ein Durchmesser der Voraussetzung, etwa ${\overline {PP'}}$, liegt in einer Zentrale $z:{\vec {s}}^{T}M{\vec {t}}=0$ mit Punkten ${\vec {s}}^{T}$.

Ein auch auf der Ellipse gelegener Punkt ${\vec {s}}^{T}={\vec {s}}_{0}^{T}\in z$ ist Endpunkt $P$ bzw. $P'$ des Durchmessers.

Eine Schar von Polaren $p_{i}:{\vec {s}}_{i}^{T}M{\vec {x}}=1$ sei parallel zur konjugierten Zentrale $z'=(QQ')$ mit Polrichtung ${\vec {s}}^{T}$.

Mit D. und C. ist der Pol ${\vec {s}}_{i}^{T}$ jeder Polare $p_{i}$ Punkt und Richtung der Zentrale $z''=z$.

Die Polare $p_{i}$ mit ${\vec {s}}_{i}^{T}={\vec {s}}_{0}^{T}$ ist die Tangente durch $P$ bzw. $P'$.

Erste Idee zu (4): Ist ${\vec {t}}$ die Richtung der Zentrale $z:{\vec {s}}^{T}M{\vec {t}}=0$, so ist ${\vec {s}}^{T}$ die Richtung der konjugierten Zentrale $z'$. Genau dann, wenn ${\vec {s}}^{T}$ nicht nur zum Normalenvektor $M{\vec {t}}$ von $z'$, sondern auch zu ${\vec {t}}$ orthogonal ist, sind $M{\vec {t}}$ und ${\vec {t}}$ kollinear, und ${\vec {t}}$ ist Eigenvektor von $M$.

Aus der Form von $M$ lassen sich die Eigenvektoren

${\vec {t}}_{1}={\begin{pmatrix}1\\0\end{pmatrix}}$ (zum Eigenwert $\alpha$) und ${\vec {t}}_{2}={\begin{pmatrix}0\\1\end{pmatrix}}$ (zum Eigenwert $\beta$)

ablesen. Mit Ergänzung um den jeweils orthogonalen Vektor ${\vec {s}}_{1,2}^{T}$ existieren genau folgende beiden Paare ${\vec {t}}_{i},{\vec {s}}_{i}^{T}$ von Richtungen orthogonaler konjugierter Zentralen:

${\vec {t}}_{1},{\vec {s}}_{1}^{T}={\vec {t}}_{2}^{T}$, d.h. $z$ ist die x-Achse, $z'$ die y-Achse und

${\vec {t}}_{2},{\vec {s}}_{2}^{T}={\vec {t}}_{1}^{T}$, d.h. $z$ ist die y-Achse, $z'$ die x-Achse

Hieraus folgt (4.1).

Ist die Ellipse ein Kreis und $M$ wegen $\alpha =\beta$ ein Vielfaches der identischen Abbildung, so sind alle Vektoren ${\vec {t}}$ Eigenvektoren, und der Übergang von einer beliebigen Richtung ${\vec {t}}_{i}$ zur dazu othogonalen Richtung ${\vec {s}}_{i}^{T}$ bedeutet gleichzeitig den Übergang von der Richtung einer Zentrale zu derjenigen der zu ihr konjugierten. Hieraus folgt (4.2).

Zweite Idee zu (4): Mit Koordinatendarstellungen für die Richtung einer Zentrale $z$ und der zu ihr konjugierten $z'$ lässt sich nachrechnen, in welchen Fällen das Sklararprodukt derselben verschwindet.

Mit E. sei ${\vec {s}}^{T}=(x,y)\in z$ sowie ${\vec {t}}={\begin{pmatrix}-\beta y\\\alpha x\end{pmatrix}}\in z'$.

Das Skalarprodukt ist

${\vec {s}}^{T}{\vec {t}}=xy(\alpha -\beta )$

und verschwindet in genau folgenden Fällen:

• $x=0$, d.h. $z$ ist die y-Achse, $z'$ die x-Achse, oder
• $y=0$, d.h. $z$ ist die x-Achse, $z'$ die y-Achse, hieraus folgt (4.1);
• $\alpha =\beta$, d.h. die Ellipse ist ein Kreis, und in diesem Fall gilt die Aussage für beliebige Richtungen der betrachteten (konjugierten) Zentralen;

für einen Kreis folgt aus der Koordinatendarstellung der Richtungsvektoren auch umgekehrt, dass beliebige zueinander orthogonale Richtungen ${\vec {s}}^{T}$ und ${\vec {t}}$ diejenigen einer Zentrale $z$ und ihrer konjugierten Zentrale $z'$ sind. Hieraus folgt (4.2).

Idee zu (5): Mit Koordinatendarstellungen für die Richtung einer Zentrale $z$ und der zu ihr konjugierten $z'$ lässt sich das Steigungsprodukt ausrechnen.

Mit E. sei ${\vec {s}}^{T}=(x,y)\in z$ sowie ${\vec {t}}={\begin{pmatrix}-\beta y\\\alpha x\end{pmatrix}}\in z'$.

Da die zu betrachtenden Zentralen nicht orthogonal sind, ist mit (4.1) keine derselben eine Koordinatenachse, somit $x,y\neq 0$.

Die Steigungen sind

${\frac {y}{x}}$ für ${\vec {s}}^{T}$ sowie ${\frac {\alpha x}{-\beta y}}$ für ${\vec {t}}$.

Das Produkt der Steigungen ist daher nach Kürzen

${\frac {\alpha }{-\beta }}={\frac {-b^{2}}{a^{2}}}$, wie behauptet.

Idee zu (6.1): Mit Koordinatendarstellungen für die Richtung einer Zentrale $z$ und der zu ihr konjugierten $z'$ lassen sich Ortsvektoren für einen Ellipsenpunkt auf je einer der beiden modellieren. Mit diesen Ortsvektoren lässt sich die angegebene Beziehung nachrechnen.

Mit E. sei ${\vec {s}}^{T}=(x,y)\in z$ sowie ${\vec {t}}={\begin{pmatrix}-\beta y\\\alpha x\end{pmatrix}}\in z'$.

${\tfrac {{\vec {d}}_{1}^{T}}{2}}={\vec {s}}^{T}\in z$ sei Ortsvektor eines Ellipsenpunktes, also

$\alpha x^{2}+\beta y^{2}=1.\quad$ (ii)

${\tfrac {{\vec {d}}_{2}}{2}}=\nu {\vec {t}}\in z'$ ($\nu$ Skalar) sei ebenfalls Ortsvektor eines Ellipsenpunktes, also

$\alpha (\nu (-\beta )y)^{2}+\beta (\nu \alpha x)^{2}=1;$

$\nu ^{2}\alpha \beta (\beta y^{2}+\alpha x^{2})=1;$

mit (ii):

$\nu ^{2}\alpha \beta =1.\quad$ (iii)

Dann ist:

${\tfrac {{\vec {d}}_{1}^{T}}{2}}{\tfrac {{\vec {d}}_{1}}{2}}+{\tfrac {{\vec {d}}_{2}^{T}}{2}}{\tfrac {{\vec {d}}_{2}}{2}}=$

${\vec {s}}^{T}{\vec {s}}+\nu ^{2}{\vec {t}}^{T}{\vec {t}}=$

$x^{2}+y^{2}+\nu ^{2}(\beta ^{2}y^{2}+\alpha ^{2}x^{2})=$

auf einen Nenner, mit $\alpha \beta$ erweitern:

${\frac {\alpha \beta (x^{2}+y^{2})+\nu ^{2}\alpha \beta (\beta ^{2}y^{2}+\alpha ^{2}x^{2})}{\alpha \beta }}=$

mit (iii):

${\frac {\alpha \beta x^{2}+\alpha \beta y^{2}+\beta ^{2}y^{2}+\alpha ^{2}x^{2}}{\alpha \beta }}=$

linke Seite der Ellipsengleichung ausklammern:

${\frac {(\alpha +\beta )(\alpha x^{2}+\beta y^{2})}{\alpha \beta }}=$

mit (ii):

${\frac {\beta +\alpha }{\alpha \beta }}=$${\frac {1}{\alpha }}+{\frac {1}{\beta }}=$$a^{2}+b^{2}$, wie behauptet.

Idee zu (6.2): Ebenso lässt sich unter Berücksichtigung der Gleichungen (ii) und (iii) der Flächeninhalt des von ${\tfrac {{\vec {d}}_{1}^{T}}{2}}={\vec {s}}^{T}\in z,{\tfrac {{\vec {d}}_{2}}{2}}=\nu {\vec {t}}\in z'$ aufgespannten Parallelogramms über die Determinante berechnen; die Dreiecksfläche $F_{\Delta }$ der Behauptung ist die Hälfte derselben.

Die Determinante hat mit den Spaltenvektoren ${\tfrac {{\vec {d}}_{1}}{2}},{\tfrac {{\vec {d}}_{2}}{2}}$ hat die Form

${\begin{vmatrix}x&-\nu \beta y\\y&\nu \alpha x\end{vmatrix}}$ =

$\nu (\alpha x^{2}+\beta y^{2})$ =

mit (ii) und (iii):

${\sqrt {\frac {1}{\alpha \beta }}}={\sqrt {a^{2}b^{2}}}=a\cdot b$.