A = (-1, 3)
B = (9, 3)
C = (9, -3)
D = (-1, -3)
a = Segment(A, B)
b = Segment(B, C)
c = Segment(C, D)
E = Midpoint(b)

Tool: Compas
Choisir un écartement (deux points), puis choisir un centre
Input: A, B, C
Output: c

u = Vector(A, B)
D = Translate(C, u)
c = Circle(C, D)

Tool: partage
donner une valeur à n puis choisir deux points
Input: A, B, n
Output: L'

c = Circle(A, 1)
a = Segment(A, B)
b = OrthogonalLine(A, a)
C = Intersect(c, b, 2)
u = Vector(A, C)
f(x) = x(u) + x
g(x) = y(u) + x
L_x = IterationList(f, x(A), n)
L_y = IterationList(g, y(A), n)
L = Sequence((Element[L_x, i + 1], Element[L_y, i + 1]), i, 1, n)
D_0 = Line(B, Element[L, n])
D = Sequence(Line[Element[L, i], D_0], i, 1, n)
L' = Sequence(Intersect[a, Element[D, i]], i, 1, n)