AD = DB

T222

A = (2, 2)
B = (14, 2)
f = Segment(A, B)
B' = Rotate(B, 30°, A)
α = Angle(B, A, B')
g = Segment(A, B')
A' = Rotate(A, -60°, B)
β = Angle(A', B, A)
h = Segment(B, A')
C = Intersect(h, g)
γ = Angle(A, C, B)
k1, c, a, b = Polygon(A, B, C)
D = Point(c)
i = OrthogonalLine(D, c)
E = Intersect(i, b)
j = Segment(E, D)