jeanflop/post-ocr-correction huggingface dataset:
aux préceptes, l'auteur a formé effectivement des tables de ces valeurs, calculées à un très-grand degré d'approximation. Elle contient aussi des tables analytiques, comprenant un grand nombre d'intégrales qui se réduisent aux fonctions elliptiques; réduction dont Maclaurin et d'Alembert avaient autrefois donné quelques exemples. M. Legendre a mis à son ouvrage les solutions de plusieurs problèmes de géométrie et de mécanique, propres à montrer l'usage des fonctions elliptiques et des tables de leurs valeurs numériques. Je tâcherai maintenant de donner à l'Académie une idée générale de l'ouvrage qui lui a été adressé par M. Jacobi, professeur à l'Université de Kœnigsberg.
été adressé par M. Jacobi, professeur à l'Université de Kœnigsberg. L'auteur prouve que l'on peut transformer une fonction donnée de première espèce, en une autre, et établir entre elles un rapport constant, en prenant pour le sinus de l'amplitude de l'une, une fonction rationnelle du sinus de l'amplitude de l'autre, qui contient un nombre pair quelconque, et dont il assigne tous les coefficients pour chaque valeur de ce nombre (note A). Ces coefficients renferment les racines de l'équation algébrique, relative à la division de ce même nombre de parties égales, de la fonction donnée, dans le cas où son amplitude
de la fonction donnée, dans le cas où son amplitude est égale à un angle droit. M. Jacobi donne aussi, au moyen des mêmes racines, l'expression du rapport des deux fonctions et la relation de leurs modules. En répétant indéfiniment cette réduction d'une fonction à une autre, il en résultera donc une échelle de modules, qui équivaudra à un nombre illimité d'échelles différentes, à raison du nombre indéterminé dont elle dépend, et qui sera même une échelle multiple pour chaque valeur particulière de ce nombre, car chaque module se déduit du précédent par la résolution d'une équation de degré élevé
du précédent par la résolution d'une équation de degré élevé (note B). Ainsi la découverte principale de M. Jacobi consiste en ce qu'il a résolu l'une infinie de manières différentes, et par des formules très remarquables en elles-mêmes, un problème d'analyse dont on se connaissait auparavant que deux solutions particulières. L'échelle de modules que M. Legendre a trouvée et qui n'était pas encore connue de M. Jacobi, est renfermée dans la solution générale et répond au nombre trois. L'ancienne échelle n'y est pas comprise explicite; mais elle a avec l'échelle indéterminée de M. Jacobi, une très-grande analogie et peut-être censée
indéterminée de M. Jacobi, une très-grande analogie et peut-être censée appartenir au nombre deux. L'équation algébrique entre les modules des deux fonctions qu'on veut réduire l'une à l'autre, étant très-difficile à former, quand le nombre auquel ils répondent est un peu considérable on y substitue avec avantage une équation transcendante, très importante dans cette théorie, et dont M. Legendre a montré l'usage pour calculer la valeur approchée d'un terme quelconque de l'échelle des modules. M. Jacobi a aussi exprimé la relation entre deux modules consécutifs, par une équation différentielle du troisième ordre, qu'il a intégrée complètement au moyen des fonctions
troisième ordre, qu'il a intégrée complètement au moyen des fonctions elliptiques. Des tables numériques de ces fonctions ayant été calculées, on peut maintenant admettre ce mode d'intégration dans l'analyse, aussi bien que l'intégration par arcs de cercle et par logarithmes. M. Legendre en avait déjà donné l'exemple, à l'égard de deux équations différentielles du second ordre et d'une équation du premier ordre, analogue à l'équation de Riccati. Par une combinaison très-simple des formules de M. Jacobi, on obtient une solution nouvelle du problème de la multiplication et de la division des fonctions elliptiques dans le cas d'une amplitude quelconque, en
des fonctions elliptiques dans le cas d'une amplitude quelconque, en supposant le problème résolu lorsque l'amplitude est un angle droit (note C). On en conclut immédiatement que l'équation relative à la division en un nombre impair de parties égales, dont le degré est marqué par le carré de ce nombre, peut se décomposer en deux autres, d'un degré seulement égal au même nombre. C'est de cette manière que M. Jacobi a résolu, le premier, par des radicaux du second et du troisième degré, le problème de la tri-section d'une fonction elliptique dont le module et l'amplitude sont donnés. En rendant
elliptique dont le module et l'amplitude sont donnés. En rendant infini le nombre indéterminé que ses formules renferment, M. Jacobi parvient, dans la seconde partie de son ouvrage, à de nouvelles formules au moyen desquelles le sinus et d'autres fonctions trigonométriques de l'amplitude se trouvent exprimés, soit en produits d'une infinité de facteurs, soit en séries infinies (Note D). L'auteur fait voir comment ces séries peuvent servir à la démonstration des théorèmes de Fermat, ce qui établit un rapport singulier entre la décomposition des nombres en plusieurs carrés et la transformation des fonctions elliptiques, et donne lieu à une nouvelle
transformation des fonctions elliptiques, et donne lieu à une nouvelle application de l'analyse à la théorie des nombres, tout-à-fait semblable aux recherches d'Euler sur la partition des nombres. Enfin M. Jacobi s'est aussi occupé de la réduction des fonctions de seconde et de troisième espèce; et depuis la publication de l'ouvrage dont nous rendons compte, il a donné suite à ses recherches sur ce point, dans un mémoire qui fait partie de l'un des derniers numéros du journal de M. Crelle. Il nous serait impossible de donner aucune idée de cette partie de son travail; nous dirons seulement que l'auteur
cette partie de son travail; nous dirons seulement que l'auteur propose de remplacer les fonctions elliptiques par deux autres transcendantes dont il donne les développements en séries, et qui seraient plus simples que la fonction de troisième espèce, en ce qu'elles ne dépendent que de deux éléments, tandis que cette fonction contient trois quantités, l'amplitude, le module et le paramètre. Aucun de nous n'a oublié les éloges que M. Legendre a donnés aux travaux de M. Jacobi, en les annonçant à l'Académie à même que l'auteur les lui communiquait, ou qu'il les publiait dans les Journaux de M. Schumacher et
qu'il les publiait dans les Journaux de M. Schumacher et de M. Crelle. L'importance que M. Legendre y attache est encore prouvée par l'empressement qu'il a mis à publier deux suppléments à son traité des fonctions elliptiques, où il expose les résultats de ses travaux, avec tous les développements nécessaires et des applications qui lui appartiennent. Le suffrage de M. Legendre en cette matière suffisait seul pour fixer l'opinion des géomètres et la mienne en particulier. L'étude que je viens de faire de l'ouvrage de M. Jacobi n'a fait que confirmer l'idée que j'avais déjà du mérite de ses découvertes
confirmer l'idée que j'avais déjà du mérite de ses découvertes en analyse et de la haute capacité qu'elles supposent. Je partage également et je me suis à rappeler l'opinion émise par un de nos secrétaires, dans le compte rendu de 1828, en annonçant les travaux de M. Jacobi et d'un autre géomètre dont il me reste à parler: « les résultats de la philosophie naturelle, dit M. Fourier, qui ont pour but l'étude mathématique de tous les grands phénomènes, sont aussi un digne et principal objet des méditations des géomètres. On doit désirer que les personnes les plus proches à
On doit désirer que les personnes les plus proches à perfectionner la science du calcul, dirigent leurs travaux vers ces hautes applications, si nécessaires aux progrès de l'incertitude humaine. » Qu'il me soit permis, avant de terminer ce rapport, d'ajouter encore quelques mots concernant des recherches analogues à celles de M. Jacobi, faites à la même époque par M. Abel Christiania, dont la mort prématurée est une des plus grandes pertes que les sciences pouvaient éprouver. Par un singulier hasard, Abel et M. Jacobi, à peu près du même âge et inconnus l'un à l'autre, ont débuté en même temps
et inconnus l'un à l'autre, ont débuté en même temps dans la carrière des sciences, par de profondes investigations sur un même sujet, dont un seul géomètre s'occupait depuis longtemps; plusieurs fois, ils lui est arrivé de parvenir aux mêmes résultats, quoique les voies qu'ils ont suivies fussent très-différentes. Dans son premier Mémoire sur les fonctions elliptiques, publié en 1827 dans le journal de M. Crelle, Abel eut l'heureuse idée de renverser la question et de considérer l'amplitude comme une fonction de l'intégrale, contrairement à ce qu'il avait fait jusque-là. Il démontre que le sinus de l'amplitude est une fonction
Il démontre que le sinus de l'amplitude est une fonction de l'intégrale qui a deux périodes distinctes, l'une réelle, comme le sinus d'un arc de cercle, et l'autre imaginaire, comme les fonctions exponentielles; ce qui est une découverte capitale, propre à jeter un jour sur la nature des fonctions elliptiques, et qui fait connaître la signification des racines réelles ou imaginaires des équations algébriques que l'on obtient en égalant à zéro ou à l'infini, le sinus et d'autres fonctions trigonométriques de l'amplitude. L'auteur en conclut diverses expressions de ces fonctions en produits et en séries infinies, que M. Jacobi a
en produits et en séries infinies, que M. Jacobi a obtenues ensuite par un moyen tout différent, ainsi que nous l'avons dit plus haut. Le même mémoire renferme aussi pour une amplitude quelconque, la solution complète de l'équation relative à la division d'une fonction elliptique, en supposant connue la solution de la même équation dans le cas où l'amplitude est égale à un angle droit. Quand à ce cas particulier, l'auteur a d'abord fait voir que l'équation qui s'y rapporte peut se décomposer en deux équations affirmatives d'un degré moins élevé, et que l'une de celles-ci est toujours résoluble par
élevé, et que l'une de celles-ci est toujours résoluble par le procédé de M. Gauss, fondé sur la relation qui existe entre les racines et sur la considération des axes primitives des nombres. En revenant de nouveau sur le même sujet, il a montré que la seconde équation auxiliaire peut encore se résoudre par le même procédé, mais seulement dans quelques circonstances particulières, qui ont lieu, par exemple, relativement à la Lemniscate; d'où il conclut que la confidentialité entière de cette courbe se divisera en parties égales, par la règle et le compas, dans les mêmes cas que la confidentialité
et le compas, dans les mêmes cas que la confidentialité du cercle, c'est-à-dire lorsque le nombre des parties sera premier et égal à une puissance de deux augmentée d'une unité. Le second Mémoire du géomètre norvégien est postérieur aux premiers extraits publiés par M. Jacobi. L'auteur est conduit par ses propres idées à la transformation générale des fonctions de la première espèce que son digne émule avait trouvée. Il termine son Mémoire en disant qu'il était achevé, lorsqu'il a eu connaissance du théorème de M. Jacobi; ce qu'on ne doit sans doute pas révoquer en doute, sans que cela change
sans doute pas révoquer en doute, sans que cela change rien aux droits de M. Jacobi à l'antériorité. Les recherches qu'il a publiées en moins de deux ans dans les journaux de M. Crelle et de M. Schumacher, prouvent par leur nombre considérable, l'activité de son esprit et l'ardeur avec laquelle il mettait à cultiver les sciences. Elles sont toutes remarquables par la généralité des considérations que l'auteur y expose, et par les vues nouvelles qu'il se proposait de développer. La mort a interrompu ses travaux avant qu'il eût achevé sa vingt-septième année; mais pendant une vie si courte, il
sa vingt-septième année; mais pendant une vie si courte, il est placé au premier rang parmi les géomètres; et dans ce qu'il a fait, la postérité saura reconnaître tout ce qu'il aurait fait s'il eût vécu davantage. Note A. La démonstration du théorème de M. Jacobi peut se diviser en trois parties que je vais successivement exposer. I. Considérons d'abord la différentielle en laquelle a, d, a", a''' sont des constantes données; proposons nous d'y ramener une autre différentielle de même forme, savoir: en prenant pour y une fonction rationnelle de x, et determinant convenablement, µ, ν, β', β", β"",
de x, et determinant convenablement, µ, ν, β', β", β"", en fonctions de a, a" d". On suppose ces quatre constantes inégales, ainsi que β β', β", β"", de manière que cette différentielle ne soit pas intégrable sous forme finie. Désignons par U et V deux fonctions rationnelles et entières de x, et par la valeur cherchée de y. Pour que la seconde différentielle coïncide avec la première, il faudra qu'on ait Or, si l'on trouve par un moyen quelconque, des valeurs U et V, et d'un troisième polynôme T, qui rendent identiquement l'équation : (V-βU) (V -β' U) (V-β"
qui rendent identiquement l'équation : (V-βU) (V -β' U) (V-β" U) (V -β'" U) = (1-ax) (1-a' x) (1-a" x) (1-a'" x) T, je dis qu'on aura nécessairement en donnant à la constante p une valeur convenable. En effet, les deux polynômes U et V étant premiers entre eux, et les coefficients β, β', β", β'", inégaux, les polynômes V - β U, V-β' U, V - β" U, V - β'" U, seront aussi premiers; par conséquent, les facteurs de T2 ne pourront être que des facteurs doubles d'un ou de plusieurs de ces quatre polynômes. Réciproquement, les coefficients
ou de plusieurs de ces quatre polynômes. Réciproquement, les coefficients a, a', a", a'", étant aussi inégaux, tous les facteurs doubles de ces polynômes seront facteurs de T5; donc T2 est égal au produit de tous les facteurs doubles de V - βU, V- β' U, V - β" U, V - β'" U, multiplié par un coefficient constant. Observons, de plus, que, si p est le degré de U et V, ou du plus élevé de ces deux polynômes, le premier membre de l'équation (s) sera du degré p, et T, du degré a p - a; en sorte
et T, du degré a p - a; en sorte que ce nombre aera celui des facteurs doubles de V - βU, V - β' U, V - β" U, V - β'" U. D'un autre côté, on a identiquement c'est ce qui montre que tout facteur double de V - β U est un facteur simple de V. Il en sera de même à l'égard de tous les facteurs doubles des trois autres polynômes V-β' U, V-β"U, V - β'" U; par conséquent, le carré de V / U(dV/dx) contiendra le produit de tous les facteurs doubles des quatre
contiendra le produit de tous les facteurs doubles des quatre polynômes; ce qui exige que ce polynôme V / U(dV/dx) ne soit en aucun cas du degré a p - 2. Or, si p et p' sont les degrés de U et V, celui du polynôme dont il s'agit ne pourra surpasser — 1: il sera égal à ce nombre, si p et p' sont égaux, et abaissera d'une unité, ou sera simplement égal à a p 2, dans le cas de p' = p; il faudra donc qu'on ait p'=p ou p' - p - 1; et dans ces
p'=p ou p' - p - 1; et dans ces deux cas, le polynôme V / U(dV/dx) sera du degré p - a. Par conséquent, son carré ne pourra être que le produit de tous les facteurs doubles de V - β U, V - β' U, V - β" U, V - β'" U, multiplié par un coefficient constant; donc, à un coefficient près, ce polynôme sera le même que T; ce qu'il était de démontrer. Ainsi, l'équation (1) sera une conséquence nécessaire de l'équation (2); et la transformation que nous voulons effectuer, se réduit à remplir la condition
que nous voulons effectuer, se réduit à remplir la condition exprimée par cette dernière équation. Or, si l'on prend pour chacune des quantités U et V et le polynôme le plus général du degré p, et pour T le polynôme le plus général du degré 2p - 2, ces trois quantités prendront 4p + 1 coefficients indéterminés ; on pourra en éduire le nombre à 4p, en divisant le numérateur et le dénominateur de y ou de la fraction E par un de ces coefficients, ou, ce qui revient au même, en le faisant égal à l'unité; en ajoutant à
même, en le faisant égal à l'unité; en ajoutant à ces quantités les quatre constantes b, b', b", b'", c aura donc 4p + 4 coefficients indéterminés : le nombre des équations que l'on obtiendra en égalant les coefficients de chaque puissance de dans les deux membres de l'équation, sans égal à 4p + 1, sera donc inférieur de trois unités à celui des coefficients dont on pourra disposer, et trois d'entre eux resteront indéterminés. Mais cette énumération des inconnus, et des équations de condition ne suffit pas pour établir à priori la possibilité de l'équation; car il pourrait arriver
à priori la possibilité de l'équation; car il pourrait arriver que les équations de condition fussent incompatibles, et qu'on n'pût satisfaire, ni par des valeurs réelles, ni par des valeurs imaginaires des inconnues, quoique le nombre de celles-ci soit plus grand que celui des équations. D'ailleurs la méthode des coefficients indéterminés ne pourrait conduire à aucun résultat général, et c'est par d'autres moyens qu'il faudra satisfaire à l'équation. Toutefois, comme on peut toujours faire disparaître les puissances impaires de la variable, dans les différentielles de la nature de celles que nous considérons, nous nous occuperons simplement de la transformation exprimée
nous considérons, nous nous occuperons simplement de la transformation exprimée par cette équation : dans laquelle k est une constante donnée, et µ et A sont des constantes inconnues. L'équation sera alors remplacée par ceci : (V^2 + U2) (V2 - h2 U2) = (1 - x2) (1 - x2) Ta. (4) II. Si nous faisons x = sin. θ, y = sin. φ, l'équation (3) deviendra En prenant les intégrales de ses deux membres, de manière qu'elles s'évanouissent avec les variables θ et φ, nous aurons F(k, ϕ) = µF (h, ψ), ensorte que la transformation demandée sera celle
µF (h, ψ), ensorte que la transformation demandée sera celle d'une fonction elliptique de première espèce en une autre; k et ψ le module et l'amplitude de la fonction donnée, h et Ψ le module et l'amplitude de la fonction cherchée, et µ le rapport le l'une à l'autre. Représentons par K la fonction complète dont le module est k, de sorte qu'on ait F(k, 1/2π) = K; T désignant à l'ordinaire le rapport de la circonférence au diamètre. Soit p un nombre impair quelconque; divisons K en un nombre p de parties égales; prenons un nombre m de ces
p de parties égales; prenons un nombre m de ces parties, et représentons par l'amplitude de mK, ou, autrement dit, faisons Cela posé, nous allons considérer l'équation dans laquelle on prendra les signes supérieurs, ou inférieurs selon que p sera de la forme 4n + 1 ou 4n - 1. Pour transformer cette équation en une autre, soit en général F(k, ϕ) + F(k, 0) = F (k, α), F(k, ϕ) - F(k, 0) = F(k, δ). D'après les formules connues d'Euler, on aura et en faisant K F(k, θ) = F(k, θ'), on en conclura sans difficulté Si l'on
= F(k, θ'), on en conclura sans difficulté Si l'on prend ϕ = φm, on aura θ' = α-m, et en même temps Soit, pour abréger, F(k, ϕ) = z; l'angle θ sera l'amplitude de z; on pourra écrire x = sin. θ = sin. A z, Et par la même raison, À cause que le signe de l'amplitude change avec celui de la fonction, on pourra mettre -x et -z à la place de x et z; on aura, par conséquent, cette double expression : au moyen de laquelle la formule (5) deviendra P désignant le produit des p-1/2
la formule (5) deviendra P désignant le produit des p-1/2 facteurs : et P' celui des facteurs : Les amplitudes de aK et 4K étant α et αw, on a sin. A(ζ + aK) = m. A t, sin. A (ζ + 4K) = sin. A', quelque soit t; d'après cela nous mettrons s + 2K à la place de z dans les facteurs impairs de P et p', et nous changerons les signes des sinus qu'ils contiennent, puis nous augmenterons de 4K dans les facteurs pairs de P sans autre changement; cela fait, si l'on réunit les facteurs pairs
autre changement; cela fait, si l'on réunit les facteurs pairs de l'une des suites aux facteurs impairs de l'autre, on formera ces deux autres suites, de chacune p-1/2 facteurs, savoir : Sur P P' sera toujours le produit. Par conséquent la valeur précédente de 1 - y deviendra où l'on prendra toujours les signes supérieurs ou inférieurs selon que p sera de la forme 4n + 1 ou 4n - 1. Cette formule nous montre que la quantité 1 - y ne changera pas, si on y met zK à la place de z; car alors chaque facteur du numérateur
la place de z; car alors chaque facteur du numérateur se changera dans le suivant, et le dernier dans le premier. Il en résulte que 1 - y ne changera pas en y mettant z + 4m/pK à la place de z, m étant un nombre entier quelconque, positif ou négatif. Or, en faisant -o dans les premières expressions des facteurs de P et P', le produit devient P P' = cos.2 α2 cos.2 α4 .... cos.2 αp-1, parce que l'on a D'après la formule (7), on aura donc 1 - 1 = ou y=0, pour z = n, et
- 1 = ou y=0, pour z = n, et par conséquent pour z =4m/pK. Maintenant l'équation (8) donne en prenant V=(1 - k2xsin2)(1 - k2x2sin2 α4)..... et désignant par U une fonction rationnelle et entière de x qui sera du degré p. Cette fonction sera nulle, ainsi que \(4m\) pour \(z - K\), c'est-à-dire, quand on y fait \(x = \sin.A(4m/pk)\), d'où il résulte que les racines de l'équation \(U = 0\), seront ou, ce qui est la même chose, Nous aurons donc \(µ\) désignant une quantité indépendante de \(x\) qui restera à déterminer. Par conséquent, la valeur de
\(x\) qui restera à déterminer. Par conséquent, la valeur de \(r\) aura pour expression Pour déterminer \(p\), j'observe qu'en faisant \(x = \pm 1\), selon que \((p)\) sera pair ou impair, l'équation (8) donnera \(y = 1\) dans les deux cas. Je fais donc à la fois \(x = \pm 1\) dans l'équation (9); le nombre des facteurs du second membre, le premier excepté, étant \((-f(?) - 1)\), il résultera D'ailleurs, à cause de on aura si donc on prend \(f = 1/2\), \(g = m\), \(h = \alpha - 2m\), la seconde équation (6) donnera 1. moyen de quoi
2m\), la seconde équation (6) donnera 1. moyen de quoi la valeur précédente de \(^\) deviendra plus implement .. III. Il résulte de l'équation (9) que \(y\) change de signe avec \(x\); si l'on met \(-z\) et \(-y\) à la place de \(z\) et \(y\) dans l'équation (8), on aura la valeur de \(1 + y\); et, en la multipliant par celle de \(1 - y\), et prenant la racine carrée du produit, on en conclura Je \(x\) change donc de signe quand on y met \(y\) à la place Je \(x\); d'après les équations (10) et (11) on aura
Je \(x\); d'après les équations (10) et (11) on aura \(u = y k^2 \mu^2 \sin^2 \alpha_1 \cdots \sin^2 \alpha_p\), c'est-à-dire \(u\) est \(y\), en ayant égard à la valeur de \(p\), et faisant \(A = 1 + 4 \alpha m + \sin \alpha_p\); (13) où l'on conclut que \(x\) et \(y\) se changent simultanément en ~et \(+\). J'effectue ce double changement dans l'équation (12); en divisant ses deux membres par \(1\), il vient où l'on a fait pour abréger, \(4p \sin^2 \alpha_1 \sin^2 \alpha_3 \cdots, \sin^2 \alpha_p - 1 = 6\) le multiplie l'équation précédente par \(hy\) et je
= 6\) le multiplie l'équation précédente par \(hy\) et je substitue ensuite dans son second membre, la valeur de \(y\) donnée par l'équation (9): en tenant compte des valeurs de \(µ\), \(h\), \(g\), on obtient Au moyen des formules (12) et (14), nous aurons en faisant, pour abréger, et prenant pour \(V\) la même valeur que précédemment. Si on met \(-y\) à la place de \(y\), on aura \((V^2 - U^2)(V^2 - h^2 U^2) = (1 + x)^2\), ce qui montre qu'on remplit la condition exprimée par l'équation (4), au moyen des valeurs précédentes de \(V\), \(U\), \(h\), en prenant
moyen des valeurs précédentes de \(V\), \(U\), \(h\), en prenant \(QQ'\) pour \(T\); par conséquent, en vertu de la première partie de cette démonstration, la valeur de \(r\), ou la formule (9) satisfera à l'équation différentielle (3); et \(h\) étant déterminé en fonction de \(k\) par les formules (11) et (13). C'est en cela que consiste le théorème de M. Jacobi, qu'il s'agissait de démontrer. L'équation (9) sera une intégrale particulière de cette équation différentielle; on en déduira l'intégrale complète, en désignant par \(c\) une constante arbitraire, et remplaçant \(r\) par dans les deux équations; substitution qui ne changera rien