Z = (2, -2)
B = (9, -2)
f = Segment(Z, B)
α = 1.0821041362364843 rad (slider from 40° to 90°, step 1°)
A' = Rotate(Z, α, Z)
B' = Rotate(B, α, Z)
f' = Segment(A', B')
g = Line(B', f)
h = Line(B, f')
C = Intersect(g, h)
i = Segment(B', C)
j = Segment(C, B)
k = Ray(Z, C)
D = Point(k)
l = OrthogonalLine(D, k)
E = Point(l)
F = Point(l)
m = Segment(E, F)
G = Intersect(m, f')
H = Intersect(f, m)
β = Angle(C, D, G)
c = Circle(G, (2 * Distance[G, H]))
I = Point(c)
J = Point(c)
d = CircleArc(G, J, I)
K = Intersect(d, k)
d1, h_1, g_1, k_1 = Polygon(G, K, H)
G' = Dilate(G, Distance[A', C] / Distance[A', K], Z)
K' = Dilate(K, Distance[A', C] / Distance[A', K], Z)
H' = Dilate(H, Distance[A', C] / Distance[A', K], Z)
d1', h', g', k' = Polygon(G', K', H')