« Schéma déductif des propriétés mathématiques au collège » : différence entre les versions

m
Révocation des modifications de 90.2.195.204 (discussion) vers la dernière version de Crochet.david
m (Révocation des modifications de 90.2.195.204 (discussion) vers la dernière version de Crochet.david)
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.
 
==== Si deux droites sont parallèles, toute perpendiculaire à l'une est alors perpendiculaire à l'autre ====
perpendiculaire à l'autre ====
Soit D et D' les deux parallèles. La perpendiculaire en A à l'une est sécante en B à l'autre d'après :[[#Si deux droites sont parallèles, toute sécantes à l'une est sécante à l'autre|"Si deux droites sont parallèles, toute sécantes à l'une est sécante à l'autre"]].
Soit <math>\delta</math> la médiatrice de [AB], alors (AB) est perpendiculaire à D et <math>\delta</math> qui sont donc parallèles d'après la propriété : [[#Si deux droites sont perpendiculaires à une même droite, alors elles sont parallèles|"Si deux droites sont perpendiculaires à une même droite, alors elles sont parallèles"]].