Vue d'ensemble
Les espaces affines sont la formalisation de la géométrie élémentaire : on y manipule des points (objets sans origine privilégiée) et des vecteurs (déplacements entre ces points). En MPSI, ce chapitre fait le pont entre l'algèbre linéaire (espaces vectoriels) et la géométrie classique (droites, plans, parallélisme, barycentres). Cette fiche regroupe les 9 théorèmes et propositions clés, les 4 démonstrations à savoir refaire (Chasles, unicité du barycentre, associativité, caractérisation des sous-espaces affines) et les pièges qui font perdre des points dès le DS1 de géométrie analytique.
Prérequis
- Structure d'espace vectoriel sur ℝ : combinaisons linéaires, sous-espaces vectoriels, base, dimension
- Applications linéaires : noyau, image, matrice dans une base
- Géométrie élémentaire du collège/lycée : vecteurs, relation de Chasles intuitive, barycentre du parallélogramme
Tu confonds encore « point » et « vecteur » sur tes copies ? C'est l'erreur qui coûte 2-3 points par DS de géométrie tout au long de l'année. Nos mentors alumni X · Centrale · Mines te remettent les fondations affines en place en cours particuliers, avec des exos sur-mesure tirés de tes propres DS et khôlles.
Trouver un mentor MPSI →1. Espace affine, points et vecteurs
Soit un ℝ-espace vectoriel. Un espace affine de direction est un ensemble non vide muni d'une application , telle que :
- (A1) Relation de Chasles : .
- (A2) Liberté de l'origine : . On note alors .
Les éléments de sont les points, ceux de les vecteurs. La dimension de est par définition .
Pour tous points :
- (Chasles avec point intermédiaire libre)
Démonstration (à partir des axiomes (A1) et (A2))
Premier point. Appliquons (A1) avec : , donc (on simplifie dans par soustraction).
Deuxième point. Appliquons (A1) avec : , d'où .
Troisième point. C'est exactement (A1) écrite avec les rôles de et échangés :
En pratique, on retient : « : on peut toujours insérer un point libre entre les deux extrémités ». C'est l'outil n°1 pour faire apparaître un point utile (l'origine, le barycentre, le milieu…) dans un calcul vectoriel.
Pour et , on définit comme l'unique point tel que (existence et unicité par (A2)). On vérifie alors :
- (associativité)
Autrement dit, agit librement et transitivement sur : étant donné deux points , il existe un unique vecteur qui « va de à », à savoir .
Un repère affine de est un couple où est une origine et est une base de (avec ). Les coordonnées affines d'un point dans sont les coordonnées du vecteur dans la base :
Changer d'origine translate toutes les coordonnées du vecteur constant . Changer de base applique la matrice de passage usuelle de l'ev associé.
2. Sous-espaces affines et parallélisme
Une partie est un sous-espace affine s'il existe un point et un sous-espace vectoriel tels que :
Le sev est appelé direction de . On définit la dimension de comme . On dit qu'un SEA est une droite affine si , un plan affine si , un hyperplan affine si .
Soit un SEA de direction . Alors pour tout point :
En particulier, la direction ne dépend pas du point choisi dans : pour tout , on a .
Démonstration (équivalence et indépendance du point de base)
Sens direct. Si , il existe tel que , c'est-à-dire .
Sens réciproque. Si , posons . Alors .
Indépendance du point de base. Soit . On a (par le sens direct). Pour tout , la relation de Chasles donne :
Comme est un sev (stable par opposé et par somme), si et seulement si , donc si et seulement si . D'où .
Soient et deux SEA de directions et .
- et sont parallèles (au sens fort, ou « strictement parallèles ») si .
- est parallèle à (au sens faible) si .
Le parallélisme strict est une relation d'équivalence entre SEA de même dimension. Pour deux droites, « parallèles » = « mêmes directions » (= même direction vectorielle).
Soient et deux SEA. Alors :
- Si et , alors est un SEA de direction .
- L'intersection peut être vide (cas de deux droites parallèles distinctes, par exemple).
3. Barycentre de n points pondérés
Un point pondéré est un couple où et . Un système de points pondérés est une famille . Sa masse totale est :
Soit un système de points pondérés de masse totale . Il existe un unique point tel que :
Ce point est appelé barycentre du système et noté . Il est caractérisé par : pour tout point ,
Démonstration (existence par choix d'une origine + unicité par calcul)
Existence. Choisissons un point arbitraire (origine de travail). On cherche tel que . Par la relation de Chasles, . Donc :
Cette quantité est nulle ssi . Comme , ce vecteur est bien défini, et par l'axiome (A2), il existe un unique point tel que prenne cette valeur. D'où existence.
Unicité. Si et sont deux solutions, alors par soustraction . Or — non, repartons proprement : par Chasles, donc . D'où , et comme , , soit .
Caractérisation pour tout . La formule est précisément ce qu'on a obtenu pour l'existence : elle est valable pour tout point , pas seulement pour l'origine de travail.
Lorsque tous les poids sont égaux (et non nuls), le barycentre est appelé isobarycentre des points . Il est caractérisé par :
Cas particuliers à connaître : → milieu du segment ; → centre de gravité du triangle (intersection des médianes) ; → isobarycentre du tétraèdre.
Soit un système de points pondérés de masse totale . On le partitionne en deux sous-systèmes et de masses partielles et , toutes deux non nulles. Soient et les barycentres partiels. Alors le barycentre du système total est aussi le barycentre du système :
Démonstration (regroupement direct via la caractérisation universelle)
Par la caractérisation universelle (Thm 3.2), pour tout :
Or par définition de (avec masse ) et de (avec masse ) :
En remplaçant, on obtient :
Comme , cette identité (vraie pour tout ) caractérise comme barycentre de . Ce qui conclut.
- Regroupe. Choisis un sous-ensemble dont les poids se somment facilement (par exemple deux poids opposés qui se simplifient, ou trois poids égaux qui donnent un isobarycentre).
- Réduis. Remplace ce sous-ensemble par son barycentre partiel affecté de la masse (somme des poids).
- Itère. Tu te ramènes à un barycentre de 2 ou 3 points, beaucoup plus simple à manipuler géométriquement.
- Vérifie la masse totale. Chaque étape exige — sinon l'associativité est invalide.
Le barycentre est invariant par multiplication scalaire non nulle des poids : pour tout ,
On peut donc toujours normaliser à masse totale : un barycentre « usuel » s'écrit aussi avec , où .
L'associativité du barycentre revient à chaque DS et khôlle de géométrie. C'est la technique qui permet de transformer un calcul de 5 points en un milieu trivial. En 1 séance avec un mentor Majorant alumni X · Centrale · Mines, tu maîtrises les regroupements astucieux et tu gagnes 3-4 points par DS sur les exos « centre de gravité ».
Réserver une séance ciblée →4. Applications affines
Soient deux espaces affines de directions . Une application est dite affine s'il existe une application linéaire (la partie linéaire, ou application linéaire associée) telle que :
De manière équivalente : il existe un point tel que pour tout ,
Autrement dit, une application affine est la composée d'une application linéaire et d'une translation (modulo le choix d'une origine).
- Composition : si et sont affines, alors est affine, de partie linéaire .
- Réciproque : si est affine bijective, sa réciproque est affine de partie linéaire .
- Conservation des SEA : l'image directe d'un SEA est le SEA .
- Conservation des barycentres : pour tout système de masse totale , .
- Translation de vecteur : . Partie linéaire = identité .
- Homothétie de centre et rapport : . Partie linéaire = multiplication par (notée ).
- Projection affine sur un SEA parallèlement à un sev supplémentaire de la direction.
- Symétrie affine par rapport à un SEA parallèlement à un supplémentaire.
Soit une application affine de partie linéaire .
- Si n'est pas valeur propre de (c'est-à-dire est inversible), alors admet un unique point fixe.
- Si , est une translation : soit aucun point fixe (translation non triviale), soit tous les points sont fixes ().
- Dans les autres cas, l'ensemble des points fixes — s'il est non vide — est un SEA de direction .
5. Erreurs classiques en copie (vues par les correcteurs)
Ces erreurs sont relevées chaque année dans les rapports de jury (CCINP, Mines-Ponts, Centrale, X-ENS) sur les épreuves comportant de la géométrie affine. Elles coûtent typiquement entre 0,5 et 2 points par occurrence et peuvent invalider toute une question.
6. Pour aller plus loin
Les espaces affines sont l'infrastructure géométrique du programme MPSI et MP/PSI. Les chapitres qui les réinvestissent directement :
- Espaces euclidiens et géométrie du plan/de l'espace — on ajoute un produit scalaire à la direction : les SEA deviennent des droites/plans orthogonaux, les applications affines deviennent des isométries (translations, rotations, symétries orthogonales) ou similitudes.
- Géométrie analytique du plan — équations cartésiennes de droites , équations paramétriques : ce sont des SEA déguisés en coordonnées.
- Géométrie affine et projective en MP/PSI — généralisation à l'espace projectif, théorèmes de Thalès, Ceva, Ménélaüs, qui sont des énoncés affines.
- Algèbre linéaire avancée — l'étude des applications affines est la base de la théorie des systèmes affines et de la résolution géométrique des SEL.
- Mécanique du point et du solide — la cinématique des solides utilise massivement les barycentres (centre de masse) et les applications affines (composition de mouvements).
Récap final — Ce qu'il faut absolument retenir
À la veille d'une khôlle ou d'un DS, parcours cette checklist : tu dois pouvoir répondre « oui, sans hésiter » à chaque question.
- Sais-tu énoncer les deux axiomes définissant un espace affine (Chasles + liberté/unicité du translaté) ?
- Sais-tu démontrer et à partir de Chasles ?
- Sais-tu distinguer coordonnées affines (dépendent de l'origine) et coordonnées vectorielles (dépendent de la base) ?
- Sais-tu définir un sous-espace affine et démontrer que sa direction ne dépend pas du point de base ?
- Sais-tu caractériser par ?
- Connais-tu la différence entre parallélisme strict () et parallélisme faible () ?
- Sais-tu démontrer l'existence et l'unicité du barycentre quand ?
- Sais-tu énoncer et démontrer l'associativité du barycentre ?
- Sais-tu réciter la méthode-type pour calculer un barycentre lourd par regroupement (4 étapes) ?
- Sais-tu définir une application affine et sa partie linéaire ?
- Connais-tu les 4 exemples canoniques : translation, homothétie, projection, symétrie ?
- Sais-tu écrire matriciellement une application affine dans un repère ?
Démonstrations à savoir refaire
- Conséquences de Chasles — , , insertion d'un point intermédiaire
- Caractérisation — et indépendance de la direction par rapport au point de base
- Existence et unicité du barycentre — par choix d'une origine + caractérisation universelle
- Associativité du barycentre — regroupement direct via la caractérisation universelle