« Schéma déductif des propriétés mathématiques au collège » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 53 :
==== Si deux droites sont perpendiculaires à une même droite, alors elles sont parallèles ====
D et D' sont distinctes et perpendiculaires à (AB). D'après la propriété : [[#Une droite perpendiculaire à l'axe d'une symétrie est invariante globalement par cette symétrie|"Une droite perpendiculaire à l'axe d'une symétrie est invariante globalement par cette symétrie"]], D et D' sont invariantes par la symétrie d'axe (AB). Supposons-les sécantes en O. Alors O' le symétrique de O par rapport à (AB) appartient aussi à D et à D', qui ont alors deux points communs, ce qui contredit l'hypothèse de départ.
|