A = (4.5200000000000005, 3.36)
B = (4.42, 0.7000000000000001)
C = (-0.24, 0.78)
polígono1, c, a, b = Polygon(A, B, C)
P = (3.42, 1.72)
d = Line(A, P)
e = Line(B, P)
f = Line(C, P)
C' = Intersect(f, c)
A' = Intersect(d, a)
B' = Intersect(e, b)
A''_1 = Rotate(A', 1.5707963267948966, A)
g = Line(A, A''_1)
h = Line(A', g)
D = Midpoint(A''_1, A')
i = Line(P, D)
E = Intersect(g, i)
F = Intersect(h, i)
F' = Mirror(F, A')
j = Line(E, F')
A'' = Intersect(d, j)
B''_1 = Rotate(B', 1.5707963267948966, B)
l = Line(B, B''_1)
m = Line(B', l)
G = Midpoint(B''_1, B')
n = Line(P, G)
H = Intersect(l, n)
I = Intersect(m, n)
I' = Mirror(I, B')
p = Line(H, I')
B'' = Intersect(e, p)
C''_1 = Rotate(C', 1.5707963267948966, C)
q = Line(C, C''_1)
r = Line(C', q)
J = Midpoint(C''_1, C')
s = Line(J, P)
K = Intersect(q, s)
L = Intersect(r, s)
L' = Mirror(L, C')
t = Line(K, L')
C'' = Intersect(f, t)
polígono2, c'', a'', b'' = Polygon(A'', B'', C'')

Tool: Anticeviano (triángulo) (command Anticeviano)
Triángulo, Punto
Input: polígono1, P
Output: polígono2

A = (13.04697349281158, -1.709094542738675)
B = (16.72424072925366, 3.4160966680524725)
C = (18.769720629524564, 0.03760739457131245)
polígono1, c, a, b = Polygon(A, B, C)
d = Line(A, P)
e = Line(B, P)
f = Line(C, P)
C' = Intersect(f, c)
A' = Intersect(d, a)
B' = Intersect(e, b)
A''_1 = Rotate(A', 1.5707963267948966, A)
g = Line(A, A''_1)
h = Line(A', g)
D = Midpoint(A''_1, A')
i = Line(P, D)
E = Intersect(g, i)
F = Intersect(h, i)
F' = Mirror(F, A')
j = Line(E, F')
A'' = Intersect(d, j)
B''_1 = Rotate(B', 1.5707963267948966, B)
l = Line(B, B''_1)
m = Line(B', l)
G = Midpoint(B''_1, B')
n = Line(P, G)
H = Intersect(l, n)
I = Intersect(m, n)
I' = Mirror(I, B')
p = Line(H, I')
B'' = Intersect(e, p)
C''_1 = Rotate(C', 1.5707963267948966, C)
q = Line(C, C''_1)
r = Line(C', q)
J = Midpoint(C''_1, C')
s = Line(J, P)
K = Intersect(q, s)
L = Intersect(r, s)
L' = Mirror(L, C')
t = Line(K, L')
C'' = Intersect(f, t)
polígono2, c'', a'', b'' = Polygon(A'', B'', C'')