Versuchen wir es doch einmal anders herum
Ein Punkt Pt auf dem Kreis K(0,0),1 hat die Koordinaten
Pt = (sin(t ), cos(t)) t=0...2pi
P0= (sin(0), cos(0)) =(0,1)
Wenn wir A nun "nach links" mit -ϕ/2 fahren und B "nach rechts" mit ϕ/2 ))
A=(sin( -ϕ / 2), cos( -ϕ / 2))
B=(sin(ϕ / 2), cos( ϕ / 2))
dann haben wir einen Winkel ∠(BOA)=ϕ