メインコンテンツへスキップ
見出し画像

【古典数学:原論文の講読】 E100「De Numeris Amicabilibus」Leonhard Euler.1747年(友愛数について)

    -------------------------------------------------
    Published\rm Published  Online\rm Online  First\rm First  (7/7/2026)\rm (7/7/2026)
    Latest\rm Latest  additions\rm additions  (7/7/2026)\rm(7/7/2026)
    -------------------------------------------------

    -------------------------------------------------

    1.  Introduction【はじめに】

    -------------------------------------------------
    1.はじめに
    この記事では
    Eneström  E100
    【De Numeris Amicabilibus】を紹介します.
    (友愛数について)
    Leonh. Eulero. 1747年

    執筆・発表時期
    Nova Acta Eruditorum
    1747年5月号(Mensis Maji A. MDCCXLVII)
    pp. 267–269
    (ノヴァ・アクタ・エルディトルム)
    に掲載.

    Opera Omnia Series I, Vol. 2 pp.59–61 に再録.

    E100(1747)\rm \bf E100(1747)
    De Numeris Amicabilibus
    E100
    友愛数について
    (1747年)

    第1章 数論研究の重要性
    第2章 友愛数の定義
    第3章 従来法(デカルト・スホーテン)の紹介
    第4章 友愛数30組の一覧
    -------------------------------------------------

    2.  第1章 数論研究の重要性

    -------------------------------------------------
    L. E. DE NUMERIS AMICABILIBUS.
    L. E. 友愛数(Amicable Numbers)について
    ⸻
    Problemata, quæ circa indolem ac proprietates numerorum verſantur, hoc tempore, quo Analyſis mathematica ad multo profundiores ſpeculationes aditum aperuit, fere penitus a Geometris derelicta videntur; ac plerique arbitrantur, contemplationem numerorum nihil prorſus ad augmentum Analyſeos conferre.
    数の本性や性質に関する問題は、数学解析がはるかに深遠な研究への道を開いた今日では、ほとんど完全に幾何学者たちから顧みられなくなったように見える.そして多くの人々は、数について考察しても解析学の発展には全く寄与しない、と考えている.
    ⸻
    Verum tamen certe inveſtigatio proprietatum numerorum ſæpenumero multo majorem ſagacitatem requirit, quam ſubtiliſſimæ quæſtiones geometricæ; atque ob hanc ipſam cauſam quæſtiones arithmeticæ immerito iſtis poſtponi videntur.
    しかし実際には、数の性質を探究することは、極めて精巧な幾何学上の問題よりもしばしば一層鋭い洞察力を必要とする.したがって、この理由からしても、算術の問題が幾何学の問題より劣るものと見なされるのは不当である.
    ⸻
    Ac ſumma quidem ingenia, quibus maxima Analyſeos incrementa accepta ſunt referenda, numerorum affectiones non indignas cenſuerunt, in quibus evolvendis plurimum operæ & studii collocarent.
    実際、解析学の最も偉大な発展をもたらした最高の才能を持つ学者たちは、数の諸性質を研究することを決して軽視せず、その解明に多大な努力と研究を注いだのである.
    ⸻
    Carteſius ſcilicet conſtat, etiamsi ampliffimis cum univerſæ Philoſophiæ, tum Matheſeos meditationibus eſſet occupatus, tamen non parum in eruendis numeris amicabilibus deſudaſſe; quod negotium deinceps Schotenii majori studio eſt perfectus.
    たとえばデカルトは、哲学全体や数学についての広範な研究に没頭していたにもかかわらず、友愛数を発見する研究にも少なからぬ努力を払ったことが知られている.そしてその仕事は、その後**スホーテン(Frans van Schooten)**によって、さらに熱心に進められた.

    -------------------------------------------------

    第2章 友愛数の定義

    -------------------------------------------------
    Vocantur autem numeri amicabiles, duo ejusmodi numeri, quorum alter, si ejus partes aliquotæ omnes in unam summam colligantur, alterum producat; cujusmodi numeri sunt 220\footnotesize 220 & 284\footnotesize 284;
    さて友愛数(numeri amicabiles)とは、二つの数の組であって、一方の数のすべての真の約数(その数自身を除く約数)を合計すると他方の数になり、逆についても同じ性質が成り立つものである.その代表例が220\footnotesize 220と284\footnotesize 284である.
    ⸻
    prioris enim 220\footnotesize 220 partes aliquotæ, seu divisores, ipso minores 1+2+4+5+10+11+20+22+44+55+110\footnotesize 1+2+4+5+10+11+20+22+44+55+110
    実際、前者220\footnotesize 220の真の約数
    すなわち220\footnotesize 220より小さい約数は
    1+2+4+5+10+11+20+22+44+55+110\footnotesize 1+2+4+5+10+11+20+22+44+55+110
    である.
    ⸻
    summam præbent 284;\footnotesize 284;
    これらを合計すると284\footnotesize 284になる.
    ⸻
    atque hujus numeri 284\footnotesize 284 partes aliquotæ
    1+2+4+71+142\footnotesize 1+2+4+71+142
    また284\footnotesize 284の真の約数は、
    1+2+4+71+142\footnotesize 1+2+4+71+142
    である.
    ⸻
    vicissim producunt 220.\footnotesize 220.
    これらを合計すると、逆に220\footnotesize 220が得られる.
    ⸻
    Nullum autem est dubium, quin præter hos duos numeros plures alii atque adeo infiniti dentur, qui eadem proprietate sint præditi;
    しかし、この二つ以外にも同じ性質を備えた数の組がさらに多数、いや無数に存在するであろうことは疑いない.
    ⸻
    neque tamen Cartesius, & post eum Schotenius, plura, quam tria talium numerorum paria elicuerunt, etiamsi non parum studii ad plura eruenda impendisse videantur.
    それにもかかわらず、デカルトおよびその後のスホーテンは、このような友愛数を三組より多く見いだすことはできなかった.しかも、彼らがさらに多くを発見しようとして少なからぬ努力を払ったことは明らかである.
    -------------------------------------------------

    第3章 従来法(デカルト・スホーテン)の紹介

    -------------------------------------------------
    Ac methodus quidem, qua uterque est usus, ita est comparata, ut ejus ope vix plures numeri amicabiles inveniri queant;
    しかも、両者が用いた方法では、それ以上の友愛数を見つけ出すことはほとんど期待できない.
    ⸻
    assumserunt enim, hujusmodi numeros in his formulis 2nxy\footnotesize 2ⁿxy & 2nz\footnotesize 2ⁿz contineri, ubi x,y,\footnotesize x, y, & z,\footnotesize z, numeros primos denotent;
    というのも、彼らは友愛数が
    2nxy,2nz\footnotesize 2^nxy,\qquad2^nz
    という形で表されると仮定していたからである.
    ここで
    x,y,z\footnotesize x,\;y,\;z
    はいずれも素数である.
    ⸻
    quos ita comparatos esse oportet, ut sit primo
    z=xy+x+y,\footnotesize z = xy + x + y,
    そして、それらはまず次の条件を満たさなければならない.
    z=xy+x+y\footnotesize z=xy+x+y
    ⸻
    ; tum vero ut fit 2n(x+y+2)=xy+x+y+1.\footnotesize 2ⁿ(x + y + 2) = xy + x + y + 1.
    さらに、
    2n(x+y+2)=xy+x+y+1\footnotesize 2^n(x+y+2)=xy+x+y+1
    が成り立つものとする.
    ⸻
    Exponente ergo n\footnotesize n ſucceſſive varios tribuerunt valores, ac pro ſingulis ejusmodi indagaverunt numeros primos x\footnotesize x & y\footnotesize y, ut poſteriori æquationi ſatisſaceret: qui ſi ſimul tales fuerint, ut xy+x+y\footnotesize xy+x+y præberet numerum primum, formulæ aſſumtæ 2nxy\footnotesize 2ⁿxy & 2nz\footnotesize 2ⁿz exhibebant numeros amicabiles.
    そこで彼らは指数n\footnotesize nに順次さまざまな値を与え、それぞれについて後者の方程式を満たす素数x\footnotesize xとy\footnotesize yを探し求めた.そして、さらに
    xy+x+y\footnotesize xy+x+y
    も素数となるならば、仮定した公式
    2nxy,2nz\footnotesize 2^nxy,\qquad 2^nz
    は一組の友愛数を与えることになる.
    ⸻
    Facile autem intelligitur, hoc modo ad majores exponentes n\footnotesize n procedendo, mox ad tantos numeros xy+x+y\footnotesize xy+x+y perveniri, qui utrum primi ſint, nec ne, diſcerni amplius nequeat, cum tabula numerorum primorum ultra 100000 nondum habeatur extenta.
    しかし、この方法で指数n\footnotesize nを大きくしていくと、
    xy+x+y\footnotesize xy+x+y
    は急速に非常に大きな数となり、それが素数か否かを判定することが困難になることは容易に理解できる.というのも、当時は十万を超える範囲までの素数表がまだ整備されていなかったからである.
    ⸻
    Perſpicuum autem eſt, hanc quæſtionem præter neceſſitatem non leviter reſtringi, dum numeri amicabiles in his tantum formulis aſſumtis includi aſſumantur.
    しかも、この問題をこのような公式だけに限定して友愛数を求めようとすることは、必要以上に問題を狭めてしまうことは明らかである.
    ⸻
    Quod cum perpendiſſem, vocatis in ſubſidium nonnullis artificiis, ex natura diviſorum petitis, plura alia numerorum amicabilium paria ſum adeptus, quorum cum tribus jam notis triginta hic communicabo;
    そこで私はこの点を十分に考察し、約数の性質から導かれるいくつかの方法を利用することによって、さらに多くの友愛数の組を発見した.ここでは、すでに知られていた三組を含め、全部で三十組を紹介する.
    ⸻
    eos autem, quo eorum origo & natura clarius perſpiciatur, per factores expreſſos exhibebo.
    また、それらの由来と構造がより明瞭になるように、各数を素因数分解した形で示すことにする.
    ⸻
    Sunt igitur numeri amicabiles:
    したがって、友愛数は次のとおりである.
    -------------------------------------------------

    第4章 友愛数30組の一覧

    -------------------------------------------------
    I. 22⋅5⋅11\footnotesize 2^2\cdot5\cdot11&22⋅71\footnotesize 2^2\cdot71
    II. 24⋅23⋅47\footnotesize 2^4\cdot23\cdot47&24⋅1151\footnotesize 2^4\cdot1151
    III. 27⋅191⋅383\footnotesize 2^7\cdot191\cdot383&27⋅73727\footnotesize 2^7\cdot73727
    IV. 22⋅23⋅5⋅137\footnotesize 2^2\cdot23\cdot5\cdot137&22⋅23⋅827\footnotesize 2^2\cdot23\cdot827
    V. 32⋅5⋅13⋅11⋅19\footnotesize 3^2\cdot5\cdot13\cdot11\cdot19&32⋅5⋅13⋅239\footnotesize 3^2\cdot5\cdot13\cdot239
    VI. 32⋅7⋅13⋅5⋅17\footnotesize 3^2\cdot7\cdot13\cdot5\cdot17&32⋅7⋅13⋅107\footnotesize 3^2\cdot7\cdot13\cdot107
    VII. 32⋅72⋅13⋅5⋅41\footnotesize 3^2\cdot7^2\cdot13\cdot5\cdot41&32⋅72⋅13⋅251\footnotesize 3^2\cdot7^2\cdot13\cdot251
    VIII. 22⋅5⋅131\footnotesize 2^2\cdot5\cdot131&22⋅17⋅43\footnotesize 2^2\cdot17\cdot43
    IX. 22⋅5⋅251\footnotesize 2^2\cdot5\cdot251&22⋅13⋅107\footnotesize 2^2\cdot13\cdot107
    X. 23⋅17⋅79\footnotesize 2^3\cdot17\cdot79&23⋅23⋅59\footnotesize 2^3\cdot23\cdot59
    -------------------------------------------------
    XI. 24⋅23⋅1367\footnotesize 2^4\cdot23\cdot1367&24⋅53⋅607\footnotesize 2^4\cdot53\cdot607
    XII. 24⋅17⋅10303\footnotesize 2^4\cdot17\cdot10303&24⋅107⋅1103\footnotesize 2^4\cdot107\cdot1103
    XIII. 24⋅19⋅8563\footnotesize 2^4\cdot19\cdot8563&24⋅83⋅2039\footnotesize 2^4\cdot83\cdot2039
    XIV. 24⋅17⋅5119\footnotesize 2^4\cdot17\cdot5119&24⋅239⋅383\footnotesize 2^4\cdot239\cdot383
    XV. 25⋅59⋅1103\footnotesize 2^5\cdot59\cdot1103&25⋅79⋅827\footnotesize 2^5\cdot79\cdot827
    XVI. 25⋅37⋅12671\footnotesize 2^5\cdot37\cdot12671&25⋅227⋅2111\footnotesize 2^5\cdot227\cdot2111
    XVII. 25⋅53⋅10559\footnotesize 2^5\cdot53\cdot10559&25⋅79⋅7127\footnotesize 2^5\cdot79\cdot7127
    XVIII. 26⋅79⋅11087\footnotesize 2^6\cdot79\cdot11087&26⋅383⋅2309\footnotesize 2^6\cdot383\cdot2309
    XIX. 22⋅11⋅17⋅263\footnotesize 2^2\cdot11\cdot17\cdot263&22⋅11⋅43⋅107\footnotesize 2^2\cdot11\cdot43\cdot107
    XX. 33⋅5⋅7⋅71\footnotesize 3^3\cdot5\cdot7\cdot71&33⋅5⋅17⋅31\footnotesize 3^3\cdot5\cdot17\cdot31
    -------------------------------------------------
    XXI. 32⋅5⋅13⋅29⋅79\footnotesize 3^2\cdot5\cdot13\cdot29\cdot79&32⋅5⋅13⋅11⋅199\footnotesize 3^2\cdot5\cdot13\cdot11\cdot199
    XXII. 32⋅5⋅13⋅19⋅47\footnotesize 3^2\cdot5\cdot13\cdot19\cdot47&32⋅5⋅13⋅29⋅31\footnotesize 3^2\cdot5\cdot13\cdot29\cdot31
    XXIII. 32⋅5⋅13⋅19⋅37⋅1583\footnotesize 3^2\cdot5\cdot13\cdot19\cdot37\cdot1583&32⋅5⋅13⋅19⋅227⋅263\footnotesize 3^2\cdot5\cdot13\cdot19\cdot227\cdot263
    XXIV. 33⋅5⋅31⋅89\footnotesize 3^3\cdot5\cdot31\cdot89&33⋅5⋅7⋅11⋅29\footnotesize 3^3\cdot5\cdot7\cdot11\cdot29
    XXV. 2⋅5⋅7⋅60659\footnotesize 2\cdot5\cdot7\cdot60659&2⋅5⋅23⋅29⋅673\footnotesize 2\cdot5\cdot23\cdot29\cdot673
    XXVI. 23⋅31⋅11867\footnotesize 2^3\cdot31\cdot11867&23⋅11⋅163⋅191\footnotesize 2^3\cdot11\cdot163\cdot191
    XXVII. 32⋅7⋅13⋅23⋅79⋅1103\footnotesize 3^2\cdot7\cdot13\cdot23\cdot79\cdot1103&32⋅7⋅13⋅23⋅11⋅19⋅367\footnotesize 3^2\cdot7\cdot13\cdot23\cdot11\cdot19\cdot367
    XXVIII. 23⋅47⋅2609\footnotesize 2^3\cdot47\cdot2609&23⋅11⋅59⋅173\footnotesize 2^3\cdot11\cdot59\cdot173
    XXIX. 33⋅5⋅23⋅79⋅1103\footnotesize 3^3\cdot5\cdot23\cdot79\cdot1103&33⋅5⋅23⋅11⋅19⋅367\footnotesize 3^3\cdot5\cdot23\cdot11\cdot19\cdot367
    XXX. 32⋅52⋅11⋅59⋅179\footnotesize 3^2\cdot5^2\cdot11\cdot59\cdot179&32⋅52⋅17⋅19⋅359\footnotesize 3^2\cdot5^2\cdot17\cdot19\cdot359
    -------------------------------------------------

    3.  Historical supplement.
    【歴史的補足】

    -------------------------------------------------
    この論文全体の数論史上の位置づけ

    友愛数関係では
    E100 (1747) — 短い速報
    E152 (1750) — 本格的な大論文(約80ページ)
    E798 — 死後出版
    の3本があり

    数学史的にはE152の方がはるかに重要です.
    E152ではオイラーが60組以上の友愛数を与え
    その探索法も詳しく説明しています.

    E100(1747)
    新しい友愛数を発表する速報論文
    1. 友愛数の歴史
       * 古代ギリシャ
       * Thābit ibn Qurra
       * Pierre de Fermat
       * René Descartes
    2. 従来の生成法の限界
    3. 新しく発見した約30組の友愛数を列挙.
    ほとんど証明を書いていません.
    「こんなに見つかった」という発表です.
    -------------------------------------------------

    4. 【古典数学:原論文の講読】

    -------------------------------------------------
    【古典数学:原論文の講読】目次:Contents

    -------------------------------------------------

    5.  Reference【参考文献】

    -------------------------------------------------

    https://scholarlycommons.pacific.edu/cgi/viewcontent.cgi?article=1099&context=euler-works

    -------------------------------------------------

     
     
    ・現実逃避の為にnoteを始める。

    あなたへのおすすめ