Desarguesova věta

Přímky AA', BB', CC' prochází jedním bodem právě tehdy, když průsečíky přímek AB a A'B', BC a B'C', AC a A'C' leží na jedné přímce.

S = (-55.842963852680235, 108.46916975951858)
B = (13.265225368699662, -49.776417944195124)
a = Line(S, B)
C = (-97.38668961742393, -62.80970134224979)
b = Line(S, C)
A = (-13.162634979024617, -81.36754388969379)
c = Line(S, A)
d = Line(B, A)
e = Line(B, C)
f = Line(C, A)
B' = Point(a)
C' = Point(b)
A' = Point(c)
g = Line(B', C')
h = Line(C', A')
i = Line(A', B')
M = Intersect(d, i)
L = Intersect(h, f)
K = Intersect(e, g)
j = Line(M, L)
k = Line(K, M)
l = Segment(B', C')
m = Segment(C', A')
n = Segment(A', B')
p = Segment(B, C)
q = Segment(C, A)
r = Segment(A, B)