Winkelhalbierende

Winkelhalbierende eines Winkels bzw. zweier Geraden

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.

Zwei sich schneidende Geraden bestimmt zwei Winkelhalbierende, in diesem Falle Geraden, die zueinander orthogonal sind. Jede dieser Winkelhalbierenden ist eine Symmetrieachse der geometrischen Figur, die von den sich schneidenden Geraden 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 von sich schneidenden Geraden ebenfalls durch ihre Eigenschaft als Symmetrieachsen definiert. Die Existenz dieser Winkelhalbierenden ist dort eines der Axiome, die eine frei bewegliche präeuklidische Ebene kennzeichnen.

Winkelhalbierende in der ebenen Geometrie

Konstruktion

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.

Datei:Bissectrice droites.png

Die Winkelhalbierenden (rot) zweier Geraden sind zueinander orthogonal.

Datei:Winkelteilung.svg

Konstruktion einer Winkelhalbierenden mit Zirkel und Lineal. Dazu müssen drei Kreise oder Kreisbögen gezeichnet werden.

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.

Winkelhalbierendensatz

Die Winkelhalbierende ist die Menge aller Punkte, die von den beiden Geraden gleich weit entfernt sind.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> Das bedeutet, dass ein Punkt genau dann auf der Winkelhalbierenden liegt, wenn er von beiden Schenkeln denselben Abstand hat.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Winkelhalbierende im Dreieck

Datei:Aussenwinkelhalbierende2.svg

}\end{align} </math>

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 <math>\alpha</math> oft als <math>w_\alpha</math> 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 <math>w_c</math> der Halbierenden eines Innenwinkels <math>\gamma</math> und für die anliegenden Seiten der Länge <math>a</math> und <math>b</math> gilt die Beziehung:

<math>w_c=\frac{2ab}{a+b}\cos\left( \frac{\gamma}{2} \right)</math><ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Victor Oxman|Victor Oxman: }}{{#if:|{{#if:On the existence of triangles with given lengths of one side and two adjacent angle bisectors|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=On the existence of triangles with given lengths of one side and two adjacent angle bisectors}}]{{#if:PDF| (PDF)}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=On the existence of triangles with given lengths of one side and two adjacent angle bisectors}}}}|[{{#invoke:URLutil|getNormalized|1=https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=On the existence of triangles with given lengths of one side and two adjacent angle bisectors}}}}]}}{{#if:PDF| (PDF{{#if:Forum Geometricorum 42004215{{#if: 2022-06-14 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf}}%7C%7C URL ungültig}}}}{{#if:On the existence of triangles with given lengths of one side and two adjacent angle bisectors|{{#if:{{#invoke:WLink|isValidLinktext|1=On the existence of triangles with given lengths of one side and two adjacent angle bisectors|lines=0}}|| Linktext ungültig}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: Forum Geometricorum 4| Forum Geometricorum 4{{#if: 2004215|,|{{#if: 2022-06-14 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 2004| {{#if:{{#invoke:DateTime|format|2004|noerror=1}}
            |{{#invoke:DateTime|format|2004|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2004|class=Zitationswartung}} }}{{#if: 215|,|{{#if: 2022-06-14 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 215| S. 215{{#if: |,|{{#if: 2022-06-14 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2152004Forum Geometricorum 4|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}|{{{archiv-datum}}}{{#if:58019||(?)}}}}}}{{#if: 2022-06-14|;}}}}{{#if: 2022-06-14| {{#if:2152004Forum Geometricorum 4{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2022-06-14 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2022-06-14|class=Zitationswartung}} }} {{#invoke:DateTime|format|2022-06-14|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:Forum Geometricorum 42004215{{#if: 2022-06-14 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if:PDF | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2004215{{#if: 2022-06-14 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[https://forumgeom.fau.edu/FG2004volume4/FG200425.pdf }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>

Sind hingegen alle drei Seiten gegeben, so gilt:

<math>w_c = \sqrt{a \cdot b \left( 1-\frac{c^2}{(a+b)^2}\right)}</math><ref>{{#if: | {{{author}}} | Eric W. Weisstein }}: Angle Bisector. In: MathWorld (englisch). {{#if: AngleBisector | {{#ifeq: {{#property:P2812}} | AngleBisector | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}</ref>

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 Fußpunkte der Winkelhalbierenden (Schnittpunkte der Winkelhalbierenden mit den Seiten des Dreiecks) sind gegeben durch (baryzentrisch):

<math>W_a = \left( 0 : b : c \right)</math>

<math>W_b = \left( a : 0 : c \right)</math>

<math>W_c = \left( a : b : 0 \right)</math>

Winkelhalbierende im Viereck

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.

Gleichungen

Sind die Gleichungen <math>a_1x+b_1y+c_1=0,\ a_2x+b_2y+c_2=0</math> zweier Geraden gegeben, so ergeben sich die Gleichungen ihrer Winkelhalbierenden mit Hilfe ihrer Hesseschen Normalformen:

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

Winkelhalbierende eines Koordinatensystems

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 <math>y = x</math>. 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 <math>y = -x</math>. Dieser Funktionsgraph ist die Ursprungsgerade mit der Steigung −1.

Verallgemeinerungen

{{#invoke:Vorlage:Siehe auch|f}} Mithilfe von iterativer Winkelhalbierung kann ein Winkel auch in <math>2 \cdot 2 = 2^2 = 4</math>, <math>2 \cdot 2 \cdot 2 = 2^3 = 8</math>, <math>2 \cdot 2 \cdot 2 \cdot 2 = 2^4 = 16</math> oder allgemein in <math>2^k</math> deckungsgleiche Teile geteilt werden. Dazu werden die halbierten Winkel jeweils erneut halbiert. Um einen Winkel zum Beispiel in <math>2 \cdot 2 \cdot 2 \cdot 2 = 2^4 = 16</math> gleiche Teile zu teilen, müssen nacheinander 4 Winkelhalbierende konstruiert werden.

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

Es gilt folgender Satz: Ist ein Winkel <math>\alpha</math> gegeben und sind <math>p</math> und <math>q</math> natürliche Zahlen, dann kann der Winkel <math>\frac{p}{q} \cdot \alpha</math> genau dann mit Zirkel und Lineal konstruiert werden, wenn <math>q</math> eine Zweierpotenz ist, also <math>q = 2^k</math>. Für alle anderen natürlichen Zahlen <math>q</math> ist das nicht möglich.<ref>Stephen Buckley, Desmond MacHale, Department of Mathematics, University College, Cork: Dividing an angle into equal parts</ref>

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.

Synthetische Geometrie

Eine präeuklidische Ebene ist in der synthetischen Geometrie eine affine Ebene <math>K^2</math> über einem Körper <math>K</math>, dessen Charakteristik nicht 2 ist, zusammen mit einer Orthogonalitätsrelation ohne isotrope Geraden <math>\perp</math> 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 <math>a,b</math> existiert eine Gerade <math>w</math>, so dass bei der Achsenspiegelung an <math>w</math> die Gerade <math>a</math> auf die Gerade <math>b</math> abgebildet wird.

Sind die Geraden <math>a,b</math> 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 die sich schneidenden Geraden, 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.

Siehe auch

Tangente (Winkelhalbierende)

Literatur

Friedrich Bachmann: Aufbau der Geometrie aus dem Spiegelungsbegriff. 2. Auflage. Springer, Berlin, Göttingen, Heidelberg 1973, ISBN 978-3-642-65538-8.

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

Weblinks

[{{canonicalurl:Commons:Category:{{#if:Angle bisection|Angle bisection|Winkelhalbierende}}|uselang=de}} Commons: {{#if:Winkelhalbierende|Winkelhalbierende|{{#if:Angle bisection|Angle bisection|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if:

    | {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if: Angle bisection

   | {{#ifeq: {{#invoke:Str|left|angle bisection|9}} 
       | category:

| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung

[[wikt:{{#if:|{{{lang}}}:}}{{#if:|{{{1}}}|{{#invoke:WLink|getArticleBase}}}}|Wiktionary: {{#if:|{{{2}}}|{{#if:|{{{1}}}|{{#invoke:WLink|getArticleBase}}}}}}]]{{#switch: 1

|1|= – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen |0|-= |X|x= |#default= –

}}{{#if:| {{#ifeq: {{{lang}}} | de | {{#ifeq: 0 | 0 | }} | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}}}

{{#invoke:TemplatePar|check

  |opt= 1= 2= lang= suffix=
  |template=Vorlage:Wiktionary
  |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt
  }}

[[wikt:{{#if:|{{{lang}}}:}}{{#if:Winkelsymmetrale|Winkelsymmetrale|{{#invoke:WLink|getArticleBase}}}}|Wiktionary: {{#if:|{{{2}}}|{{#if:Winkelsymmetrale|Winkelsymmetrale|{{#invoke:WLink|getArticleBase}}}}}}]]{{#switch: 1

|1|= – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen |0|-= |X|x= |#default= –

}}{{#if:| {{#ifeq: {{{lang}}} | de | {{#ifeq: 0 | 0 | }} | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}}}

{{#invoke:TemplatePar|check

  |opt= 1= 2= lang= suffix=
  |template=Vorlage:Wiktionary
  |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt
  }}

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

Einzelnachweise