algèbre géométrique

Imaginez un carré dont le côté mesure 3 + 2 unités. En le découpant selon ces deux longueurs, on voit quatre rectangles d’aires 9, 6, 6 et 4. Leur somme, 25, rend visible l’identité remarquable reliant le carré d’une somme aux carrés et au double produit. C’est le sens historique de l’algèbre géométrique : faire apparaître une égalité par une construction euclidienne.

Aujourd’hui, le même nom désigne aussi un langage algébrique où des vecteurs se multiplient. Ce produit réunit une information scalaire et une information d’orientation portée par le produit extérieur.

Dans son sens historique, l’algèbre géométrique rassemble des techniques qui traduisent un problème algébrique en longueurs, aires et constructions de géométrie euclidienne. Une identité remarquable peut ainsi être démontrée par découpage et addition d’aires. À la suite de Paul Tannery, cette appellation sert à décrire des méthodes employées par les mathématiciens grecs et arabes, notamment du 8^e au 15^e siècle, avant la prédominance des méthodes purement algébriques.

Dans son sens contemporain, une algèbre géométrique est construite sur un espace vectoriel doté d’une forme quadratique. Dans le cadre euclidien usuel, pour deux vecteurs nommés u et v, leur produit géométrique associe leur produit scalaire et leur produit extérieur : $uv=u\cdot v+u\wedge vuv=u\backslash cdot\; v+u\backslash wedge\; v$. Le premier terme est scalaire ; le second encode une grandeur orientée dans le plan engendré par les deux vecteurs. Le produit géométrique est associatif, ce qui autorise les produits de plusieurs vecteurs sans ambiguïté de parenthésage.

Les deux acceptions partagent un dialogue entre algèbre et géométrie, mais elles ne désignent pas le même objet. La première décrit une famille historique de raisonnements géométriques. La seconde est une structure algébrique définie à partir de vecteurs et d’une forme quadratique, utilisée notamment en physique et en robotique.

On veut vérifier géométriquement le carré d’une somme. Les données sont deux longueurs, a = 3 unités et b = 2 unités. Le grand carré a donc pour côté a + b = 5 unités.

1. Partagez chaque côté du carré en un segment de 3 unités et un segment de 2 unités. Les deux découpes produisent quatre régions : deux carrés et deux rectangles.

2. Calculez leurs aires : 3 × 3 = 9, 3 × 2 = 6, 2 × 3 = 6 et 2 × 2 = 4 unités carrées.

3. Additionnez les quatre régions : 9 + 6 + 6 + 4 = 25 unités carrées. Le découpage matérialise l’identité $(a+b{)}^2=a^2+2ab+b^2(a+b)^2=a^2+2ab+b^2$.

Le contrôle consiste à calculer directement l’aire du grand carré : 5 × 5 = 25 unités carrées. Les deux calculs donnent exactement la même aire.

Pour expliquer une identité remarquable, un découpage d’aire rend chaque terme visible. Si le but est seulement d’enchaîner rapidement des transformations symboliques, le calcul algébrique direct est plus adapté.

En physique, le produit géométrique rassemble dans une même opération la composante scalaire et la composante extérieure de deux vecteurs. Pour calculer un angle ou une projection, le produit scalaire fournit la composante scalaire utile ; il ne suffit que si les normes et les autres données nécessaires sont connues.

En robotique, ce langage sert à traiter des relations géométriques entre directions et objets. Le choix dépend toutefois des outils du problème : une représentation matricielle peut être préférée lorsqu’elle est déjà celle du système de calcul.

Algèbre géométrique et géométrie algébrique. L’algèbre géométrique contemporaine part d’un espace vectoriel muni d’une forme quadratique et définit un produit de vecteurs. La géométrie algébrique étudie des objets géométriques décrits par des équations polynomiales. Dans le vocabulaire visé par cette fiche, une question centrée sur le produit scalaire et le produit extérieur de vecteurs renvoie à l’algèbre géométrique.

Un nom, deux sens. Une mention d’« algèbre géométrique » sans contexte est ambiguë. La présence de constructions euclidiennes, d’aires ou d’identités remarquables signale généralement le sens historique ; les vecteurs, la forme quadratique et le produit géométrique signalent le sens contemporain.

Une figure n’est pas une preuve universelle. Le carré de côté 3 + 2 vérifie exactement un cas de l’identité. Pour établir l’identité pour toutes longueurs positives a et b, le découpage doit être lu avec ces longueurs générales, et non avec les seuls nombres 3 et 2.

Le produit géométrique ne se réduit pas à un seul de ses termes. Remplacer systématiquement le produit géométrique par le produit scalaire fait disparaître la composante extérieure. Il faut conserver les deux composantes, sauf si les hypothèses du problème rendent l’une d’elles nulle.

La forme quadratique fait partie des données. Les interprétations usuelles en longueurs et en angles appartiennent au cadre euclidien. Avec une autre forme quadratique, il faut annoncer ce cadre avant de transposer ces interprétations.

produit scalaire — Pour isoler la composante scalaire qui intervient dans le produit géométrique contemporain.

Identités remarquables en classe — Pour prolonger l’exemple d’aire par des usages pédagogiques des identités remarquables.