Fonction de Leibniz

En géométrie affine ou euclidienne, les fonctions vectorielles et scalaires de Leibniz sont des fonctions qui, à des points, associent des vecteurs (fonction vectorielle) ou des nombres (fonction scalaire). Ces fonctions sont très intimement liées aux notions de coordonnées barycentriques et de barycentre.

Historique

Quand Leibniz arrive en France en 1672, il découvre véritablement l'algèbre géométrique de Viète dont il n'avait eu jusque-là que des aperçus[1]. C'est probablement en référence à l'Analyse Spécieuse de Viète que Leibniz donne le nom d’Analysis situs à la recherche qu'il conduit sur le même principe en géométrie. Selon Coxeter[2], Leibniz partage, avec Newton, le mérite d'avoir libéralisé l'usage de coordonnées négatives en géométrie. Mais il est en quête d'un symbolisme plus général. Dans une lettre à Huygens datée du 8 septembre 1679, il écrit : « Je ne me satisfais pas de l'algèbre (...) Je crois qu'en ce qui concerne la géométrie, il nous faut une autre sorte d'analyse, proprement géométrique ou linéaire, qui exprime la position d'une façon aussi directe que l’algèbre exprime la quantité[3]. »

Le fil des recherches de Leibniz sur la colinéarité des points et la notion de barycentre généralisé ne reprit qu'en 1827 avec le « calcul barycentrique » de l'astronome allemand August Ferdinand Möbius, qui ne traite toutefois que l'opération sur des points alignés. L'addition de segments non-colinéaires est due à Hermann Grassmann (Ausdehnungslehre, 1844) ; celle d'équipollence de bipoints, à l'Italien Giusto Bellavitis : ces deux notions marquent véritablement l'avènement de la notion algébrique de vecteur[4].

L'étude des fonctions vectorielle et scalaire de Leibniz était au programme du baccalauréat scientifique (« série C ») en France[5] de 1971 à 1983.

Fonction vectorielle de Leibniz

On se place dans un espace affine E associé à un espace vectoriel V. Soient $(A_{i})_{i=1,\cdots ,n}$ une famille de n points et $(a_{i})_{i=1,\cdots ,n}$ une famille de n scalaires, on appelle fonction vectorielle de Leibniz[6] associée au système $\left\{\left(A_{i},a_{i}\right)_{i=1,\cdots ,n}\right\}$ , l'application de E dans V qui, au point M associe le vecteur ${\vec {f}}(M)=\sum _{i=1}^{n}a_{i}{\overrightarrow {MA_{i}}}$

Si la somme des coefficients $\sum _{i=1}^{n}a_{i}$ est nulle, cette fonction est constante. Si un des coefficients est non nul (par exemple $a 1$ ), cette constante est égale à $a_{1}{\overrightarrow {G_{1}A_{1}}}$ où $G 1$ est le barycentre du système $\left\{\left(A_{i},a_{i}\right)_{i=2,\cdots ,n}\right\}$

Si la somme des coefficients $\sum _{i=1}^{n}a_{i}$ est non nulle, cette fonction se simplifie en

{\vec {f}}(M)=\left(\sum _{i=1}^{n}a_{i}\right){\overrightarrow {MG}}

où G est le barycentre du système de points pondérés $\left\{\left(A_{i},a_{i}\right)_{i=1,\cdots ,n}\right\}$ .

Cette dernière propriété permet de réduire une combinaison linéaire de plusieurs vecteurs en un seul vecteur grâce à un barycentre. Elle permet aussi de donner les coordonnées du barycentre quand l'espace est de dimension finie.

En effet, ${\overrightarrow {OG}}={\frac {1}{\sum _{i=1}^{n}a_{i}}}{\vec {f}}(O)={\frac {1}{\sum _{i=1}^{n}a_{i}}}\sum _{i=1}^{n}a_{i}{\overrightarrow {OA_{i}}}$ .

Ce qui se traduit en termes de coordonnées par $x_{G,k}={\frac {1}{\sum _{i=1}^{n}a_{i}}}\sum _{i=1}^{n}a_{i}x_{A_{i},k}$ .

Fonction scalaire de Leibniz

Il s'agit de la généralisation à n points de la solution que Leibniz a donnée d'un lieu géométrique dans sa Caractéristique géométrique[7] (voir théorème de Leibniz).

On se place dans un espace affine euclidien. Soient $(A_{i})_{i=1\cdots n}$ une famille de n points et $(a_{i})_{i=1\cdots n}$ une famille de n scalaires, on appelle fonction scalaire de Leibniz[8] associée au système $\left\{\left(A_{i},a_{i}\right)_{i=1\cdots n}\right\}$ , l'application de E dans $\mathbb {R}$ qui, au point M associe le scalaire $f(M)=\sum _{i=1}^{n}a_{i}MA_{i}^{2}$ .

Formules associées

Si la somme des coefficients est nulle, cette fonction se simplifie en

f(M)=f(O)+2{\overrightarrow {MO}}\cdot {\vec {u}}

où ${\vec {u}}$ est la constante égale à la fonction vectorielle de Leibniz associée au système et où O est un point arbitrairement fixé[9].

Si la somme des coefficients est non nulle, cette fonction se simplifie en

f(M)=f(G)+\left(\sum _{i=1}^{n}a_{i}\right)MG^{2}

où G est le barycentre du système $\left\{\left(A_{i},a_{i}\right)_{i=1\cdots n}\right\}$ .

De plus
$f(G)={\frac {\sum _{1\leqslant i<j\leqslant n}a_{i}a_{j}(A_{i}A_{j})^{2}}{\sum _{i=1}^{n}a_{i}}}$

Démonstration

Posant $s=\sum _{i=1}^{n}a_{i}$ , on a : $\sum _{i=1}^{n}a_{i}f(A_{i})=\sum _{i=1}^{n}a_{i}(f(G)+sA_{i}G^{2})=2sf(G)$ .

Or $\sum _{i=1}^{n}a_{i}f(A_{i})=\sum _{i=1}^{n}a_{i}\sum _{j=1}^{n}a_{j}(A_{i}A_{j})^{2}=2\sum _{1\leqslant i<j\leqslant n}a_{i}a_{j}(A_{i}A_{j})^{2}$ , d'où le résultat.

Application aux lignes de niveau de la fonction scalaire de Leibniz

En dimension 2, l'ensemble des points M tels que f(M) = k est

dans le cas où la somme des coefficients est nulle
- une droite orthogonale à ${\vec {u}}$ si ${\vec {u}}$ est non nul
- tout le plan ou l'ensemble vide (selon les valeurs de k) si ${\vec {u}}$ est nul
dans le cas où la somme des coefficients est non nulle
- un cercle de centre G, le point G ou l'ensemble vide (selon les valeurs de k)

Cas où la somme des coefficients est strictement positive

La formule ci-dessus montre que la fonction scalaire de Leibniz est minimale au barycentre des points pondérés.

Par exemple, la somme des carrés des distances aux sommets d'un triangle est minimale au centre de gravité.

Voir aussi

Le théorème de König-Huygens qui est une transcription de la formule $f(M)=f(G)+\left(\sum _{i=1}^{n}a_{i}\right)MG^{2}$ dans le cadre des statistiques, des probabilités, ou de la mécanique.
La définition de la moyenne arithmétique comme minimisation d'une fonction de distance.

Notes

Cf. Paul Mouy, Le Développement de la physique cartésienne (1646-1712), Paris, Libr. Vrin, 1934, « 4. Les physiques anticartésiennes »
H.S.M. Coxeter, Introduction to Geometry, Wiley & Sons, coll. « Wiley Classics Library », 1961 (réimpr. 1969,1980) (ISBN 0471504580), « 8. Coordinates »
Cité par Jörg Liesen, « Hermann Graßmann and the Foundations of Linear Algebra », sur SIAM Conference on Applied Linear Algebra, Monterey, Californie, octobre 2009 (consulté le 9 mai 2021). Cette lettre, qui ne fut imprimée qu'en 1833, n'eut donc certainement que peu d'influence sur les développements ultérieurs.
Jeanne Peiffer et Amy Dahan-Dalmedico, Une histoire des mathématiques : Routes et Dédales, Paris, Éditions vivantes, 1982 (ISBN 978-2731041125), « Nouveaux objet, nouvelles lois », p. 285.
Coll., « Journal officiel du 24 juin 1971 — Programme de Mathématiques des classes Terminales C et E » [PDF], sur Eklablog
Thuizat, Girault et Aspeele, Maths Classes Terminales C et E, vol. III : Géométrie, Technique et vulgarisation, coll. « Nouvelle collection Durande », 1979, « 35. Espaces affines -- barycentre », p. 97
Leibniz (trad. Marc Parmentier), La caractéristique géométrique, Paris, J. Vrin, coll. « Mathesis », 1995 (réimpr. texte établi et annoté par Javier Echeverría) (ISBN 2-7116-1228-7).
D'après Thuizat et al. op. cit., p.106
J.-D. Eiden, Espaces vectoriels euclidiens, Calvage et Mounet, coll. « Nano », 2020 (ISBN 9782916352848), p. 30

Portail de la géométrie

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[Mouy-1] Cf. Paul Mouy, Le Développement de la physique cartésienne (1646-1712), Paris, Libr. Vrin, 1934, « 4. Les physiques anticartésiennes »

[Coxeter-2] H.S.M. Coxeter, Introduction to Geometry, Wiley & Sons, coll. « Wiley Classics Library », 1961 (réimpr. 1969,1980) (ISBN 0471504580), « 8. Coordinates »

[Liesen-3] Cité par Jörg Liesen, « Hermann Graßmann and the Foundations of Linear Algebra », sur SIAM Conference on Applied Linear Algebra, Monterey, Californie, octobre 2009 (consulté le 9 mai 2021). Cette lettre, qui ne fut imprimée qu'en 1833, n'eut donc certainement que peu d'influence sur les développements ultérieurs.

[Routes_et_dédales-4] Jeanne Peiffer et Amy Dahan-Dalmedico, Une histoire des mathématiques : Routes et Dédales, Paris, Éditions vivantes, 1982 (ISBN 978-2731041125), « Nouveaux objet, nouvelles lois », p. 285.

[Programme_1971-5] Coll., « Journal officiel du 24 juin 1971 — Programme de Mathématiques des classes Terminales C et E » [PDF], sur Eklablog

[Thuizat-6] Thuizat, Girault et Aspeele, Maths Classes Terminales C et E, vol. III : Géométrie, Technique et vulgarisation, coll. « Nouvelle collection Durande », 1979, « 35. Espaces affines -- barycentre », p. 97

[7] Leibniz (trad. Marc Parmentier), La caractéristique géométrique, Paris, J. Vrin, coll. « Mathesis », 1995 (réimpr. texte établi et annoté par Javier Echeverría) (ISBN 2-7116-1228-7).

[Thuizat2-8] D'après Thuizat et al. op. cit., p.106

[Eiden-9] J.-D. Eiden, Espaces vectoriels euclidiens, Calvage et Mounet, coll. « Nano », 2020 (ISBN 9782916352848), p. 30