Die Winkelhalbierende

Die Winkelhalbierende ist die Linie, die einen Winkel in zwei gleich große Haelften teilt.

Als Punktmenge gilt die Defininiton:
Die Winkelhalbierende ist die Menge aller Punkte, die von den Schenkeln eines Winkels den gleichen Abstand haben.

Das bedeutet:
P liegt auf der Winkelhalbierenden w <=> Die beiden Abstaende von P zu den Schenkeln des Winkels sind gleich groß.
 
|PF1| = |PF2|

Eine Winkelhalbierende in einem Dreieck teilt die gegenueberliegende Seite im Verhaeltnis der anliegenden.
Beweis

R.Albers, Erstellt mit GeoGebra