Kurs:Lineare Algebra (Osnabrück 2017-2018)/Teil II/Vorlesung 37/latex

Aus Wikiversity

\setcounter{section}{37}

Neben den drei Eckpunkten eines Dreieckes gibt es noch weitere charakteristische Punkte eines Dreieckes wie den Schwerpunkt, den Umkreismittelpunkt, den Inkreismittelpunkt und den Höhenschnittpunkt.






\zwischenueberschrift{Seitenhalbierende und Schwerpunkt}




\inputdefinition
{}
{

Zu einer Menge von $n$ Punkten
\mathl{P_1 , \ldots , P_n}{} in einem \definitionsverweis {affinen Raum}{}{} $E$ über einem reellen Vektorraum $V$ nennt man die \definitionsverweis {baryzentrische Kombination}{}{}
\mathdisp {{ \frac{ 1 }{ n } } P_1 + { \frac{ 1 }{ n } } P_2 + \cdots + { \frac{ 1 }{ n } } P_n} { }
den \definitionswort {Schwerpunkt}{} der Punkte.

}

Es handelt sich also um diejenige baryzentrische Kombination der Punkte, bei der jeder Punkt mit der gleichen Gewichtung eingeht. Zu Punkten
\mavergleichskette
{\vergleichskette
{ P,Q }
{ \in }{E }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} heißt der Schwerpunkt
\mathl{{ \frac{ 1 }{ 2 } } P + { \frac{ 1 }{ 2 } } Q}{} auch der Mittelpunkt der beiden Punkte \zusatzklammer {oder der Strecke \mathlk{\overline{P,Q}}{}} {} {.} Bei zwei reellen Zahlen spricht man auch vom \stichwort {arithmetischen Mittel} {} der beiden Zahlen. Bei
\mavergleichskette
{\vergleichskette
{n }
{ = }{1,2,3 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist der Schwerpunkt der Punkte auch der Schwerpunkt ihrer konvexen Hülle. Der Schwerpunkt von drei Punkten tritt als Durchschnitt der Seitenhalbierenden des Dreiecks auf.


\inputdefinition
{}
{

Zu einem \definitionsverweis {nichtausgearteten Dreieck}{}{}
\mathl{A,B,C}{} in einer \definitionsverweis {euklidischen Ebene}{}{} heißt die Gerade
\mathdisp {{ \frac{ B+C }{ 2 } } + s { \left( A- { \frac{ B+C }{ 2 } } \right) } ,\, s \in \R} { , }
die \definitionswort {Seitenhalbierende}{} durch $A$

}

Die Seitenhalbierende durch $A$ verläuft also durch den Punkt $A$ und den Mittelpunkt der gegenüberliegenden Dreiecksseite.




\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Dreieck mit Seitenhalbierende.png} }
\end{center}
\bildtext {} }

\bildlizenz { Dreieck mit Seitenhalbierende.png } {} {Birgit Lachner} {de Wikipedia} {GNU FDL} {}





\inputfaktbeweis
{Dreieck/Seitenhalbierende/Schnittpunkt/Fakt}
{Satz}
{}
{

\faktsituation {In einem \definitionsverweis {nichtausgearteten Dreieck}{}{} in der \definitionsverweis {euklidischen Ebene}{}{}}
\faktfolgerung {treffen sich die drei \definitionsverweis {Seitenhalbierenden}{}{} im Schwerpunkt
\mathl{{ \frac{ A+B+C }{ 3 } }}{} des Dreiecks.}
\faktzusatz {}
\faktzusatz {}

}
{

Wir betrachten die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ B+C }{ 2 } } + s { \left( A- { \frac{ B+C }{ 2 } } \right) } }
{ =} { { \frac{ A+C }{ 2 } } + t { \left( B- { \frac{ A+C }{ 2 } } \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{,} die auf
\mavergleichskettealign
{\vergleichskettealign
{ { \frac{ B-A }{ 2 } } }
{ =} { t { \left( B- { \frac{ A+C }{ 2 } } \right) } - s { \left( A- { \frac{ B+C }{ 2 } } \right) } }
{ =} { { \left( -s - { \frac{ t }{ 2 } } \right) } A + { \left( t + { \frac{ s }{ 2 } } \right) } B + { \frac{ s-t }{ 2 } } C }
{ } { }
{ } { }
} {} {}{} führt. Wir können
\mavergleichskette
{\vergleichskette
{E }
{ = }{\R^2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{A }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} setzen, woraus sich, da \mathkor {} {B} {und} {C} {} \definitionsverweis {linear unabhängig}{}{} sind,
\mavergleichskettedisp
{\vergleichskette
{s }
{ =} {t }
{ } { }
{ } { }
{ } { }
} {}{}{} ergibt. Daher ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ B-A }{ 2 } } }
{ =} { { \left( - { \frac{ 3 }{ 2 } } s \right) } A + { \left( { \frac{ 3 }{ 2 } } s \right) } B }
{ } { }
{ } { }
{ } { }
} {}{}{,} woraus
\mavergleichskettedisp
{\vergleichskette
{s }
{ =} { { \frac{ 1 }{ 3 } } }
{ } { }
{ } { }
{ } { }
} {}{}{} folgt. Somit ist der Schnittpunkt gleich
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ B+C }{ 2 } } + { \frac{ 1 }{ 3 } } { \left( A- { \frac{ B+C }{ 2 } } \right) } }
{ =} { { \frac{ 1 }{ 3 } } A + { \frac{ 1 }{ 3 } } B + { \frac{ 1 }{ 3 } } C }
{ } { }
{ } { }
{ } { }
} {}{}{.} Wegen der Symmetrie ist dies auch der Schnittpunkt mit der dritten Seitenhalbierenden.

}


Insbesondere schneidet der Schwerpunkt jede Seitenhalbierende im Verhältnis
\mathl{2:1}{,} wobei der längere Teil am Punkt anliegt.






\zwischenueberschrift{Mittelsenkrechte und Umkreismittelpunkt}




\inputdefinition
{}
{

Zu zwei Punkten
\mavergleichskette
{\vergleichskette
{A }
{ \neq }{B }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} in der \definitionsverweis {euklidischen Ebene}{}{} nennt man die \definitionsverweis {Gerade}{}{,} die \definitionsverweis {senkrecht}{}{} auf der durch \mathkor {} {A} {und} {B} {} gegebenen Gerade steht und durch den \definitionsverweis {Mittelpunkt}{}{} der Strecke zwischen \mathkor {} {A} {und} {B} {} verläuft, die \definitionswort {Mittelsenkrechte}{} der Strecke.

}

Die Mittelsenkrechte wird durch
\mathdisp {{ \frac{ A+B }{ 2 } } + s (B-A)^\perp,\, s \in \R} { , }
beschrieben, wobei
\mathl{(B-A)^\perp}{} einen beliebigen, zu
\mathl{B-A}{} senkrechten Vektor $\neq 0$ bezeichnet. Wenn \mathkor {} {A = \begin{pmatrix} a_1 \\a_2 \end{pmatrix}} {und} {B = \begin{pmatrix} b_1 \\b_2 \end{pmatrix}} {} in kartesischen Koordinaten gegeben sind, so ist die Mittelsenkrechte gleich
\mathdisp {{ \frac{ 1 }{ 2 } } \begin{pmatrix} a_1 +b_1 \\a_2+b_2 \end{pmatrix} + s \begin{pmatrix} b_2-a_2 \\- b_1 +a_1 \end{pmatrix}, \, s \in \R} { . }


\inputfaktbeweis
{Mittelsenkrechte/Abstandsbedingung/Fakt}
{Lemma}
{}
{

\faktsituation {Es seien
\mathl{A,B}{} verschiedene Punkte in einer \definitionsverweis {euklidischen Ebene}{}{.}}
\faktfolgerung {Dann besteht die \definitionsverweis {Mittelsenkrechte}{}{} zu \mathkor {} {A} {und} {B} {} genau aus allen Punkten, die zu \mathkor {} {A} {und } {B} {} den gleichen \definitionsverweis {Abstand}{}{} haben.}
\faktzusatz {}
\faktzusatz {}

}
{ Siehe Aufgabe 37.7. }







\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Circum.png} }
\end{center}
\bildtext {} }

\bildlizenz { Circum.png } {} {GifTagger} {Commons} {gemeinfrei} {}





\inputfaktbeweis
{Dreieck/Mittelsenkrechte/Schnittpunkt/Fakt}
{Satz}
{}
{

\faktsituation {Die \definitionsverweis {Mittelsenkrechten}{}{} der drei Seiten in einem \definitionsverweis {nichtausgearteten Dreieck}{}{} der \definitionsverweis {euklidischen Ebene}{}{}}
\faktfolgerung {schneiden sich in einem Punkt.}
\faktzusatz {Alle Eckpunkte des Dreiecks besitzen zu diesem Schnittpunkt den gleichen Abstand.}
\faktzusatz {}

}
{

Die Mittelsenkrechte zur Strecke zwischen $A$ und $B$ besteht nach Lemma 37.5 genau aus allen Punkten der Ebene, die zu diesen beiden Punkten den gleichen Abstand besitzt. Der Schnittpunkt $P$ der Mittelsenkrechte zu \mathkor {} {A} {und} {B} {} mit der Mittelsenkrechte zu \mathkor {} {A} {und} {C} {} hat also zu allen drei Eckpunkten den gleichen Abstand. Dies ergibt den Zusatz und auch, dass sich alle drei Mittelsenkrechten in diesem Punkt treffen.

}





\inputdefinition
{}
{

Der Schnittpunkt der drei \definitionsverweis {Mittelsenkrechten}{}{} in einem \definitionsverweis {nichtausgearteten Dreieck}{}{} in der euklidischen Ebene heißt \definitionswort {Umkreismittelpunkt}{.}

}

Der Umkreismittelpunkt ist der Mittelpunkt des \stichwort {Umkreises} {;} das ist derjenige Kreis, der die drei Eckpunkte des Dreiecks \zusatzklammer {auf seiner Peripherie} {} {} enthält.






\zwischenueberschrift{Winkelhalbierende und Inkreismittelpunkt}




\inputdefinition
{}
{

Zu zwei \definitionsverweis {linear unabhängigen}{}{} Vektoren \mathkor {} {v} {und} {w} {} in einem \definitionsverweis {normierten}{}{} \definitionsverweis {reellen Vektorraum}{}{} $V$ nennt man die von
\mathdisp {{ \frac{ v }{ \Vert {v} \Vert } } + { \frac{ w }{ \Vert {w} \Vert } }} { }
erzeugte Gerade die \definitionswort {Winkelhalbierende}{} der beiden Strahlen.

} Die Winkelhalbierende wird also ohne Bezug auf einen Winkel definiert, es wird ja noch nicht einmal ein Skalarprodukt vorausgesetzt. Wenn sich aber die beiden Vektoren in einem euklidischen Raum befinden, so zeigt eine einfache Überlegung \zusatzklammer {siehe Aufgabe 37.13} {} {,} dass die Winkelhalbierende in der Tat den Winkel halbiert. Die Definition überträgt sich direkt auf einen affinen Raum über einem normierten Vektorraum, und zwar definieren drei nicht kollineare Punkte jeweils eine Winkelhalbierende durch jeden der beteiligten Punkte.





\inputfaktbeweis
{Winkelhalbierende/Abstandsbedingung/Fakt}
{Lemma}
{}
{

\faktsituation {Es seien
\mathl{v,w}{} \definitionsverweis {linear unabhängige}{}{} Vektoren in $\R^2$.}
\faktfolgerung {Dann liegen auf der \definitionsverweis {Winkelhalbierenden}{}{} zu \mathkor {} {v} {und} {w} {} nur Punkte, die zu \mathkor {} {\R v} {und } {\R w} {} den gleichen \definitionsverweis {Abstand}{}{} haben. Wenn ein Punkt zu \mathkor {} {\R v} {und} {\R w} {} den gleichen Abstand besitzt, so liegt er auf der Winkelhalbierenden zu \mathkor {} {v} {und} {w} {} oder auf der Winkelhalbierenden zu \mathkor {} {v} {und} {-w} {.}}
\faktzusatz {}
\faktzusatz {}

}
{

Wir können annehmen, dass \mathkor {} {v} {und} {w} {} \definitionsverweis {normiert}{}{} sind. Es sei
\mavergleichskette
{\vergleichskette
{ P }
{ \in }{ \R^2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Nach Korollar 35.7 ist
\mavergleichskettedisp
{\vergleichskette
{ d(P,\R v)^2 }
{ =} { \Vert {P} \Vert^2 - \left\langle P , v \right\rangle^2 }
{ } { }
{ } { }
{ } { }
} {}{}{} und entsprechend
\mavergleichskettedisp
{\vergleichskette
{ d(P,\R w)^2 }
{ =} { \Vert {P} \Vert^2 - \left\langle P , w \right\rangle^2 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Also sind die Abstände genau dann gleich, wenn
\mavergleichskettedisp
{\vergleichskette
{ \left\langle P , v \right\rangle }
{ =} { \pm \left\langle P , w \right\rangle }
{ } { }
{ } { }
{ } { }
} {}{}{} ist. Wenn
\mavergleichskettedisp
{\vergleichskette
{P }
{ =} { s(v+w) }
{ } { }
{ } { }
{ } { }
} {}{}{} ist, so ist
\mavergleichskettedisp
{\vergleichskette
{ \left\langle P , v \right\rangle }
{ =} { \left\langle s(v+w) , v \right\rangle }
{ =} { s + s \left\langle w , v \right\rangle }
{ =} { \left\langle s(v+w) , w \right\rangle }
{ =} { \left\langle P , w \right\rangle }
} {}{}{} und die Gleichung gilt. Für die Umkehrung können wir
\mavergleichskettedisp
{\vergleichskette
{P }
{ =} { sv +tw }
{ } { }
{ } { }
{ } { }
} {}{}{} ansetzen. Bei
\mavergleichskettedisp
{\vergleichskette
{ \left\langle P , v \right\rangle }
{ =} { \left\langle P , w \right\rangle }
{ } { }
{ } { }
{ } { }
} {}{}{} folgt
\mavergleichskettedisp
{\vergleichskette
{ s + t \left\langle v , w \right\rangle }
{ =} { \left\langle sv+tw , v \right\rangle }
{ =} { \left\langle sv+tw , w \right\rangle }
{ =} { t + s \left\langle v , w \right\rangle }
{ } { }
} {}{}{} und somit
\mavergleichskettedisp
{\vergleichskette
{ s { \left( 1 - \left\langle v , w \right\rangle \right) } }
{ =} { t { \left( 1 - \left\langle v , w \right\rangle \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Da \mathkor {} {v} {und} {w} {} normiert und linear unabhängig sind, ist nach Aufgabe 31.9
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \left\langle v , w \right\rangle } }
{ <} { 1 }
{ } { }
{ } { }
{ } { }
} {}{}{,} der rechte Faktor ist nicht $0$ und somit ist
\mavergleichskette
{\vergleichskette
{s }
{ = }{t }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Bei
\mavergleichskettedisp
{\vergleichskette
{ \left\langle P , v \right\rangle }
{ =} { - \left\langle P , w \right\rangle }
{ } { }
{ } { }
{ } { }
} {}{}{} folgt mit einer ähnlichen Überlegung
\mavergleichskette
{\vergleichskette
{s }
{ = }{-t }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

}







\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Bisectrices.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Bisectrices.svg } {} {jtico} {Commons} {gemeinfrei} {}





\inputfaktbeweis
{Dreieck/Winkelhalbierende/Schnittpunkt/Fakt}
{Satz}
{}
{

\faktsituation {Die drei \definitionsverweis {Winkelhalbierenden}{}{} in einem \definitionsverweis {nichtausgearteten Dreieck}{}{}}
\faktfolgerung {treffen sich in einem gemeinsamen Schnittpunkt, der zu jeder Seite des Dreiecks den gleichen Abstand.}
\faktzusatz {Wenn die Eckpunkte durch
\mathl{A = \begin{pmatrix} a_1 \\a_2 \end{pmatrix}, B = \begin{pmatrix} b_1 \\b_2 \end{pmatrix}, C = \begin{pmatrix} c_1 \\c_2 \end{pmatrix}}{} und die Seitenlängen mit
\mathl{a = d(B,C), b = d(A,C) , c = d(A,B)}{} bezeichnet werden, so besitzt dieser Schnittpunkt die Koordinaten
\mathdisp {{ \frac{ 1 }{ a+b+c } } \begin{pmatrix} a a_1 +b b_1 +c c_1 \\a a_2 +b b_2 +c c_2 \end{pmatrix}} { . }
}
\faktzusatz {}

}
{

Nach Lemma 37.9 besteht die Winkelhalbierende zu $A$ aus Punkten, die zu den anliegenden Seiten\zusatzklammer {geraden} {} {} \mathkor {} {\R \overrightarrow{ A B }} {und} {\R \overrightarrow{ A C }} {} den gleichen Abstand haben. Ebenso besteht die Winkelhalbierende zu $B$ aus Punkten, die zu den anliegenden Seiten\zusatzklammer {geraden} {} {} \mathkor {} {\R \overrightarrow{ B A }} {und} {\R \overrightarrow{ B C }} {} den gleichen Abstand haben. Daher besitzt der Schnittpunkt dieser beiden Winkelhalbierenden, den es geben muss, zu allen drei Seiten den gleichen Abstand. Darüber hinaus stimmt das Skalarprodukt von diesem Schnittpunkt mit den drei normierten Seitenvektoren überein, wie der Beweis zu Lemma 37.9 zeigt. Wiederum wegen Lemma 37.9 muss er dann auch auf der dritten Winkelhalbierenden liegen.

Zur Koordinatenbestimmung schreiben wir die Winkelhalbierende durch $A$ als
\mathdisp {A +s { \left( { \frac{ \overrightarrow{ A B } }{ c } } + { \frac{ \overrightarrow{ A C } }{ b } } \right) }} { }
bzw.
\mathdisp {\begin{pmatrix} a_1 \\a_2 \end{pmatrix} +s { \left( { \frac{ 1 }{ c } } \begin{pmatrix} b_1-a_1 \\b_2-a_2 \end{pmatrix} + { \frac{ 1 }{ b } } \begin{pmatrix} c_1-a_1 \\c_2-a_2 \end{pmatrix} \right) }} { . }
Die Gleichsetzung mit der Winkelhalbierenden durch $B$ führt auf
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \begin{pmatrix} a_1 \\a_2 \end{pmatrix} +s { \left( { \frac{ 1 }{ c } } \begin{pmatrix} b_1-a_1 \\b_2-a_2 \end{pmatrix} + { \frac{ 1 }{ b } } \begin{pmatrix} c_1-a_1 \\c_2-a_2 \end{pmatrix} \right) } }
{ =} { \begin{pmatrix} b_1 \\b_2 \end{pmatrix} +t { \left( { \frac{ 1 }{ c } } \begin{pmatrix} a_1-b_1 \\a_2-b_2 \end{pmatrix} + { \frac{ 1 }{ a } } \begin{pmatrix} c_1-b_1 \\c_2-b_2 \end{pmatrix} \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Die Lösung ist durch
\mavergleichskettedisp
{\vergleichskette
{ s }
{ =} { { \frac{ bc }{ a+b+c } } }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ t }
{ =} { { \frac{ a c }{ a+b+c } } }
{ } { }
{ } { }
{ } { }
} {}{}{} gegeben, da dies eingesetzt jeweils zu
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ \begin{pmatrix} a_1 \\a_2 \end{pmatrix} + { \frac{ bc }{ a+b+c } } { \left( { \frac{ 1 }{ c } } \begin{pmatrix} b_1-a_1 \\b_2-a_2 \end{pmatrix} + { \frac{ 1 }{ b } } \begin{pmatrix} c_1-a_1 \\c_2-a_2 \end{pmatrix} \right) } }
{ =} { { \frac{ 1 }{ a+b+c } } \begin{pmatrix} a_1 (a+b+c) +b(b_1-a_1) +c(c_1-a_1) \\a_2(a+b+c) +b(b_2-a_2) +c(c_2-a_2) \end{pmatrix} }
{ =} { { \frac{ 1 }{ a+b+c } } \begin{pmatrix} a a_1 + b b_1 +c c_1 \\a a_2 +b b_2 +c c_2 \end{pmatrix} }
{ } { }
{ } { }
} {}{}{} führt. Dies ist also der Schnittpunkt, und zwar von allen drei Winkelhalbierenden.

}





\inputdefinition
{}
{

Der Schnittpunkt der drei \definitionsverweis {Winkelhalbierenden}{}{} in einem \definitionsverweis {nichtausgearteten Dreieck}{}{} in der euklidischen Ebene heißt \definitionswort {Inkreismittelpunkt}{.}

} Der Kreis um den Inkreismittelpunkt, der die drei Seiten des Dreiecks tangential trifft, heißt entsprechend \stichwort {Inkreis} {.}






\zwischenueberschrift{Höhenschnittpunkt}





\inputfaktbeweis
{Umkreismittelpunkt zentriert/Punktsumme auf Höhe/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $U$ der \definitionsverweis {Umkreismittelpunkt}{}{} und $S$ der \definitionsverweis {Schwerpunkt}{}{} eines \definitionsverweis {nichtausgearteten Dreieck}{}{} in der euklidischen Ebene.}
\faktfolgerung {Dann liegt der Punkt
\mathdisp {U + 3 \overrightarrow{ U S }} { }
auf jeder \definitionsverweis {Höhe}{}{} des Dreiecks.}
\faktzusatz {Insbesondere schneiden sich die drei Höhen in einem Punkt.}
\faktzusatz {}

}
{

Wir machen $U$ zum Ursprungspunkt, so dass die Punkte
\mathl{A,B,C}{} die gleiche Norm besitzen. Der in Frage stehende Punkt ist dann
\mathl{A+B+C}{.} Die durch diesen Punkt und $A$ gegebene Gerade hat den Richtungsvektor
\mathl{B+C}{.} Sie verläuft durch $A$ und es ist
\mavergleichskettedisp
{\vergleichskette
{ \left\langle B+C , B-C \right\rangle }
{ =} { \left\langle B , B \right\rangle - \left\langle C , C \right\rangle }
{ } { }
{ } { }
{ } { }
} {}{}{.} Wegen der Normgleichheit ist dies $0$, also handelt es sich um die Höhengerade durch $A$.

}





\inputdefinition
{}
{

Zu einem \definitionsverweis {nichtausgearteten Dreieck}{}{}
\mathl{A,B,C}{} in einer \definitionsverweis {euklidischen Ebene}{}{} heißt der Schnittpunkt der drei \definitionsverweis {Höhen}{}{} der \definitionswort {Höhenschnittpunkt}{.}

}






\zwischenueberschrift{Die eulersche Gerade}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {EulerGeradeColor.png} }
\end{center}
\bildtext {} }

\bildlizenz { EulerGeradeColor.png } {} {Strike} {de Wikipedia} {gemeinfrei} {}





\inputfaktbeweis
{Dreieck/Eulersche Gerade/Existenz/Fakt}
{Korollar}
{}
{

\faktsituation {Der \definitionsverweis {Schwerpunkt}{}{,} der \definitionsverweis {Umkreismittelpunkt}{}{} und der \definitionsverweis {Höhenschnittpunkt}{}{} eines \definitionsverweis {nichtausgearteten Dreiecks}{}{} in der \definitionsverweis {euklidischen Ebene}{}{}}
\faktfolgerung {liegen auf einer Gerade.}
\faktzusatz {}
\faktzusatz {}

}
{

Dies folgt direkt aus Lemma 37.12.

}


Wenn das Dreieck gleichseitig ist, so fallen die drei Punkte zusammen und es gibt viele Geraden durch diesen Punkt. Andernfalls sind diese Punkte nicht gleich \zusatzklammer {siehe Aufgabe 37.2} {} {} und es gibt genau eine Gerade, die durch diese drei Punkte verläuft. Man nennt sie die \stichwort {eulersche Gerade} {.}






\zwischenueberschrift{Der Feuerbachkreis}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Feuerbach circle.svg} }
\end{center}
\bildtext {Die neun Punkte des Neun-Punkte-Kreises: Die Seitenmittelpunkte \zusatzklammer {blau} {} {,} die Höhenfußpunkte \zusatzklammer {rot} {} {} und die Mittelpunkte \zusatzklammer {grün} {} {} zwischen Eckpunkten und Höhenschnittpunkt \zusatzklammer {schwarz} {} {.}} }

\bildlizenz { Feuerbach circle.svg } {} {Piotr mil} {Commons} {CC-by-sa 3.0} {}





\inputfaktbeweis
{Dreieck/Feuerbachkreis/Fakt}
{Lemma}
{}
{

\faktsituation {Durch die Eckpunkte
\mathl{A,B,C}{} sei ein \definitionsverweis {nichtausgeartetes Dreieck}{}{} $\triangle$ in der \definitionsverweis {euklidischen Ebene}{}{} gegeben. Es sei $F$ der \definitionsverweis {Umkreis}{}{} zu den \definitionsverweis {Seitenmittelpunkten}{}{} des Dreiecks.}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungdrei{Der Radius von $F$ ist die Hälfte des Umkreisradius von $\triangle$. }{Die Verbindungsstrecken des \definitionsverweis {Höhenschnittpunkts}{}{} und der Eckpunkte werden durch $F$ halbiert. }{Die \definitionsverweis {Höhenfußpunkte}{}{} von $\triangle$ liegen auf $F$. }}
\faktzusatz {}
\faktzusatz {}

}
{

(1). Es sei $U$ der \definitionsverweis {Umkreismittelpunkt}{}{} des Ausgangsdreiecks, den wir als Ursprung eines kartesischen Koordinantensystems ansetzen. Wir betrachten dann den Punkt
\mavergleichskettedisp
{\vergleichskette
{U' }
{ =} { { \frac{ 1 }{ 2 } } { \left( A+B+C \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Der Mittelpunkt
\mavergleichskette
{\vergleichskette
{A' }
{ = }{ { \frac{ 1 }{ 2 } } { \left( B+C \right) } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} der Dreiecksseite durch \mathkor {} {B} {und} {C} {} besitzt zu $U'$ den Abstand
\mavergleichskettedisp
{\vergleichskette
{ \Vert { { \frac{ 1 }{ 2 } } { \left( B+C \right) } - U' } \Vert }
{ =} { \Vert { { \frac{ 1 }{ 2 } } { \left( B+C \right) } - { \frac{ 1 }{ 2 } } { \left( A+ B+C \right) } } \Vert }
{ =} { { \frac{ 1 }{ 2 } } \Vert { A } \Vert }
{ } { }
{ } {}
} {}{}{.} Da die Normen von allen Eckpunkten
\mathl{A,B,C}{} nach Wahl von $U$ gleich sind, ist $U'$ der Umkreismittelpunkt des Seitenmittelpunktsdreiecks und der Radius ist die Hälfte des Umkreisradius.

(2). Nach Lemma 37.12 ist
\mathl{A+B+C}{} der \definitionsverweis {Höhenschnittpunkt}{}{.} Daher ist der Mittelpunkt der Strecke von $A$ zum Höhenschnittpunkt gleich
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 2 } } (A+B+C) + { \frac{ 1 }{ 2 } } A }
{ =} { A + { \frac{ 1 }{ 2 } } (B+C) }
{ } { }
{ } { }
{ } { }
} {}{}{.} Der Abstand davon zu $U'$ ist
\mavergleichskettedisp
{\vergleichskette
{ \Vert { { \frac{ 1 }{ 2 } } (A+ B+C) - { \left( A + { \frac{ 1 }{ 2 } } (B+C) \right) } } \Vert }
{ =} { \Vert { - { \frac{ 1 }{ 2 } } A } \Vert }
{ =} { { \frac{ 1 }{ 2 } } \Vert { A } \Vert }
{ } { }
{ } { }
} {}{}{.}

(3). Zunächst liegen die unter (1) bzw. (2) konstruierten Punkte auf dem Kreis $F$ gegenüber. Es ist ja
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 2 } } { \left( { \frac{ 1 }{ 2 } } ( B+C) \right) } + { \frac{ 1 }{ 2 } } { \left( A + { \frac{ 1 }{ 2 } } ( B+C) \right) } }
{ =} { { \frac{ 1 }{ 2 } } { \left( A + B+C \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} der Mittelpunkt von $F$. Somit bilden ein Seitenmittelpunkt, der gegenüberliegende Halbierungspunkt zwischen Eckpunkt und Höhenschnittpunkt und der entsprechende Höhenfußpunkt ein rechtwinkliges Dreieck. Dessen Thaleskreis ist stets der Feuerbachkreis.

}


Den Kreis in der vorstehenden Aussage nennt man den \stichwort {Feuerbachkreis} {} oder auch den \stichwort {Neun-Punkte-Kreis} {.}