Les médiatrices d'un triangle

Théorème :"Le point d'intersection des trois médiatrices d'un triangle est le centre du cercle circonscrit à ce triangle." (5.A.)

La démonstration utilise une petite propriété qui dit que "tous les points de la médiatrice d'un segment sont équidistants des extrémités de ce segment".

(On a d'ailleurs reparlé de cette idée avec les ensembles de points, pour donner une nouvelle définition de la médiatrice du segment [AB] : "l'ensemble des points équidistants de A et B".)

Sur les images, définition, propriété et théorème... (merci Fanni ;))