Normalenform

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Normalgleichung)

Die Normalenform, Normalform oder Normalengleichung ist in der Mathematik eine spezielle Form einer Geradengleichung oder Ebenengleichung. In der Normalenform wird eine Gerade in der euklidischen Ebene oder eine Ebene im euklidischen Raum durch einen Stützvektor und einen Normalenvektor dargestellt. Eine Gerade oder Ebene besteht dann aus denjenigen Punkten in der Ebene oder im Raum, für die der Differenzvektor aus Ortsvektor und Stützvektor senkrecht zum Normalenvektor steht. Die Normalenform ist damit eine spezielle implizite Darstellung der Gerade oder Ebene.

Eine Variante der Normalenform stellt die hessesche Normalform dar, bei der der Normalenvektor normiert und orientiert ist und statt des Stützvektors der Abstand vom Koordinatenursprung verwendet wird.

Normalenform einer Geradengleichung

Normalenform der Geradengleichung

Darstellung

In der Normalenform wird eine Gerade in der Ebene durch einen Stützvektor und einen Normalenvektor beschrieben. Eine Gerade besteht dann aus denjenigen Punkten in der Ebene, deren Ortsvektoren die Gleichung

erfüllen. Hierbei bezeichnet das Skalarprodukt zweier Vektoren, welches null ist, wenn die Vektoren senkrecht aufeinander stehen. Der Stützvektor ist der Ortsvektor eines beliebigen Punkts auf der Gerade, der auch als Stützpunkt oder Aufpunkt bezeichnet wird. Der Normalenvektor ist ein Vektor, der mit der Gerade einen rechten Winkel bildet. In der Normalenform werden demnach die Punkte der Geraden implizit dadurch definiert, dass der Differenzvektor aus Ortsvektor und Stützvektor senkrecht zum Normalenvektor der Gerade steht. Eine äquivalente Darstellung der Normalenform ist

.

Ein Punkt, dessen Ortsvektor die Normalengleichung nicht erfüllt, liegt für auf derjenigen Seite der Gerade, in die der Normalenvektor zeigt, und ansonsten auf der anderen Seite.

Beispiel

Ausgeschrieben lautet die Normalenform einer Geradengleichung

.

Im Bild oben ist beispielsweise der Stützvektor und der Normalenvektor , und man erhält als Geradengleichung

.

Jede Wahl von , die diese Gleichung erfüllt, beispielsweise oder , entspricht dann einem Geradenpunkt.

Berechnung

Aus der Parameterform

Aus der Parameterform einer Geradengleichung lässt sich ein Normalenvektor der Geraden bestimmen, indem die beiden Komponenten des Richtungsvektors der Geraden vertauscht werden und bei einer der beiden Komponenten das Vorzeichen geändert wird, das heißt

.

Der Stützvektor kann aus der Parameterform übernommen werden.

Aus der Zweipunkteform

Aus der Zweipunkteform einer Geradengleichung wird zunächst ein Richtungsvektor der Geraden als Differenzvektor zwischen den Ortsvektoren und der beiden Punkte ermittelt und dann wie bei der Parameterform verfahren, also

.

Als Stützvektor kann der Ortsvektor einer der Punkte verwendet werden.

Aus der Koordinatenform

Aus der Koordinatenform einer Geradengleichung mit den Parametern und lässt sich ein Normalenvektor der Gerade direkt als

ablesen. Einen Stützvektor der Gerade erhält man, je nachdem ob oder ungleich null ist, durch Wahl von

  oder   .

Analog lässt sich auf diese Weise auch aus der Achsenabschnittsform einer Geradengleichung ein Normalenvektor und ein Stützvektor ermitteln.

Normalenform einer Ebenengleichung

Normalenform einer Ebenengleichung

Darstellung

Analog wird eine Ebene im dreidimensionalen Raum in der Normalenform ebenfalls durch einen Stützvektor und einen Normalenvektor beschrieben. Eine Ebene besteht dann aus denjenigen Punkten im Raum, deren Ortsvektoren die Gleichung

erfüllen. Der Stützvektor ist dabei wiederum der Ortsvektor eines beliebigen Punkts in der Ebene und der Normalenvektor ist ein Vektor, der senkrecht auf der Ebene steht. Das bedeutet, dass der Normalenvektor mit allen Geraden der Ebene, die durch den Stützpunkt verlaufen, einen rechten Winkel bildet. Eine äquivalente Darstellung der Normalenform ist wiederum

und ein Punkt, dessen Ortsvektor die Normalengleichung erfüllt, liegt auf der Ebene. Gilt , dann liegt der Punkt auf derjenigen Seite der Ebene, in die der Normalenvektor zeigt, ansonsten auf der anderen Seite.

Beispiel

Die Ebene (blau) verläuft rechtwinklig zur Strecke (grün) durch denn Punkt (rot). Auf derselben Ebene liegen auch die Punkte (türkis) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B(3,2,1)} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C(2,0,1)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D(1,2,3)}

Ausgeschrieben lautet die Normalenform einer Ebenengleichung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x_1 - p_1) \cdot n_1 + (x_2 - p_2) \cdot n_2 + (x_3 - p_3) \cdot n_3 = 0} .

Ist beispielsweise (siehe Bild) der Stützvektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec p = (3,2,1)^T} und der Normalenvektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec n = (2,-1,2)^T} , so erhält man als Ebenengleichung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x - 3) \cdot 2 + (y - 2) \cdot (-1) + (z - 1) \cdot 2 = 0\;\; \Rightarrow}
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2x - y + 2z = 6.}

Jede Wahl von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x, y, z)} , die die Ebenengleichung erfüllt, beispielsweise Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (2, 0, 1)} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (1, 2, 3)} , entspricht dann einem Ebenenpunkt.

Berechnung

Aus der Parameterform

Aus der Parameterform einer Ebenengleichung mit den beiden Richtungsvektoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec u} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec v} lässt sich ein Normalenvektor der Ebene durch Berechnung des Kreuzprodukts

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec n = \vec u \times \vec v}

bestimmen. Der Stützvektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec p} kann aus der Parameterform übernommen werden.

Aus der Dreipunkteform

Aus der Dreipunkteform einer Ebenengleichung werden zunächst zwei Richtungsvektoren als Differenzvektoren zwischen den Ortsvektoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec p} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec q} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec r} jeweils zweier Punkte ermittelt und dann wie bei der Parameterform das Kreuzprodukt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec n = (\vec q - \vec p) \times (\vec r - \vec p)}

berechnet. Als Stützvektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec p} kann der Ortsvektor einer der Punkte verwendet werden.

Aus der Koordinatenform

Aus der Koordinatenform einer Ebenengleichung mit den Parametern Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a,b,c} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d} lässt sich ein Normalenvektor der Ebene als

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec n = \begin{pmatrix} a \\ b \\ c \end{pmatrix}}

ablesen. Einen Stützvektor erhält man, je nachdem welche der Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a,b,c} ungleich null ist, durch Wahl von

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec p = \begin{pmatrix} d/a \\ 0 \\ 0 \end{pmatrix}, ~ \vec p = \begin{pmatrix} 0 \\ d/b \\ 0 \end{pmatrix}}   oder   Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec p = \begin{pmatrix} 0 \\ 0 \\ d/c \end{pmatrix}} .

Analog lässt sich auf diese Weise auch aus der Achsenabschnittsform einer Ebenengleichung ein Normalenvektor und ein Stützvektor ermitteln.

Herleitung

Zur Herleitung der Normalenform einer Ebenengleichung

Der Ortsvektor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec x} eines beliebigen Geraden- oder Ebenenpunkts lässt sich als Summe

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec x = \vec x_s + \vec x_p}

darstellen, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec x_s} senkrecht zur Gerade oder Ebene, also parallel zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec n} , und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec x_p} parallel zur Gerade oder Ebene, also senkrecht zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec n} , verläuft. Dann ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec x \cdot \vec n = (\vec x_p + \vec x_s) \cdot \vec n = \vec x_p \cdot \vec n + \vec x_s \cdot \vec n = \vec x_s \cdot \vec n} ,

da Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec x_p \cdot \vec n} als Skalarprodukt zueinander senkrechter Vektoren stets null ist. Der Anteil Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec x_s} ist aber für jeden auf der Gerade oder Ebene liegenden Punkt der gleiche, also ist für jeden Punkt der Gerade oder Ebene Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec x \cdot \vec n = \vec x_s \cdot \vec n} konstant. Damit folgt die Normalenform

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec x \cdot \vec n - \vec p \cdot \vec n = ( \vec x - \vec p ) \cdot \vec n = 0} ,

wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec p} ein beliebig ausgewählter Punkt auf der Gerade oder Ebene ist.

Verallgemeinerung

Allgemein wird durch eine Normalengleichung eine Hyperebene im Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -dimensionalen euklidischen Raum beschrieben. Im Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -dimensionalen euklidischen Raum besteht eine Hyperebene entsprechend aus denjenigen Punkten, deren Ortsvektoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec x} die Gleichung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle ( \vec x - \vec p ) \cdot \vec n = 0}

beziehungsweise

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec x \cdot \vec n = \vec p \cdot \vec n}

erfüllen. Es wird dabei lediglich mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -komponentigen statt mit zwei- oder dreikomponentigen Vektoren gerechnet. Eine Hyperebene teilt den Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -dimensionalen Raum in zwei Teile, die Halbräume genannt werden. Gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \vec x \cdot \vec n > \vec p \cdot \vec n} , dann liegt der Punkt in demjenigen Halbraum, in den der Normalenvektor zeigt, ansonsten in dem anderen. Ein Punkt, dessen Ortsvektor die Normalengleichung erfüllt, liegt genau auf der Hyperebene.

Lösbarkeit von linearen Gleichungssystemen

Jede Gleichung eines linearen Gleichungssystems lässt sich als Normalenform einer Hyperebene in einem n-dimensionalen Vektorraum deuten, wobei n die Anzahl der Variablen bzw. Unbekannten ist. Für n=2 sind dies Geraden in der Ebene, für n=3 Ebenen im Raum. Damit lässt sich die Lösbarkeit eines linearen Gleichungssystems zurückführen auf ein Schnittproblem von Hyperebenen: Gesucht ist die Menge der gemeinsamen Punkte aller Hyperebenen. Aus der Lage der Normalenvektoren und damit der Hyperebenen zueinander kann auf die Lösbarkeit des linearen Gleichungssystems und auf die Anzahl der Lösungen geschlossen werden.

Literatur

  • Lothar Papula: Mathematische Formelsammlung: Für Ingenieure und Naturwissenschaftler. Springer, 2009, ISBN 978-3-8348-9598-1.
  • Harald Scheid, Wolfgang Schwarz: Elemente der linearen Algebra und der Analysis. Springer, 2009, ISBN 978-3-8274-2255-2.

Weblinks