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èlles entre elles
si deux droites sont parallèles, et si une troisième droite et perpendiculaire à l'une alirs elle est perpendiculaire à l'autre
On a/or/donc
la médiatrice d'un segment est l'ensemble des points situés à équidistance des extrémités de ce segment
