(S): In der ebenen Geometrie ist die Mittelsenkrechte oder das Mittellot^[1] oder (österreichisch) die Streckensymmetrale^[2] diejenige Gerade durch den Mittelpunkt einer Strecke, die auf der Strecke senkrecht steht.

Die Verallgemeinerung auf drei Dimensionen ist die Mittellotebene einer Strecke.

Anwendungen:

Mittelsenkrechten tragen oft zur Lösung von geometrischen Problemen bei, z. B.

1. bei der zeichnerischen Bestimmung des Mittelpunktes einer Strecke, um einen Thaleskreis zu konstruieren,
2. bei der Bestimmung des Umkreismittelpunktes eines Dreiecks,
3. bei der zeichnerischen Rekonstruktion des Mittelpunktes eines Kreises, wenn 3 Punkte des Kreises gegeben sind,
4. bei der Bestimmung einer Geraden oder Ebene, um durch Spiegeln an dieser einen Punkt ${\displaystyle A}$ auf einen Punkt ${\displaystyle B}$ abzubilden.
5. In Voronoi-Diagrammen spielen sie eine Rolle als Begrenzungen.

Zur Definition (S) in der Einleitung sind die folgenden Definitionen (D) und (M2) äquivalent:

(D): Die Mittelsenkrechte einer Strecke ${\displaystyle AB}$ ist die Menge aller Punkte ${\displaystyle X}$ mit der Eigenschaft ${\displaystyle |XA|=|XB|}$.

Der Beweis (siehe Bild im nächsten Abschnitt) folgt aus der Eigenschaft ${\displaystyle |MA|=|MB|}$ des Mittelpunktes ${\displaystyle M}$ und dem Satz des Pythagoras:

${\displaystyle |XA|^{2}=|XM|^{2}+|MA|^{2}=|XM|^{2}+|MB|^{2}=|XB|^{2}\;.}$

Die Gleichung ${\displaystyle |XA|=|XB|}$ lässt sich auch so interpretieren: ${\displaystyle X}$ ist der Mittelpunkt eines Kreises, der durch ${\displaystyle A}$ und ${\displaystyle B}$ geht. Damit gibt es die weitere Definition:

(M2): Die Mittelsenkrechte einer Strecke ${\displaystyle AB}$ ist die Menge der Mittelpunkte aller Kreise, die durch ${\displaystyle A,B}$ gehen.

Geht man von Punkten ${\displaystyle A,B}$ im 3-dimensionalen Raum aus, so definiert man (analog zum ebenen Fall):

(D): Die Mittellotebene einer Strecke ${\displaystyle AB}$ ist die Menge aller Punkte ${\displaystyle X}$ mit der Eigenschaft ${\displaystyle |XA|=|XB|}$.

Der Nachweis der Äquivalenz zur Definition in der Einleitung verläuft analog zum ebenen Fall.

Aufgrund der Definition (D) der Mittelsenkrechten und der Tatsache, dass eine Gerade durch zwei Punkte eindeutig bestimmt ist, genügt es, zwei Punkte ${\displaystyle X_{1},X_{2}}$ zu finden mit der Eigenschaft ${\displaystyle |X_{i}A|=|X_{i}B|}$:

Mittelsenkrechte

Man konstruiert die Mittelsenkrechte zu zwei gegebenen Punkten ${\displaystyle A}$ und ${\displaystyle B}$, indem man um diese beiden Punkte mit einem Zirkel Kreisbögen zeichnet mit gleichem Radius, der größer als die halbe Länge der Strecke zwischen den beiden Punkten sein muss. Die zwei Schnittpunkte ${\displaystyle X_{1},X_{2}}$ dieser beiden Kreislinien bestimmen die Mittelsenkrechte der Strecke ${\displaystyle AB}$.^[3]

Mittelpunkt

Da die Konstruktion der Mittelsenkrechten ohne Kenntnis des Mittelpunktes ${\displaystyle M}$ auskommt, kann man den Mittelpunkt als Schnitt der so konstruierten Mittelsenkrechten mit der Strecke ${\displaystyle AB}$ bestimmen.

Sind ${\displaystyle {\vec {a}},{\vec {b}}}$ und ${\displaystyle {\vec {m}}:={\tfrac {{\vec {a}}+{\vec {b}}}{2}}}$ die Ortsvektoren der Punkte ${\displaystyle A,B}$ und ${\displaystyle M}$, so ist ${\displaystyle M}$ der Mittelpunkt von ${\displaystyle A,B}$ und ${\displaystyle {\vec {a}}-{\vec {b}}}$ ein Normalenvektor der Mittelsenkrechten. Eine Normalenform der Mittelsenkrechten ist dann ${\displaystyle ({\vec {x}}-{\vec {m}})\cdot ({\vec {a}}-{\vec {b}})=0}$. Ersetzen von ${\displaystyle {\vec {m}}}$ durch ${\displaystyle {\tfrac {{\vec {a}}+{\vec {b}}}{2}}}$ und Ausmultiplizieren liefert die Gleichung der Mittelsenkrechten in Vektorform:

(V): ${\displaystyle \quad {\vec {x}}\cdot ({\vec {a}}-{\vec {b}})={\tfrac {1}{2}}({\vec {a}}^{2}-{\vec {b}}^{2}).}$

Mit ${\displaystyle A=(a_{1}|a_{2})}$ und ${\displaystyle B=(b_{1}|b_{2})}$ erhält man die Koordinatenform:

(K2): ${\displaystyle \quad (a_{1}-b_{1})x+(a_{2}-b_{2})y={\frac {1}{2}}(a_{1}^{2}-b_{1}^{2}+a_{2}^{2}-b_{2}^{2}).}$

Falls ${\displaystyle b_{2}\neq a_{2}}$, kann man zur expliziten Form (siehe Orthogonalität und Punktsteigungsform)

(E2):${\displaystyle \quad y=m(x-x_{0})+y_{0}}$

mit ${\displaystyle \;m=-{\tfrac {b_{1}-a_{1}}{b_{2}-a_{2}}}}$, ${\displaystyle \;x_{0}={\tfrac {1}{2}}(a_{1}+b_{1})\;}$ und ${\displaystyle \;y_{0}={\tfrac {1}{2}}(a_{2}+b_{2})\;}$ übergehen.

Die Vektordarstellung der Mittellotebene ist wörtlich gleich mit (V). Die Koordinatendarstellung ist um eine Koordinate erweitert:

(K3): ${\displaystyle \quad (a_{1}-b_{1})x+(a_{2}-b_{2})y+(a_{3}-b_{3})z={\frac {1}{2}}(a_{1}^{2}-b_{1}^{2}+a_{2}^{2}-b_{2}^{2}+a_{3}^{2}-b_{3}^{2})\ .}$

${\displaystyle {\overline {AB}}}$ (grün) sei die Strecke mit den Endpunkten ${\displaystyle A=(2{,}5|-5)}$ und ${\displaystyle B=(6|2)}$. Dann ist ${\displaystyle a_{1}=2{,}5,\;b_{1}=6,\;a_{2}=-5}$ und ${\displaystyle b_{2}=2.}$

Setzt man diese Werte in die obige Koordinatengleichung (K2) ein, so ergibt sich für die Geradengleichung der Mittelsenkrechten:

${\displaystyle {\begin{aligned}(2{,}5-6)x+(-5-2)y&={\frac {2{,}5^{2}-6^{2}}{2}}+{\frac {(-5)^{2}-2^{2}}{2}}\\-3{,}5x-7y&=-{\frac {8{,}75}{2}}\,{\bigg |}\,\cdot (-2)\\7x+14y&={\frac {17{,}5}{2}}\,{\bigg |}\,\cdot {\frac {4}{7}}\\4x+8y&=5\end{aligned}}}$

Für ${\displaystyle A=(2|1{,}5|1)}$ und ${\displaystyle B=(1|2{,}5|5)}$ ergibt sich aus der obigen Gleichung (K3) die Koordinatengleichung der Mittellotebene

${\displaystyle {\begin{aligned}x-y-4z&=-12{,}5\,\Leftrightarrow \\2x-2y-8z&=-25.\end{aligned}}}$

Die Mittelsenkrechten eines Dreiecks schneiden sich in einem Punkt, nämlich im Umkreismittelpunkt des Dreiecks. Dieser Umkreis geht durch alle Ecken des Dreiecks (siehe dazu auch: Ausgezeichnete Punkte im Dreieck).^[4]

Im gleichschenkligen Dreieck kann die Mittelsenkrechte, für den Winkel am Scheitel der beiden gleichen Schenkel, auch die Funktion der Winkelhalbierenden erfüllen. Dies ist insbesondere dann vorteilhaft, wenn der Scheitel nicht innerhalb der Zeichenebene liegt.

• Symmetrale

• Rolf Baumann: Geometrie. Mit Übungen und Lösungen. Mentor, München 2002, Kapitel 3.1. 
• Cornelia Niederdrenk-Felgner: Lambacher-Schweizer. Lehrbuch der Mathematik für die 7. Klasse (G9) an Gymnasien (Baden-Württemberg). Klett, Stuttgart 1994, ISBN 3-12-731370-5. 

Wiktionary: Mittelsenkrechte – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

1. ↑ Dieter Neßelmann: Axiomatische Geometrie. 22. Februar 2010, 5. Ergänzungen, S. 143, Definition 5.5.3 (online [PDF; 6,5 MB; abgerufen am 24. April 2021]). 
2. ↑ Karl Strubecker: Vorlesungen über Darstellende Geometrie. In: Studia Mathematica/Mathematische Lehrbücher. Band 12. Vandenhoeck & Ruprecht, Göttingen 1967, II. Parallelprojektion und perspektive Affinität, S. 18 (online [PDF; 12,6 MB; abgerufen am 24. April 2021]). 
3. ↑ Stefan Friedl: Elementargeometrie. 2017, 3.3. Die Bestimmung des Mittelpunkts einer Strecke mit Zirkel und Lineal, S. 37, Abbildung 44. Konstruktion der Mittelsenkrechte der Strecke ${\displaystyle {\overline {AB}}}$ (online [PDF; 13,1 MB; abgerufen am 24. April 2021]). 
4. ↑ Stefan Friedl: Elementargeometrie. 2017, 3.5. Die Mittelsenkrechten eines Dreiecks, S. 40 (online [PDF; 13,1 MB; abgerufen am 24. April 2021]).