Proyectiviad Misma Recta

Dar en una recta d pares homólogos A,A'; B,B'; C,C' y P

Puntos Dobles Proyectividad

Dar una recta, A,A'; B.B', C,C' y X, devuelve X' y puntos dobles

K = Rotate(A', 90*°, A)
d = OrthogonalLine(B, a)
f = OrthogonalLine(B', a)
c = Line(K, P)
M = Intersect(d, c)
e = Line(K, C)
L' = Intersect(f, e)
g = Line(C, M)
M' = Intersect(f, g)
h = Line(C', L')
i = OrthogonalLine(A', a)
K' = Intersect(h, i)
j = Line(K', M')
P' = Intersect(a, j)
X' = ProyectiviadMismaRecta(d, A, A', B, B', C, C', X)
I = Midpoint(A, B')
K = Rotate(A, 90*°, I)
f = Circle(K, A', B)
g = Circle(K, A, C')
h = Circle(K, A', C)
J = Center(f)
i = Segment(I, J)
L = Mirror(K, i)
M_1 = Center(g)
N = Center(h)
j = Segment(M_1, N)
M = Mirror(K, j)
k = Circle(K, L, M)
P, Q = Intersect(k, d)