S = (4, 10)
R = (7, 10)
poly1, a, b, c, d, Q, P = Polygon(S, R, 4)
E = Midpoint(P, Q)
e = Circle(E, Distance[P, E])
F = Point(e)
α = 0.8203047484373349 rad (slider from 0 to 179*°, step 0.017453292519943295)
A = Rotate(F, -α, E)
f = Segment(F, A)
g = Segment(A, Q)
G = Midpoint(P, R)
h = Ray(A, G)
H = Midpoint(S, R)
k = Circle(H, Distance[H, R])
I, B = Intersect(k, h)
i = Segment(A, B)
j = Segment(S, B)
l = Segment(B, R)
poly2, a_1, q, m, n, C, D = Polygon(A, Q, 4)
poly3, p, a_2, r, s, J, K = Polygon(P, A, 4)
β = 0.5759586531581288 rad (slider from 0 to 90*°, step 0.017453292519943295)
L = (4.725925925925921, 16.337037037037053)
A' = Rotate(A, β, P)
B' = Rotate(B, β, P)
i' = Segment(A', B')
poly4, a_3, p_1, s_1, b_1 = Polygon(A, P, S, B)
A'_1 = Rotate(A, β, P)
P' = Rotate(P, β, P)
S' = Rotate(S, β, P)
B'_1 = Rotate(B, β, P)
poly4', a'_1, p', s', b'_1 = Polygon(A'_1, P', S', B'_1)