(0:0:1)

(1:0:0)

(0:1:0)

(1:1:1)

(0:0:1)^perp

(0:1:0)^perp

(1:0:0)^perp

(0:1:-1)^perp

(0:1:1)

(1:0:-1)^perp

(1:0:1)

(1:1:-1)^perp

(1:-1:0)

(x:0:1)

(y:0:1)

()

(0:x:1)

(y:x:1)

(x+y:0:1)

A = (0.58, -6.26)
B = (19.14, -6.44)
C = (6.52, 0.02)
D = (4.78, -4.54)
a = Line(C, B)
b = Line(A, B)
c = Line(A, C)
d = Line(D, B)
E = Intersect(c, d)
e = Line(C, D)
F = Intersect(b, e)
f = Line(F, E)
G = Intersect(a, f)
H = Point(b)
I = Point(b)
g = Line(H, G)
J = Intersect(c, g)
h = Line(J, B)
i = Line(I, C)
K = Intersect(h, i)
j = Line(G, K)
L = Intersect(b, j)