Sélection de lettres
|
|||||
    [Manuscrit autographe] (affichée) | |||||
Ms. 880, f. 22-23
|
|||||
    [Imprimé 1980] | |||||
Leonhard Euler, Opera Omnia, série IV A, vol. 5, p. 270-272
|
Euler Leonhard (Berlin) à D'Alembert (Paris)
f. 22rMonsieur
Je profite du depart de Mr Delisle pour Vous repondre à Votre derniere lettre et de Vous recommender un jeune homme de notre Academie, qui a obtenu la permission d'accompagner Mr. Delisle. Il est fils d'un de nos Astronomes nommé Grischow qui, ayant dejà fait quelques progres dans l'astronomie croit ne pouvoir mieux emploier son tems, qu'en cherchant occasion de profiter des lumieres et de l'addresse des Astronomes de Paris, aupres desquels je Vous prie de lui faciliter l'acces et de l'honnorer particulierement de Votre bienveillance.
Pour notre controverse touchant les logarithmes des nombres negatifs et imaginaires, j'espere qu'elle sera bientot terminée ; dans Votre piece sur les integrales, qui vient d'être imprimée dans le second Volume de nos memoires, j'ai suivant Vos ordres rayé l'article où Vous parliés du Log : \(-1\), et je crois que Vous seres en peu de tems entierement d'accord avec moi sur ce sujet. J'avoüe que la formule \(e^x\) doit avoir deux valeurs dans le cas \(x=\frac{1}{2}\) : mais Vous m'accorderes aussi que dans les autres cas la valeur de \(e^x\) ne peut pas etre negative, et comme il s'agit principalement du log : \(-1\), Vous ne pretendres pas que \(e^x\) puisse devenir \(= -1\), en supposant \(x=0\), ainsi cet argument ne prouve au moins rien pour Vous.
Quand Vous dites qu'on pourroit resoudre \(\ell -x\) dans une suite dont la valeur fut reelle, je n'en comprend rien, si ce n'est que les termes de la suite soient reels, mais on pourra de meme \(\surd{-x}\) resoudre dans une telle suite. Au reste je veux bien que ce que j'ai dit dans ma premiere lettre de la suite \(e^x=1+x+\frac{x^2}{2}+\textrm{etc.}\) ne prouve rien pour moi, de meme que l'ambiguité de \(e^x\) dans certains cas ne prouve rien contre moi, puisqu'on devroit aussi accorder trois valeurs quand \(x=\frac{1}{3}\), quatre quand \(x = \frac{1}{4}\) etc. mais cela meneroit trop loin.
f. 22vQuand Vous dites que la quantité \(e\) ne doit pas être considerée comme le parametre de la logarithmique, mais comme l'ordonnée qui repond à l'abscisse \(x = 1\) et qu'à cause de cela elle puisse être tant affirmative que negative, je pourrois dire avec autant de droit que la logarithmique a non seulement deux rames egaux et semblables selon les deux formules \(x=\ell+y\) et \(x=\ell-y\), mais aussi autant qu'on voudra \(x=\ell+y\), \(x=\ell\,my\) ; \(x=\ell ny\) etc. puisque toutes ces formules ont la meme differentielle \(dx = \frac{dy}{y}\). Pour ce qui regarde Votre transformation de \(e^x\) en \(\frac{e^\frac{x}{g}}{a^{\frac{x}{g}-1}}\) ou \(x:g\) comme un nombre impair à un pair, on se pourroit avec autant de droit imaginer cette formule que \(x:g = \textrm{pair}:\textrm{impair}\) ou impair : impair, et alors Vous ne trouveries pas Votre conte. Il me semble donc que toutes ces raisons ne sont pas asses fortes pour prouver que \(\ell+x=\ell-x\).
Ensuite Vous doutes si la formule tirée des sinus donne tous les logarithmes de \(-1\) ; mais je ne sai pas si un doute simple destitué de demonstration puisse renverser ce que j'avance : et pour la formule \(\frac{\ell\surd{-1}}{\surd{-1}}\), je soutiens qu'elle ne renferme que les valeurs \(\pm\frac{(4n+1)\pi}{2}\), \(n\) marquant un nombre entier quelconque et \(\pi\) la circonference d'un cercle dont le diametre \(=1\), de sorte que cette formule ne puisse jamais devenir \(= 0\). Il est vrai, que mon sentiment est appuyé sur la formule tirée des sinus, mais je ne voi aucune raison, pourquoi cette formule ne donneroit tous les logarithmes de \(\surd{-1}\) et je crois toujours que les raisons pour sont plus fortes que celles contre.
Enfin dans la formule des arcs de cercles \[s=\surd{-1\cdot\ell(x+\surd{(xx-1))}},\] si \(x\) marque le cosinus de l'arc \(s\), je ne voi aucune raison de douter, que si \(x >1\), l'arc \(s\) ne soit une imaginaire simple \(b\surd{-1}\) de sorte que \(\ell (x+\surd{(xx-1))}=b\) ; et je ne croi pas que Vous prouveres le contraire.
J'ai communiqué à l'Académie une piece sur ce sujet, ou je crois avoir tellement mis dans son jour cette matiere, qu'au moins moi, je n'y trouve plus la moindre difficulté, quoiqu'auparavant j'aie été extremement embarassé.
J'ai l'honneur d'être avec toute la consideration possible
Monsieur
Votre très humble & très obeissant serviteur
L. Euler
Berlin ce 19me Août 1747.
f. 23rP.S. Vous m'accordes que \(\ell+1=\pm 2n \pi\surd{-1}\) et que \(\ell-1=\pm(2n-1)\pi\surd{-1}\) mais Vous dites Monsieur que parmi les logg : \(-1\) se trouve aussi \(0\) ; donc puisque deux logarithmes de \(-1\) ajoutés ensemble donnent \)\ell+1\), les logg. de +1 seront non seulement \(\pm2n\pi\surd{-1}\) mais aussi \(\pm(2n-1)\pi\surd{-1}\). De plus Vous m'accordes que \(\ell\surd{-1}=\pm\frac{(4n\pm1)}{2}\pi\surd{-1}\) et que \(\ell -\surd{-1}=\pm\frac{4n\pm1}{2}\pi\surd{-1}\), mais que ces formules ne contiennent pas tous les logg: de \(+\surd{-1}\) et de \(-\surd{-1}\), et qu'il s'y trouve aussi \(0\), donc puisque \[\ell+\surd{-1}\,+\,\ell-\surd{-1}=\ell+1,\] P.S. Vous m'accordes que \(\ell+1=\pm 2n \pi\surd{-1}\) et que \(\ell-1=\pm(2n-1)\pi\surd{-1}\) mais Vous dites Monsieur que parmi les logg : \(-1\) se trouve aussi \(0\) ; donc puisque deux logarithmes de \(-1\) ajoutés ensemble donnent \)\ell+1\), les logg. de +1 seront non seulement \(\pm2n\pi\surd{-1}\) mais aussi \(\pm(2n-1)\pi\surd{-1}\). De plus Vous m'accordes que \(\ell\surd{-1}=\pm\frac{(4n\pm1)}{2}\pi\surd{-1}\) et que \(\ell -\surd{-1}=\pm\frac{4n\pm1}{2}\pi\surd{-1}\), mais que ces formules ne contiennent pas tous les logg: de \(+\surd{-1}\) et de \(-\surd{-1}\), et qu'il s'y trouve aussi \(0\), donc puisque \[\ell+\surd{-1}\,+\,\ell-\surd{-1}=\ell+1,\] le log. \(+1\) comprendra encore ces formules \(\pm\frac{(4n\pm1)}{2}\pi\surd{-1}\). De meme si Vous dites que zero est aussi le logarithme des plus hautes racines imaginaires de \(1\), Vous seres enfin obligé de dire que tous les logarithmes de \(+1\) sont contenus dans cette formule \(\frac{m}{n}\pi\surd{-1}\) ou \(a\surd{-1}\), quelque quantité qu'on prenne pour \(a\) : de sorte que \(\ell+1\) deviendroit tout à fait indeterminé, consequence qui me paroit suffisante pour detruire Votre objection. Or suivant mon sentiment quand je dis que : \[\ell+\surd{-1}\,+\,\ell-\surd{-1}=\ell+1,\] le log. \(+1\) comprendra encore ces formules \(\pm\frac{(4n\pm1)}{2}\pi\surd{-1}\). De meme si Vous dites que zero est aussi le logarithme des plus hautes racines imaginaires de \(1\), Vous seres enfin obligé de dire que tous les logarithmes de \(+1\) sont contenus dans cette formule \(\frac{m}{n}\pi\surd{-1}\) ou \(a\surd{-1}\), quelque quantité qu'on prenne pour \(a\) : de sorte que \(\ell+1\) deviendroit tout à fait indeterminé, consequence qui me paroit suffisante pour detruire Votre objection. Or suivant mon sentiment quand je dis que :
\(\ell+1=0\) ; \(\pm2\pi\surd{-1}\) ; \(\pm4\pi\surd{-1}\) ; \(\pm6\pi\surd{-1}\) ; etc.,
\(\ell-1=\pm\pi\surd{-1}\) ; \(\pm3\pi\surd{-1}\) ; \(\pm5\pi\surd{-1}\) ; \(\pm7\pi\surd{-1}\) ; etc., \[\begin{align*} \ell+\surd{-1}=& +\frac{1}{2}\pi\surd{-1} ; +\frac{5}{2}\pi\surd{-1} ; +\frac{9}{2}\pi\surd{-1} ; \rm etc.,\\ & -\frac{3}{2}\pi\surd{-1} ; -\frac{7}{2}\pi\surd{-1} ; -\frac{11}{2}\pi\surd{-1}\\ \ell-\surd{-1}=& +\frac{3}{2}\pi\surd{-1} ;+\frac{7}{2}\pi\surd{-1} ; +\frac{11}{2}\pi\surd{-1} ; \rm etc.,\\ &-\frac{1}{2}\pi\surd{-1} ;-\frac{5}{2}\pi\surd{-1} ; -\frac{9}{2}\pi\surd{-1}. \end{align*}\] Vous trouveres la plus belle harmonie : car deux logg: quelconques de \(-1\) ajoutés ensemble produiront toujours un \(\ell+1\) ; deux logg. de \(+\surd{-1}\) ajoutés ensemble donneront toujours un \(\ell-1\) ; de meme que deux logg: de \(-\surd{-1}\) et un \(\ell+\surd{-1}\) et \(\ell-\surd{-1}\) donnera toujours un \(\ell+1\). Cette remarque seule me paroit suffisante pour Vous convaincre de la Verité de mon sentiment, au lieu que si Vous faites le moindre changement dans mes formules, Vous seres obligé de rendre les logarithmes de \(+1\) tout à fait indeterminés ; et je Vous prie de peser bien cet argument.
74.01  |  7 janvier 1774
D'Alembert à Melanderhjelm
74.03  |  7 janvier 1774
Frédéric II à D'Alembert
74.02  |  7 janvier 1774
D'Alembert à Michaelis
74.04  |  8 janvier 1774
Le Sage Georges Louis à D'Alembert
A74.01  |  18 janvier 1774
D'Alembert à Journal Encyclopédique
74.05  |  19 janvier 1774
Rohan à D'Alembert
74.06  |  25 janvier [1774]
Crillon Felix François à D'Alembert
74.08  |  3 février 1774
Phipps à D'Alembert
74.09  |  7 février [1774]
D'Alembert à Dotteville
74.10  |  10 février 1774
Breteuil à D'Alembert
74.11  |  12 février [1774]
D'Alembert à Voltaire
74.14  |  14 février 1774
D'Alembert à Lagrange
74.13  |  14 février 1774
D'Alembert à Frédéric II
74.12  |  14 février 1774
D'Alembert à Euler Johann Albrecht
74.15  |  25 février 1774
Voltaire à D'Alembert
74.16  |  26 février [1774]
D'Alembert à Voltaire
74.27  |  [fin mars 1774]
D'Alembert à Villahermosa
74.17  |  4 mars 1774
D'Alembert à Villahermosa
74.18  |  5 mars [1774]
Voltaire à D'Alembert
74.20  |  11 mars 1774
Frédéric II à D'Alembert
74.19  |  11 mars 1774
D'Alembert à Villahermosa
74.21  |  14 mars [1774]
D'Alembert à Villahermosa
74.22  |  15 mars [1774]
D'Alembert à Voltaire
74.23  |  20 mars 1774
D'Alembert à Villahermosa
74.24  |  21 mars 1774
Voltaire à D'Alembert
74.25  |  22 mars [1774]
D'Alembert à Voltaire
74.26  |  23 mars [1774]
D'Alembert à La Condamine (Bouzier d'Estouilly) Mme
74.28  |  7 avril 1774
D'Alembert à Voglie
74.29  |  9 avril [1774]
D'Alembert à Villemain
74.32  |  25 avril 1774
D'Alembert à Melanderhjelm
74.31  |  25 avril [1774]
D'Alembert à Lagrange
74.30  |  25 avril 1774
D'Alembert à Frédéric II
74.36  |  [c. mai 1774]
Mariette à D'Alembert
74.33  |  15 mai 1774
Frédéric II à D'Alembert
74.34  |  20 mai 1774
D'Alembert à Lagrange
74.35  |  21 mai 1774
Lagrange à D'Alembert
74.37  |  [2 juin 1774]
Lespinasse Mlle à D'Alembert
74.39  |  4 juin 1774
Voltaire à D'Alembert
74.38  |  4 juin [1774]
D'Alembert à Necker (Curchod) Mme
74.40  |  [c. 5 juin 1774]
D'Alembert à Villahermosa
74.41  |  6 juin 1774
Lagrange à D'Alembert
74.42  |  15 juin 1774
Voltaire à D'Alembert
74.43  |  25 [juin 1774]
Lespinasse dictant à D'Alembert à Condorcet
74.44  |  30 juin 1774
Beauvau Craon M. et Mme à D'Alembert
74.46  |  1 juillet 1774
D'Alembert à Lagrange
74.45  |  1 juillet 1774
D'Alembert à Frédéric II
74.47  |  4 juillet [1774]
D'Alembert à Wielhorski
74.48  |  [4 juillet 1774]
Wielhorski à D'Alembert
A74.03  |  17 juillet 1774
Condorcet à D'Alembert
74.49  |  28 juillet 1774
Frédéric II à D'Alembert
74.50  |  [1er août 1774]
D'Alembert à Villemain
74.51  |  3 août 1774
D'Alembert à Non identifié
74.52  |  12 août 1774
D'Alembert à Aubry Jean Baptiste Benoît
74.53  |  17 août 1774
Voltaire à D'Alembert
74.54  |  18 août 1774
Caracciolo à D'Alembert
74.55  |  20 août [1774]
D'Alembert à Anjou
74.56  |  21 [août 1774]
D'Alembert à Anjou
74.57  |  27 août [1774]
Voltaire à D'Alembert
74.58  |  29 [août 1774]
Lespinasse dictant à D'Alembert à Bernardin de Saint Pierre
74.59  |  [5 septembre 1774]
Lespinasse dictant à D'Alembert à Bernardin de Saint Pierre
74.60  |  7 septembre 1774
D'Alembert à Phipps
74.61  |  10 septembre 1774
Voltaire à D'Alembert
74.63  |  12 septembre 1774
D'Alembert à Lagrange
74.62  |  12 septembre 1774
D'Alembert à Frédéric II
74.64  |  17 septembre 1774
D'Alembert à Bexon
74.65  |  28 septembre [1774]
Voltaire à D'Alembert et Condorcet
74.66  |  30 septembre 1774
D'Alembert à Fuentès
74.67  |  30 septembre 1774
D'Alembert à Villahermosa
74.68  |  1 octobre 1774
Lagrange à D'Alembert
74.69  |  3 octobre [1774]
D'Alembert à Germanès
74.70  |  9 octobre 1774
D'Alembert à Guibert
74.71  |  18 octobre 1774
Frédéric II à D'Alembert
74.72  |  20 octobre 1774
D'Alembert à Non identifié
74.73  |  22 octobre 1774
D'Alembert à Fromant
74.74  |  28 octobre 1774
D'Alembert à Murr
74.75  |  29 octobre [1774]
Voltaire à D'Alembert
74.76  |  31 octobre 1774
D'Alembert à Frédéric II
74.85  |  [septembre-novembre 1774]
La Chalotais à D'Alembert
74.77  |  3 novembre 1774
D'Alembert à Perronet
74.79  |  7 novembre 1774
Voltaire à D'Alembert
74.78  |  7 novembre 1774
Hess à D'Alembert
74.80  |  10 novembre 1774
D'Alembert à Frédéric II
74.81  |  15 novembre 1774
Frédéric II à D'Alembert
74.82  |  20 novembre 1774
D'Alembert à Non identifié
74.83  |  21 novembre 1774
Voltaire à D'Alembert et Condorcet
74.84  |  24 novembre 1774
D'Alembert à Sartine
74.86  |  9 décembre 1774
Voltaire à D'Alembert
74.87  |  14 décembre 1774
Frédéric II à D'Alembert
74.89  |  15 décembre 1774
D'Alembert à Lagrange
74.88  |  15 décembre 1774
D'Alembert à Frédéric II
74.90  |  [21 ou 27 décembre 1774]
D'Alembert à Vergennes
74.91  |  [25 ou 26] décembre 1774
Malesherbes à D'Alembert
74.92  |  27 décembre 1774
D'Alembert à Malesherbes
74.93  |  30 décembre [1774]
Voltaire à D'Alembert et Condorcet