α_1 = 0.4014257279586958 rad (slider from 0 to 3.141592653589793, step 0.017453292519943295)
P = (2, 3)
a = Line(P, xAxis)
b = OrthogonalLine(P, xAxis)
A = Intersect(b, xAxis)
S = (3, 7)
d = OrthogonalLine(S, xAxis)
C = Intersect(d, xAxis)
f = Line(S, xAxis)
P'_1 = Rotate(P, -α_1, A)
α = Angle(P'_1, A, P)
c = Line(A, P'_1)
P' = Intersect(a, c)
e = Line(C, c)
S' = Intersect(f, e)
Q = (8, 3)
g = OrthogonalLine(Q, xAxis)
D = Intersect(g, xAxis)
h = Line(D, c)
i = Line(Q, xAxis)
Q' = Intersect(h, i)
R = (9, 7)
j = OrthogonalLine(R, xAxis)
B = Intersect(j, xAxis)
k = Line(R, xAxis)
l = Line(B, c)
R' = Intersect(k, l)
m = Segment(P, Q)
n = Segment(Q, R)
p = Segment(R, S)
q = Segment(S, P)
r = Segment(P', Q')
s = Segment(Q', R')
t = Segment(R', S')
a_1 = Segment(S', P')