A = Intersect(a, b)
K = (0, -2)
u = Vector(A, K)
K' = Translate(K, u)
v = Vector(K, K')
c = Line(K', a)
d = Line(K', b)
B = Intersect(a, d)
C = Intersect(c, b)