La droite en pointillés est-elle un axe de symétrie du rectangle ?

O = (5.936043956043955, -1.3319623233908937)
k = Circle(O, 4.5)
P = (5.936043956043955, 2.2536577708006287)
Zoom = 1.1 (slider from 0 to 5, step 0.1)
P' = Dilate(P, Zoom, O)
c = Circle(O, P')
A = Point(c)
a = Line(P, O)
D = Mirror(A, a)
b = Line(A, a)
B = Intersect(c, b, 2)
C = Mirror(A, O)
poly1, a_1, b_1, c_1, d = Polygon(A, B, C, D)
M = Point(k)
e = Line(M, O)
E = Intersect(d, e)
F = Intersect(b_1, e)
f = OrthogonalLine(A, e)
g = OrthogonalLine(B, e)
G = Intersect(f, e)
H = Intersect(g, e)
Pliage = 0 rad (slider from 0 to 3.141592653589793, step 0.017453292519943295)
A' = Rotate(A, Pliage, G)
B' = Rotate(B, Pliage, H)
poly2, e_1, a', b', f_1 = Polygon(E, A', B', F)
I = Intersect(a_1, e)
J = Intersect(c_1, e)
h = OrthogonalLine(B, e)
i = OrthogonalLine(D, e)
K = Intersect(h, e)
B2 = Rotate(B, Pliage, K)
j = OrthogonalLine(C, e)
L = Intersect(j, e)
C2 = Rotate(C, Pliage, L)
poly3, i_1, b2, c2, j_1 = Polygon(I, B2, C2, J)