A_0 = (3.061616997868383E-16, 5)
A_1 = (-3.5355339059327373, 3.5355339059327378)
A_2 = (-5, 6.123233995736766E-16)
A_3 = (-3.5355339059327386, -3.5355339059327373)
A_4 = (-9.184850993605148E-16, -5)
A_5 = (3.535533905932737, -3.5355339059327386)
A_6 = (5, -1.2246467991473533E-15)
A_7 = (3.5355339059327386, 3.535533905932737)
a = Segment(A_0, A_7)
b = Segment(A_7, A_6)
c = Segment(A_6, A_5)
d = Segment(A_5, A_4)
e = Segment(A_4, A_3)
f = Segment(A_3, A_2)
g = Segment(A_2, A_1)
h = Segment(A_1, A_0)

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)