Droites
D1 : Si deux droites sont parallèles à une même troisième, alors elles sont parallèles entre elles.
D2 : Si deux droites sont perpendiculaires à une même troisième, alors elles sont parallèles entres elles.
D3 : Si deux droites sont parallèles entre elles et une troisième est perpendiculaire à l’une, alors elle est perpendiculaire à l’autre.

Médiatrice
M1 : Si une droite est perpendiculaire à un segment en son milieu, alors c’est la médiatrice de ce segment.
M2 : Si une droite est la médiatrice d’un segment, alors elle est perpendiculaire à ce segment en son milieu.
M3 : Si un point appartient à la médiatrice d’un segment, alors il est équidistant des extrémités de ce segment.
M4 : Si un point est équidistant des extrémités d’un segment, alors il appartient à la médiatrice de ce segment.
M5 : Si une droite passe par deux points équidistants des extrémités d’un segment alors c’est la médiatrice de ce segment.
M6 : Si une droite passe par un point équidistant des extrémités d’un segment et est perpendiculaire à ce segment alors c’est la médiatrice de ce segment.

Parallélogramme
P1 : Si un quadrilatère a ses côtés opposés parallèles deux à deux, alors c’est un parallélogramme.
P2 : Si un quadrilatère est un parallélogramme, alors ses côtés opposés sont parallèles deux à deux.
P3 : Si un quadrilatère a ses diagonales qui ont le même milieu, alors c’est un parallélogramme.
P4 : Si un quadrilatère est un parallélogramme, alors ses diagonales ont le même milieu.
P5 : Si un quadrilatère est un parallélogramme, alors ses côtés opposés ont la même longueur.
P6 : Si un quadrilatère (non croisé) a deux côtés opposés parallèles et de même longueur, alors c’est un parallélogramme.

Cercle :
C’1 : Si deux points sont sur un cercle alors le centre de ce cercle est équidistant de ces 2 points.

Rectangle :
R1 : Si un quadrilatère a trois angles droits, alors c’est un rectangle.
R2 : Si un quadrilatère est un rectangle, alors ses quatre angles