A = (2, -2.5)
B = (2, -3)
C = (2.5, -3)
poli1, c, a, b = Polygon(A, B, C)
d = Circle(A, B)
f = OrthogonalLine(A, b)
G = (6, -5)
H = (12, -5)
e = Circle(A, B)
g = OrthogonalLine(A, b)
D = Intersect(e, g, 1)
h = Segment(C, D)
i = chiocciola(A, B, C)
j = chiocciola(D, A, C)
E = Point(j)
k = chiocciola(E, D, C)
F = Point(k)
l = chiocciola(F, E, C)
I = Point(l)
m = chiocciola(I, F, C)
J = Point(m)
n = chiocciola(J, I, C)
K = Point(n)
p = chiocciola(K, J, C)
L = Point(p)
q = chiocciola(L, K, C)
M = Point(q)
r = chiocciola(M, L, C)
N = Point(r)
s = chiocciola(N, M, C)
O = Point(s)
t = chiocciola(O, N, C)
P = Point(t)
f_1 = chiocciola(P, O, C)
Q = Point(f_1)
g_1 = chiocciola(Q, P, C)
R = Point(g_1)
h_1 = Segment(D, A)
i_1 = Segment(D, E)
j_1 = Segment(E, F)
k_1 = Segment(F, I)
l_1 = Segment(I, J)
m_1 = Segment(J, K)
n_1 = Segment(K, L)
p_1 = Segment(L, M)
q_1 = Segment(M, N)
r_1 = Segment(N, O)
s_1 = Segment(O, P)
t_1 = Segment(P, Q)
a_1 = Segment(Q, R)

Tool: chiocciola
clicl sui tre vertici in senso orario, al centro quello dell'angolo retto
Input: A, B, C
Output: h

poli1, c, a, b = Polygon(A, B, C)
e = Circle(A, B)
g = OrthogonalLine(A, b)
D = Intersect(e, g, 1)
h = Segment(C, D)