ALGÉBRIQUES
Conditions d'identité de deux polynômes.
15. Lorsque deux expressions algébriques A et B, contenant des lettres a, b, c, . . . , demeurent égales, quelles que soient les valeurs attribuées à ces lettres, ces expressions A et B sont dites identiques.
En particulier, lorsque deux polynômes, entiers par rapport à ;r, restent égaux, quelle que soit la valeur attribuée à x, ils sont identiques
Un polynôme entier par rapport à x est la somme, la différence, le produit ou le quotient de deux autres polynômes, quand il est identique h la somme, à la différence, au produit ou au quotient effectif de ces deux polynômes.
16. 1. Lorsqu'un polynôme P, entier par rapport à x et de degré /w, s^ annule pour plus de m valeurs différentes de x, il est nul, quel que soit x, c'est-à-dire identique à zéro ou identiquem^ent nul.
Supposons d'abord que P s'annule pour les valeurs a, b, Cf ...,/, en nombre égal à m, substituées k x. V sera alors divisible séparément par chacun des binômes x—a,x—by..., x—- 1 {iS), et nous pourrons d'abord écrire
Q, étant un polynôme entier par rapport à ^ et de degré m — i. P s'annulant pour a? = 6, et 6 — a étant différent de zéro, par hypothèse, on a Qi =: o pour x=b. Par suite, en vertu du théorème rappelé, on peut écrire
l6 ALGÈBRE SUPÉniEUIlE.
Qj étant un polynôme entier par rapport à j: et de degré m — 2. En répétant le même raisonnement, on pourra poser les égalités successives
Q3 ^Q,{jo--d,
Q,n est indépendant de a:, puisque son degré, par rapport à .r, est m — mou zéro.
Si l'on multiplie membre à membre toutes les égalités obtenues, il vient, en simplifiant,
(i) P =zQ,„(j7 — a) (j7— ^) (a;- - c). . .(j7— /).
Nous retrouvons ainsi un théorème important déjà démontré {Alg, élém., 55), savoir : Lorsqu'un polynôme entier patrapport à X s'annule lorsqu'oti remplace x par des quantités différentes a, bj c, . . . , /, il est divisible par le produit des binômes x — a, x — bj x — c, . . . , a? — /.
Cela posé, admettons que le polynôme P s'annule pour une (m4-i)»«°»« valeur de Xj différente des précédentes a,b,c,,..,l; le second membre de l'égalité (1) sera aussi nul, sans qu'aucun des facteurs binômes qu'il contient devienne nul. 11 faudra donc qu'on ait Q^y^mo et, par suite, P=:o, quel que soit X.
17. IL Lorsqu'un polynôme P, entier par rapport à x, est identiquement nul, tous ses coefficients sont nuls.
Soit
i — Aq ~t~ A^X — r~ Aj X -7— A^X -4— • • • ~t~ Aff^X
un polynôme de degré m qui s'annule pour plus de m valeurs de x^ et qui est, par suite, identiquement nul ( 16). Ce polynôme étant nul, quel que soit Xy est nul pour j? — o.
Il en résuite
Ao -=^ o.
On peut alors écrire
P — x(Ai + Aj^r-hAawT^-h. . ,-h kmX'^-^),
P étant nul quel que soit Xy la parenthèse du second membre
ALGEBRE SUPÉRIEUllE. I7
de régalité précédente satisfait à la même condition. On a donc, en y supposant a? = o,
On prouvera de même qu'on a
iV 2 — O j A3 — Of • • * 9 -A. //i — O •
18. III. Lorsque deux polynômes, entiers par rapport à xet de degrés m et n{m^n) en x^ sont égaux pour plus de m valeurs de Xy ces deux polynômes sont égaux, quel que soit x, cest-à'dire qu'ils sont identiques; en d'autres termes, ils ont même degré et les mêmes puissances de x y sont affectées des mêmes coefficients.
Soient les deux polynômes
P — Ao-h A,j?-f- A,a7'^-. . .-f- ArtJ?'»-^...-î-A,„J:'", Q = Bo-r-Bjor-H B|X*-i-. . .-r- B^jJ:".
Formons leur différence
P — 0 — Ao—Bo^- (Al- B,)^^-(A,— B,)^* •+-...
P et Q étant égaux pour plus de m valeurs différentes substituées à Xy leur différence P — Q sera nulle pour plus de m valeurs de x\ elle sera donc un polynôme identiquement nul, ayant* tous ses coefficients égaux à zéro (17). Il en résulte évidemment
Ao=^Bo, Ai = Bf, Aj^iBa,
\fi — K/j, ...y A/n— 1 — o, \ffi — o,
et le théorème énonce est démontré.
19. Remarquons que si les deux polynômes P et Q étaient de même degré m et qu'on eût A;„= B^,il suffirait, />ow/' leur identité, qu'ils fussent égaux pour m valeurs différentes substituées à X. En effet, leur différence P — Q, de degré /w — i , serait alors nulle pour plus de m^i valeurs différentes substituées à X.
20. IV. Si deux polynômes, entiers par rapport à un nombre quelconque n de variables indépendantes x , y^z, . . . ,
De C. — Coure, UI. 3
l8 ALGEBRE SUPÉRIEURE.
sont égaux pour plus de m groupes de valeurs différentes de ces variables {en désignant par m le degré le plus élevé obtenu en ordonnant ces polynômes par rapport à l'une des variables)^ ces polynômes sont identiques, c'est-à-dire qu'ils ont même degré et mêmes termes.
Comme ce théorème a été établi (18) dans le cas d'une seule variable x^ nous allons prouver, par un lour de démonstration bien connu» que, si le théorème énoncé est vrai dans le cas de /i — I variables, il Test encore dans le cas de n variables.
Admettons que x soit la variable ordonnatrice répondant au degré le plus élevé. Les deux polynômes considérés seront de la forme {m'>m')
Ao-4- A,a:-f- k^x^-\- Aj^*-f-. . .-J- A^n^"*,
Comme ils sont égaux pour plus de m groupes de valeurs distinctes des variables, ils sont égaux pour plus de m valeurs distinctes de x. On aura donc, à la fois (18),
m — m' et Ao^^Bo, Ai=B,, A,=::B„ ..., A«=:B;„.
Ces égalités ayant lieu pour plus de m groupes de valeurs distinctes des n — i variables j, 5, . . . , les relations précédentes sont, par hypothèse, des identités, et le théorème énoncé est démontré.
21. V. Pour que le quotient de deux polynômes, entiers par rapport à x, soit indépendant de x^ il faut et il suffit que les deux polynômes soient de même degré en x et que le rapport des coefficients des mêmes puissances de x dans les deux po^ lynômessoit constant.
Considérons, en effet, le quotient
Bo-i- B,x H- B,x*-h U^x^-h. . . -r Bm'X""''
Supposons, iw)ur un instant, m>m' ei admettons que ce quotient, que nous désignerons par ^, soit indépendant de x; on aura {Alg. élém., kO)
Ao-h Aia?4- A,a7*-4-. . ,-hAmX'^
ALGÈBRE SUPÉRIEURE. IQ
et cette relation sera satisfaite quel que soit jr, donc par plus de m valeurs de x. Il en résulte (18)
mz=.m'
et
Ao=Bo7, Aii=B,7, A,= B,7, ..., A,„=:B,„^,
c'est-à-dire
Ao Al A, A,rt
Bo""B|"B, B
Réciproquement, si cette condition est satisfaite, on en déduit, quel que soit x
Aq Ak\X A.^X \ffiX
Bo " 5;^ ^ b;;^ == • •= B~^' ^ ^'
ou bien {Alg, élém,, 63)
Ao-H KxX -\- A,a:*-h Aa^'-f- . . .-h A,„.r'^
Le théorème III (18), sur lequel nous venons de nous appuyer, ayant été étendu (20) à un nombre quelconque de variables ^,*j, ^, ..., la même extension a lieu nécessairement pour le présent théorème V, et nous pouvons énoncer, sans démonstration, le théorème général suivant :
22. VI. Pour que le rapport de deux polynômes entiers en Xy y^ z^ ... soit indépendant de ces variables, il faut et il sujjit que ces deux polynômes soient de même degré et que les coefficients des termes composés de la même manière en x, y, z, . . . , dans les deux polynômes, soient proportionnels.
Vérification des formules algébriques.
23. Les théorèmes précédents permettent de vérifier, plus ou moins facilement, Tégalité ou Tidentité de deux expressions algébriques.
Il y a deux cas à distinguer :
Pour vérifier une équation entre quantités arbitraires, c'est-à-dire pouvant recevoir des valeurs quelconques, il suffit de chasser les dénominateurs et de constater ensuite
que les deux membres de l'équation sont composés de termes identiques (20).
Lorsque les quantités qui entrent dans Téquatîon à vérifier ne sont plus arbitraires, c'est-à-dire sont liées entre elles par certaines relations ou équations de condition, il faut se servir de ces équations pour éliminer un pareil nombre de ces quantités. Les autres demeurent arbitraires, et Ton rentre dans le premier cas.
2k, Nous allons donner quelques exemples :
!<» r^rifier VégaUté
p^q^ ~ {p-r-q)i\p^ ^ qy^ {J>-^qY\P^q)'
Oq chassera les dénominateurs en multipliant les deux membres de cette égalité par /?'^* {p -+- qy. Il vient alors
{p -f. qy={p -f- <7)(y«-h/?«)H- 'à{pq^^p^q) OU
(y? -h (jr )' = />' -H 3/?*^-+- Zpq^-\- «y', ce qui est une identité.
2° On donne les équations de condition
et Von demande de vérifier V égalité
v/Ârt -f- \J^ -+- /Cc -h \JWd = /(^A H-B-i-C-hD;(a-+-Z^-+-c-hrf). Nous déduirons des équations de condition
B=-^, C=-c, D=-rf; a ^ a a
d'où, en substituant dans l'équation à vérifier et en remplaçant dans le
premier terme du premier membre ka par l'expression identique - a*,
et, dans le second membre, A par - a.
V \rt a a o, 1^
c'esi-à-dire ( -^r^. éym., 223, 3«)
ce qui est une identité.
3* Vérifier la formule
quel que soit l'entier n.
SI nous faisons /z = i, la formule est satisfaite. Nous n'avons donc plus qu'à montrer que , si elle est vraie pour une valeur quelconque de n, elle est encore vraie pour cette valeur augmentée de i.
Si nous remplaçons dans la formule n par /z + 1, il vient
11 faut^ par suite, simplement prouver que
c'est-à-dire
(«-Hi)«[(/e-T-2)* — /i»] = 4(«H-0' ou
{n H-2)2— //«= 4(/i-hi),
ce qui est une identité.
La formule est donc vérifiée.
22 ALGEBRE SUPÉRIEURE.
