A: (0, 0)
B = Point(Circle[A, 4])
f = Segment(A, B)
C = Midpoint(A, B)
D = Midpoint(A, C)
E = Midpoint(C, B)
α = 3.141592653589793 rad (slider from 0 to 6.283185307179586)