Parallélisme (géométrie)


Parallélisme (géométrie)
Page d'aide sur l'homonymie Pour les articles homonymes, voir parallèle.

En géométrie affine, le parallélisme est une propriété relative aux droites, aux plans ou plus généralement aux sous-espaces affines. La notion de parallélisme a été initialement formulée par Euclide dans ses éléments, mais sa présentation a évolué dans le temps, passant d'une définition axiomatique à une simple définition.

Sommaire

Historique

Éléments d'Euclide

On explique souvent au débutant et aux enfants la notion de parallélisme à l'aide d'une définition ostensive, qui montre des rails. Les voies sont effectivement parallèles. Dans ce cas, le point de fuite semble annuler le parallélisme, et cette remarque a donné naissance à la notion de point à l'infini.

La notion de parallélisme est introduite dans le Livre I des Éléments d'Euclide. Pour Euclide, une droite s'apparente plutôt à un segment.

  • Définition 35 : « Les parallèles sont des droites qui, étant situées dans un même plan, et étant prolongées à l'infini de part et d'autre, ne se rencontrent ni d'un côté ni de l'autre. »
  • Proposition 27 : « Si une droite, tombant sur deux droites, fait des angles alternes égaux entre eux, ces deux droites seront parallèles. »
  • Proposition 31 : « Par un point donné, il passe au moins une parallèle à une droite donnée. »

Le postulat 5 : « Si une droite, tombant sur deux droites, fait les angles intérieurs d'un même côté plus petits que deux droits, ces droites, prolongées à l'infini, se rencontreront du côté où les angles sont plus petits que deux droits. » permet de prouver

  • l'unicité de la parallèle à une droite donnée passant par un point donné.
  • la proposition 29 : « Si deux droites sont parallèles, toute droite coupant l'une et l'autre, forme avec celle-ci des angles alternes égaux. »
  • la proposition 30 : « Deux droites distinctes parallèles à une même droite sont parallèles entre elles. »
  • la proposition 32 : « la somme des angles d'un triangle est égale à 180°. »
  • la proposition 33 : « Deux droites qui joignent des mêmes côtés de droites parallèles et de même longueur sont parallèles et de même longueur. » (la figure tracée dans la proposition 33 est un parallélogramme)
  • la proposition 34 : « Les côtés opposés et les angles opposés dans un parallélogramme sont égaux, et la diagonale coupe le parallélogramme en deux triangles égaux. »

Si le postulat 5 permet bien de démontrer toutes les propriétés usuelles de notre espace familier, il n'en reste pas moins qu'il semble moins "évident" que les autres, et que de nombreuses tentatives ont été faites pour le démontrer à partir de postulats plus simples. C'est leur échec répété qui a finalement amené à la découverte des géométries non euclidiennes.

La définition de Clairaut

Dans ses Éléments de géométrie (1765), Clairaut définit deux droites parallèles comme étant équidistantes l'une de l'autre. Cependant, le fait qu'une courbe équidistante d'une droite soit elle-même une droite est une propriété dont la preuve nécessite d'admettre le cinquième postulat d'Euclide.

En géométrie affine

La géométrie moderne définit la notion de parallélisme dans le cadre de la géométrie affine.

En géométrie affine plane

Une droite est définie par un point et un vecteur directeur. Deux droites sont dites parallèles si et seulement si leurs vecteurs directeurs sont colinéaires. Il apparait alors que deux droites confondues sont parallèles selon cette définition alors qu'elles ne l'étaient pas selon la définition d'Euclide. Deux droites distinctes parallèles sont alors appelées strictement parallèles.

Relation d'équivalence

En acceptant de considérer des droites confondues comme parallèles, la relation de parallélisme est alors

  • réflexive : une droite est parallèle à elle-même
  • symétrique : Si une droite (d) est parallèle à une droite (d') alors la droite (d') est parallèle à la droite (d)
  • transitive : Si une droite (d) est parallèle à (d') et si (d') est parallèle à (d") alors (d) est parallèle à (d")

Ce qui permet de dire que la relation de parallélisme est une relation d'équivalence dont les classes d'équivalence sont les directions des droites.

Dans un espace affine de dimension 3

Dans un espace affine, deux plans sont définis par un point et deux vecteurs directeurs non colinéaires.

Deux plans sont parallèles si et seulement si les quatre vecteurs directeurs sont coplanaires. Dans un espace de dimension trois, deux plans sont ou bien parallèles (sans points commun ou confondus) ou bien sécants suivant une droite.

Une droite est parallèle à un plan si et seulement si les trois vecteurs directeurs (les deux du plan et celui de la droite) sont coplanaires (avec cette définition, une droite contenue dans un plan lui est parallèle). Dans un espace de dimension 3, étant donnés une droite et un plan, ou bien la droite est parallèle au plan, ou bien la droite et le plan sont sécants suivant un point. Contrairement aux précédentes, la relation de parallélisme droite/plan n'est pas transitive ; ainsi, deux plans peuvent être parallèles à une même droite Δ sans l'être entre eux (mais alors, leur droite d'intersection sera parallèle à Δ)

Remarque

Contrairement à ce qui se passe dans le plan (espace affine de dimension 2) deux droites de l'espace de dimension 3 peuvent ne pas être sécantes sans pour autant être parallèles. Deux telles droites (autrement dit : deux droites non coplanaires) sont dites droites gauches[1].

Dans un espace affine de dimension n

Un sous-espace affine de dimension p est défini à l'aide d'un point et d'un sous-espace vectoriel de dimension p appelé direction de l'espace affine. Deux sous-espaces affine de dimension p sont parallèles si et seulement s'ils ont le même sous-espace vectoriel comme direction. Deux sous-espaces affines parallèles sont disjoints ou confondus.

La relation de parallélisme reste une relation d'équivalence sur l'ensemble des sous-espaces affines de dimension p. Plus généralement, deux sous-espaces affines de dimensions respectives p et q, avec p<q, sont dits parallèles si la direction du premier est un sous-espace vectoriel de la direction du second (mais cette dernière relation n'est pas une relation d'équivalence).

Symbole

Le symbole pour indiquer le parallélisme est \parallel. Par exemple, AB \parallel CD indique que la droite AB est parallèle à la droite CD.

En Unicode, les symboles parallel et not parallel ont pour code U+2225 (∥) and U+2226 (∦). Ils font partie de l'étendue Mathematical Operators.

Note et référence

  1. Martine Castiaux, Philippe Close, René Janssens, Maths 1/2 - Manuel 1re/2e secondaire, De Boeck Education, 2008,ISBN 9782804158521, p. 73

Article connexe

Droites parallèles


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Parallélisme (géométrie) de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Geometrie de suspension — Géométrie de suspension La géométrie de suspension désigne l ensemble des caractéristiques de contact de la roue d un véhicule avec le sol ainsi que la manière dont la suspension travaille. C est à dire que cela définit aussi les limitations des… …   Wikipédia en Français

  • Géométrie De Suspension — La géométrie de suspension désigne l ensemble des caractéristiques de contact de la roue d un véhicule avec le sol ainsi que la manière dont la suspension travaille. C est à dire que cela définit aussi les limitations des axes de libertés de la… …   Wikipédia en Français

  • Géométrie de suspension — La géométrie de suspension désigne l ensemble des caractéristiques dimensionnelles et cinématiques du système de liaisons mécaniques entre la partie suspendue (la caisse) et la roue d un véhicule. Cela définit également les degrés de liberté de… …   Wikipédia en Français

  • Geometrie arguesienne — Géométrie arguésienne En géométrie synthétique, la géométrie arguésienne est une « construction » simple (due à Desargues), basée sur l introduction d éléments impropres, pour faire entrer la géométrie affine[1] (et le parallélisme)… …   Wikipédia en Français

  • Géométrie Arguésienne — En géométrie synthétique, la géométrie arguésienne est une « construction » simple (due à Desargues), basée sur l introduction d éléments impropres, pour faire entrer la géométrie affine[1] (et le parallélisme) dans le moule de la… …   Wikipédia en Français

  • GÉOMÉTRIE DIFFÉRENTIELLE CLASSIQUE — L’histoire des courbes planes est intimement liée à l’histoire et aux développements du calcul infinitésimal, et les premiers résultats obtenus au XVIIe siècle sont directement issus de considérations géométriques et cinématiques (cf. CALCUL… …   Encyclopédie Universelle

  • GÉOMÉTRIE — La géométrie est communément définie comme la science des figures de l’espace. Cette définition un peu incertaine risque de conduire à inclure dans la géométrie des questions qui ne sont géométriques que dans leur langage, mais relèvent en fait… …   Encyclopédie Universelle

  • Geometrie — Géométrie La géométrie est la partie des mathématiques qui étudie les figures de l espace de dimension 3 (géométrie euclidienne) et, depuis le XVIIIe siècle, aux figures de d autres types d espaces (géométrie projective, géométrie non… …   Wikipédia en Français

  • Géometrie — Géométrie La géométrie est la partie des mathématiques qui étudie les figures de l espace de dimension 3 (géométrie euclidienne) et, depuis le XVIIIe siècle, aux figures de d autres types d espaces (géométrie projective, géométrie non… …   Wikipédia en Français

  • Parallelisme — Parallélisme Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français