01) Si tracci il punto A
02) Si disegni la circonferenza c di centro A e raggio 1
03) Sia a una retta passante per A e siano C e D 
i punti di intersezione tra c e a.
04) Si disegni la circonferenza d di centro C e raggio 1
05) Si trovi il punto medio G del segmento CA
06) Si tracci la circonferenza  e di centro G e raggio GD
07) Sia H il punto di intersezione tra d ed e
08) Si costruisce l'asse h  del segmento HA
09) Sia K l'intersezione tra h e la circonferenza e
10) KC= sqrt(2)

A = (-1.2733333333333334, 3.533333333333333)
c = Circle(A, 1.0)
B = (1.5977777777777777, 3.56)
a = Line(A, B)
C, D = Intersect(c, a)
d = Circle(C, 1.0)
E, F = Intersect(d, c)
b = Segment(E, F)
G = Intersect(b, a)
e = Circle(G, Segment[G, D])
H = Intersect(e, d)
f = Circle(H, Segment[H, G])
g = Circle(A, Segment[H, G])
I, J = Intersect(f, g)
h = Line(I, J)
K, L = Intersect(e, h)
i = Segment(C, K)
j = Segment(H, K)
k = Segment(K, D)
l = Segment(H, D)