Anticeviano (triángulo)

Triángulo, Punto

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'')