Démontrer en utilisant une transformation

Données : $K$K est le milieu du segment $[JL]$open bracket, J, L, close bracket.
$MJ \operatorname{\ est \ égal \ à} \ ML$M, J, space, e, s, t, space, e, with, acute, on top, g, a, l, space, a, with, \grave, on top, space, M, L.

On veut démontrer que $M$M appartient à la médiatrice de $[JL]$open bracket, J, L, close bracket. Quelle est la démonstration ?
(Suivant les pays les notations sont différentes. Nous notons $(AB)$left parenthesis, A, B, right parenthesis la droite qui passe par $A$A et $B$B, $[AB]$open bracket, A, B, close bracket le segment d'extrémités $A$A et $B$B et $AB$A, B sa longueur. Peut-être notez-vous la droite $AB$A, B, le segment de droite $[A,B]$open bracket, A, comma, B, close bracket et sa longueur $|AB|$vertical bar, A, B, vertical bar.)