MA² - MB² = AB²
que l'on peut écrire MA² = MB²+ AB²
d'après la réciproque du théorème de Pythagore, ce triangle est rectangle en B. (MA hypoténuse)
MB est perpendiculaire à AB.
L'ensemble (E) des points cherchés est la droite perpendiculaire en B au segment AB
