Annales de mathématiques pures et appliquées/Tome 10/Analise indéterminée, article 3
# Annales de mathématiques pures et appliquées/Tome 10/Analise indéterminée, article 3

## ANALISE INDÉTERMINÉE.

### Sur une nouvelle classe de problèmes indéterminés avec application à la décomposition des fractions ;

Les seuls problèmes indéterminés qu’on se soit proposés et qu’on ait cherché à résoudre jusqu’ici, sont ceux où, étant données des équations numériques, en moindre nombre que les inconnues x, y, z, … qu’elles renferment, il s’agit de satisfaire à ces équations, par des valeurs des inconnues qui soient entières, si les équations ne passent pas le premier degré, ou tout au moins rationnelles ; si elles sont de degrés plus élevés.

Mais l’analise indéterminée peut être envisagée d’une manière beaucoup plus générale. Au lieu de supposer, en effet, que les données qui entrent dans les équations qu’il s’agit de résoudre sont de simples quantités numériques, on peut supposer que ce sont des fonctions d’une ou de plusieurs variables t, u, v, …; et au lieu de demander de satisfaire à ces équations par des valeurs numériques entières ou rationnelles de x, y, z, on peut se proposer de les résoudre par des valeurs de ces inconnues fonctions entières ou tout au moins rationnelles des mêmes variables t, u, v, ….

Qu’on ait, par exemple, entre les trois inconnues x, y, z, les deux équations

(1+2t+2t²)x+(2+t−2t²)y+(2−2t+ t²)z=13+2t+4t²+t³+19t⁴, (3− t+2t²)x+(2+3t−t²)y+(1+3t−2t²)z=22−3t+9t²−26t³+24t⁴,

si l’on demande quelles sont les valeurs les plus générales de x, y, z, fonctions entières de t qui y satisfassent, on trouvera

x=5−3t+7t²−(2− 5t− 3t²+13t³−5t⁴)T, y=3+2t−4t²+(5−13t+ 3t²− 7t³+6t⁴)T, z=1−5t−3t²−(4− 6t−12t²+ 0t³−2t⁴)T;

où T désigne une fonction entière de t tout-à-fait arbitraire. On doit remarquer, au surplus, qu’ici les coefficiens numériques peuvent être fractionnaires, sans que les fonctions cessent pour cela d’être réputées entières. Une fonction entière des variables t, u, v, … est simplement, en effet, une fonction où ces variables n’entrent point au dénominateur.

Soit encore, entre les deux inconnues x, y, l’équation

(1−3t+5t²)x²+(5+2t−8t²)y²=29+69t+218t²−182t³−180t⁴;

et supposons qu’on demande d’y satisfaire de la manière la plus générale par des valeurs de x, y fonctions rationnelles de t; on trouvera pour ces valeurs

x=(−(3−11t+21t²−10t³)−2(10+29t−6t²−40t³)T+(15−4t−28t²+16t³)T²)/((1−3t+5t²)(5+2t−8t²)T²)

y=(+(2−t−5t²+25t³)−2(3−11t+21t²−10t³)T−(10+29t−6t²−40t³)T²)/((1−3t+5t²)(5+2t−8t²)T²)

où T représente encore une fonction rationnelle de t tout-à-fait arbitraire. Ici les coefficiens numériques pourraient être radicaux, sans que pour cela les fonctions cessassent d’être réputées rationnelles ; une fonction rationnelle des variables t, u, v, … étant simplement une fonction qui ne renferme pas ces variables sous des radicaux.

Nous ne nous occuperons uniquement, dans ce qui va suivre, que de la résolution des équations du premier degré à deux inconnues, et même dans le seul cas où les données et les inconnues sont et doivent être simplement fonctions d’une seule variable t. Nous ferons voir ensuite que le problème de la décomposition des fractions n’est qu’un cas particulier de celui qui nous aura occupés.

Soit proposée l’équation

ax+by=c,

dans laquelle a, b, c sont supposés des nombres entiers, et à laquelle on se propose de satisfaire par des valeurs entières de x, y; il est connu, 1.ᵒ que le problème n’est possible qu’autant que le plus grand commun diviseur de a et b se trouve être diviseur de c; 2.ᵒ que le problème se résout immédiatement lorsque le plus petit des coefficiens a, b est l’unité ; 3.ᵒ enfin, que par des transformations plus ou moins nombreuses, on ramène facilement à ce cas celui où ce plus petit coefficient est différent de l’unité.

Ainsi, si l’équation proposée est

7x+y=23,

on aura, de suite,

y=23−7x;

et en prenant pour x un nombre entier quelconque, on aura aussi un nombre entier pour la valeur correspondante de y.

Si, au contraire, l’équation à résoudre est

211x+91y=695;

on l’écrira d’abord ainsi

91(2x+y−7)+29x=58.

posant

2x+y−7=p,

elle deviendra

91p+29x=58;

qu’on pourra écrire ainsi

29(3p+x−2)+4p=0;

posant encore

3p+x−2=q,

elle deviendra

29q+4p=0;

ou

4(7q+p)+q=0;

posant enfin

7q+p=0,

nous aurons

4n+q=0,

d’où, en remontant,

q=−4n, p=+29n, x=2−91n, y=3+211n.

Voilà donc des valeurs entières de x, y fonctions d’un nombre entier n tout-à-fait arbitraire.

Les équations indéterminées dans lesquelles les données et les inconnues sont et doivent être des fonctions entières d’une variable t, se traitent à peu près de la même manière. Soit en effet, en général, entre x et y, une équation de la forme

(a+a′t+a″t²+…)x+(b+b′t+b″t²+…)y=(c+c′t+c″t²+…),

dans laquelle a, b, c, a′, b′, c′, a″, b″, c″, … sont supposés des nombres donnés quelconques, et à laquelle il faille satisfaire par des valeurs de x et y fonctions entières de t; il est facile de voir, 1.ᵒ que le problème ne sera possible qu’autant que le plus grand commun diviseur des coefficiens de x et y sera en même temps diviseur de la fonction de t qui forme le second membre ; 2.ᵒ que l’équation sera immédiatement résoluble, si l’un des coefficiens est une quantité purement numérique ; 3.ᵒ enfin que, par des transformations plus ou moins nombreuses, on pourra toujours ramener à ce cas celui où les deux coefficiens seront l’un et l’autre des fonctions de t.

Soit, en premier lieu, l’équation

(2−5t+4t²)x+7y=13−5t−13t²−t³;

elle donnera immédiatement

y=(13−5t−13t²−t³−(2−5t+4t²)x, )/7

formule où, en prenant pour x une fonction entière tout-à-fait arbitraire de t, on aura aussi pour y une fonction entière de /.

Soit, en second lieu, l’équation

(1−2t−3t²+5t³)x+(2−7t+3t²)y=5−5t−43t²+57t³−19t⁴;

en la multipliant par 9, quarré du coefficient 3 de la plus haute puissance des t dans le coefficient le moins élevé ; on pourra la mettre sous cette forme

(2−7t+3t²){(26+15t)x+9y−(38t−57t²)}−(43−134t)x

=45−121t−7t²;

en posant

(26+15t)x+9y−19(2t−3t²)=p,

elle deviendra

(2−7t+3t²)p−(43−134t)x=45−121t−7t².

Multipliant celle-ci par 17956, quarré du coefficient 134 de la plus haute puissance de t, dans le coefficient le moins élevé, on pourra ensuite la mettre sous cette forme

(43−134t){(809−402t)p−17656x−(16515+938t)}+1125p=97875;

posant ensuite

(809−402t)p−17656x−(16515+938t)=T.

elle deviendra

(43−134t)T+1125p=97875;

et de là, en remontant,

p=97875−(43−134t)T/1125

x=(1125(3−2t)−(2−7t+3t²)T)/1125

y=(1125(1+5t−3t²)+(1−2t−3t²+5t³)T)/1125

voilà donc des valeurs de x, y qui, en prenant pour l’une fonction entière quelconque de t, seront aussi des fonctions entières de cette variable ; en y changeant T en 1125T, ce qui est permis ; elles deviennent

x=(3−2t)−(2−7t+3t²)T,

y=(1+5t−3t²)+(1−2t−3t²+5t³)T;

où T est toujours une fonction entière quelconque de t.

Venons présentement aux applications que nous avons annoncées. Soit d’abord la fraction numérique 89/125 qu’il faille décomposer en deux autres dont les dénominateurs soient respectivement 125 et 25. En désignant les numérateurs par x et y on aura

89/125=x/125+y/25,

ou

x+5y=89,

d’où

x=89−5y,

où l’on peut donner à y une valeur entière quelconque.

Si l’on veut que x soit plus petit que 5, racine du dénominateur, il faudra prendre y=17 et l’on aura ainsi

89/125=4/125+17/25.

Par une semblable méthode, on décomposerait ultérieurement 17/25 en deux autres fractions dont les numérateurs seraient l’un et l’autre moindres que 5. On trouverait ainsi

89/125=4/125+ 1/25+3/5.

Ainsi, en général, toute fraction numérique b/aᵐ peut être considérée comme la somme algébrique d’une suite d’autres

b′/aᵐ+b″/aᵐ⁻¹+b‴/aᵐ⁻²+…,

dans lesquelles les numérateurs b′, b″, b‴, … sont tous moindres que a.

Soit, en second lieu, la fraction 379/600 à décomposer en deux autres dont les dénominateurs soient les deux facteurs premiers entre eux 24 et 25 de son dénominateur ? En désignant par x, y les numérateurs respectifs de ces deux fractions, on aura

379/600=x/24+y/25 ;

d’où

25x+24y=379,

cela donne

x=19−24n, y=25n−4.

Si l’on veut que les numérateurs soient plus petits que les dénominateurs, on pourra prendre n=0; cela donnera

379/600=19/24−4/25.

On pourrait, par le même procédé, décomposer ultérieurement 19/24 en deux fractions ayant 3 et 8 pour dénominateurs ; et des numérateurs plus petits que ces nombres. On trouverait ainsi

379/600=2/3+1/8−4/25,

et nous venons de voir tout-à-l’heure comment se décomposaient les fractions de la dernière sorte.

Si, en général, on a la fraction numérique k/aᵅbᵝcᵞ…, dans laquelle les nombres a, b, c, … soient premiers entre eux, on pourra la décomposer en

a′/aᵅ+b′/bᵝ+c′/cᵞ+…

dans laquelle les numérateurs seront moindres que les dénominateurs.

Cette application de l’analise indéterminée ordinaire a déjà été indiquée par M. Legendre (Théorie des nombres, dernière édition, pag. 26). La décomposition des fractions littérales, fonctions d’une variable, est une application toute semblable de la nouvelle analise indéterminée dont il vient d’être question ci-dessus.

Soit, en premier lieu, la fraction

(4+t−5t²+38t³−19t⁴+2t⁵)/((1+5t−2t²)³)

qu’il faille décomposer en deux autres dont les dénominateurs soient (1+5t−2t²)³ et (1+5t−2t²)²; en désignant les numérateurs par x, y, on aura

x/((1+5t−2t²)³)+y/((1+5t−2t²)²)=(4+t−5t²+38t³−19t⁴+2t⁵)/((1+5t−2t²)³),

ou

x+(1+5t−2t²)y=4+t−5t²+38t³−19t⁴+2t⁵,

en résolvant cette équation comme ci-dessus, on trouve

x=(3−2t)+(1+5t−2t²)T, y=(1−2t+t²−7t³)−T.

Si l’on veut que x soit d’un degré inférieur au second, et y d’un degré inférieur au quatrième, il ne s’agira que de faire T=0, ce qui donnera

(4+t−5t²+38t³−19t⁴+2t⁵)/((1+5t−2t²)³)=3−2t/((1+5t−2t²)³)+(1−2t+7t²−t³)/((1+7t−2t²)²).

On décomposerait, par un semblable procédé, la dernière fraction en deux autres, ayant pour dénominateurs (1+5t−2t²)² et 1+5t−2t², et des numérateurs du premier degré au plus.

Soit, en second lieu, la fraction

(10−87t+25t²−295t³+87t⁴+53t⁵−52t⁶)/((2−3t)³(1−2t+5t²)²),

qu’il faille décomposer en deux autres, ayant pour dénominateurs (2−3t)³ et (1−2t+5t²)²; en appelant x et y leurs numérateurs, nous aurons

x/(2−3t)³+y/((1−2t+5t²)²)

=(10−87t+25t²−295t³+87t⁴+53t⁵−52t⁶)/((2−3t)³(1−2t+5t²)²),

ou bien

(1−2t+5t²)²x+(2−3t)³y

=10−87t+25t²−295t³+87t⁴+53t⁵−52t⁶;

cela donne

x=(2−3t−t²)+(2−3t)³T, y=(1−5t−2t²+t³)−(1−2t+5t²)²T.

Si l’on veut que les numérateurs soient d’un moindre degré que les dénominateurs, il suffira de poser T=0, et l’on aura

2−3t−t²/(2−3t)³+(1−5t−2t²+t³)/((1−2t+5t²)²)

=(10−87t+25t²−295t³+87t⁴+53t⁵−52t⁶)/((2−3t)³(1−2t+5t²)²).

Nous sommes loin de prétendre, au surplus, que cette méthode soit préférable aux autres méthodes connues, et notamment à celle qui se trouve indiquée dans le précédent mémoire ; et nous avons eu simplement l’intention de faire voir comment le problème de la décomposition des fractions littérales se rattache à la nouvelle branche d’analise indéterminée que nous avons signalée.

