LETTRE XLIV. EULER à GOLDBACH. Berlin d. 30 Juni 1742. 第44書簡 オイラーからゴールドバッハ宛書簡 ベルリン 1742年6月30日(新暦)
Correspondance mathématique et physique de quelques célèbres géomètres du XVIIIème siècle Fuss, Paul Heinrich St.-Pétersbourg, 1843-1845 ETH-Bibliothek Zürich
18世紀の著名な幾何学者たちの 数学・物理学書簡集 編者:パウル・ハインリヒ・フス サンクトペテルブルク、1843–1845年 チューリッヒ工科大学図書館 (ETH図書館)所蔵・電子版 ------------------------------------------------- 第1章 近況報告と最近の研究 第2章 逆冪級数の新しい総和公式 第3章 三角関数による逆冪級数の総和 第4章 複素指数・余弦公式の応用 第5章 整数論に関する考察 第6章 二平方和定理の一般化 第7章 ゴールドバッハ予想について 第8章 ある代数方程式について 第9章 対数級数の幾何学的説明 ------------------------------------------------- XLIV. EULER à GOLDBACH. Berlin d. 30 Juni 1742. Complete Text and Japanese Translation. 第44書簡 オイラーからゴールドバッハ宛書簡 ベルリン、1742年6月30日(新暦) 【全文と日本語訳】 -------------------------------------------------
2. Complete Text and Japanese Translation.(全文と日本語訳)
-------------------------------------------------
第1章 近況報告と最近の研究
------------------------------------------------- SOMMAIRE. Travaux d’Euler. Sommation des séries des puissances réciproques. Formules à exposans imaginaires. Recherches sur les nombres et diviseurs. Sur les deux théorèmes de la lettre précédente. 概要 オイラーの研究. 逆数冪級数の総和. 虚数指数を用いる公式. 整数および約数に関する研究. 前書簡に述べられた二つの定理について. ⸻ Ich werde nun bald wieder eine Dissertation nach Paris schicken Sur la meilleure manière d’observer l’inclinaison de l’aiguille aimantée, und da ich bei dieser Gelegenheit auf die theoriam magnetis meditirt, so habe ich endlich ein sehr simples und den legibus naturae gemässes systema gefunden, wodurch ich alle proprietates und phaenomena magnetis et ferri auf eine sehr leichte und deutliche Art erklären kann, über welche Materie ich künftiges Jahr eine pièce nach Paris senden werde. 私は近いうちに再びパリへ一篇の論文を送る予定です.それは「磁針の伏角を観測する最良の方法について」という題のものです.この機会に私は磁気の理論について熟考し、ついに極めて簡潔で自然法則に適合した一つの体系を見いだしました.それによって磁石と鉄のあらゆる性質および現象を非常に容易かつ明瞭に説明することができます.この主題については、来年さらに一篇の論文をパリへ送るつもりです. ⸻ Letztens habe ich wiederum eine pièce nach Petersburg de oscillationibus pendulorum flexibilium geschickt, und nächstens wird hier der 7te tomus Miscellaneorum zum Vorschein kommen, darin ich eine ziemliche Anzahl Piècen gegeben. 先ごろ私は再び「de oscillationibus pendulorum flexibilium(可撓振子の振動について)」という一篇の論文をペテルブルクへ送りました.そして、まもなくこちらでは『Miscellaneorum(雑録)』第7巻が印刷に回される予定でその中に私はかなりの数の論文を収めています. -------------------------------------------------
第2章 逆冪級数の新しい総和公式
------------------------------------------------- Einige davon handeln von einer neuen Art die summas serierum potestatum reciprocarum zu finden. そのうちのいくつかは、逆数冪級数の総和を求める新しい方法について論じています. ⸻ Erstlich habe ich eine Methode gegeben alle formulas differentiales rationales zu integriren, da dann das integrale, wenn dasselbe nicht algebraicum ist, entweder a logarithmis, oder a quadratura circuli, oder von beiden zugleich dependiret. まず私はすべての有理微分式を積分する方法を与えました.その結果、積分が代数的でない場合には、それは対数に依存するか、円積問題(円周率)に依存するか、あるいはその両方に同時に依存することになります. ⸻ Hieraus habe ich das integrale dieser Formul ∫1−xnxm−1−xn−m−1dx generaliter exprimirt und dabei gefunden, dass wenn man setzt x=1, alsdann im integrali sich die membra logarithmica destruïren, und nur diejenigen, so a quadratura circuli dependiren, übrigbleiben, welche zusammengenommen endlich auf diese Expression nsinnmππcosnmπ reducirt werden. ここから私は次の積分∫1−xnxm−1−xn−m−1dx を一般的に表し、その際x=1と置くと積分中の対数項は互いに打ち消し合い、円積問題(すなわち π)に由来する項だけが残り それらをまとめると最終的にnsinnmππcosnmπ という式に帰着することを見いだしました. ⸻ Hierauf habe ich die Formul ∫1−xnxm−1−xn−m−1dx per series integrirt, modo ordinario, und nachdem ich x=1 gesetzt, diese Aequation gefunden nsinnmππcosnmπ=m1−n−m1+n+m1−2n−m1+2n+m1−3n−m1+⋯ さらに私は同じ積分を通常の方法で級数展開によって積分し、その後x=1を代入すると、次の等式を得ました. nsinnmππcosnmπ=m1−n−m1+n+m1−2n−m1+2n+m1−3n−m1+⋯ ⸻ alwo 1:π rationem diametri ad peripheriam bedeutet, und folglich posito radio, seu sinu toto =1, die halbe peripheria oder der arcus 180° durch π angedeutet wird; und also wird nmπ ein arcus determinatus, davon man den sinum und cosinum anzeigen kann. ここで1:πは直径と円周との比を意味し、したがって半径すなわち全正弦を1と置けば半円周、すなわち 180° の弧はπによって表されます. ゆえにnmπは正弦および余弦を定めることのできる一定の弧を表します. ⸻ Nun setze ich nm=x, so kommt diese series heraus sinπxπcosπx=x1−1−x1+1+x1−2−x1+2+x1−3−x1+⋯ ここでnm=xと置くと、次の級数が得られます. sinπxπcosπx=x1−1−x1+1+x1−2−x1+2+x1−3−x1+⋯ -------------------------------------------------
第3章 三角関数による逆冪級数の総和
------------------------------------------------- Setzt man x=41, so wird πx=45∘ und cosπx=21, et sinπx=21, und folglich π=14−34+54−74+94− etc. x=41と置くとπx=45∘となり、 cos(πx)=21,sin(πx)=21 となります.したがって π=4−34+54−74+94−⋯ という級数が得られます. ⸻ Hieraus kann man aber per differentiationem auf höhere potestates kommen, denn sumto x variabili, ist d.cosπx=−πdxsinπx und d.sinπx=πdxcosπx; dahero wird d.sinπxπcosπx=(sinπx)2−ππdx(sinπx)2−ππdx(cosπx)2=(sinπx)2−ππdx ob (sinπx)2+(cosπx)2=1, nempe quadrato radii. さらに、ここから微分によってより高い冪の級数を得ることができます. x を変数とするとd(cosπx)=−πsin(πx)dx, またd(sinπx)=πcos(πx)dxです. したがってd(sinπxπcosπx)=−(sinπx)2π2dx, ここで (sinπx)2+(cosπx)2=1 を用いました.これは半径を1とした円について成り立つ恒等式です. ⸻ Also wenn die series auch differentirt wird, so kommt −(sinπx)2ππdx=−xxdx−(1−x)2dx−(1+x)2dx−(2−x)2dx−(2+x)2dx− etc., und durch −dx dividirt (sinπx)2ππ=xx1+(1−x)21+(1+x)21+(2−x)21+(2+x)21+ etc. したがって級数を項別に微分すると −(sinπx)2π2dx=−x2dx−(1−x)2dx−(1+x)2dx−(2−x)2dx−(2+x)2dx−⋯ となります.さらに両辺を−dxで割ると (sinπx)2π2=x21+(1−x)21+(1+x)21+(2−x)21+(2+x)21+⋯ を得ます. ⸻ Setzt man x=41, weil sin41π=21, so wird 2ππ=116+916+2516+ etc. oder 8ππ=11+321+521+721+ etc. ここで x=41と置くと sin4π=21 であるから 2π2=16+916+2516+⋯ すなわち 8π2=1+321+521+721+⋯ となります.
ここでオイラーは奇数平方逆数級数の和 1+321+521+⋯=8π2 を導いています.
⸻ Man kann aber auch weiter differentiren, und solchergestalt ad summas quarumque potestatum gelangen, denn es wird d.(sinπx)2ππ=(sinπx)3−2π3dxcosπx=−x32dx+(1−x)32dx−(1+x)32dx+ etc. さらに微分を続けることによって、任意の冪の逆数級数の総和へ到達することもできます. すなわち d((sinπx)2π2)=−(sinπx)32π3cos(πx)dx となり、一方で級数側を微分すると −x32dx+(1−x)32dx−(1+x)32dx+⋯ が得られます. ⸻ und folglich (sinπx)3π3cosπx=x31−(1−x)31+(1+x)31−(2−x)31+(2+x)31− etc. したがって (sin(πx))3π3cos(πx)=x31−(1−x)31+(1+x)31−(2−x)31+(2+x)31−⋯ という等式が得られます. ⸻ Sit x=41, erit 2π3=164−3364+5364−7364+ etc. ここでx=41と置けば、 2π3=64−3364+5364−7364+⋯ すなわち 32π3=1−331+531−731+⋯ という級数が得られます. ⸻ Solchergestalt finde ich also die summas omnium potestatum und noch viel generaler als durch die vorhergebrauchte Methode, weil ich hier loco x quamcunque fractionem substituiren kann. このようにして、私はすべての冪の逆数級数の総和を求めることができます.そしてこの方法は先に用いた方法よりもはるかに一般的です. というのも、ここではxの代わりに任意の分数を代入することができるからです. ⸻ Diese Methode habe ich dem Hn. Nicolao Bernoulli nach Basel geschrieben und erwarte darüber noch seine Meinung. 私はこの方法をバーゼルのニコラウス・ベルヌーイ氏へ書き送り、この件について彼の意見をいまなお待っています. ⸻ Ich erinnere mich aber, dass Ew. schon vormals angemerkt haben, dass wenn man die Summ von dieser serie a+αx1+b+βx1+c+γx1+ etc., wisse, man daraus per differentiationem die Summ von dieser finden könne (a+αx)nαn−1+(b+βx)nβn−1+(c+γx)nγn−1+ etc., wovon meine summatio hier ein casus ist. しかし私は、あなたが以前すでに、 a+αx1+b+βx1+c+γx1+⋯ という級数の和が分かれば、それを微分することによって (a+αx)nαn−1+(b+βx)nβn−1+(c+γx)nγn−1+⋯ という級数の和も求めることができる、 とご指摘になっていたことを思い出しました. 私のこの総和法は、その一つの特別な場合です. -------------------------------------------------
第4章 複素指数・余弦公式の応用
------------------------------------------------- Generaliter ist 2p−1+2−p−1=2cosA.pl2. 一般に 2pi+2−pi=2cos(plog2) が成り立ちます.
l2=log2(自然対数) A. = Arcus(円弧・角度)を表す当時の略記
⸻ Wenn also 2p−1+2−p−1=0 seyn soll, so muss pl2 einem solchen arcui circuli gleich seyn, dessen cosinus =0. したがって 2pi+2−pi=0 となるためにはplog2は余弦が0になる円弧に等しくなければなりません.
⸻ Diese Eigenschaft aber haben alle arcus in hac formula contenti 2(2n+1)π, und folglich wird p=2l2(2n+1)π. その性質をもつ円弧はすべて2(2n+1)π という形で表されます. したがってp=2log2(2n+1)πとなります. ⸻ Dahero posito p=2l2(2n+1)π oder 2p−1+2−p−1=0, so wird 2xp−1+2−xp−1=2cosA.2(2n+1)xπ. ゆえにp=2log2(2n+1)πと置けば (すなわち2pi+2−pi=0となるように取れば) 2xpi+2−xpi=2cos(2(2n+1)xπ)となります. ⸻ Wenn also seyn soll 2qp−1+2−qp−1=2rp−1+2−rp−1, so muss cosA.2(2n+1)qπ=cosA.2(2n+1)rπ. したがって 2qp−1+2−qp−1=2rp−1+2−rp−1 となるためには、 cos(2(2n+1)qπ)=cos(2(2n+1)rπ) でなければなりません. ⸻ Die cosinus aber von zweyen verschiedenen arcubus sind einander gleich, wenn entweder die summa oder differentia arcuuum gleich ist einem multiplo von der gantzen Peripherie 2π. ところが、二つの異なる円弧の余弦が等しくなるのは、それらの和または差が円周全体2πの整数倍である場合です. ⸻ Dahero wird 2(2n+1)qπ±2(2n+1)rπ=2mπ und folglich q±r=2n+14m, so dass seyn wird 2(2n+14m−q)p−1+2−(2n+14m−q)p−1=2qp−1+2−qp−1, worin alles dasjenige enthalten ist, was Ew. von dieser Materie mir überschrieben haben. したがって 2(2n+1)qπ±2(2n+1)rπ=2mπ すなわち q±r=2n+14m となります.したがって 2(2n+14m−q)pi+2−(2n+14m−q)pi=2qpi+2−qpi となり、この中には、この件についてあなたが私に書き送られた内容がすべて含まれています. -------------------------------------------------
第5章 整数論に関する考察
------------------------------------------------- Nicht nur alle Zahlen, welche diese Formul 4mn−m−n gibt, sind enthalten in yy+y−xx, sondern gar alle mögliche Zahlen, welche sowohl in 4mn−m−n, als nicht darin begriffen sind, und also ist independenter von diesem theoremate eine jede Zahl in dieser Formul uu+vv+v+yy+y−xx enthalten. 式4mn−m−nによって表されるすべての数が yy+y−xxの中に含まれるだけではなく 4mn−m−n という形で表される数も、表されない数も含めて、あらゆる可能な数がそこに含まれます. したがって、それは…… この定理によれば、あらゆる数は uu+vv+v+yy+y−xx という式の中に含まれています. -------------------------------------------------
第6章 二平方和定理の一般化
------------------------------------------------- Hieraus lässt sich aber nichts ad resolutionem numeri cujuscque in numeros trigonales vel quadratos schliessen, und da ein jeder Buchstab u,v,y und x eine jegliche Zahl andeutet, so kann man nicht für u,4zz+z+1, noch für x,4zz+z−1 setzen, weilen diese formulae 4zz+z±1 nicht mehr alle mögliche Zahlen geben, welche doch durch u und x angedeutet werden. しかし、このことから任意の整数を三角数または平方数へ分解できるとは結論できません. また、文字 u,v,y,xはそれぞれ任意の整数を表しているのでuを4zz+z+1に、 あるいはxを4zz+z−1に置き換えることはできません. なぜなら、これらの式4zz+z±1 はuやxが表しているような「あらゆる整数」を与えるわけではないからです. ⸻ Denn da eine jede Zahl sogar in dieser Formul uu−xx enthalten ist, so müsste, kraft dieser Substitution, auch eine jede Zahl in dieser zz+z enthalten, und also ein numerus trigonalis seyn. 実際、すべての整数はuu−xx という形で表せます.もし前述の置換が許されるなら、すべての整数はzz+z という形にも表されることになり、したがってすべての整数が三角数であるという誤った結論になってしまいます. ⸻ Wenn alle in dieser formula 22m−1+1 enthaltenen Zahlen nur unico modo in duo quadrata divisibiles wären, so müssten auch alle diese Zahlen nothwendig numeri primi seyn, welches aber nicht ist. もし22m−1+1という形のすべての数が ただ一通りにしか二平方和へ分解できないのであれば、それらはすべて必ず素数でなければなりません.しかし実際にはそうではありません. ⸻ Denn alle diese Zahlen sind in dieser formula 4m+1 enthalten, welche so oft sie ein numerus primus ist, unfehlbar in duo quadrata, hocque unico modo, resolviret werden kann. というのも、これらの数はすべて4m+1という形に属しており この形の数が素数である場合には、必ず二つの平方数の和に、しかもただ一通りに分解できるからです. ⸻ So oft aber 4m+1 kein numerus primus ist, so ist dieselbe Zahl entweder gar nicht resolubilis in duo quadrata oder pluribus uno modis. しかし4m+1の形の数が素数でない場合には、その数は二平方和に全く分解できないか、あるいは二通り以上の方法で分解できます. ⸻ Dass aber 232+1, welche Zahl kein numerus primus ist, zum wenigsten duobus modis in duo quadrata divisibilis sey, kann ich also zeigen: そして232+1は素数ではありませんが この数が少なくとも二通りの方法で二平方和に分解できることを、私は次のように示すことができます. ⸻ 1. Wenn a und b in duo quadrata resolubiles sind, so wird auch das Product ab in duo quadrata resolubile seyn; 1. aとbがともに二平方和に分解できるならば、その積abもまた二平方和に分解できます. ⸻ 2. Si productum ab et alter factor a fuerint numeri in duo quadrata resolubiles, tum quoque alter factor b in duo quadrata erit resolubilis. 2. 積abと一方の因子aがともに二平方和に分解できるならば、他方の因子bもまた二平方和に分解できます. ⸻ Diese theoremata können rigidissime demonstriret werden. これらの定理は、きわめて厳密に証明することができます. ⸻ Nun ist 232+1, welche Zahl in duo quadrata est resolubilis, nempe 232+1, divisibilis per 641=252+42. さて232+1 は二つの平方数の和に分解できる数です. 実際、この数は641=252+42 で割り切れます. ⸻ Dahero der andere factor, den ich brevitatis gratia b nennen will, gewiss auch eine summa duorum quadratorum. したがって、もう一方の因子を簡単のために b}$$と呼ぶことにすると、このbもまた必ず二つの平方数の和になります. ⸻ Sit b=pp+qq, ita ut sit 232+1=(252+42)(pp+qq), erit 232+1=(25p+4q)2+(25q−4p)2 et simul 232+1=(25p−4q)2+(25q+4p)2 und folglich zum wenigsten duobus modis eine summa duorum quadratorum. いまb=p2+q2とすると 232+1=(252+42)(p2+q2)ですから ブラーマグプタの恒等式より 232+1=(25p+4q)2+(25q−4p)2であり 同時に232+1=(25p−4q)2+(25q+4p)2 とも表せます.したがって少なくとも二通りの二平方和表示をもちます. ⸻ Hieraus kann man nun die resolutionem duplicem a priori finden. Denn es wird p=2556 et q=409 und folglich 232+1=655362+12=622642+204492. ここから二通りの分解を直接求めることができます.実際p=2556,q=409となるので 232+1=655362+12=622642+204492 となります. -------------------------------------------------
第7章 ゴールドバッハ予想について
------------------------------------------------- Dass eine jegliche Zahl, welche in zwey numeros primos resolubilis ist, zugleich in quot, quis voluerit, numeros primos zertheilt werden könne, kann aus einer Observation, so Ew. vormals mit mir communicirt haben, dass nehmlich ein jeder numerus par eine summa duorum numerorum primorum sey, illustrirt und confirmirt werden. 二つの素数の和として表される任意の整数は、望むだけ多くの素数の和にも分解できることは、あなたが以前私に伝えてくださった「すべての偶数は二つの素数の和である」という考察によって説明し、裏付けることができます. ⸻ Denn, ist der numerus propositus n par, so ist er eine summa duorum numerorum primorum, und da n−2 auch eine summa duorum numerorum primorum ist, so ist n auch eine summa trium, und auch quatuor u. s. f. 実際与えられた数nが偶数ならば、それは二つの素数の和です.またn−2も二つの素数の和であるので、そこへ素数2を加えればnは三つの素数の和にもなります.同様に四つ、さらにそれ以上の素数の和としても表すことができます. ⸻ Ist aber n ein numerus impar, so ist derselbe gewiss eine summa trium numerorum primorum, weil n−1 eine summa duorum ist, und kann folglich auch in quotvis plures resolvirt werden. 一方nが奇数であればn−1は偶数であり二つの素数の和ですから、それに1を加えることでnは確実に三つの素数の和として表されます.そして同様に、任意の個数の素数の和へと分解することもできます.
⸻ Dass aber ein jeder numerus par eine summa duorum primorum sey, halte ich für ein ganz gewisses theoremata, ungeachtet ich dasselbe nicht demonstriren kann. しかし、すべての偶数が二つの素数の和で表されるという命題は、私は完全に正しい定理であると確信しています.ただし、その証明を与えることはできません.
------------------------------------------------- Dass mp+2±(4p−m+3) nimmer ein numerus integer werden könne, erhellet daher, weilen wenn man diese Formul einem numero integro n gleich setzt, herauskommt p=mn±(4mn−1); es kann aber 4mn−1 kein quadratum seyn. さらにmp+2±(4p−m+3)が決して整数にならないことも、次のように分かります.これを整数nに等しいと置けば p=mn±4mn−1となります.しかし4mn−1は平方数になることがないため、この式は整数値を与えません. ⸻ Ew. theoremata, dass wenn man ex aequatione v=c, existente v functione quapiam ipsius x, die radicem x finden kann, man auch ex hac aequatione v2n+1=(2v+1)(v+1)n−1 den valorem ipsius x bestimmen könne, — hat mich zu ergründen viel Mühe gekostet, bis ich endlich gemerket, dass diese Aequation v2n+1−(2v+1)(v+1)n−1=0 divisibilis sey per vv−v−1. あなたの定理、すなわち「v=cという方程式から(vがxのある関数であるとして)未知数xを求めることができるならば、さらに v2n+1=(2v+1)(v+1)n−1 という方程式からもxの値を決定できる」という定理について、その理由を理解するのに私は大変苦労しました.しかし最終的に、この方程式 v2n+1−(2v+1)(v+1)n−1=0v2−v−1で割り切れることに気付きました. ⸻ Denn es ist v2n+1−(2v+1)(v+1)n−1=v(v2n−(v+1)n)+(vv−v−1)(v+1)n−1, und v2n−(v+1)n ist durch vv−(v+1) divisibilis. 実際には v2n+1−(2v+1)(v+1)n−1=v(v2n−(v+1)n)+(v2−v−1)(v+1)n−1 と変形でき、さらにv2n−(v+1)nは v2−(v+1)で割り切れます. ⸻ Quicquid ergo sit n, aequationi v2n+1=(2v+1)(v+1)n−1 satisfacit vv=v+1, und ist also v=21±5, aus welcher Aequation man per hypothesin die radicem x finden kann. したがってnがどのような値であっても この方程式はv2=v+1を満たします. ゆえにv=21±5となり この方程式から仮定により未知数xを求めることができます. -------------------------------------------------
第9章 対数級数の幾何学的説明
------------------------------------------------- Si concipiatur curva, cujus abscissa posita =x, applicata sit y=1⋅22x+2⋅24x2+3⋅26x3+4⋅28x4+ etc. erit generaliter y=l4−x4, und folglich ist die curva eine logarithmica, darin die applicata zum asymtoto wird, wenn x=4. 横座標をx、縦座標を y=1⋅22x+2⋅24x2+3⋅26x3+4⋅28x4+⋯ とする曲線を考えると、一般には y=log(4−x4)となります. したがって、この曲線は対数曲線でありx=4がその漸近線になります. ⸻ Es sey (Fig. 6) VCB eine logarithmica ordinaria asymtoton habens VD, deren subtangens constans AT=1. Capiatur applicata AC=1, et ducta alia quacunque PM, positisque AP=t, et PM=u, erit t=lu, seu udt=du. 図6においてVCBを通常の対数曲線、その漸近線をVD一定の部分接線をAT=1とします. またAC=1とし、任意の縦線PMを引き AP=t,PM=uと置けばt=logu, すなわちudt=duとなります. ⸻ Jam ducatur applicata DB=4AC=4, erit AD=l4, et ducta MQ, fiet BQ=x et QM=y pro casu proposito. Erit enim AP=t=l4−y et PM=u=4−x, unde ob t=lu erit l4−y=l(4−x) et y=l4−x4. さらにDB=4AC=4となるように取り したがってAD=log4となります. そしてMQを引けばBQ=x,QM=yとなります.すると AP=log4−y,PM=4−xであり、 t=loguよりlog4−y=log(4−x) すなわちy=log(4−x4)が得られます. ⸻ Sonsten haben Ew. pro summa seriei ipsi y aequalis casu x=1 geschrieben 31, da diese Summ ist =l.34. なお、あなたはこの級数の和について、 x=1の場合に31と書かれていました. しかし実際の和はlog(34)です. ⸻ Euler. オイラー ⸻ 以上で 第44書簡は完結です. (1742年6月30日付、Euler à Goldbach) -------------------------------------------------
3. Historical supplement. 【歴史的補足】
------------------------------------------------- この書簡は単なる返信ではなく1742年時点の オイラーの解析学・整数論・数論に関する 最新研究の報告書のような内容になっており 第7章のゴールドバッハ予想への言及が 数学史上もっとも有名な部分です. ------------------------------------------------- 第44書簡(1742年6月30日) オイラーからゴールドバッハへ ⸻ 第1章 近況報告と最近の研究(130頁) * パリへ送る予定の磁気理論論文 * 磁石・磁力の新しい理論 * 振り子(Oscillationibus pendulorum flexibilium)の論文 * Miscellanea 第7巻への掲載予定論文 ⸻ 第2章 逆冪級数の新しい総和公式(131頁) * 有理微分式の積分法 * 積分公式の一般化 * 対数項の消去 * 円積分との関係 * 一般公式nsinnmππcosnmπ=m1−n−m1+⋯ ⸻ 第3章 三角関数による逆冪級数の総和(132頁) * 特殊値 x=41 * ライプニッツ級数π=4(1−31+51−⋯) * 微分による高次級数 * バーゼル型級数∑(2n+1)21=8π2 * さらに三乗逆数級数への拡張 ⸻ 第4章 複素指数・余弦公式の応用(133頁前半) * 指数公式 * 三角関数との対応 * 一般恒等式 * ゴールドバッハが送った公式との比較 ⸻ 第5章 整数論に関する考察(133〜134頁) * 二次形式 yy+y−xx * 三角数との関係 * 任意整数表示 * 三角数表示が導けない理由 ⸻ 第6章 二平方和定理の一般化(134〜135頁) * フェルマー数232+1の考察 * 積が二平方和なら因子も二平方和 * ブラーマグプタの恒等式 * フェルマー数の二通りの分解 232+1=655362+12=622642+204492 ⸻ 第7章 ゴールドバッハ予想について(135頁) * 偶数は二つの素数の和である * 奇数は三つ以上の素数の和となること * 任意個の素数和への拡張 そして有名な一文 Dass aber ein jeder numerus par eine summa duorum primorum sey, halte ich für ein ganz gewisses theoremata, ungeachtet ich dasselbe nicht demonstriren kann. (すべての偶数は二つの素数の和であるという命題は、私は全く確実な定理であると思うが、それを証明することはできない) ⸻ 第8章 ある代数方程式について(136頁前半) * 方程式v2n+1=(2v+1)(v+1)n−1 * 因数分解 * 黄金比v=21±5の導出 ⸻ 第9章 対数級数の幾何学的説明(136頁後半) * 級数∑n22nxn * 対数関数log4−x4との一致 * 対数曲線による証明 * ゴールドバッハの計算結果へのコメント -------------------------------------------------