Betrachte die beiden Ortsvektoren. Du bekommst die Richtung der Winkelhalbierenden zwischen
(x1y1) und (x2y2).
durch deren Summe, da beide gleichlang (Länge 1) sind.
Jetzt musst du diese Summe nur noch auf die Länge 1 bringen, damit der
zugehörige Punkt auch auf dem Einheitskreis liegt.
Dazu brauchst du die Länge von (x1+x2y1+y2) und musst mit deren Kehrwert
multiplizieren. Die Länge ist gerade die Wurzel im Nenner; denn bedenke
x12 + x22 = 1 und y12 + y22 = 1 .