(O_{ab})

(O_{ac})

 K001 Neuberg cubic

K073 Ki, pK(X50, X3)

A = (-15.373632053518243, -10.405292091892278)
B = (11.920484176475128, -9.292760180343631)
C = (5.163707033669702, 5.533581760894657)
polígono1, c, a, b = Polygon(A, B, C)
K001 = Cubic(A, B, C, 1)
K073 = Cubic(A, B, C, 73)
P = Point(K001)
P_a = Mirror(P, a)
P_b = Mirror(P, b)
P_c = Mirror(P, c)
polígono2, p_c, p_a, p_b = Polygon(P_a, P_b, P_c)
d = Circle(A, B, P_b)
O_{ab} = Center(d)
e = Circle(A, C, P_c)
O_{ac} = Center(e)
f = EjeRadical(O_{ab}, P_b, O_{ac}, P_c)
g = ejeRadicalOabOac(B, C, A, P)
h = ejeRadicalOabOac(C, A, B, P)
Q = Intersect(g, h)
k = Circle(A, B, C)
X_3 = Center(k)
i = Line(X_3, P)

Tool: EjeRadical
Dar centro, punto y centro, punto
Input: A, B, C, D
Output: i

e = Circle(B, D, A)
E = Center(e)
a = Segment(A, E)
b = Segment(E, C)
B' = Mirror(B, a)
D' = Mirror(D, b)
f = Segment(A, C)
g = Line(B, B')
h = Line(D', D)
F = Intersect(g, h)
i = OrthogonalLine(F, f)

Tool: eje Radical OabOac (command ejeRadicalOabOac)
Dar ABC y P
Input: A, B, C, P
Output: f

polígono1, c, a, b = Polygon(A, B, C)
P_b = Mirror(P, b)
P_c = Mirror(P, c)
d = Circle(A, B, P_b)
O_{ab} = Center(d)
e = Circle(A, C, P_c)
O_{ac} = Center(e)
f = EjeRadical(O_{ab}, P_b, O_{ac}, P_c)