les triangles ABB' et AMM' sont rectangles isocèles.
le point M est mobile sur la droite (BB').

quel est le lieu du point J milieu du segment [MM'] ?

visualiser les angles

k = -0.3 (slider from -3 to 3, step 0.1)
B = (-3, -3)
B' = (5.7425000000000015, -2.8175000000000012)
M = Translate(B, Vector[k * Vector[B, B']])
d = Line(B, B')
A = Rotate(B', 90.0°, B)
poly1, a, b, b' = Polygon(B, B', A)
I = Midpoint(B, B')
M' = Rotate(A, 270.0°, M)
poly3, i, a_2, b_1 = Polygon(A, B, I)
α_1 = Angle(I, B, A)
e = Segment(A, M')
α = Angle(B, A, I)
c = Segment(A, M)
f = Segment(M, M')
J = Midpoint(f)
β = Angle(M', M, A)
poly2, m', a_1, m = Polygon(A, M, M')
γ = Angle(M, I, J)
g = false