Diagonale [AC]

Diagonale [BD]

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

O = (0, 0)
p = Circle(O, 5.2)
l = 3.9 (slider from 0 to 5, step 0.1)
m = 2 (slider from 0 to 5, step 0.1)
N: (0, m)
k = Circle(O, N)
P: (0, l)
c = Circle(O, P)
A = Point(c)
b = OrthogonalLine(O, Line[A, O])
a = Line(P, O)
C = Mirror(A, O)
B = Intersect(k, b, 2)
D = Mirror(B, O)
poly1, a_1, b_1, c_1, d = Polygon(A, B, C, D)
M = Point(p)
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)