Le plan est rapporté à un repère orthonormé
Soit un cercle de centre de rayon .
Le point appartient au cercle lorsque sa distance au point est égale au rayon ; ce qui se traduit par :
Considérons deux réels positifs.
Par suite, on obtient :
Calcul de la distance du point au point
Donc , ce qui signifie que
L'équation cartésienne réduite du cercle centré en et de rayon est donnée par :
A partir de cette forme, on lit directement le centre et le rayon du cercle.
L'ensemble des points tels que : est le cercle de centre et de rayon
En développant l'équation réduite d'un cercle, on obtient son expression developpée.
Comme et , l'équation développée du cercle de centre de rayon est :
D'une manière générale, l'équation développée d'un cercle est de la forme :
Etant donné une équation de la forme , comment savoir que c'est celle d'un cercle ?
Lorsqu'on a la forme , on va chercher à la transformer pour obtenir la forme "centre-rayon" si possible, grâce à l'outil " forme canonique "
Vérifions si l'ensemble des points tels que : est un cercle.
équivaut à , qui n'est pas l'équation réduite d'un cercle.