M_a

M_b

M_c

$\mbox{Bijective correspondence between \
the nonzero length \textcolor{red}{segments} of the plane and \
the pairs of complex conjugate points of the plane.}$

A = (-2.36, -1.22)
B = (9.14, -1.22)
C = (22.102553738099115, 36.03241603328738)
polígono1, c, a, b = Polygon(A, B, C)
X_4 = TriangleCenter(A, B, C, 4)
X_3 = TriangleCenter(A, B, C, 3)
u = Vector(X_4, X_3)
A' = Translate(A, u)
B' = Translate(B, u)
C' = Translate(C, u)
polígono1', c', a', b' = Polygon(A', B', C')
cc = Circle(A, B, C)
d = Line(C', B')
e = Line(A', C')
f = Line(A', B')
A_1 = Intersect(cc, d, 1)
A_2 = Intersect(cc, d, 2)
B_1 = Intersect(cc, e, 1)
B_2 = Intersect(cc, e, 2)
C_1 = Intersect(cc, f, 1)
C_2 = Intersect(cc, f, 2)
D, E, B'C' = InterRectaCirculo(B', C', X_3, A)
mB'C' = Midpoint(B'C')
g = Line(A, mB'C')
M_a = Midpoint(A_1, A_2)
h = Line(A, M_a)
F, G, C'A' = InterRectaCirculo(C', A', X_3, A)
mC'A' = Midpoint(C'A')
i = Line(B, mC'A')
X_2 = TriangleCenter(A, B, C, 2)
X_{74} = TriangleCenter(A, B, C, 74)
X_6 = TriangleCenter(A, B, C, 6)
j = Line(X_6, u)
k = Line(X_2, X_{74})
X_{4846} = Intersect(j, k)
H, I, A'B' = InterRectaCirculo(A', B', X_3, A)
mA'B' = Midpoint(A'B')
l = Line(C, mA'B')
M_c = Midpoint(C_1, C_2)
m = Line(C, M_c)
M_b = Midpoint(B_1, B_2)
n = Line(B, M_b)

Tool: InterRectaCirculo
Dar la recta AB y el círculo OD
Input: A, B, O, D
Output: P, Q, b

d = Line(A, B)
c = Circle(O, D)
P = Intersect(c, d, 1)
Q = Intersect(c, d, 2)
a = OrthogonalLine(O, d)
H = Intersect(a, d)
C = Midpoint(O, H)
e = Circle(C, O)
M = Intersect(c, e, 1)
f = Circle(H, M)
P' = Intersect(f, d, 1)
Q' = Intersect(f, d, 2)
b = Segment(P', Q')