Coordonnées de M' :  

x=α-sinα

y=1-cosα

A = Point(yAxis)
c = Circle(A, 1)
M = Intersect(c, xAxis, 1)
α = 2.42 (slider from 0 to (2 * π))
A': (α, 1)
M': (α - sin(α), 1 - cos(α))
lieu1 = Locus(M', α)
u = Vector((0, 1), (α, 1))
d = Circle(A', 1)
f = OrthogonalLine(M', xAxis)
H = Intersect(xAxis, f)
g = Segment(M', H)
h = Segment(M', A')
i = OrthogonalLine(A', g)
J = Intersect(g, i)
j = Segment(J, A')
t1, a', m', j_1 = Polygon(M', J, A')
β = Angle(M', A', H)
k = Segment(A', H)