… une droite est médiatrice
Si une droite est perpendiculaire à un segment et passe par son
milieu alors c’est la médiatrice de ce segment.
Si une droite passe par deux points équidistants des extrémités
d’un segment alors c’est la médiatrice de ce segment.
… deux droites sont parallèles
Si deux droites sont parallèles à une même troisième droite alors
elles sont parallèles entre elles.
Si deux droites sont perpendiculaires à une même troisième
droite alors elles sont parallèles entre elles.
Si deux droites forment avec une droite sécante des angles
correspondants (alternes internes ou alternes externes) de même
mesure alors ces deux droites sont parallèles.
Si deux droites ont le même coefficient directeur alors elles sont
parallèles.
Dans un triangle, si une droite passant par les milieux de deux
côtés alors elle est parallèle au troisième côté.
La réciproque du théorème de Thalès.
… deux droites sont
perpendiculaires
(triangle rectangle)
Si deux droites sont parallèles alors toute droite perpendiculaire
à l’une est perpendiculaire à l’autre.
Si une droite est médiatrice ou hauteur alors elle est
perpendiculaire au segment.
Si les deux droites sont les diagonales d’un losange ou d’un
carré alors elles sont perpendiculaires.
Si un point A est sur le cercle de diamètre [BC], distinct de B et
de C, alors le triangle ABC est rectangle en A.
La réciproque du théorème de Pythagore.
… un point est le milieu d’un
segment
Si un point est l’intersection d’un segment et de sa médiatrice
alors il est le milieu du segment.
Dans un triangle, si un point est l’intersection d’un côté et de la
médiane relative à ce côté alors il est le milieu de ce côté.
Dans un triangle isocèle (équilatéral), si un point est
l’intersection de la base et d’une droite remarquable (hauteur,
médiatrice, médiane ou bissectrice) relative à ce côté alors il est
le milieu de ce côté.
Dans un triangle, si une droite passe par le milieu d’un côté et
est parallèle à un deuxième côté alors elle coupe le troisième
côté en son milieu.
Si un point est le centre d’une symétrie alors il est le milieu du
segment joignant un point et son image.