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

aucun résumé des modifications
Aucun résumé des modifications
{{à wikifier}}
{{Transféré sur Wikiversité}}
 
Comment démontrer les propriétés du cours de collège, dans quel ordre et à partir de quels axiomes ? Voilà les questions auxquelles nous répondons ici.
 
==== Par deux points distincts, il passe une et une seule droite ====
 
==== Par un point, il ne passe une et une seule droite parallèle à une droite donnée ====
Si deux droites sont parallèles, toute perpendiculaire à l'une est perpendiculaire à l'autre.
 
==== Par un point, il passe une et une seule droite perpendiculaire à une droite donnée ====
 
==== La symétrie axiale ne change pas les angles ====
Si A, B et C ont pour symétriques A', B' et C' par rapport à une droite D, alors : <math>\widehat {ABC} = \widehat {A'B'C'}</math>
 
==== Définition : La médiatrice d'un segment est la droite perpendiculaire à ce segment passant par son milieu ====
Si elles en avaient deux sans être confondues, cela contredirait cet axiome : [[#Par deux points distincts, il passe une et une seule droite|"Par deux points distincts, il passe une et une seule droite"]].
 
==== Si deux droites sont parallèles, toute perpendiculaireparallèle à l'une est perpendiculaireparallèle à l'autre ====
 
==== Si deux droites sont parallèles, toute perpendiculaireparallèle à l'une est perpendiculaireparallèle à l'autre. ====
 
Prenons D et D' parallèles. Si D'' est parallèle à D et sécante avec D'. Soit I le point d'intersection, alors D et D' sont parallèles à D'' passant par le même point. Ceci contredit cet axiome : [[#Par un point, il passe une et une seule droite parallèle à une droite donnée|"Par un point, il passe une et une seule droite parallèle à une droite donnée"]].
== Autres propriétés des symétries axiales ==
==== Une droite perpendiculaire à l'axe d'une symétrie est invariante globalement par cette symétrie ====
EvidentÉvident par définition de la symétrie axiale.
==== L'image par une symétrie axiale d'une droite parallèle à l'axe est parallèle à la droite d'origine ====
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"]].
Mais alors l'image de D par rapport à <math>\delta</math> est parallèle à D (d'après la propriété : [[#L'image par une symétrie axiale d'une droite parallèle à l'axe est parallèle à la droite d'origine|"L'image par une symétrie axiale d'une droite parallèle à l'axe est parallèle à la droite d'origine"]]), et passe par B. De plus par l'axiome : [[#La symétrie axiale ne change pas les angles|"La symétrie axiale ne change pas les angles"]] et l'axiome : [[#Par un point, il passe une et une seule droite perpendiculaire à une droite donnée|"Par un point, il passe une et une seule droite perpendiculaire à une droite donnée"]] elle est égale à D'. Donc D' est parallèle à D.
 
[[Catégorie:Cours de mathématiques de collège (France)]]