C

S

C

Kreis

Rotationsachse

Kreisfigur

Strahlensatzfigur

Ähnliche Dreiecke

Rotationskreise

parallele Geraden

Winkel

B

D

Rotation

IMP9 geo

M = (-2.7145463588279664, 2.6672553218618913)
r = 2 (slider from -5 to 5)
c = Circle(M, r)
D = Point(c)
A = Point(c)
S = (-3.374546358827967, 2.0952553218618895)
f = Line(A, S)
N, C = Intersect(c, f)
g = Line(S, D)
E, B = Intersect(c, g)
Z = Intersect(g, f)
h = Segment(A, D)
d2, i, q, s = Polygon(B, C, Z)
d1, j, m, l = Polygon(A, Z, D)
d, h_1 = AngularBisector(g, f)
d_1 = Circle(h_1, B)
k_1 = Circle(h_1, C)
C' = Mirror(C, h_1)
a = true
e = false
B' = Mirror(B, h_1)
n = Segment(D, Z)
w = false
p_1 = Line(C', B')
q_1 = Line(A, D)
G = Point(q_1)
H = Point(q_1)
I = Point(p_1)
J = Point(p_1)
r_1 = Segment(G, H)
s_1 = Segment(I, J)
K = Point(r_1)
L = Point(s_1)
t_1 = Segment(K, G)
o = true
u = true
C_S = Point(k_1)
B_S = Point(d_1)
dw = 1 (slider from 0 to 1, step 0.01)
C_2 = Rotate(C_S, (dw * π), h_1)
B_2 = Rotate(B_S, (dw * π), h_1)
d3, b_2, z_2, c_2 = Polygon(Z, C_2, B_2)
d4, b', z_3, c' = Polygon(Z, C', B')
wd4 = true
wd2 = true
f_1 = Segment(C_2, B_2)
p = Segment(Z, A)
k = Segment(Z, B_2)
t = Segment(Z, C_2)
a_1 = Segment(L, I)
α = If(Angle[S, D, A] < 180°, Angle[S, D, A], Angle[A, D, S])
γ = If(Angle[D, A, S] < 180°, Angle[D, A, S], Angle[S, A, D])
δ = If(Distance[S, M] < r, If[dw < 0.5, Angle[S, B_2, C_2], Angle[C_2, B_2, S]], If[Distance[S, M] > Distance[S, q_1], If[dw < 0.5, Angle[C_2, B_2, S], Angle[S, B_2, C_2]], If[dw < 0.5, Angle[S, B_2, C_2], Angle[C_2, B_2, S]]])
β = If(Distance[S, M] < r, If[dw < 0.5, Angle[B_2, C_2, S], Angle[S, C_2, B_2]], If[Distance[S, M] < Distance[S, q_1], If[dw < 0.5, Angle[B_2, C_2, S], Angle[S, C_2, B_2]], If[dw < 0.5, Angle[S, C_2, B_2], Angle[B_2, C_2, S]]])