Benutzer:Abrankov/Anfänge einer Dreiecksgeometrie

Anfänge einer Dreiecksgeometrie

Ein Dreieck wird durch drei Punkte definiert, die nicht auf einer Geraden liegen. Sie werden Ecken des Dreiecks genannt. Die Verbindungsstrecken zwischen je zwei Ecken heißen Seiten des Dreiecks.

Definition (Dreieck )

Ein geordnetes Tripel ${}a,b,c\in K^{2}$ heißt ein Dreieck, wenn die Ecken oder Eckpunkte ${}a,b,c$ nicht kollinear sind. Nach dem Drei-Punkte-Kriterium gilt also dann

${}[a,b,c]=0\,.$

Definition

Die Verbindungsgeraden von ${}a\lor b,\,\,b\lor c{\text{ und }}a\lor c$ heißen Seiten des Dreiecks ${}a,b,c$.

Bemerkung  

1. Mit ${}a,b,c$ sind alle durch Pärmutation entsprechende Tripel ebenfalls Dreiecke d.h. wenn drei Punkte nicht auf eine Gerade liegen man kann die beliebig Permutieren.
2. Die Menge der Dreiecke im ${}K^{2}$ ist gegenüber affine Abbildungen invariant.
3. Zu zwei Dreiecken ${}a,b,c\in K^{2}{\text{ und }}a',b',c'\in K^{2}$ existiert genau eine affine Abbildung ${}f$ mit

   ${}f(a)=a',f(b)=b',f(c)=c'\,.$

   d.h. jedes Dreieck mit affiner Abbildung kann man überführen, alle Dreiecke sind affine äquvqlent. Wenn man eine affine Abbildung anwendet, das ein Dreieck auf einen Dreieck bildet und umgekehrt, wenn man zwei Dreiecke hat das sie sich durch eine affine Abbildung unterscheiden.

4. Wenn ${}charK\neq 2$ hat, dann sind die Seitenmitten ein Dreiecks wohldefiniert

   ${}a'={\frac {1}{2}}(b+c),\,\,b'={\frac {1}{2}}(a+c),\,\,c'={\frac {1}{2}}(a+b)\,$

   
   ${}[a^{\prime },b^{\prime },c^{\prime }]=[a^{\prime }.b^{\prime }]+[b^{\prime }.c^{\prime }]+[c^{\prime }.a^{\prime }]$ (alternierende Funktion)

   ${}=det(a^{\prime }-b^{\prime },b^{\prime }-c^{\prime })$

   ${}=det\left({\frac {1}{2}}(b+c)-{\frac {1}{2}}(a+c)\right),\left({\frac {1}{2}}(a+c)-{\frac {1}{2}}(a+b)\right)$

   ${}=det\left({\frac {b+c-a-c}{2}}\right),\left({\frac {a+c-a-b}{2}}\right)$

   ${}=det\left({\frac {b-a}{2}}\right),\left({\frac {c-b}{2}}\right)$

   ${}={\frac {1}{4}}det\left({b-a}),({c-b}\right)$

   ${}={\frac {1}{4}}[a,b,c]$

   
   Wegen ${}[a,b,c]={\frac {1}{4}}[a,b,c]$ ist ${}a^{\prime },b^{\prime },c^{\prime }$ wieder ein Dreieck, das so genante Mittendreieck ${}a^{\prime },b^{\prime },c^{\prime }$.

Eine Seitenhalbierende in einem Dreieck ist eine Strecke, die eine Ecke des Dreiecks mit dem Mittelpunkt der gegenüberliegenden Seite verbindet. Da eine Seitenhalbierende die Dreiecksfläche halbiert, ist sie ein spezieller Median oder eine Schwerlinie. Die drei Seitenhalbierenden eines Dreiecks schneiden sich in einem Punkt, dem so genannten Schwerpunkt des Dreiecks. Dieser teilt jede der Seitenhalbierenden im Verhältnis 2:1. Dabei ist die Strecke zwischen Schwerpunkt und Ecke länger als die Strecke zwischen Schwerpunkt und Seitenmittelpunkt.

Definition (Seitenhalbierende )

Sei ${}charK\neq 2\,\,{\text{ und }}\,\,\ a,b,c\in K^{2}$ ein Dreieck. Die Verbindungsgerade eines Eckpunktes mit der gegenüberliegenden Seitenmitte eines Dreiecks ${}a,b,c$ nennt man eine Seitenhalbierende. Die Seitenhalbierenden sind folgende Geraden:

${}S_{a}:=G_{{a},{\frac {1}{2}}(b+c)-a}=G_{{a},{b+c-2a}}\,$

${}S_{b}:=G_{{b},{\frac {1}{2}}(a+c)-b}=G_{{b},{a+c-2b}}\,$

${}S_{a}:=G_{{c},{\frac {1}{2}}(a+b)-c}=G_{{c},{a+b-2c}}\,$

Proposition

Die drei Seitenhalbierenden eines Dreiecks sind paarweise verschieden.

Beweis

Benutzer:Abrankov/Fakt/Beweis

$\Box$

Korollar

Hat ${}K$ die ${}char=3$, so sind die drei Seitenhalbierenden in jedem Drerieck parallel und parweise verschieden.

Beweis

Benutzer:Abrankov/Seitenhalbierende//Beweis

$\Box$

Satz (Schwerpunktsatz)

Sei ${}char\neq 2,3$. In jedem Dreieck ${}a,b,c\in K^{2}$ schneiden sich die drei Seitenhalbierenden in genau einem Punkt ${}s$. Dieser Punkt ist der Schwerpunkt eines Dreiecks.

${}s:=S_{a,b,c}:={\frac {1}{3}}(a,b,c)\,$

Beweis

Benutzer:Abrankov/Schwerpunktsatz/Fakt/Beweis

$\Box$

Wenn man die Proposition beachtet, erhält man zusammenfassend den Äquivalenzsatz.

Satz (Äquivalenzsatz)

Für ein Körper ${}K$ mit ${}char\neq 2$ sind äquivalent:

1. Es gibt ein Dreieck aus ${}K^{2}$, in dem sich die drei Seitenhalbierenden in einem Punkt schneiden. Es reicht überhaupt ein einziges zu haben für das das gilt, dann gilt es für jedes anderen auch das ist äquivalent wegen affine Abbildung.
2. In jeden Dreieck aus ${}K^{2}$ schneiden sich die drei Seitenhalbierenden in einem Punkt.
3. ${}charK\neq 3$.

Wenn ${}char=3$, dann sind die Seitenhalbierenden parallel und paarweise verschiedene und wenn ${}char\neq 3$, dann schneiden sich in ein Punkt, das haben wir schon in Schwerpunktsatz gezeigt.

Schwerpunkt von endlich viele Punkten

Schwerpunkt von endlich viele Punkten ist nur eine Auswertung der ganze Sache von drei Punkte auf ${}n$ Punkte und man kann versuchen zu verallgemeinert. Man hat Schwerpunkt für ${}n-1$ und dann kriegt man eine Gerade durch einen Punkt und den Schwerpunkt.

Definition (Schwerpunkt von endlich viele Punkte)

Sei ${}n\in \mathbb {N} {\text{ und }}n\geq 3$.

Ist die Charakteristik von ${}K$ kein Teiler von ${}n$ und sind nicht-kollineare Punkte ${}a_{1},\ldots ,a_{n}\in K^{2}$ gegeben, dann nennt man

${}s:={\frac {1}{n}}(a_{1}+\ldots +a_{n})\,$

den Schwerpunkt von ${}a_{1},\ldots ,a_{n}$.

Ist die Charakteristik von ${}K$ kein Teiler von ${}n-1$, dann kann der Schwerpunkt von jeweils ${}n-1$ Punkten

${}s_{i}:={\frac {1}{n-1}}(a_{1}+\ldots +{\hat {a}}_{i}+\ldots a_{n})\,\,{\text{ für }}i=1,\ldots ,n\,$

definiert werden. Dabei ist jeweils ${}a_{i}$ in der Summe wegzulassen.

Proposition

Ist ${}charK$ ein Teiler von ${}n$, dann sind die Geraden ${}S_{1},S_{2},...,S_{n}$ alle parallel und haben keinen gemeinsamen Schnittpunkt.

Beweis

Benutzer:Abrankov/Fakt/Parallele Geraden/Beweis

$\Box$

Satz (Schwerpunktsatz von endlich viele Punkten)

Ist ${}charK$ kein Teiler von ${}n(n-1)$, so schneiden sich die Geraden ${}S_{i}\,\,{\text{ für }}i=1,...,n$, im Schwerpunkt ${}s$.

Beweis

Benutzer:Abrankov/Schwerpunktsatz von endlich viele Punkten/Fakt/Beweis

$\Box$

Satz (Äquivalenzsatz)

Benutzer:Abrankov/Äquivalenzsatz von endlich vielen Punkten

Wir führen am Ende die Dreieckskoordinaten. Für viele Anwendungen ist es zwegmäsig Koordinatensystem einzuführen das von einem Dreieck ${}a,b,c$ abhängig ist.

Dreieckskoordinaten

Lemma (Deieckskoordinaten )

Sei ${}a,b,c\in K^{2}$ ein Dreieck. Dann existieren zu jedem ${}x\in K^{2}$ eindeutig bestimmte ${}\alpha ,\beta ,\gamma \in K$, für die folgende Aussagen gelten.

1. ${}x=\alpha a+\beta b+\gamma c$
2. ${}\alpha +\beta +\gamma =1$
3. ${}\alpha ={\frac {[x,b,c]}{[a,b,c]}},\,\,\beta ={\frac {[a,x,c]}{[a,b,c]}},\,\,\gamma ={\frac {[a,b,x]}{[a,b,c]}}$

Beweis

Benutzer:Abrankov/Dreieckskoordinaten/Lemma/Fakt/Beweis

$\Box$

Literatur

• Max Koecher, Aloys Krieg, Ebene Geometrie , 3. Aufl., Springer, Berlin (2007), ISBN

978-3-540-49327-3