LEÇON ONZIÈME
SUITE DE l'analyse DES SECTIONS ANGULAIRES, OU l'oN DÉMONTRE LES FORMULES GÉNÉRALES DES TABLES DONNÉES DANS LA LEÇON PRÉCÉDENTE.
Reprenons les expressions générales de cosm^ et smma: données dans la Leçon précédente; faisant
cosse = p, et par conséquent s'mx=z \/i — p-, on aura
2 cosm.r = {p -h \lp'^ — i)'" + (/? — \Jp- — i)'">
2 sin mx\l ~i=^{p -\- \lp- — \)'" ~[p — \jp- — i)'" .
Nous observerons d'abord que ces formules sont toujours vraies, quel que soit le nombre m, parce qu'elles ont été déduites de l'équation générale
cos^dr sinx\/— i = e^'^-'V'-i
élevée à la puissance m. Ainsi les doutes qui pourraient rester à cet égard disparaissent ici entièrement.
Tout se réduit donc à développer, suivant les puissances de p, l'expression
Comme les quantités p -+- sjp^ — i et p — sj p^ — i sont les deux racines de l'équation
Z^ — ^pC + I = o,
je ferai usage du théorème que j'ai démontré dans la Note XI de la
Résolution des équations numériques, sur la somme des puissances des racines des équations.
Suivant ce théorème, si l'on a une équation quelconque de la forme
u — X +f[x] = o, où X est l'inconnue, la formule
^, r., s fin-"')' fHu)\' /lu-"']' fHu)\"
u-"' + {u-'"yf{u) + (^^ >^' ^ >j +(^^ ^'3 ') +•••,
n'étant continuée que tant qu'il y aura des puissances négatives de u, donne la somme de toutes les racines élevées chacune à la puissance — m; mais, étant continuée à l'infini, elle ne donne que la même puissance de la plus petite des racines. Les quantités/^ (?/), /'("), ... sont le carré, le cube, etc. de /(m); et les traits appliqués aux parenthèses désignent les fonctions dérivées des fonctions de u renfermées entre ces parenthèses.
Ainsi, dans notre cas, si l'on change g en ^ et qu'on divise l'équation par 2p, coefficient de ce, elle deviendra
np 2/>
laquelle, étant comparée à
donne donc
u— — , et f[x]= — ;
"ip
de manière que la série précédente deviendra
OÙ il faudra faire m = — , après avoir pris les fonctions dérivées dési-
ip ^ '
gnées par les traits appliqués aux parenthèses.
Or
7^-'« ■ = — mw
[[u-"']' II'')" = {— mu-"'+^']"=— m[m — 5)[m — 4)m-'»+3,
Ainsi la série deviendra
ip i.[ip]- i.à.[ipY
Faisons maintenant u = — , et l'on aura la série
ip
\ip]"' — mi-îp]"'^- -I 5 '- (2/?)"'-'' ■ ^ •' (a/jj^-B.
laquelle, étant continuée seulement tant qu'il y aura des puissances négatives de — ^ c'est-à-dire des puissances positives de ap, exprimera la valeur de
ce qui est la même chose que la valeur de
à cause de
{p-hs/p^^){p-~ sip- - 1 ) = I .
Ainsi, dans cet état, la série dont il s'agit donnera la valeur de 2Q,o&mx, ce qui s'accorde avec la formule de la Table (A).
Mais, si l'on continue la série à l'infini, alors elle ne donnera que la valeur de
puisque p — sjp'^ — i est la plus petite des deux racines; ou, ce qui revient au même, elle donnera la valeur de
Pour nous convaincre en effet que la série précédente, prise dans toute son étendue, n'est que le développement de cette quantité, nous allons chercher ce développement par une marche directe, ce qui servira d'exemple de la manière d'employer les fonctions dérivées dans ces sortes de recherches.
Supposons donc qu'il s'agisse de développer l'expression
dans une série descendante de la forme
Kp"' + B/?"'-' + dp'"-'- -!- J)p"'~^ + . . . ; si l'on divise de part et d'autre par/?"", et qu'on fasse - = 3, on aura
(i + \li — z-')"'^k + Bz + C22 H- D2S + . . . ,
OÙ l'on voit que la série ne peut avoir que des puissances paires de z. Ainsi, en faisant u = z"^, on aura la fonction
à développer suivant les puissances de u.
Donc, par la formule générale donnée à la fin de la Leçon IX, si l'on fait
f[u) = {i + '^T^^)'\ on aura
où/, /',/", . . . sont les valeurs de /("), /'(«), /"(«). • • • lorsque u = o, et forment ici les coefficients A, C, ....
Ainsi l'on trouvera d'abord /= 2'"; ensuite on aura
et de là
et ainsi de suite.
On peut (le cette manière avoir successivement tous les coefficients de la série ; mais on n'en aura pas la loi, ce qui est le plus essentiel.
Pour la trouver d'une manière générale, je reprends la formule en p et je la suppose égale à y, ce qui me donne l'équation
Je remarque maintenant qu'un des principaux avantages des fonctions dérivées est de pouvoir faire disparaître dans les équations les puissances et les radicaux. En effet, en prenant les fonctions dérivées par rapport k p et regardant y comme fonction de p, on a
JV'
\Jp- — V v//>- - •
cette équation, divisée par l'équation primitive, donne
multipliant en croix et carrant, on aura
Prenant de nouveau les fonctions dérivées par rapport à p, on obtiendra
'^■X' y"[p- — i) + '^■x'^p = "y.mP-yy' ,
d'où, en divisant par iy' , résulte cette équation du second ordre en y
etp
m^y — py'~- [p^- - \)y"=o,
laquelle étant, comme l'on voit, linéaire par rapport à y et dégagée de radicaux, est très propre au développement de y en série. En effet, il n'y a qu'à substituer pour y la série
A/>"' -I- B/)'"-' + C/>"'-2 + Dp">-^ -4- . . . ,
et par conséquent pour y'
mXp'" - ' + ( wi — 1 ] By9"'-- + [m— 2 ) Cp"'~^ -*-...,
«;t pour y"
m [m — i]kp"'-- + [m— i)(m— 2)B/>'«-3 +
Ordonnant les termes suivant les puissances de p, on aura
[m- A — mk — m(m — ijA]/)"' -+-[m2.B - (m— i)B — (m— i ) (m — 2)B]/)'«-' -t-[m2C — (m— -2)0 — (m — 2)(m — 3)C -t- m(m — i) A]/?'"-^ + [m2D — (m — 3)D— (m — 3)(m — 4)D + (m-i)(m-2)B]/>™-' -I- = o.
Comme cette équation doit avoir lieu indépendamment de />, il faudra égaler à zéro le coefficient de chaque terme.
Le coefficient de />'" disparaissant de lui-même, c'est une marque que le coefficient A demeure indéterminé.
Le coefficient de /?'""' se réduit à m^B — (/?i— i)-B, qui ne peut devenir nul à moins de faire B = o. Or, B étant nul, il est facile de voir que les coefficients dey"~^ />'""^ ... ne pourront aussi devenir nuls qu'en faisant D = o, F = o, ....
Maintenant le coefficient de//""* se réduit à
m- Ça — [m — aj^C 4- m(m — i) A, celui de />'""'* se réduit de même à
et ainsi des autres.
On aura donc, en réduisant, les équations
8[m — ^jE^ (m — 2)(m — 3)C = 0, i2(m-3)G+ (m-4)(/n-5)E=ro,
lesquelles donnent la loi suivant laquelle les coefficients A, C, E, G, ... dépendent les uns des autres.
On tire de ces équations
(/n — 3)C wj(m — 3)A E = -^ = — 478 '
Or nous avons vu que le premier coefficient A est égal à 2'"; ainsi on aura ce développement
/ ; \m / ^ , \ ^ mini — 3], , , mim — i]{m — 5), ,
)ni-6 .
qui s'accorde avec la série trouvée ci-dessus.
Cherchons de même le développement de {p — \/p- — i)'"- Comme cette expression ne diffère de celle que nous venons de traiter que par le signe du radical, lequel ne se trouve plus dans l'équation dérivée en y dont nous avons fait usage, il s'ensuit que la même formule, que nous venons d'obtenir, pourra encore s'appliquer à ce développement. Il faut seulement remarquer que, comme les premiers termes du ra-
dical \Jp- — I sont p 1 , le premier terme du développement
ip
dont il s'agit sera - — — ? de sorte qu'ici il faudra prendre m négative-
ment; et, comme l'équation dérivée en y ne contient que m^, on aura nécessairement la même série en y changeant seulement m en —m, ce qui suit d'ailleurs aussi de ce que
{p^^-jjTzi-,y" = (p^^-^-zr,)~"';
on aura donc
v//>- — i) =:{9.p]-'" H- m (■2/;)-"'-2 + —^ i [ip]-"^-'' 4 ! ^'} ' [ip)-"'-
Si maintenant on réunit ces deux séries, on aura la valeur de 2 cosmx;
donc
/ 1 « m(»? — 3), . , mfm — 4]fw — '51 , , ■îC0smx = [7.p)"' — m{oLp)'"-^-\ ■ '- [2p)"'-'<— — ^ (2/>)™-6 + . . .
C'est le développement complet de acoswa? en puissances de cos.r, pour une valeur quelconque de m.
Si maintenant on fait ici m = i , on a
" 4/^ i6/7^ 6/^p> ' 4/' ifc>^^ ti^p-'
où l'on voit que les deux séries se réduisent au premier terme /;.
En donnant à m d'autres valeurs entières et positives quelconques, on trouvera toujours que la seconde série, qui contient les puissances négatives de p, servira à détruire dans la première série tous les termes qui contiendront ces mêmes puissances; c'est ce qu'on peut démontrer en général par la loi même des deux séries; de sorte que le résultat se réduira aux seuls termes de la première qui contiennent des puissances positives de p; ce qui revient à ne conserver dans cette série que les termes où p est élevée à une puissance positive, ou nulle, comme nous l'avons trouvé plus haut a priori.
Mais lorsqu'on donne à m une valeur fractionnaire quelconque, les deux séries ne se détruisent plus, et leur réunion est nécessaire pour avoir la valeur complète de 2 cosmx.
En prenant la différence des deux séries au lieu de leur somme, on aurait la valeur de smmx\/~i; mais sin/fi-x serait exprimé de cette manière par des séries infinies et imaginaires. Pour avoir une expression réelle, il suffit de considérer que la fonction dérivée de cosmx est — ms'mmx, et que celle de p est — </, puisque
^==cos.r et q = s'mx; de manière qu'en prenant les fonctions dérivées des séries trouvées
sin nix
pour cosmx, on aura sur-le-champ, en changeant les signes et divisant par '2m,
Cette expression se réduit aussi à une forme finie, lorsque m est un nombre entier, par la destruction mutuelle des termes qui contiendraient des puissances négatives de/?; de sorte que, m étant un nombre positif entier, il suffira de prendre dans la première série les termes qui contiendront des puissances positives de p; ce qui s'accorde avec la formule de la Table (B).
Lorsque m est un nombre fractionnaire, les deux séries vont à l'iniini, et, jointes ensemble, elles donnent la vraie valeur de s'mmx développée suivant les puissances descendantes de cosa;, comme cela a lieu pour la valeur de cosma:,
Euler a le premier reconnu cette espèce d'imperfection des formules connues des Tables (A) et (B); il a fait voir, par une analyse à peu près semblable à celle que nous venons de donner, que ces formules, pour être générales et applicables à des valeurs quelconques de m, doivent être complétées par des valeurs semblables où l'exposant m est négatif.
J'ai cru devoir entrer dans ce détail pour l'instruction des jeunes analystes, et surtout pour montrer que, si l'Analyse parait quelquefois en défaut, c'est toujours faute de l'envisager d'une manière assez étendue et de la traiter avec toute la généralité dont elle est susceptible. {Voyez le Tome IX des Noi^a Acta de l'Académie de Pétersbourg.)
Nous venons de développer les expressions
{p±sjp^--^r,
suivant les puissances descendantes de/?; on peut de même, et par le moyen de la même équation dérivée en j, les développer suivant les puissances ascendantes de p, ce qui nous donnera les formules des
Tables (C), (D), (E), (F), et pourra même servir à les compléter pour toutes les valeurs de m.
Supposons donc, en général,
Substituant dans la même équation, et ordonnant suivant les puissances de/?, on aura
m- A + aC
-+-(m2B - IB + -2.3D)/?
Egalant donc à zéro chacun des coefficients des puissances de />, ou
aura, en réduisant,
d'où l'on tire, en substituant successivement les valeurs précédentes.
lA
Les coefficients A et B étant restés indéterminés, il faudra les déterminer par la nature de la fonction y. Or il est visible qu'on a
en faisant/; = o. Ainsi, puisque la fonction/ est égale à
on aura d'abord, en faisant /> = o.
Ensuite, en faisant/; = o dans la fonction dérivée y' trouvée ci-dessus, on aura
Substituant donc ces valeurs de A et B, on aura le développement (le l'expression
Pour avoir celui de l'expression
ip- s/p--i)'",
il n'y aura qu'à prendre le radical \/p'^ — i en moins; mais, comme ce radical n'entre plus dans l'équation dérivée en y, par laquelle nous avons déterminé les coefficients de la série, il s'ensuit qu'on aura la même série pour cette dernière expression que pour la première, aux coefficients A et B près, qui pourront être différents; et on trouvera ici, par le même procédé.
Donc, puisque la somme de ces deux expressions donne la valeur de 2Cosm^, comme on l'a vu plus baut, on aura cette valeur en substituant dans la série A-\-Bp -hCp^ -h. . ., à la place de A et B, la somme des deux valeurs qu'on vient de trouver, c'est-à-dire en faisant
B = mlv^^n)'"-' + m(- v/=n)'"-' ;
d'où il est facile de voir que, lorsque m est un nombre entier impair, on aura A = o, B = =t im, et, lorsque m sera pair, on aura A = ± 2, B = o.
Mais, pour avoir les valeurs de A et B dégagées d'imaginaires pour toutes les valeurs de m, il n'y a qu'à employer la formule générale
ces
X + sin X y/— 1 )'" =:; ces m x -v- sin mx \^ — i ,
et y supposer x égal à l'angle droit, car alors cos^ = o et sina7 = i; ainsi, en adoptant l'angle droit pour l'unité des angles, et prenant le radical sj— i en + et en —, on aura
(± V''— 0'" = cosOT drsinmv — i,
et les valeurs de A et B deviendraient
A = '2 CCS m, B =^ 2/n cos(m — i).
On aura donc en général, pour un nombre quelconque m,
Q.O'èmx=i I p2-{ ^ — ■ — -f-^p* ! ^ /V ,. P^ -f-... coswj
Tel est le développement complet de co'&mx en série ascendante de p ou coso:. On voit que, lorsque m est un nombre entier, il y a toujours une des deux séries partielles qui se termine, et que l'autre qui irait à l'infini disparaît parce qu'elle se trouve toute multipliée par un coefficient cosm ou cos(m — i), qui devient nul. On a alors l'une ou l'autre des Tables (C) et (E). Mais, lorsque m est une fraction quelconque, les deux séries vont à l'infini, et leur réunion est nécessaire pour avoir la valeur complète de cos/w^c, ce que personne, ce me semble, n'avait encore observé.
En prenant les fonctions dérivées, comme on a fait plus haut, pour
déduire la valeur de sinmoc de celle de cosmx, on aura aussi, à cause de p' — — g.
sinm
^--['"P- \.3 'V^+ ,.3.4.5 '-r--\gcosm
pour le développement complet de s'inmx, quel que soit m; où l'on voit que, lorsque m est un nombre entier, on a les formules des Tables (D)et(F).
Il nous reste à considérer encore les développements de cosmx et sinma;, suivant les puissances ascendantes de g, conformément aux Tables (G), (H), (I), (K).
Pour cela nous remarquerons d'abord qu'en faisant sin^ = g, on a eos^ := V^i — g^, et les expressions générales de cosw^ et sin/^zx deviennent
•2 ces mx = { \,/i — q-^ -+- q sf^)'" -+- ( y/i — q- — q sf^ )'",
2sinmx\/~ i ={v'i — 9'^ + q\/^^)'" — {s/T^ q- — VV^--^)'"- Il ne s'agit donc que de développer les formules
en puissances ascendantes de g.
Faisons
on aura, en prenant les fonctions dérivées par rapport k g,
^ m(\/i-«y^ + (yv/^7)"'~'(\/"'^^s/^-<7) Vi — ^-
Divisant cette équation par l'équation primitive, on a
multipliant en croix et carrant, on aura
Prenant de nouveau les fonctions dérivées et divisant par iz', on obtiendra cette équation du second ordre en z
m-z — qz' — [q
qui est, comme l'on voit, entièrement semblable à l'équation en y e[ p trouvée plus liaut.
Ainsi, en supposant
z = k + Bq + Cq^- -]-I)q^ + . . . ,
on trouvera les mêmes valeurs des coefficients; mais, comme les deux premiers A et B demeurent indéterminés, ils pourront être différents, à raison de la diversité des fonctions r et - en p et en q.
Pour trouver ici ces deux coefficients, ce qu'il y a de plus simple, c'est de chercher par le développement actuel les deux premiers termes de la série. Or, puisque \/i — (f donne
il est évident que les deux premiers termes de
sont I + mq\]— i ; ainsi l'on aura
\dk LEÇONS SUR LE CALCLL
Le développement de
{\/i-fj--g\/-i)'"
sera le même en changeant seulement V— i en — v^— i ; ainsi l'on aura, relativement à ce développement,
Donc, pour avoir la somme des deux développements, il n'y aura qu'à prendre pour A et B la somme des deux valeurs correspondantes, ce qui donne
Et, pour avoir la différence des mêmes développements, on prendra la différence des valeurs correspondantes de A et B, ce qui donnera
A = o, B = 2mv' — I.
Faisant ces substitutions, on aura donc, en divisant par 2 et par
m2(m2 — 4) ^ m^fm^ — 4)(m'^ — 16)
cosm^= I a- -\ ^ — r— 7 — -q^ „ . ^ ,. q" -i-. ..,
mini- — i] „ mim^ — ijfm^ — q) ^ ^mmx=mq- \^ q^ + ^3^^ -- r - ■ • • •
Ces formules sont, comme l'on voit, les mêmes que celles des Tables (I) et (H); mais, par la manière dont nous venons de les trouver, on voit en même temps qu'elles sont générales pour des valeurs quelconques de m. Cependant, comme la première ne se termine que lorsque m est un nombre entier pair, et que la seconde ne se termine (jue lorsque m est un nombre entier impair, elles ne peuvent servir pour la section des angles que dans ces cas; mais on peut, en prenant les fonctions dérivées, comme nous l'avons fait ci-dessus, déduire de cesmêmes formules d'autres formules qui se termineront justement dans les cas où celles-ci vont à l'infini. Pour cela, on se rappellera que les fonctions dérivées de cosma; et ^mnix sont — m&mmx et mco^mx, et que celles de /? et ^ sont — ^ et/?; de sorte que les deux équations
fourniront, par la dérivation, ces deux-ci :
r ml m- — i) „ ml m- — â]{ni- — i6] smmx=p^mq L___li^3+v ^l>\ ^ '-g-
cosm
qui répondent, comme l'on voit, aux formules des Tables (K) et (G), el (jui sont par conséquent aussi générales pour des valeurs quelconques de m. Ainsi toutes les formules de ces différentes Tables sont démontrées d'une manière générale.
Le théorème de Cotes est si intimement lié à la théorie des sections angulaires, que nous ne pouvons nous dispenser d'en dire un mot ici.
On ignore comment Cotes l'a trouvé, et on en a donné après sa mort différentes démonstrations plus ou moins simples, et même plus ou moins rigoureuses. Sans avoir recours aux expressions imaginaires comme on le fait communément, on peut le déduire directement des formules mêmes données par Viète, que nous avons rapportées dans la Table (A); et il est vraisemblable que c'est ainsi que Cotes y est parvenu.
En effet, si l'on multiplie ces formules par 2 et qu'on y suppose
P=Y-h-i elles se réduisent à cette forme simple
2 CCS I X
2 cos4'^ = r* H »
d'où il est facile de conclure, en général.
2 CCS mx =^ y'" -ï
et
ym | L ,
ym |
\ ym+l 1
y -J ym-v- 1
Pour se convaincre d'une manière plus directe de la généralité de cette formule, il suffit de considérer que si, dans l'équation
1 cosx cosm.r = ces (m — \]x-^ ces (m + \]x,
on fait
1 COSx = r H j
et qu'on suppose que deux termes consécutifs 2C0s(m — i)x et 2 coswar soient de la forme
elle donnera
T. ces (m + i)a: = ( j
Ainsi, pourvu que les deux premiers termes i coso^ et i cos^ soient
de la forme j'"-i- — ' en faisant m = o et m=zi, ce qui est en effet,
tous les autres seront nécessairement de la même forme. Maintenant les deux équations
2 ces X zz^r -\ — 5 1 CCS mx =^ r'" H
donnent ces deux-ci
f2 — ajccs-r + I =: o, y-"^ — ly^"^ cosmx + i ^ o,
qui doivent donc avoir lieu en même temps; par conséquent, il faut qu'elles aient une racine commune.
Ce dernier théorème a été donné par Moivre, sans démonstration, dans les Transactions philosophiques de 1722, année où a paru VHarnionia mensurarum de Cotes, qui était mort six ans auparavant.
Soit maintenant a la racine commune à ces deux équations; comme
elles demeurent les mêmes en y changeant y en -? il s'ensuit que -
sera encore une racine commune aux mêmes équations; mais l'équation
y- — T-ycosx + i =:z o,
n'étant que du second degré, ne peut avoir que les deux racines a et -; donc cette équation a toutes ses racines communes avec
par conséquent elle est nécessairement un diviseur de celle-ci.
Soit
mx=iw, donc x:=—\ ' m
il suit de ce qu'on vient de démontrer que la formule
ylm — -jj--'" COSCp + I
a pour diviseur celle-ci :
cp
m étant un nombre quelconque entier.
Or, si c est la circonférence ou l'angle de quatre droites, on sait que coscp = cos((p + «c), n étant un nombre quelconque entier; ainsi, en mettant ç -i- «c à la place de ç, et faisant successivement n = o, i, 2, . . ., m — I, on en conclura que la formule
a pour diviseurs les m formules suivantes :
r-— 1 ces— • r + r,
ta m )
j2 — 2 ces I — -) ]• y
2 CCS I -^ -4- — 1 • r -+- 1 , \w m ' -^
r- — 1 ces ( — H I • r + I ,
r- — -i CCS - — \ c • r + I .
•^ \tn m ' •'
De sorte que, comme ces diviseurs sont tous différents entre eux et qu'ils sont au nombre de m, la formule en question du im"^^^ degré ne peut être que le produit de ces m formules du second degré.
Le théorème de Cotes n'est, comme l'on sait, qu'un cas particulier de
ce théorème général, lorsqu'on y fait rp = o ou 9 = -; ce qui donne cos<p = ± 1 , et réduit la formule générale à
Le théorème général est dû à Moivre, comme on le voit par ses Miscellanea analytica.
Jusqu'ici nous avons développé les cosinus et les sinus des angles multiples en puissances des cosinus ou des sinus de l'angle simple. On peut chercher réciproquement à développer les puissances des cosinus ou sinus de l'angle simple en cosinus ou sinus des angles multiples, et cette transformation, qui est toujours possible, est un des plus grands avantages de l'algorithme des sinus et cosinus, par la facilité qu'elle donne de passer des fonctions primitives aux fonctions dérivées, et de revenir de celles-ci aux primitives.
Nous pourrions la déduire des formules trouvées ci-dessus, mais nous aimons mieux la chercher directement par le moyen des fonctions dérivées, pour donner un nouvel exemple de leur usage dans la transformation des fonctions.
Considérons la puissance cos'"jr, et supposons cette fonction de x égale à y; nous aurons ainsi
y := cos"'jr,
et, prenant les fonctions dérivées par rapport à .r, il viendra
y ^ — m CCS'" '.r sin^;
cette équation, divisée par la précédente, donne
y' m sin^
y cosjc
d'où l'on tire, en réduisant,
mysinx + j' cos^ = o,
équation dérivée du premier ordre, qui a l'avantage de ne plus contenir la puissance indéterminée de cosa-. Supposons maintenant, en général,
^-^ A cosn^ + B cos(./i — i)x + C cos[n — 2)x + D cos(« — 3)^ +. . .,
les coefficients A, B, C, ... étant indéterminés, ainsi que n. L'équation précédente deviendra par cette substitution
m[A cosnx -+- B cos(n — i)j: + C cos(« — 2]x -\- . . .^s'inx
— [nA sin7î.r -\-{n — i)B sin(« — i]x -\-[n — 2)C sin(7z — 2)jr-t-. . .] cos:c = o,
savoir, en développant les produits des sinus et cosinus, et ordonnant les termes suivant les sinus multiples :
-I- [m A — «A]sin(n-i- i)x
-t-[/nB — (/i — i)B] sin«x
+ [mC — mA — (h — aJC — /lA] sin(/i — i]x
-l-[mD— mB — (m — 3)D — (« — i )B] sin(« — 2)^
+ [mE — mC — (« — 4)E — [n — 2)C] sin(/i — 3)x
Egalant donc à zéro chacun des coefficients de ces différents termes,
on aura
La première donne d'abord n = m, et, substituant cette valeur, les
autres deviennent
2C — -imk = o, 3D— (2m — i)B = o,
Ainsi le premier coefficient A demeure indéterminé; ensuite on a
iJ
im —
im —
donc,
Ensuite,
C = mA,
On a donc en général, quel que soit l'exposant w,
cosm^ + mcos(m — ■2.)x -] '-^ ^cos(/?î — 4)^ + . ...
Il reste à déterminer le coefficient A; pour cela, supposant x = o, on obtient
DES FONCTIONS. \k\
d'où l'on tire
Donc enfin, en multipliant toute l'équation par 2'", on aura
[1 cos^j™:^ cosmx + nicos[in — 2)^-1- — ^ ^cos(m — 4)^' -i-- . -,
série fort simple qui se termine toujours, comme celle du binôme, lorsque m est un nombre entier positif.
On peut déduire de cette formule un pareil développement pour sin'"^;, en changeant simplement x en i — ,x, l'angle droit étant pris pour l'unité des angles.
Ainsi on aura de même
(2 sin x]'" = ces w ( I - a;) + /n CCS (m — 2) ( I — ^) -^ "li^" ~ ' ^ ces {m - 4) ( i - .r] + . . .
Nous venons de donner une théorie complète des sections angulaires, et nous avons en même temps montré, par différents exemples, combien l'algorithme des fonctions dérivées est utile pour la transformation des fonctions, en faisant disparaître des équations les puissances et les radicaux, qui rendent les développements difficiles et font perdre la loi et la dépendance mutuelle des termes.
On voit que tout se réduit à former d'abord des équations dérivées d'après l'équation ou les équations primitives données, et à déduire ensuite de ces équations dérivées d'autres équations primitives, qui seront les transformées des premières. Il est donc important de bien connaître la théorie de ces équations, et de se rendre familiers les différents artifices qui peuvent en faciliter le calcul.
Commençons par exposer les principes généraux de cette théorie.
ir*2 LEÇONS SUR LE CALCUL
