Teilverhältnis

Unter dem Teilverhältnis versteht man in der Geometrie eine Zahl, die die Position eines Punktes in Bezug auf eine gegebene Strecke festlegt. Als Formelzeichen wird häufig λ verwendet. Teilt der Punkt T die Strecke $\left[ AB \right]$, so schreibt man für das Teilverhältnis $\lambda=\operatorname{TV}(ABT)$ oder, wenn die Bedeutung aus dem Zusammenhang klar ist, häufiger noch einfach λ = (ABT).

Beispiel für ein Teilverhältnis: Die Seitenhalbierende s_a wird vom Schwerpunkt S des Dreiecks im Verhältnis 2:1 geteilt. Dabei wird die Seitenhalbierende von der Ecke A zur gegenüberliegenden Mitte M_a der Strecke a hin orientiert; formalisiert: $\operatorname{TV}(AM_{a}S)=2$.

Die Mitte M einer Strecke teilt zum Beispiel die Strecke $\left[ AB \right]$ im Verhältnis 1:1, d.h. λ = (ABM) = 1. Ein weiteres einfaches Beispiel ist die in der Abbildung dargestellte Aussage über den Schwerpunkt und die Seitenhalbierenden in einem beliebigen Dreieck.

Ein (äußeres) Teilverhältnis wird zusätzlich für den Fall definiert, dass T nicht auf der Strecke $\left[ AB \right]$ liegt, sondern auf deren Verlängerung (äußere Teilung). Zusammen ergeben inneres und äußeres Teilverhältnis den Begriff Teilverhältnis in der affinen Geometrie, mit dem eine wichtige Invariante unter affinen Abbildungen beschrieben werden kann. Dieses allgemeinere Teilverhältnis hängt eng mit affinen Koordinatensystemen zusammen: Affine Koordinaten können stets aus Teilverhältnissen berechnet werden und umgekehrt.

Das Doppelverhältnis wird ähnlich gebildet wie das Teilverhältnis und hat in Projektiven Räumen eine vergleichbare Bedeutung.

Im Falle einer zweidimensionalen Geometrie (Ebene) wird ein Teilverhältnis in der synthetischen Geometrie allgemeiner auch für bestimmte nichtdesarguesche Ebenen definiert. → Siehe Affine Translationsebene.

Elementargeometrische Definition

Innere Teilung

Innere und äußere Teilung einer Strecke

Gegeben seien eine Strecke [AB] und ein von B verschiedener Punkt T auf [AB]. Dann ist das Teilverhältnis definiert durch

$\lambda = (ABT) = +\,\frac{\overline{AT}}{\overline{TB}}$

Einfache Teilverhältnisse werden in der Regel als Brüche angegeben; statt λ = 1,5 schreibt man „Teilverhältnis 3:2“ und spricht dies „3 zu 2“.

Wenn T mit B zusammenfällt, kann man λ = ∞ festsetzen.

Äußere Teilung

Liegt T auf der Geraden AB, jedoch nicht auf der Strecke [AB], so ist

$\lambda = (ABT) = -\,\frac{\overline{AT}}{\overline{TB}}$

Bei einer äußeren Teilung ist das Teilverhältnis also stets eine negative Zahl. Statt „λ = −1,5“ sagt man jedoch in der Regel „T teilt [AB] außen im Verhältnis 3:2“

Vertauschung von A und B

Beim Teilverhältnis wird [AB] als „gerichtete Strecke“ aufgefasst; es wird also zwischen Anfangs- und Endpunkt der Strecke unterschieden. Teilt ein Punkt die Strecke [AB] im Teilverhältnis λ, so teilt er [BA] im Teilverhältnis 1/λ. Als Formel:

$(ABT)\cdot(BAT)=1$ für T ≠ A und T ≠ B

Dies gilt für die innere wie auch für die äußere Teilung.

Zeichnerisches Ermitteln des Teilpunkts

Die Strecke [AB] wird durch T innen im Verhältnis 5:3 geteilt

Um den Teilpunkt zu finden, verwendet man eine Konstruktion nach dem zweiten Strahlensatz: Soll die Strecke [AB] im Verhältnis m:n geteilt werden, so zeichnet man durch A und durch B zwei parallele Geraden. Auf der Parallelen durch A trägt man m-mal, auf der Parallelen durch B n-mal die gleiche Strecke ab. Bei innerer Teilung muss das Abtragen in verschiedener Richtung, bei äußerer Teilung in gleicher Richtung erfolgen. Man zeichnet die Gerade durch die Endpunkte der abgetragenen Strecken. Ihr Schnittpunkt mit der Geraden AB ist der gesuchte Teilpunkt.

Die Strecke [AB] wird durch T außen im Verhältnis 5:3 geteilt

Einheitliche Definition des Teilverhältnisses

Die Fallunterscheidung in innere und äußere Teilung lässt sich dadurch vermeiden, dass man das Konzept der gerichteten Strecke verwendet und den Längen der gerichteten Strecken ein Vorzeichen zuschreibt: Der Wert von l_g(AT) (gerichtete Streckenlänge) beziehungsweise l_g(BT) soll negativ sein, wenn die entsprechende Strecke entgegengesetzt zu [AB] verläuft.

Mit dieser Festsetzung kann man (für T≠B) einheitlich definieren:

$\lambda = (ABT) = \frac{l_g(AT)}{l_g(TB)}$

Die gerichteten Strecken können auch als Vektoren aufgefasst werden. Da für Vektoren der Quotient nicht definiert ist, setzt man dann fest:

Das Teilverhältnis des Punktes T bezüglich der Strecke [AB] ist die (für $\overrightarrow{TB}\ne\vec 0$) eindeutig bestimmte Zahl λ, für die gilt

$\overrightarrow{AT} \, = \, \lambda \, \overrightarrow{TB}$.

Eine einheitliche Darstellung erhält man ebenfalls, wenn AB eine Zahlengerade ist. Haben A, B und T die Zahlenwerte a, b und t (t≠b), so ist

$\lambda = \frac{t-a}{b-t}$,

und das Vorzeichen ergibt sich automatisch.

Sind die Punkte in einem Parallelkoordinatensystem gegeben durch A(a|a'), und B(b|b') und T(t|t'), so ist

$\lambda = \frac{t-a}{b-t} = \frac{t'-a'}{b'-t'}$.

Die Teilverhältnisse der Koordinatenabschnitte sind also dieselben wie die auf der Geraden AB. Dies folgt aus dem ersten Strahlensatz.

Goldener Schnitt: (ABS) lässt sich nicht als Verhältnis ganzer Zahlen ausdrücken

Irrationale Teilverhältnisse

Nicht für jeden Teilpunkt T ist es möglich, das Teilverhältnis als ein Verhältnis ganzer Zahlen anzugeben. Dies herausgefunden zu haben ist eine hervorragende Leistung bereits der griechischen Mathematik. So ist zum Beispiel das Teilverhältnis beim goldenen Schnitt (λ = 1/2 + √5 /2) eine irrationale Zahl, die sich nicht in der Form m:n (mit ganzzahligem m und n) schreiben lässt.

Dagegen entspricht jedem Punkt T der Geraden AB (außer dem Punkt B) eine reelle Zahl als Teilverhältnis (ABT). Umgekehrt kann man sagen, dass die Teilverhältnisse (ABT), wenn T die Gerade AB durchwandert, alle reellen Zahlen und den Wert ∞ annehmen.

Teilverhältnis beim Teilen der Einheitsstrecke

Das Teilverhältnis erzeugt also eine umkehrbar eindeutige Abbildung der (bei B gelochten) Gerade AB auf die Menge der reellen Zahlen. Nimmt man als Strecke [AB] das Intervall [0;1] der Zahlengeraden und als Teilpunkt den Punkt x, so entspricht dieser Abbildung der Funktionsterm $\lambda = \frac {x}{1-x}$.

Rechnerische Bestimmung des Teilpunkts

Wenn die Strecke $\left[ AB \right]$ und das Teilverhältnis $\lambda\,$, in dem T die Strecke teilt, gegeben sind, berechnet man die gerichtete Länge der Strecke $\left[ AT \right]$ nach der Formel

$l_g(AT) = \frac{\lambda}{1+\lambda}\ \cdot l_g(AB)$

Liegt λ zwischen 0 und −1, so ergibt sich für l_g(AT) ein negativer Wert. Tist dann auf der Seite der Verbindungsgeraden AB einzutragen, auf der (von A aus gesehen) B nicht liegt.

Die Gleichung kann man auch als Vektorgleichung für die Verbindungsvektoren lesen:

$\overrightarrow{AT} = \frac{\lambda}{1+\lambda}\ \cdot \overrightarrow{AB}.$

Teilverhältnis und affine Koordinaten

Sind die Punkte A(a | a') und B(b | b') der affinen Ebene durch ihre inhomogenen affinen Koordinaten gegeben, so sind die entsprechenden Koordinaten von T(t | t'):

$t=\frac{1}{1+\lambda}(a+\lambda \,b), \ t'=\frac{1}{1+\lambda}(a'+\lambda \,b')$.

Analog können in affinen Räumen mit mehr als 2 Dimensionen alle inhomogenen Koordinaten von T aus den entsprechenden Koordinaten von A und B berechnet werden: Sind A und B durch ihre Ortsvektoren gegeben, dann ist

$\overrightarrow{OT} = \frac{1}{1+\lambda} \cdot (\overrightarrow{OA} + \lambda \cdot \overrightarrow{OB})\,$ der Ortsvektor von T.

Koordinatensysteme auf der Verbindungsgeraden, Geradengleichung

Das Hebelgesetz an einer Wippe kann den Zusammenhang zwischen Teilverhältnis und baryzentrischen Koordinaten anschaulich machen: Wenn das Gewicht des linken Punktes A 20 mal so groß ist, wie das Gewicht des rechten Punktes B, teilt der Schwerpunkt, in dem die Wippe unterstützt werden muss, die Verbindungsstrecke (von A, dem Auflagepunkt des größeren Gewichts aus gesehen) im Verhältnis 1:20.

Andererseits kann man auch auf der Verbindungsgeraden AB alleine ein affines Koordinatensystem mit Ursprung A und "Einheitspunkt" B einführen. Dann lässt sich der Ortsvektor eines beliebigen Punktes auf der Geraden eineindeutig durch einen Parameterwert τ in der Geradengleichung in Parameterform

$g=AB: \overrightarrow{OT}= \overrightarrow{OA}+\tau\cdot \overrightarrow{AB}\,$ darstellen. Gleichwertig ist $\overrightarrow{AT}=\tau \cdot \overrightarrow{AB}.$

Der Parameterwert τ ist dann die inhomogene affine Koordinate von T bezüglich des affinen Koordinatensystems (A,B). Ein Vergleich mit dem Teilverhältnis λ liefert die Umrechnungsformeln

$\tau=\frac{\lambda}{1+\lambda}\,$ und $\lambda= \frac{\tau}{1-\tau}.$

In der baryzentrischen Darstellung gilt für den Ortsvektor $\overrightarrow{OT}$ eines Punktes T auf der Geraden AB:

$\overrightarrow{OT}=\lambda_0 \cdot \overrightarrow{OA}+ \lambda_1\cdot\overrightarrow{OB};\quad \lambda_0+\lambda_1=1.$

Hier ist das Teilverhältnis $\lambda = \lambda_1 \,:\, \lambda_0$, die Koordinaten (λ₀;λ₁) sind die baryzentrischen Koordinaten von T bezüglich des Koordinatensystems (A,B). Das Bild rechts veranschaulicht ein Beispiel, in dem T der Schwerpunkt der beiden Massen auf der Wippe, $\lambda_0=\frac{20}{21}$, $\lambda_1=\frac{1}{21}$ ist - diese Zahlen können hier als relative Gewichte der Auflagepunkte auf der Wippe angesehen werden - und die Streckenteilung im umgekehrten Verhältnis zum Gewichtsverhältnis erfolgt: λ = 1:20.

Invariante der Affinen Geometrie

Das Teilverhältnis ist eine Invariante jeder affinen Abbildung, d.h. es behält bei Anwendung einer solchen Abbildung (beispielsweise einer Spiegelung, einer zentrischen Streckung oder einer Scherung) seinen Wert, sofern nicht die ganze Gerade, auf der das Teilverhältnis berechnet wird, auf einen einzigen Punkt abgebildet wird. Die Eigenschaft kann als kennzeichnendes Merkmal der affinen Geometrie angesehen werden.

→ Die Beschreibung einer "Geometrie" durch ihre Invarianten wird im Hauptartikel Erlanger Programm dargelegt.

Siehe auch

• harmonische Teilung
• Doppelverhältnis
• Möbiustransformation
• Affine Translationsebene

Weblinks

• Veranschaulichung der inneren und äußeren Teilung einer Strecke (durch Dynamische Geometrie)

Literatur

• Hermann Schaal, Ekkehart Glässner: Lineare Algebra und analytische Geometrie, Band 1, 255 Seiten, Vieweg; Braunschweig, Wiesbaden 1976, ISBN 3-528-03056-9
• Uwe Storch, Hartmut Wiebe: Lehrbuch der Mathematik, Band II: Lineare Algebra. BI-Wissenschafts-Verlag, 1990, ISBN 3-411-14101-8