C_1 = (3.7233236637190195, -7.492278350173511)
D_1 = (7.518314843001743, -7.064673710254331)
E = (10.80552551238044, -7.171574870234126)
kcDE = Distance(D_1, E)
K_1 = (-2.2898665851444524, -7.225025450224024)
A = (1.2378716941887837, 4.266849247603942)
B = (8.159721802880519, 4.320299827593841)
a = Segment(A, B)
D = (-1.9157125252151699, -2.414473251133247)
b = Segment(A, D)
c = LineBisector(a)
C = Mirror(D, c)
H = Intersect(c, a)
d = Segment(D, C)
K = Intersect(c, d)
e = Segment(A, H)
f = Segment(H, B)
g = Segment(D, K)
h = Segment(K, C)
đa giác1, a_1, c_1, c', b_1 = Polygon(A, D, C, B)