LOI DE L’HOMOGÉNÉITÉ

36. Une fonction F(a, b,c,...) de plusieurs quantitésa, 6, c,... est dite homogène, lorsqu’en remplaçant a, b, c,... par ka, kb, kc,... la nouvelle valeur que prend la fonction est égale à la valeur primitive, multipliée par une puissance de k d’un degré quelconque m. L’exposant m de la puissance de k, dont il est question, est dit le degré d’homogénéité de la fonction. Pour exprimer qu’une fonction F(a, b, c,...) est homogène et du degré m, il suffit donc d’écrire

F (ka, kb, kc,...)=knF(a, b, c,...).

On voit , d’après cette définition , que les fonctions 'Qb J

a*-\-Zab, \Jde , \[â — loga — fog& ?

sont homogènes. La première est du degré 2; la deuxième du

degré 1 ; la troisième du degré - , et la quatrième du degré zéro.

Une équation est dite homogène lorsque , l’un des membres étant nul , l’autre membre est une fonction homogène ; ou lorsque les deux membres sont des fonctions homogènes du môme degré. On voit qu’une équation homogène h’est pas changée, lorsqu’on multiplie par un même facteur k les diverses quantités qu’elle renferme.

Une équation algébrique étant donnée, on peut toujours faire en sorte que l’un de ses membres soit nul et que l’autre membre soit une fonction rationnelle et entière. Si l’équation est homogène et du degré m , chacun de ses termes renfermera m facteurs littéraux ; et réciproquement.

57 . Les longue urs sont proprement les seules grandeurs que l’on ait à considérer dans les recherches géométriques ; car la mesure des surfaces et celle des solides se ramènent immédia-

„ tement à la mesure des longueurs. Quand on veut exprimer analytiquement une relation entre plusieurs longueurs, on imagine que ces longueurs soient rapportées à une certaine unité, qui, du reste, demeure lé plus souvent indéterminée; puis l’on représente par des lettres a, b,... les rapports de ees longueurs à l’ unité; enfin l’on écrit , conformément aux règles de l’algèbre , Y équation qui a lieu entre les quantité »

58. Les équations, auxquelles conduisent ainsi les recherches géométriques, sont toutes homogènes, lorsque l’unité demeure indéterminée. Cette propriété est de la plus haute importance, et nous allons l’établir d’une manière générale àl’égard des équations algébriques. \

Soit „

une équation algébrique entre les quantités a, b, t,... qui expriment les rapports de plusieurs longueurs à une même unité arbitraire. On peut supposer, comme il a été dit plus haut, que F(o, b, c,...) soit une fonction rationnelle et entière; par con- , séquent, si elle n’est pas homogène, on pourra grouper ensemble les termes de même degré et la considérer comme /

la somme de plusieurs fonctions homogènes <p(o, b, c,...), '

«Ko, b, c,...), -©■(a, b, ç,...) etc., de degrés m, n, p,...- respectivement ; et l’équation proposée sera

Cela posé, si, après avoir fixé à volonté l’unité linéaire à laquelle toutes les longueurs sont rapportées, on choisit une

deuxième unité dont le rapport à la première soit -, il est

clair que les longueurs qui étaient représentées par a, b, c,.. le seront maintenant par ka, kb,kc,... ; et que l’équation (1) ou (2) continuera d’avoir lieu si l’on remplace a, b, c,... par ka, kb,kc,... On a donc

«P (ka, kb, kb, kc,...)-\-'tfr(ka,kb,

D’ailleurs les fonctions <p, q/, ©,... sont homogènes, et des degrés m, n, p,... respectivement; par suite, l’équation précédente peut s’écrire de la manière suivante : . * v

Ar<p(o,6, krty{a, b, b, c, . .=0. *

Cette équation devant avoir lieu quel que soit le nombre A qui est essentiellement arbitraire , il faut que l’on ait séparément

<f(a,b,e,...)= 0, q(a,6,c,...)= 0, 'Bt{a,b,c,...)=0

Il résulte de là que , « l’équation proposée n'est pas homogène , cette équation a été obtenue en ajoutant entre elles plusieurs équations homogènes de degrés différents.

Il est clair que si l’on ajoute des équations homogènes de degrés différents, on formera une équation exacte ; mais une pareille combinaison ne peut avoir aucun objet et doit être rejetée avec soin de toute analyse bien conduite. Nous croyons devoir ajouter à ce sujet quelques développements qui constitueront une sorte de démonstration nouvelle de la loi fondamentale de l’homogénéité.

39. Supposons qu’il s’agisse d’exprimer analytiquement une relation entre plusieurs longueurs. Soient a,b,c,... les rapports de ces longueurs à une unité arbitraire. On peut évidemment, pour exprimer la propriété que l’on en a vue, prendre pour unité la première des longueurs considérées , celle qui était représentée par a , par exemple, et qui le sera actuellement par 1. Dans cette hypothèse, les autres longueurs qui étaient représentées par 6, c,... etc.., le seront mainte-

tenant par - , a a

; et l’équation, exprimant la propriété que possèdent ces longueurs , aura nécessairement la forme

Il est évident qu’elle est homogène.

Remarque. Le théorème de l’homogénéité s’applique à toutes les équations de la géométrie , pourvu que les surfaces et les solides y soient représentés conformément aux règles qu’elle prescrit.

40. Non-seulement les équations de la géométrie sont homogènes , mais les formules ou expressions algébriques que

l’on y considère sont toujours nécessairement homogènes ; car une expression algébrique, que l’on forme dans une question de géométrie, est destinée ou à représenter une longueur, ou à être égalée à une autre expression algébrique à l’effet d’obtenir une équation.

41. Ce qui précède, nous devons le répéter, suppose qu’aucune des longueurs, que l’on considère, n'est prise pour l’unité.

S’il en est autrement, on peut obtenir des équations non homogènes ; mais il est facile de rétablir l’homogénéité quand on le désire. Supposons, en effet, qu’on ait plusieurs longueurs dont la première soit représentée par 1 , les autres par a, b, c,..., et soit une équation ^

Prenons pour unité linéaire une longueur quelconque , et supposons que

représentent alors les longueurs qui étaient précédemment représentées par 1, a, b, c... ; on aura évidemment

et l’équation (i) deviendra

ou , en supprimant les accents,

On voit par là que, pour rétablir l’homogénéité dans l’équation (1), il suffit d’y mettre au lieu de a, b,c,...

a, b, c n’ayant pas, bien entendu, les mêmes valeurs numériques que précédemment.