1. Kreis k_o um S, Radius beliebig

2. S_1 und S_2 sind die Schnittpunkte von k_o mit s_1 bzw. mit s_2

3. Kreis k_1 um P mit demselben Radius wie k_o

Gegeben: Scheitel S, Schenkel s_1, s_2; 

Scheitel P und Schenkel t_1

Winkel übertragen

4. T_1 ist Schnittpunkt von k_1 mit t_1

5. k_2 um T_1 mit Radius=Abstand von S_1 und S_2

6. T_2 ist Schnittpunkt von k_1 und k_2
    (Drehsinn von S_1 zu S_2 = Drehsinn von T_1 zu T_2)

Der Strahl von P_2 durch T_2 schließt mit dem
Strahl von P durch T_1 einen genauso weiten Winkel ein
wie die Strahlen von S durch S_1 und von S durch S_2.

7. Strahl t_2 von P_2 durch T_2

v 1.0 (haj)

Bei >Schritte< mit der Maus ziehen!

S = (0, 0)
k_o = Circle(S, 3)
s_1 = Ray(S, (4, -1))
S_1 = Intersect(k_o, s_1)
s_2 = Ray(S, (1, 2))
S_2 = Intersect(k_o, s_2)
P = (5, -4)
k_1 = Circle(P, Distance[S_1, S])
α = Angle(S_1, S, S_2)
Schritte = 0 (slider from 0 to 8, step 1)
t_1 = Ray(P, (7, 1))
T_1 = Intersect(k_1, t_1)
k_2 = Circle(T_1, Distance[S_1, S_2])
A, T_2 = Intersect(k_2, k_1)
t_2 = Ray(P, T_2)
β = Angle(T_1, P, T_2)
r_1 = Segment(S_1, S_2)
T_X: T_1 + Vector[S_1, S_2]
r_2 = Segment(T_1, T_X)