A = (7, -1)
B = (12, -1)
c = Circle(A, B)
α = 5.235987755982989 rad (slider from 0 to 6.283185307179586, step 0.05°)
M = Rotate(B, α, A)
β = Angle(B, A, M)
f = Line(A, B)
g = OrthogonalLine(M, f)
h = Segment(M, B)
C = Intersect(c, g, 1)
i = Segment(A, C)
D = Intersect(f, g)
d = Circle(A, D)
E = Intersect(d, i, 1)
j = OrthogonalLine(D, i)
F = Intersect(j, i)
k = Segment(F, M)
G = Intersect(d, k, 1)