S. m. (Algèbre) Ce terme a différentes acceptions selon les différents objets auxquels on le rapporte. On dit, l'exposant d'une raison, l'exposant du rang d'un terme dans une suite, l'exposant d'une puissance.

L'exposant d'une raison (il faut entendre la géométrique, car dans l'Arithmétique ce qu'on pourrait appeler de ce nom, prend plus particulièrement celui de différence) : l'exposant donc d'une raison géométrique est le quotient de la division du conséquent par l'antécédent. Ainsi dans la raison de 2 à 8, l'exposant est 8/2 = 4 ; dans celle de 8 à 2, l'exposant est 2/8 = 1/4, etc. Voyez PROPORTION.

C'est l'égalité des exposans de deux raisons qui les rend elles-mêmes égales, et qui établit entr'elles ce qu'on appelle proportion. Chaque conséquent est alors le produit de son antécédent par l'exposant commun. Il semble donc, pour le dire en passant, qu'ayant à trouver le quatrième terme d'une proportion géométrique, au lieu du circuit qu'on prend ordinairement, il serait plus simple de multiplier directement le troisième terme par l'exposant de la première raison, au moins quand celui-ci est un nombre entier. Par exemple, dans la proportion commencée 8. 24 : : 17. *, le quatrième terme se trouverait tout-d'un coup, en multipliant 17 par l'exposant 3 de la première raison ; au lieu qu'on prescrit de multiplier 24 par 17, et puis de diviser le produit par 8. Il est vrai que les deux méthodes exigent également deux opérations, puisque la recherche de l'exposant suppose elle-même une division ; mais dans celle qu'on propose, ces deux opérations, s'exécutant sur des termes moins composés, en seraient plus courtes et plus faciles. Voyez REGLE DE TROIS.

L'exposant du rang est, comme cela s'entend assez, le nombre qui exprime le quantième d'un terme dans une suite quelconque. On dira, par exemple, que 7 est l'exposant du rang du terme 13 dans la suite des impairs ; que celui de tout autre terme T de la même suite est (T + 1)/2 ; et plus généralement que l'exposant du rang d'un terme pris où l'on voudra dans une progression arithmétique quelconque, dont le premier terme est désigné par p, et la différence par d, est (T - p)/d + 1.

On nomme exposant, par rapport à une puissance, un chiffre (en caractère minuscule) qu'on place à la droite et un peu au-dessus d'une quantité, soit numérique, soit algébrique, pour désigner le nom de la puissance à laquelle on veut faire entendre qu'elle est élevée. Dans a 4, par exemple, 4 est l'exposant qui marque que a est supposé élevé à la quatrième puissance.

Souvent, au lieu d'un chiffre, on emploie une lettre ; et c'est ce qu'on appelle exposant indéterminé. an est a élevé à une puissance quelconque désignée par n. Dans a, n désigne le nom de la racine qu'on suppose extraite de la grandeur a, &c.

Autrefois, pour représenter la quatrième puissance de a, on écrivait a a a a ; expression incommode, et pour l'auteur, et pour le lecteur, surtout lorsqu'il s'agissait de puissances fort élevées. Descartes vint, qui à cette répétition fastidieuse de la même racine substitua la racine simple, surmontée vers la droite de ce chiffre qu'on nomme exposant, lequel annonce au premier coup d'oeil combien de fois elle est censée répétée après elle-même.

Outre l'avantage de la briéveté et de la netteté, cette expression a encore celui de faciliter extrêmement le calcul des puissances de la même racine, en le réduisant à celui de leurs exposans, lesquels pouvant d'ailleurs être pris pour les logarithmes des puissances auxquelles ils se rapportent, les font participer aux commodités du calcul logarithmique. Dans l'exposé qui Ve suivre du calcul des exposans des puissances, nous aurons soin de ramener chaque résultat à l'expression de l'ancienne méthode, comme pour servir à la nouvelle de démonstration provisionnelle ; renvoyant pour une démonstration plus en forme à l'article LOGARITHME, qui est en droit de la revendiquer.

Multiplication. Faut-il multiplier am par an ? On fait la somme des deux exposans, et l'on écrit a(m + n). En effet que m = 3, et n = 2 ; am+n = a3+2 = a5 = aaaaa = a a a x .

Division. Pour diviser am par an, on prend la différence des deux exposans, et l'on écrit a(m - n). En effet que m = 5, et n = 2 ; a(m - n) = a (5 - 2) = a 3 = a a a = (a a a a a)/(a a).

Si n = m, l'exposant réduit devient 0, et le quotient est a 0 = 1 ; car (au lieu de n, substituant m qui lui est égale par supposition) a 0 = a(m - m) = am/am = 1.

Si n > m, l'exposant du quotient sera négatif. Par exemple, que m = 2, et n = 5 ; a(m - n) = a (2 - 5) = a-3. Mais qu'est-ce que a(-3) ? Pour le savoir, interrogeons l'ancienne méthode. a-3 est donné pour l'expression de a a/a a a a a = 1/ a a a = a1/3. Ce qui fait voir qu'une puissance négative équivaut à une fraction, dont le numérateur étant l'unité, le dénominateur est cette puissance même devenue positive : comme réciproquement une puissance positive équivaut à une fraction, dont le numérateur est encore l'unité, et le dénominateur cette même puissance devenue négative. En général a+m = 1/a+m. On peut donc sans inconvénient substituer l'une de ces deux expressions à l'autre : ce qui a quelquefois son utilité.

Elévation. Pour élever am à la puissance dont l'exposant est n, on fait le produit des deux exposans, et l'on écrit a(m X n)... En effet que m = 2, et n = 3 ; a(m X n) = a (2 x 3) = a 6 = a a a a a a = a a x a a x a a.

Extraction. Comme cette opération est le contraire de la précédente ; pour extraire la racine n de am, on voit qu'il faut diviser m par n, et écrire a m/n En effet que m = 6, et n = 3 ; am/n = a6/3 = a2 = a a = a a a a a a.

On peut donc bannir du calcul les signes radicaux qui y jettent souvent tant d'embarras, et traiter les grandeurs qu'ils affectent comme des puissances, dont les exposans sont des nombres rompus. Car a = a1/n ; a-m = a-m/n, &c.

On ne dit rien de l'addition, ni de la soustraction ; parce que ni la somme, ni la différence de deux puissances de la même racine, ne peuvent se rappeler à un exposant commun, et qu'elles n'ont point d'expression plus simple que celle-ci, am + an. Mais elles ont d'ailleurs quelques propriétés particulières, que je ne sache pas avoir jusqu'ici été remarquées, quoiqu'elles puissent trouver leur application. Elles ne seront point déplacées en cet article.

Première propriété. La différence de deux puissances quelconques de la même racine, est toujours un multiple exact de cette racine diminuée de l'unité, c'est-à-dire que (am - an)/(a - 1) donne toujours un quotient exact.

(43 - 41)/3 = (64 - 4)/3 = 60/3 = 20

(43 - 40)/3 = (64 - 1)/3 = 63/3 = 21 sans reste.

Observez en passant que dans le premier exemple 43 - 41 = 60 = . Ce qui n'est point un hasard, mais une propriété constante de la différence des troisième et première puissances, laquelle est toujours égale au produit continu des trois termes consécutifs de la progression naturelle, dont le moyen est la première puissance même ou la racine.

a3 - a1 = X X .

Seconde propriété. La différence de deux puissances quelconques de la même racine est un multiple exact de cette racine augmentée de l'unité, quand la différence des exposans des deux puissances est un nombre pair ; c'est-à-dire que (am - an)/(a + 1) donne un quotient exact, quand m - n exprime un nombre pair.

(43 - 41)/5 = (64 - 4)/5 = 60/5 = 12, sans reste, parce que 3 - 1 = 2, nombre pair.

Mais (43 - 40)/5 = (64 - 1)/5 = 63/5 laisse un reste, parce que 3 - 0 = 3 n'est pas un nombre pair.

Traisième propriété. La somme de deux puissances quelconques de la même racine est un multiple exact de cette racine augmentée de l'unité, quand la différence des exposans des deux puissances est un nombre impair ; c'est-à-dire que (am + an)/(a + 1) donne un quotient exact, quand m - n exprime un nombre impair. (43 + 40)/5 = (64 + 1)/5 = 65/5 = 13, sans reste, parce que 3 - 0 = 3, nombre impair.

Mais (43 + 41)/5 = (64 + 4)/5 = 68/5 laisse un reste, parce que 3 - 1 = 2 n'est pas nombre impair.

Démonstration commune.

Si l'on compare am ± an, considéré d'une part comme dividende avec a ± 1, consideré de l'autre comme diviseur, il en résulte quatre combinaisons différentes ; savoir,

am + an/a - 1 (am - an/a - 1 (am - an/a + 1 (am + an/a + 1.

Maintenant, si l'on vient à effectuer sur chacune la division indiquée, on trouvera (& c'est une suite des lois générales de la division algébrique)

1°. Que dans toutes les hypothèses, les termes du quotient (supposé exact) sont par ordre les puissances consécutives et décroissantes de a, depuis et y compris a(m - 1) jusqu'à an inclusivement ; d'où il suit que le nombre des termes du quotient exact, ou, ce qui est la même chose, l'exposant du rang de son dernier terme est m - n.

2°. Que dans les deux premières hypothèses les termes du quotient ont tous le signe +, et que dans les deux dernières ils ont alternativement et dans le même ordre les signes + et - ; de sorte que le signe + appartient à ceux dont l'exposant du rang est impair, et le signe - à ceux dont l'exposant du rang est pair.

3°. Que, pour rendre la division exacte, le dernier terme du quotient doit avoir le signe - dans les première et troisième hypothèses, et le signe + dans la seconde et dans la quatrième.

La figure suivante met sous les yeux le résultat des deux derniers articles. La ligne supérieure représente l'ordre des signes qui affectent les divers termes du quotient, relativement aux quatre différentes hypothèses, l'inférieure marque le signe que doit avoir dans chacune le dernier terme du quotient, pour rendre la division exacte.

I. hypothèse Seconde Traisième Quatrieme

+.+.+. etc. +.+.+. etc. +.-.+.-. etc. +.-.+.-. &c.

- + - +

La seule inspection de la figure fait voir que la division exacte ne peut avoir lieu dans la première hypothèses ; puisqu'elle exige le signe - au dernier terme du quotient, et que tous y ont le signe + ; que par une raison contraire elle a toujours lieu dans la seconde ; qu'elle l'a dans la troisième, quand l'exposant du rang du dernier terme, où (suprà) m - n est pair ; et dans la quatrième, quand m - n est impair.

J'ai remarqué (& d'autres sans-doute l'auront fait avant moi) que la différence des troisième et première puissances de la même racine est égale au produit continu de trois termes consécutifs de la progression naturelle, dont le moyen est la première puissance même ou la racine... r3 - r1 = X X .

Cette propriété au reste dérive d'une autre ultérieure. Les exposans des deux puissances étant quelconques, pourvu que leur différence soit 2, on a généralement rm - rn = X X ;... et la démonstration en est aisée. Car dans le second membre le produit des extrêmes est r r - 1 : or si l'on multiplie le terme moyen rn par r r - 1, on aura r(n + 2) - rn : mais r(n + 2) = rm, puisque (par supposition) m - n = 2, d'où m = n + 2.

Ceci est peu de chose en soi : mais n'en pourrait-on pas faire usage, pour résoudre avec facilité toute équation d'un degré quelconque, qui aura ou à qui on pourra donner cette forme Xe - Xe - a = 0, de sorte que m - n y soit = 2, et dans une des racines sera un nombre entier.

En effet, cherchant tous les diviseurs ou facteurs de a, et pour plus de commodité les disposant par ordre deux à deux, de façon que chaque paire contienne deux facteurs correspondants de a, comme on voit ici ceux de 12...1/12.2/6.3/4.... on est assuré qu'il s'en trouvera une paire qui sera x .

xn

Chaisissant donc dans la ligne inférieure (que je suppose contenir les plus grands facteurs) ceux qui sont des puissances du degré n, ou bien il ne s'en trouvera qu'un, et dès-là sa nième racine sera la valeur de Xe ou il s'en trouvera plusieurs ; et alors les comparant avec leurs co-facteurs, on se déterminera pour celui dont le co-facteur est le produit de sa nième racine diminuée de l'unité par la même racine augmentée de l'unité. Par exemple,

Sait l'équation à résoudre... x 5 - x 3 - 3000 = 0, on trouve que les facteurs de 3000 sont par ordre, 1 2 3 4 5 6 8 10 12 15 20

3000. 1500. 1000. 750. 600. 500. 375. 300. 250. 200. 150.

24 25 30 40 50.

125. 120. 100. 75. 60.

En consultant, si on le juge nécessaire, la table des puissances, on trouve que la ligne inférieure ne contient que deux cubes, 1000 et 125. Le premier ne peut convenir, parce que son co-facteur est 3, et que ( étant 10) il devrait être X = 9 X 11 = 99 : mais le second convient parfaitement, parce que d'un côté sa racine cubique étant 5, de l'autre son co-facteur est 24 = 4 X 6 = X ... On a donc x = 5.

Reste à trouver le moyen de donner à toute équation proposée la forme requise, c'est-à-dire de la réduire à ses premier, troisième, et dernier termes ; de façon que les deux premiers soient sans coefficiens, et les deux derniers négatifs. C'est l'affaire des Algébristes, et pour eux une occasion précieuse d'employer utilement l'art des transformations, s'il Ve jusque-là.

Il est au moins certain que dans les cas où l'on pourra ainsi transformer l'équation, la méthode qu'on propose ici aura lieu, pourvu qu'une des racines de l'équation soit un nombre entier. On convient que cette méthode ne s'étend jusqu'ici qu'à un très-petit nombre de cas, puisqu'on n'a point encore, et qu'on n'aura peut-être jamais de méthode générale pour réduire les équations à la forme et à la condition dont il s'agit : mais on ne donne aussi la méthode dont il s'agit ici, que comme pouvant être d'usage en quelques occasions. Article de M. RALLIER DES OURMES.

Il ne nous reste qu'un mot à ajouter à cet excellent article, sur le calcul des exposans. Que signifie, dira-t-on, cette expression a(- m) ? Quelle idée nette présente-t-elle à l'esprit ? Le voici. Il n'y a jamais de quantités négatives et absolues en elles-mêmes. Elles ne sont telles, que relativement à des quantités positives dont on doit ou dont on peut supposer qu'elles sont retranchées ; ainsi a(- m) ne désigne quelque chose de distinct, que relativement à une quantité an exprimée ou sousentendue ; en ce cas a(- m) marque que si on voulait multiplier an par a(- m), il faudrait retrancher de l'exposant n autant d'unités qu'il y en a dans m ; voilà pourquoi a(- m) équivaut à a 1/ m, ou à une division par am : a(- m) n'est autre chose qu'une manière d'exprimer a 1/ m, plus commode pour le calcul. De même a 0 n'indique autre chose que am x a(- m) ou am/am = 1 ; a0 indique, suivant la notion des exposans, que la quantité a ne doit plus se trouver dans le calcul ; et en effet elle ne s'y trouve plus : comme a(- m) indique que la quantité a doit se trouver dans le calcul avec m dimensions de moins, et qu'en général elle doit abaisser de m dimensions la quantité algébrique où elle entre par voie de multiplication. Voyez NEGATIF.

Passons aux exposans fractionnaires. Que signifie a 1/2 ? Pour en avoir une idée nette, je suppose a = b b ; donc a 1/2 est la même chose que (b b) 1/2 : or dans (b b)3, par exemple, l'exposant indique que b doit être écrit un nombre de fois triple du nombre de fois qu'il est écrit dans le produit (b b) ; et comme il y est écrit deux fois (b b), il s'ensuit que (b b)3 indique que b doit être écrit 6 fois ; donc (b b)3 est égal à b 6 ; donc par la même raison (b b) 1/2 indique que b doit être écrit la moitié de fois de ce qu'il est écrit dans la quantité b b ; donc il doit être écrit une fois ; donc (b b) 1/2 = b ; donc a1/2 = b = .

Il n'y aura pas plus de difficulté pour les exposans radicaux, dont très-peu d'auteurs ont parlé. Que signifie, par exemple, a 2 ? Pour le trouver, on remarquera que 2 n'est point un vrai nombre, mais une quantité dont on peut approcher aussi près qu'on veut, sans l'atteindre jamais ; ainsi supposons que p/q exprime une fraction par laquelle on approche continuellement de 2 ; a 2 aura pour valeur approchée la quantité a p/q, dans laquelle p et q seront des nombres entiers qu'on pourra rendre aussi exacts qu'on voudra, jusqu'à l'exactitude absolue exclusivement. Ainsi a 2 indique proprement la limite d'une quantité, et non une quantité réelle ; c'est la limite de a élevé à un exposant fractionnaire qui approche de plus en plus de la valeur de . Voyez EXPONENTIEL, LIMITE, etc. (O)