α

a

a

a

α_1

β_1

γ_1

δ_1

ω_2

ω_3

ω_4

A = (-13, 1)
B_1 = (-11, 1)
f_1 = Line(A, B_1)
a_1 = 2.5 (slider from 1 to 5)
c_1 = Circle(A, a_1)
C_1, B = Intersect(c_1, f_1)
α = 0.9424777960769379 rad (slider from 0 to 180°)
E = (-7, 1)
E' = Rotate(E, α, B)
β = Angle(E, B, E')
F = (-12, 1)
F' = Rotate(F, α, A)
γ = Angle(F, A, F')
g = Ray(B, E')
h = Ray(A, F')
D = Intersect(c_1, h)
i = Line(D, f_1)
C = Intersect(i, g)
a = Segment(A, B)
b = Segment(B, C)
c = Segment(C, D)
d = Segment(D, A)
e = Segment(A, C)
f = Segment(B, D)
M = Intersect(f, e)
α_3 = Angle(C, A, D)
γ_2 = Angle(A, C, B)
δ = Angle(C, M, D)
ε = Angle(A, M, B)
α_2 = Angle(B, A, M)
α_1 = Angle(M, A, D)
β_1 = Angle(M, B, A)
η = Angle(C, B, M)
γ_1 = Angle(M, C, B)
ι = Angle(D, C, M)
κ = Angle(M, D, C)
δ_1 = Angle(A, D, M)
μ = Angle(C, M, D)
ν = Angle(B, M, C)
ξ = Angle(A, M, B)
ω_1 = Angle(D, M, A)