Equidistance à un point

On veut démontrer: 
Appartenance à un cercle, cocyclicité
hypothèse: 

Si on a l'égalité OA=OB=r

conclusion: 

alors A et B sont deux points du cercle de centre O et de rayon r