In der ebenen Geometrie ist die Winkelhalbierende eines Winkels die Halbgerade, die durch den Scheitelpunkt des Winkels läuft und das Winkelfeld in zwei deckungsgleiche Teile teilt.

Ein schneidendes Geradenpaar bestimmt zwei Winkelhalbierende, in diesem Falle Geraden, die zueinander orthogonal sind. Jede dieser Winkelhalbierenden ist eine Symmetrieachse der geometrischen Figur, die von dem schneidenden Geradenpaar gebildet wird. Aus dieser Symmetrieeigenschaft folgt eine Charakterisierung der beiden Winkelhalbierenden als geometrischer Ort, die als Winkelhalbierendensatz bezeichnet wird.

In der analytischen Geometrie und in der Analysis spielen die Winkelhalbierenden der Koordinatenachsen eines kartesischen Koordinatensystems eine besondere Rolle. Diejenige, die durch den I. und III. Quadranten verläuft, heißt 1. Winkelhalbierende oder 1. Mediane, die andere 2. Winkelhalbierende.

In der synthetischen Geometrie werden die Winkelhalbierenden eines schneidenden Geradenpaars ebenfalls durch ihre Eigenschaft als Symmetrieachsen definiert. Die Existenz dieser Winkelhalbierenden ist dort eines der Axiome, die eine frei bewegliche präeuklidische Ebene kennzeichnen.

Ein Winkel ist durch seine beiden Schenkel, also die Halbgeraden mit gemeinsamen Anfang im Scheitel des Winkels, gegeben. Dann kann die Winkelhalbierende mit Zirkel und Lineal konstruiert werden: Um den Scheitelpunkt wird ein Kreis mit beliebigem Radius gezeichnet. An den Schnittpunkten mit den Schenkeln des Winkels wird der Zirkel erneut angesetzt. Dann zeichnet man jeweils einen Kreis mit gleichem Radius. Die Schnittpunkte dieser zwei Kreise liegen auf der Winkelhalbierenden.

Bei dieser Konstruktion wird benutzt, dass die Winkelhalbierende zugleich Mittelsenkrechte in dem gleichschenkligen Dreieck ist, das durch den Scheitel und die zwei ersten Hilfspunkte gegeben ist.

Liegen allgemeiner zwei Geraden vor, die sich in einem Punkt schneiden, so haben wir vier Winkel und damit vier Winkelhalbierende. Die Winkelhalbierenden zweier Scheitelwinkel fallen zusammen, also bleiben nur zwei Winkelhalbierende übrig. Diese zwei Winkelhalbierenden – die zueinander orthogonal sind – nennt man die Winkelhalbierenden der zwei Geraden (siehe Abbildung rechts).

Wenn wir wieder zu dem Fall eines Winkels zurückkommen, der von zwei Schenkeln (Halbgeraden) begrenzt wird, und nun diese Schenkel zu Geraden verlängern, dann bekommen wir zwei Geraden mit zwei Winkelhalbierenden. Die eine ist die Winkelhalbierende des ursprünglichen Winkels. Die andere ist die Winkelhalbierende seines Nebenwinkels. Sie heißt Außenwinkelhalbierende des ursprünglichen Winkels.

Die Vereinigungsmenge der beiden Winkelhalbierenden eines schneidenden Geradenpaars ist die Menge aller Punkte, die von den beiden Geraden den gleichen Abstand haben, oder, anders formuliert, die Menge der Mittelpunkte aller Kreise, die die beiden Geraden berühren.

Ist in der Dreieckslehre von Winkelhalbierenden die Rede, so bezieht sich dieser Begriff meist auf die Innenwinkel, seltener auf die Außenwinkel. Hier wird die Winkelhalbierende eines Innenwinkels ${\displaystyle \alpha }$ oft als ${\displaystyle w_{\alpha }}$ abgekürzt. Dieses Kürzel steht dann zugleich auch für die Strecke auf der Winkelhalbierenden, die innerhalb des Dreiecks liegt, und in Konstruktionsaufgaben auch für deren Länge.

Für diese Winkelhalbierenden gelten unter anderem folgende Sätze:

• Die drei Winkelhalbierenden der Innenwinkel eines Dreiecks schneiden sich in einem Punkt. Dieser Punkt ist der Mittelpunkt des Inkreises (siehe Ausgezeichnete Punkte im Dreieck).
• Jede Winkelhalbierende eines Innenwinkels im Dreieck teilt die gegenüberliegende Seite im Verhältnis der anliegenden Seiten. Diese Aussage wird auch als Winkelhalbierendensatz bezeichnet und lässt sich mithilfe ähnlicher Dreiecke oder durch Anwendung des Sinussatzes beweisen.
• Für die Länge ${\displaystyle w_{c}}$ der Halbierenden eines Innenwinkels ${\displaystyle \gamma }$ und für die anliegenden Seiten der Länge ${\displaystyle a}$ und ${\displaystyle b}$ gilt die Beziehung:${\displaystyle w_{c}={\frac {2ab}{a+b}}\cos \left({\frac {\gamma }{2}}\right)}$^[1] Sind hingegen alle drei Seiten gegeben so gilt: ${\displaystyle w_{c}={\sqrt {a\cdot b\left(1-{\frac {c^{2}}{(a+b)^{2}}}\right)}}}$^[2]
• Die Halbierenden eines Innenwinkels und der zu den beiden anderen Innenwinkeln gehörenden Außenwinkel eines Dreiecks schneiden sich jeweils in einem Punkt. Dieser Punkt ist der Mittelpunkt eines Ankreises.
• Die Schnittpunkte der Halbierenden der Außenwinkel mit den verlängerten Gegenseiten der entsprechenden Innenwinkel liegen, sofern sie existieren, auf einer Geraden.
• Jede Winkelhalbierende schneidet die Mittelsenkrechte der dem Winkel gegenüberliegenden Seite auf dem Umkreis des (nicht-gleichschenkligen) Dreiecks. Dies ist der sogenannte Südpolsatz.

Die Winkelhalbierenden eines Vierecks begrenzen im Allgemeinen ein Sehnenviereck. Beim Tangentenviereck ist es zu einem Punkt entartet. Beim Sehnenviereck ist das eingeschlossene Viereck orthodiagonal. Die Winkelhalbierenden eines Parallelogramms schließen im Allgemeinen ein Rechteck ein, die Winkelhalbierenden eines Rechtecks ein Quadrat, die Winkelhalbierende eines gleichschenkligen Trapezes ein Drachenviereck, die Winkelhalbierende eines Vierecks mit gleichen gegenüberliegenden Winkeln ein gleichschenkliges Trapez.

Sind die Gleichungen ${\displaystyle a_{1}x+b_{1}y+c_{1}=0,\ a_{2}x+b_{2}y+c_{2}=0}$ zweier Geraden gegeben, so ergeben sich die Gleichungen ihrer Winkelhalbierenden mit Hilfe ihrer Hesseschen Normalformen:

${\displaystyle {\frac {a_{1}x+b_{1}y+c_{1}}{\sqrt {a_{1}^{2}+b_{1}^{2}}}}=\pm {\frac {a_{2}x+b_{2}y+c_{2}}{\sqrt {a_{2}^{2}+b_{2}^{2}}}}.}$

Denn die Winkelhalbierenden bilden die Gesamtheit der Punkte, die von den beiden Geraden den gleichen Abstand besitzen.

In einem kartesischen Koordinatensystem spielen die beiden Winkelhalbierenden der Koordinatenachsen eine besondere Rolle:

Als 1. Winkelhalbierende (Winkelhalbierende des I. und III. Quadranten) bezeichnet man die Gerade mit der Gleichung ${\displaystyle y=x}$. Dieser Funktionsgraph ist die Ursprungsgerade mit der Steigung 1. Sie heißt in Österreich 1. Mediane.

Als 2. Winkelhalbierende (Winkelhalbierende des II. und IV. Quadranten) bezeichnet man die Gerade mit der Gleichung ${\displaystyle y=-x}$. Dieser Funktionsgraph ist die Ursprungsgerade mit der Steigung −1.

Mithilfe von iterativer Winkelhalbierung kann ein Winkel auch in ${\displaystyle 2\cdot 2=2^{2}=4}$, ${\displaystyle 2\cdot 2\cdot 2=2^{3}=8}$, ${\displaystyle 2\cdot 2\cdot 2\cdot 2=2^{4}=16}$ oder allgemein in ${\displaystyle 2^{k}}$ deckungsgleiche Teile geteilt werden. Dazu werden die halbierten Winkel jeweils erneut halbiert. Um einen Winkel zum Beispiel in ${\displaystyle 2\cdot 2\cdot 2\cdot 2=2^{4}=16}$ gleiche Teile zu teilen, müssen nacheinander 4 Winkelhalbierende konstruiert werden.

Dieses Verfahren lässt sich verallgemeinern: Ist ein Winkel ${\displaystyle \alpha }$ gegeben, dann kann der Winkel ${\displaystyle {\frac {n}{2^{k}}}\cdot \alpha }$ konstruiert werden, wenn ${\displaystyle n}$ und ${\displaystyle k}$ natürliche Zahlen sind. Dabei hilft die Zahldarstellung im Binärsystem, denn der Quotient ${\displaystyle {\frac {n}{2^{k}}}}$ hat eine endliche Darstellung mit höchstens ${\displaystyle k}$ binären Nachkommastellen. Soll zum Beispiel der Winkel ${\displaystyle {\frac {5}{8}}\cdot \alpha }$ konstruiert werden, dann hilft die binäre Darstellung ${\displaystyle {\frac {5}{8}}=[0{,}101]_{2}}$. Daraus ergibt sich ${\displaystyle {\frac {5}{8}}\cdot \alpha =\alpha \cdot \left({\frac {1}{2}}+\left({\frac {1}{4}}-{\frac {1}{8}}\right)\right)={\frac {\alpha }{2}}+{\frac {\alpha }{4}}-{\frac {\alpha }{8}}}$. Der Winkel ${\displaystyle {\frac {5}{8}}\cdot \alpha }$ kann also konstruiert werden, indem am Scheitelpunkt nacheinander der Winkel ${\displaystyle {\frac {\alpha }{2}}}$ im Uhrzeigersinn, der Winkel ${\displaystyle {\frac {\alpha }{4}}}$ im Uhrzeigersinn und der Winkel ${\displaystyle {\frac {\alpha }{8}}}$ gegen den Uhrzeigersinn konstruiert wird.

Es gilt folgender Satz: Ist ein Winkel ${\displaystyle \alpha }$ gegeben und sind ${\displaystyle p}$ und ${\displaystyle q}$ natürliche Zahlen, dann kann der Winkel ${\displaystyle {\frac {p}{q}}\cdot \alpha }$ genau dann mit Zirkel und Lineal konstruiert werden, wenn ${\displaystyle q}$ eine Zweierpotenz ist, also ${\displaystyle q=2^{k}}$. Für alle anderen natürlichen Zahlen ${\displaystyle q}$ ist das nicht möglich.^[3]

Das geometrische Problem der Dreiteilung des Winkels, das seit dem 5. Jahrhundert v. Chr. bekannt ist, kann daher nicht mit Zirkel und Lineal gelöst werden.

Eine präeuklidische Ebene ist in der synthetischen Geometrie eine affine Ebene ${\displaystyle K^{2}}$ über einem Körper ${\displaystyle K}$, dessen Charakteristik nicht 2 ist, zusammen mit einer Orthogonalitätsrelation ohne isotrope Geraden ${\displaystyle \perp }$ zwischen den Geraden der Ebene. In einer solchen Ebene können (senkrechte) Achsenspiegelungen definiert werden (siehe Spiegelung (Geometrie) – Achsenspiegelung).

Als Winkelhalbierenden-Axiom wird die folgende Aussage bezeichnet:

• Zu zwei Geraden ${\displaystyle a,b}$ existiert eine Gerade ${\displaystyle w}$, so dass bei der Achsenspiegelung an ${\displaystyle w}$ die Gerade ${\displaystyle a}$ auf die Gerade ${\displaystyle b}$ abgebildet wird.

Sind die Geraden ${\displaystyle a,b}$ parallel und verschieden, so ist deren Mittelparallele eine Gerade, die die geforderte Symmetrieeigenschaft hat. Da Mittelparallelen in einer präeuklidischen Ebene immer existieren, ist die wesentliche Forderung die nach einer Symmetrieachse für ein schneidendes Geradenpaar, also nach einer Winkelhalbierenden. Aus der Existenz einer Winkelhalbierenden folgt stets die Existenz genau einer zweiten, die senkrecht zur ersten ist.

Eine präeuklidische Ebene, die das Axiom für Winkelhalbierende erfüllt, wird als frei bewegliche Ebene bezeichnet.

• Friedrich Bachmann: Aufbau der Geometrie aus dem Spiegelungsbegriff. 2. Auflage, Berlin; Göttingen; Heidelberg 1973

Zusammenfassung: Zur Begründung der Geometrie aus dem Spiegelungsbegriff. Mathematische Annalen, Bd. 123, 1951, S. 341ff

• Wendelin Degen und Lothar Profke: Grundlagen der affinen und euklidischen Geometrie, Teubner, Stuttgart, 1976, ISBN 3-519-02751-8

Commons: Winkelhalbierende – Sammlung von Bildern, Videos und Audiodateien

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

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

• Klassische Transversalen – Innen- und Außenwinkelhalbierende unter D.7

1. ↑ Victor Oxman: On the existence of triangles with given lengths of one side and two adjacent angle bisectors. Forum Geometricorum 4, 2004, S. 215, abgerufen am 14. Juni 2022. 
2. ↑ Eric W. Weisstein: Angle Bisector. In: MathWorld (englisch).
3. ↑ Stephen Buckley, Desmond MacHale, Department of Mathematics, University College, Cork: Dividing an angle into equal parts