A = (7.828688386100887, -6.781511177691317)
B = (12.504670857761731, -6.868221034316216)
poly1, f, g, h, C = Polygon(A, B, 3)
i = LineBisector(A, B)
j = LineBisector(B, C)
O = Intersect(i, j)
E_1 = Intersect(i, j)
c = Circle(O, 1)
Poignee = (11.98404131382422, -5.216406496816278)
k = Line(O, Poignee)
C' = Intersect(c, k, 2)
d = Circle(C', O)
H_1 = Intersect(c, d, 1)
e = Circle(H_1, O)
A' = Intersect(c, e, 1)
p = Circle(A', O)
J = Intersect(c, d, 2)
q = Circle(J, O)
l = Segment(C', A')
B' = Intersect(c, q, 2)
m = Segment(A', B')
n = Segment(B', C')
r = Line(A, B')
s = Line(C, C')
t = Line(B, A')
P = Intersect(r, s)
K = Intersect(t, h)
a = Segment(K, B)
L = Intersect(r, g)
b = Segment(L, A)
M = Intersect(s, f)
f_1 = Segment(M, C)
g_1 = Line(A, A')
h_1 = Line(A, C')
i_1 = Line(C, A')
j_1 = Line(C, B')
k_1 = Line(B, B')
l_1 = Line(B, C')
N = Intersect(h_1, i_1)
α = Angle(P, A', A)
distanceOP = Distance(O, P)
TexteOP: Name[O] + (Name[P]) + " = " + distanceOP
m_1 = Line(C, C')
n_1 = Segment(C, M)