Gerade

Darstellung von Geraden im kartesischen Koordinatensystem

Eine gerade Linie oder kurz Gerade ist ein Element der Geometrie. Die kürzeste Verbindung zweier Punkte ist gerade und wird als Strecke bezeichnet. Eine gerade, unendlich lange, unendlich dünne und in beide Richtungen unbegrenzte Linie nennt man eine Gerade. Moderne axiomatische Theorien der Geometrie nehmen darauf jedoch keinen Bezug (Synthetische Geometrie). Für sie ist eine Gerade ein Objekt ohne innere Eigenschaften, lediglich die Beziehungen zu anderen Geraden, Punkten und Ebenen sind von Bedeutung. In der Analytischen Geometrie wird eine Gerade als eine Menge von Punkten realisiert. Genauer: In einem affinen Raum ist eine Gerade ein eindimensionaler affiner Unterraum.

Synthetische Geometrie

In seinen Elementen hat Euklid eine explizite Definition einer Geraden gegeben, die dem anschaulichen Bild entspricht. Für Sätze und ihre Beweise spielt diese Definition jedoch keine Rolle. Moderne Axiomensysteme verzichten daher auf eine solche Definition.

Eine Gerade ist in diesem Fall ein Begriff, auf den die einzelnen Axiome Bezug nehmen. Ein Beispiel ist das erste Axiom aus Hilberts Axiomensystem:

Zwei voneinander verschiedene Punkte $P$ und $Q$ bestimmen stets eine Gerade $g$.

Die Bedeutung des Begriffs Gerade ergibt sich aus der Gesamtheit der Axiome. Eine Interpretation als eine unendlich lange, unendlich dünne Linie ist nicht zwingend, sondern nur eine Anregung, was man sich anschaulich darunter vorstellen könnte.

In der projektiven Ebene sind die Begriffe Punkt und Gerade sogar vollständig austauschbar (Dualität). Damit ist es hier möglich, sich eine Gerade als unendlich klein und einen Punkt als unendlich lang und unendlich dünn vorzustellen.

Analytische Geometrie

In der analytischen Geometrie wird der geometrische Raum als $n$-dimensionaler Vektorraum über einem Körper $K$ dargestellt. Eine Gerade wird dabei als eindimensionaler affiner Unterraum dieses Vektorraums definiert, d. h. als Nebenklasse eines eindimensionalen linearen Unterraumes.

In drei Dimensionen über dem Körper der reellen Zahlen erfüllt die Analytische Geometrie alle Bedingungen, die Hilbert in seinem Axiomensystem der Geometrie voraussetzt. In diesem Fall ist eine Gerade somit auch eine Gerade im Sinne Hilberts.

Man benötigt lediglich die Lage zweier Punkte, um eine Gerade zu beschreiben. Einer der Punkte dient dabei als "Stütze" der Geraden, auf ihm "liegt" sie sozusagen auf - dieser Punkt heißt daher Aufpunkt oder Stützpunkt der Geraden. Mit dem zweiten Punkt erhält man die Richtung der Geraden. Die Richtung wird dabei durch den Vektor vom Aufpunkt zum "Richtungspunkt" angegeben. Die Gerade definiert sich dann folgender Maßen:

Veranschaulichung des Stütz- und Richtungsvektors

$g:{\vec {x}}={\overrightarrow {OP_{1}}}+\lambda {\overrightarrow {P_{1}P_{2}}}$

• ${\vec {x}}$ beschreibt dabei den allgemeinen Ortsvektor aller Punkte auf $g$
• ${\overrightarrow {OP_{\mathrm {1} }}}$ ist der Stützvektor, also der Ortsvektor des Stützpunktes
• ${\overrightarrow {P_{\mathrm {1} }P_{\mathrm {2} }}}$ ist der Richtungsvektor von $P_{\mathrm {1} }$ zu $P_{\mathrm {2} }$
• $\lambda$ ist der Skalar des Richtungsvektors

Die affine Hülle von zwei verschiedenen Vektoren $x$ und $y$

$\{\lambda x+\mu y|\lambda ,\mu \in K,\lambda +\mu =1\}$

ist ebenfalls eine Gerade.

Auch der Lösungsraum eines (inhomogenen) linearen Gleichungssystems mit $n-1$ linear unabhängigen Gleichungen ist ein affiner Unterraum der Dimension Eins und somit eine Gerade. In zwei Dimensionen kann eine Gerade folglich durch eine Geradengleichung

$\alpha x+\beta y=\gamma$

angegeben werden, wobei $\alpha ,\beta ,\gamma \in K$ und $\alpha$ oder $\beta$ ungleich Null sein muss. Ist $\beta$ ungleich 0, so spricht man von einer linearen Funktion auf K.

Kürzester Weg

Im reellen euklidischen Raum liegt der kürzeste Weg zwischen zwei Punkten auf einer Geraden. Verallgemeinert man diese Eigenschaft der Geraden auf gekrümmten Räumen (Mannigfaltigkeiten), so gelangt man zum Begriff der geodätischen Linie, kurz Geodäte.

Bestimmung der Gleichung einer Geraden in der Ebene

Die Gleichung einer Geraden in der Ebene kann man auf drei verschiedenen Weisen bestimmen:

Punkt-Richtung-Gleichung:

Gegeben sind ein Punkt $P_{0}(x_{0}|y_{0})$ und der Neigungswinkel (Anstiegswinkel) $\alpha$.

$y-y_{0}=\tan(\alpha )\cdot (x-x_{0})$

Gegeben sind ein Punkt $P_{0}(x_{0}|y_{0})$ und die Steigung (der Anstieg) $m$.

$y-y_{0}=m\cdot (x-x_{0})$

Zwei-Punkte-Gleichung:

Gegeben sind zwei Punkte $P_{1}(x_{1}|y_{1})$ und $P_{2}(x_{2}|y_{2})$.

$y-y_{1}={\frac {y_{2}-y_{1}}{x_{2}-x_{1}}}\cdot (x-x_{1})$

Erzeugen der Geraden im Raum ℝⁿ

Punkt-Richtungs-Gleichung

Gegeben sei ein Ortsvektor (d.h. Punkt) $\mathbf {p}$, ein Richtungsvektor $\mathbf {r}$ und die Menge $\mathrm {\lambda } =\left[-\infty ,\infty \right]\subseteq \mathbb {R}$. Es lässt sich nun die Gerade $g$ mit

${\begin{aligned}g:&\ \mathbb {R} ^{n}\times \mathbb {R} ^{n}&\to &\ \mathbb {R} ^{n}\\&\ g(\mathbf {p} ,\mathbf {r} )&\mapsto &\ \mathbf {p} +\lambda \,\mathbf {r} \end{aligned}}$

definieren.

Zwei-Punkte-Gleichung

Gegeben sind zwei Ortsvektoren (d.h. Punkte) $\mathbf {p} _{1}$ und $\mathbf {p} _{2}$, sowie die Menge $\mathrm {\lambda } =\left[-\infty ,\infty \right]\subseteq \mathbb {R}$. Es lässt sich nun die Gerade $g$ mit

${\begin{aligned}g:&\ \mathbb {R} ^{n}\times \mathbb {R} ^{n}&\to &\ \mathbb {R} ^{n}\\&\ g(\mathbf {p} _{1},\mathbf {p} _{2})&\mapsto &\ \mathbf {p} _{1}+\lambda \,\left(\mathbf {p} _{2}-\mathbf {p} _{1}\right)=\mathbf {p} _{1}+\lambda \,\mathbf {r} \end{aligned}}$

definieren.

Lage zweier Geraden zueinander

Zwei Geraden können folgende Lagebeziehungen zueinander haben. Sie können:

• Gleich sein: Beide Geraden haben alle Punkte gemeinsam
• Einen Schnittpunkt besitzen: Beide Geraden haben genau einen Punkt gemeinsam (speziell: senkrecht zueinander)
• Zueinander echt parallel sein: Beide Geraden haben keinen Punkt gemeinsam und lassen sich durch eine Verschiebung ineinander überführen.
• Zueinander windschief sein: Beide Geraden haben keinen Punkt gemeinsam, aber lassen sich nicht durch eine Verschiebung allein ineinander überführen (ab mindestens drei Dimensionen)

Im Sinne der Theorie der Relationen spricht man auch von Parallelität, wenn beide Geraden identisch sind, insbesondere ist jede Gerade zu sich selbst parallel. Zur Präzisierung unterscheidet man dann zwischen echt parallel und identisch.

Weblinks

• Eric W. Weisstein: Line. In: MathWorld. (englisch)