D = (2, -2)
C = (8, -2)
DC = Segment(D, C)
b = OrthogonalLine(C, DC)
c = OrthogonalLine(D, DC)
A = Point(c)
d = OrthogonalLine(A, c)
B = Intersect(b, d)
poly1, a_1, b_1, c_1, AD = Polygon(A, B, C, D)
e = Segment(A, C)
f = Segment(B, D)
K = Intersect(e, f)
g = Line(A, f)
h = Line(B, e)
F = Intersect(g, h)
i = Line(C, D)
E = Intersect(g, i)
ED = Segment(E, D)
l = Segment(F, B)
k = Segment(E, F)
j = Segment(D, K)
α = Angle(B, K, A)
FBKA, a, f_1, b_2, k_1 = Polygon(A, F, B, K)