Sélection de lettres
|
|||||
    [Manuscrit autographe] (affichée) | |||||
Saint-Pétersbourg AAN, 136/op2/2, f. 247-249
|
|||||
    [Imprimé 1980] | |||||
Leonhard Euler, Opera Omnia, série IV A, vol. 5, p. 267-269
|
D'Alembert (Paris) à Euler Leonhard (Berlin)
voir n. [1]..
f. 247rMonsieur
J'ay lu avec autant de fruit que de reconnoissance la lettre que vous m'avés fait l'honneur de m'écrire le 15 du mois dernier au sujet des logarithmes des quantités negatives. La necessité de mediter de nouveau cette matière avant que de vous repondre, jointe à differentes occupations m'ont empêché d'avoir l'honneur de vous en remercier plutôt. Je vous avoüe, Monsieur, que vos observations sur mes objections m'ebranlent fort ; je crois même que si c'etoit icy une affaire a decider par des paris, je parierois contre moy pour vous, & j'aurois bien des raisons pour cela. Cependant comme ce n'est point par opiniatreté que j'ay osé combattre votre sentiment, je prendray la liberté de vous proposer quelques reflexions, qui font que je ne vois pas encore bien clairement la verité de ce que vous avancés.
En 1er lieu je vous avois objecté que si \(x=\frac{1}{2},\,e^x\) a deux valeurs, l'une positive l'autre negative. Vous repondés à cela que \(e^x\) marque la valeur de cette serie \(1+x+\frac{x^2}{1\cdot 2} \textrm{etc}\). Par quelle raison voulés vous reduire cette quantité en serie ? Vous savés que la reduction des quantités en suites, exprime souvent leur valeur d'une manière tres fautive, lorsque la série est convergente, & que d'ailleurs les reductions f. 247v expriment fort imparfaitement les differentes valeurs des quantités radicales : mais sans reduire \(e^x\) en suite, ne peut on pas en avoir la valeur ? Il est certain que si on nomme \(a\) l'ordonnée qui repond à \(x = 0\), la valeur de \(e^x\) lorsque \(x=\frac{1}{2}\) ne sera autre chose que la moyenne proportionnelle entre \(e\) et \(a\), c'est a dire \(\sqrt{ea}\), qui me paroit avoir deux valeurs ! D'ailleurs si vous resolvés \(e^x\) en suite, pourquoy ne resoudries vous pas de même en suite \(\textrm{log.} x\) ? Or cela posé, vous trouveries pour \(\textrm{log.} -x\) une valeur réelle ! Prenés bien garde que cette objection ne tombe que sur la reduction en suites que vous prenés pour principe contre moy : car j'avoüe que la reduction de \(\textrm{log.} x\) en suites ne prouve point que \(\textrm{log.} -x\) soit réel ! Vous m'objecterés peut etre, Monsieur, que si il y a des valeurs de \(x\) auxquelles repondent deux valeurs de \(e^x\), il y en a aussy d'autres, comme \(x = 2\), auxquelles il ne repondra qu'une valeur de \(e^x\), qui sera \(\frac{e^{2}}{a}\) ; de sorte que la logarithmique n'auroit des ordonnées negatives que per saltum & par intervalles, ce qui seroit absurde : mais je repondroy à cela, que la valeur de \(e^x\) etant double dans certains cas, même quand on prendroit \(e\) pour un parametre, c'est une marque ce me semble que \(e\) n'est point un parametre veritable, comme le parametre de la parabole, mais seulement l'ordonnée qui repond à \(x = 1\), & que cette ordonnée a deux valeurs, l'une positive l'autre negative, aussi bien que \(a\) ; or cela posé \(\frac{e^{2}}{a}\) aura deux valeurs, & il n'y aura point de valeur de \(x\) à laquelle il ne reponde deux ordonnées egales et de signes contraires. En effet comme j'ay eu l'honneur de vous l'observer, la formule \(e^x\) est proprement \(\frac{e^{\frac{x}{g}}}{a^{\frac{x}{g}-1}}\) ; & supposant que \(e\) soit un parametre comme vous le voulés, on pourra toujours trouver une valeur de \(x\) qui differe de \(g\) de moins qu'une quantité donnée & à laquelle repondront deux valeurs : il suffit pour cela que \(x\) soit a \(g\) comme un nombre impair a un nombre pair & que \(\frac{x}{g}\) ne soit pas un nombre entier. On aura donc une valeur de \(x\) aussy peu f. 248r differente qu'on voudra de \(g\), et à laquelle repondront deux valeurs ; d'où on est peut être en droit de conclure que \(x=1\) donne deux valeurs de \(e\), surtout lorsque par la nature de la courbe, \(e\) n'indique point un parametre arbitraire et constant mais l'ordonnée repondante à \(x=1\) ou \(g\), & qu'on n'est pas le maitre de supposer unique.
Vous repondés à mon objection de \(-1×-1 = 1\) que par la même raison \(\surd{1}\) & \(\frac{1\pm\surd{-3}}{2}\) devroient avoir zero pour logarithmes ; et c'est dites vous, ce qui n'est pas soutenable. Vous appuyés cette observation par l'analogie ingenieuse que vous remarqués dans les logarithmes de \(1\) & de \(-1\) ; qui est telle que les logarithmes de \(-1\) sont imaginaires, aussi bien que ceux de \(\frac{1\pm\surd{-3}}{2}\) : et vous dites que cela vient de ce que \(-1\) n'est qu'une valeur de \(\surd{+1}\) et \(1\) l'autre. Cela est très subtilement remarqué, et on ne sçauroit admirer plus que je fais la sagacité de cette observation : mais je ne vois pas que de ce que \(-1\) n'est qu'une valeur de \(\surd{+1}\) il ne doive avoir que la moitié des logarithmes de \(\surd{+1}\) d'autant que \(+\surd{1}\) qui est l'autre valeur a les mêmes que \(1\), de votre propre aveu. Il est vray que la formule des sinus donne ces valeurs de \(\textrm{Log} -1\). Mais est il bien demontré que cette formule donne toutes les valeurs de \(\textrm{Log.} -1\) ? C'est ce que je ne vois pas encore : d'autant plus que la formule des sinus ne donne la valeur de \(\textrm{Log.} -1\) que parce que \(-1\) se trouve par hazard un des nombres de la formule imaginaire \(x+\sqrt{xx-1}\) en faisant \(x = -1\) : d'ou l'on pourroit croire que \(\log. -1\) n'est imaginaire, qu'autant que \(-1\) est censé appartenir à la suite des quantités imaginaires \(x+\sqrt{xx-1}\). Vous dites encore, Monsieur, que suivant mon raisonnement \(\ell\surd{-1}\) devroit etre \(= 0\), & que si cela etoit \(\ell\surd{-1}\) ne donneroit point la quadrature du cercle, je reponds à cela qu'il la donnera parce que \(\ell\surd{-1}\) a plusieurs valeurs ; et cela est si vray que \(\frac{\ell\surd{-1}}{\surd{-1}}\) represente indifferemment ou f. 248v la circonference, ou deux fois la circonference &c. Ainsi comme on auroit tort de dire que \(\frac{\ell\surd{-1}}{\surd{-1}}\) ne scauroit representer la circonference, parce qu'il ne pourroit pas representer deux fois la circonference, il me semble aussy qu'on ne peut pas dire que \(\ell\surd{-1}\) ne soit pas \(= 0\) dans un cas, parce que dans un autre il represente la circonference ; j'en dis autant de \(\ell\,\frac{1\pm\surd{-3}}{2}\) & je ne vois pas qu'il soit demontré qu'une de ses valeurs ne puisse pas etre \(= 0\).
Enfin je vous avois objecté, que je ne concevois pas comment \(\textrm{Log.} -y\) differoit d'une quantité constante imaginaire de \(\textrm{log.} y\) & que supposant une fonction de \(y\) qui representât \(\textrm{log.} y\), cette fonction n'augmenteroit pas d'une quantité imaginaire constante en faisant \(y\) negatif. Vous repondés à cette objection par l'exemple de \(\textrm{Log.} y\) qui doit augmenter d'un nombre constant \(a\) en mettant \(ay\) pour \(y\) dans son expression. Cette reponse me paroit satisfaire à mon objection ; et il pourroit en resulter que \(\textrm{Log.} y\) ne sçauroit être représenté par aucune fonction, ce que je suppose peut être faussement. Vous voyés, Monsieur, que je suis docile sur ce point : j'espere que vous me mettrés bientôt en etat de l'être sur tout le reste.
Je suis bien sensible aux eloges que vous donnés à ma piece sur le mouvement de la Lune ; j'espere vous envoyer bientôt un memoire où vous verrés l'application de ma Theorie aux usages astronomiques. Je conviens avec vous que c'est ce qu'il y a dans cette matière de plus important et de plus difficile, & on ne s'apperçoit bien de la difficulté que quand on examine la chose de près ; je seray bien charmé de scavoir ce que vous penserés sur ma methode de traiter cette question. J'ay l'honneur d'etre avec la plus parfaite consideration,
Monsieur,
Votre tres humble et tres obeissant serviteur
D'Alembert
à Paris ce 26 avril 1747.
f. 249rIl me vient une pensee en fermant ma lettre, que je ne vous propose, monsieur, que comme une premiere idée que je n'ay pas eu le tems d'aprofondir assés. Je ne vois pas comment on deduiroit de la formule des arcs de cercle \(s=\surd{-1}\times \textrm{Log.} x+\sqrt{xx-1}\), que les logarithmes des quantités positives sont réels. Car faisant \(x>1\) le log. de \(x+\sqrt{xx-1}\) qui est alors une quantité réelle devient \(-s\surd{-1}\) qui est le produit de deux imaginaires. Or si la valeur de \(s\) lorsque \(x>1\) n'est point une imaginaire pure, mais un mixte imaginaire, \(a+b\surd{-1}\) comme je le crois au 1er. coup d'œil, \(s\surd{-1}\) ne seroit point réel. Ce qui prouveroit que la formule \(-s\surd{-1}=\textrm{Log.} x+\sqrt{xx-1}\) ne representeroit point en general tous les logarithmes, ny par consequent tous ceux de \(\textrm{Log.} -1\).
f. 249vA Monsieur,
Monsieur Euler, directeur de l'academie Royale des Sciences & des belles lettres de Prusse, professeur de mathematiques, & membre de l'academie Imperiale de Petersbourg
a Berlin
79.34  |  [janvier-mars 1779]
Grosley à D'Alembert
79.02  |  3 janvier 1779
D'Alembert à Frédéric II
79.03  |  4 janvier [1779]
D'Alembert à Espagnac Marc René
79.04  |  5 janvier [1779]
Sabbathier à D'Alembert
79.05  |  6 janvier 1779
Flechier à D'Alembert
79.06  |  18 janvier 1779
Vausenville à D'Alembert
79.08  |  20 [janvier] 1779
Seguier à D'Alembert
79.07  |  20 janvier 1779
D'Alembert à Vausenville
79.09  |  24 janvier 1779
Choquet à D'Alembert
79.10  |  30 janvier 1779
Vausenville à D'Alembert
79.11  |  6 février 1779
Astori à D'Alembert
79.12  |  6 février [1779]
Non identifié à D'Alembert
A79.01  |  8 février 1779
Non identifié à D'Alembert
79.13  |  14 février 1779
Jabineau de la Voute à D'Alembert
79.15  |  [c. 15 février 1779]
Astori à D'Alembert
79.14  |  15 février 1779
D'Alembert à Jabineau de la Voute
79.16  |  18 février 1779
D'Alembert à Villemain
79.17  |  20 février 1779
Mornay Mme à D'Alembert
79.18  |  23 février 1779
Luchet à D'Alembert
79.19  |  24 février 1779
D'Alembert à Tollius
79.21  |  27 février [1779]
D'Alembert à Mercier de Saint Léger
79.20  |  27 février 1779
D'Alembert à Amelot de Chaillou
79.22  |  3 mars 1779
Palissot à D'Alembert
79.23  |  4 mars 1779
Amelot de Chaillou à D'Alembert
79.24  |  6 mars 1779
D'Alembert à Lassone
79.25  |  10 mars 1779
D'Alembert à Amelot de Chaillou
79.26  |  10 mars 1779
D'Alembert à Montbarrey
79.27  |  15 mars 1779
Tinseau à D'Alembert
79.29  |  20 mars 1779
Lagrange à D'Alembert
79.28  |  20 mars 1779
D'Alembert à Decroix
79.30  |  22 mars 1779
D'Alembert à Meslin
79.31  |  25 mars [1779]
D'Alembert à Decroix
79.32  |  26 mars 1779
D'Alembert à Amelot de Chaillou
A79.02  |  27 mars 1779
D'Alembert à Mercure de France
79.33  |  28 mars [1779]
D'Alembert à Ginguené
79.35  |  13 avril [1779]
D'Alembert à Rochefort d'Ally Jacques
79.36  |  14 avril 1779
Choiseul à D'Alembert
79.37  |  28 avril [1779]
D'Alembert à Frisi
79.38  |  29 avril 1779
Le Brun Ponce Denis à D'Alembert
79.40  |  30 avril 1779
D'Alembert à Lagrange
79.39  |  30 avril 1779
D'Alembert à Frédéric II
79.41  |  23 mai 1779
D'Alembert à Non identifié
79.42  |  1 juin 1779
Ostervald à D'Alembert
79.43  |  2 juin 1779
Ansse de Villoison à D'Alembert
79.44  |  5 juin 1779
D'Alembert à Gadbled
79.45  |  5 juin 1779
Luchet à D'Alembert
79.46  |  6 juin 1779
Frédéric II à D'Alembert
79.47  |  7 juin 1779
D'Alembert à Melanderhjelm
79.48  |  10 juin 1779
D'Alembert à Ostervald
79.49  |  17 juin 1779
Non identifié à D'Alembert
79.50  |  25 juin 1779
Lagrange à D'Alembert
79.51  |  2 juillet 1779
D'Alembert à Frédéric II
79.52  |  5 juillet [1779]
D'Alembert à Rochefort d'Ally Jacques
79.53  |  16 juillet 1779
D'Alembert à Hemsterhuys
79.54  |  17 juillet [1779]
Grosley à D'Alembert
79.56  |  18 juillet 1779
D'Alembert à Dotteville
79.55  |  18 [juillet 1779]
D'Alembert à Cadet de Vaux
79.60  |  [août 1779]
Malesherbes à D'Alembert
79.57  |  2 août 1779
Montausier à D'Alembert
79.58  |  11 août 1779
Argental à D'Alembert
79.59  |  29 août 1779
Saint Ange à D'Alembert
79.61  |  6 septembre 1779
Mimeure à D'Alembert
79.62  |  10 septembre 1779
D'Alembert à Lagrange
79.63  |  11 septembre 1779
D'Alembert à Frisi
A79.03  |  18 septembre 1779
D'Alembert à Mercure de France et Journal Encyclopédique
79.64  |  19 septembre 1779
D'Alembert à Frédéric II
79.65  |  22 septembre 1779
D'Alembert à Melanderhjelm
79.66  |  25 septembre 1779
Dugast de la Bartherie à D'Alembert
79.67  |  29 septembre 1779
D'Alembert à Bertin
79.68  |  2 octobre 1779
D'Alembert à Caze de la Bove
79.69  |  7 octobre 1779
Frédéric II à D'Alembert
79.70  |  12 octobre 1779
Castillon à D'Alembert
79.71  |  16 octobre 1779
Borelly à D'Alembert
79.72  |  17 octobre 1779
Bertin à D'Alembert
79.73  |  [c. 15 novembre 1779]
D'Alembert à Aude
79.74  |  17 novembre 1779
D'Alembert à Fromant
79.75  |  19 novembre 1779
D'Alembert à Frédéric II
79.76  |  23 novembre 1779
Non identifié à D'Alembert
A79.04  |  29 novembre 1779
Franqueville (La Tour) Mme à D'Alembert
79.77  |  3 décembre 1779
Frédéric II à D'Alembert
79.78  |  11 décembre 1779
Lagrange à D'Alembert
79.79  |  19 décembre 1779
Nerot à D'Alembert
79.80  |  [décembre 1779]
D'Alembert à Frédéric II