bjr
la médiatrice d'un segment est la droite perpendiculaire à ce segment
en son milieu
• la droite d1, médiatrice de [CE] est perpendiculaire à la droite (CE)
d1 ⊥ (CE)
• la droite d3, médiatrice de [FR] est perpendiculaire à la droite (FR)
d3 ⊥ (FR)
les côtés opposés d'un parallélogramme sont parallèles
(CE) // (FR)
lorsque deux droites sont parallèles toute perpendiculaire à l'une
est perpendiculaire à l'autre
la droite d3 qui est perpendiculaire à la droite (FR), est perpendiculaire à sa parallèle (CE)
d3 ⊥ (CE)
les droites d1 et d3 perpendiculaires à la même droite (CE) sont parallèles
d1 //d3
on démontre de même que
d2 // d4
les côtés opposés du quadrilatère vert pont parallèles deux à deux,
c'est un parallélogramme
