A = (0, -3)
B = (6, -3)
C = (6, 3)
D = (0, 3)
E = (2, 3)
F = (4, 3)
G = (0, 1)
H = (0, -1)
I = (2, -3)
J = (4, -3)
K = (6, -1)
L = (6, 1)
a = Segment(D, C)
b = Segment(C, B)
c = Segment(B, A)
d = Segment(A, D)

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)