Arithmetica Universalis

******（, **普遍算術**、ふへんさんじゅつ）はアイザック・ニュートンによる数学書。原文はニュートンの講義ノートを基にラテン語で書かれ、ニュートンのケンブリッジ大学のルーカス教授職の後任であるウィリアム・ホイストンによって編集、1707年に初版が出版された。

ジョゼフ・ラフソンによる英訳版は1720年に、**' として出版された。また、ラテン語第二版は[[ジョン・マチン]]によって[[1722年]]に出版されている。

ニュートン自身は **' の出版に不満を持っており、彼の名前が記されることを頑なに拒否したため、これらの版のいずれもニュートンの名は著者として記されていない。
実際、ホイストンによる初版が出版されたときニュートンは非常に狼狽し、刊行されたものすべてを買い占め、処分することを考えたという。

**' には代数における記法、算術、[[幾何学]]と[[代数学]]の関係、方程式の解についてが記されている。ニュートンは[[デカルトの符号法則]]を[[複素数]]根について適用し、代数方程式の複素数根の個数が符号律から決まることを、証明なしに要請している。150年間、このニュートンの方法に厳密な証明が与えられることはなかった（[[ジェームス・ジョセフ・シルベスター]]による証明は[[1865年]]。**' のことか）。

## 代数方程式の解について
以下に複素数根の個数について該当する記述を引用する。

この部分を日本語訳すると以下のようになる。

　百十九. 方程式が不可能な根 (複素数根, ) を持たなければ、正の根  と負の根の個数はその方程式の各項の符号から分かるだろう。正の根は、符号の列が  から 、または  から  へ変化する数だけあり、残りは負の根である。
方程式  について、各項に対する符号を  というように並べると、符号の変化は一番目  から二番目 、三番目  から四番目 、四番目  から五番目  にあり、すなわち正の根が 3 つあり、従って 4 つ目の根は負である。しかし方程式が不可能な根を持つ場合には、それらの不可能な根が、正でも負でもなく曖昧なもの  となり得る限りは、この規則は力を持たない。例えば、方程式  は、符号より 1 つの正の根と 2 つの負の根を持つ。ここで 、あるいは 、として先の方程式に掛けると、方程式の正の根は 1 つ増え、次の方程式が得られる。
:
	x^4 - px^3 + p^2x^2 - \left(6p^3 + q\right)x + 2pq = 0,

この方程式は 2 つの正の根と 2 つの負の根を持たなくてはならないが、符号の変化から判断するには、4 つの正の根を持つことになる。従って、符号の曖昧さから、2 つの不可能な根があって、それらは初めの方程式においては負であり、後の方程式では正である。
しかし、この規則から、いくつの根が不可能であるかをまったく知ることができるだろう。


## ニュートン算
ニュートン算 (Newton's pasturage problem) と呼ばれる算術問題は、**' に収録されている問題に由来する。
問題文は次の通りである。

原文 (英語) : 

日本語訳 :
<blockquote>
　問十一.  頭の牛は  の牧草地を  の時間のうちに食べ尽くし、 頭の牛は  の牧草地を  の時間のうちに食べ尽くす。また牧草は一様に育つものとする。牛が  の牧草地を  の時間のうちに食べ尽くすには何頭いればよいか求めよ。
</blockquote>
この直後には、ニュートンによる問題の解説と例題が書かれている。内容は次の通りである。

解説文原文 (英語) : 

日本語訳 : 
<blockquote>
　 頭の牛が  の時間のうちに  の牧草地を食べ尽くすなら、それぞれの数の比から、牧草が時間  の後には少しも成長しないとして、 頭の牛は同じく  の時間のうちに、 頭の牛は  の時間のうちに、また  頭の牛は  の時間のうちに、 の牧草地を食べ尽くすだろう。しかし牧草が育つことによって、 頭の牛だけが  の時間のうちに  の牧草地を食べ尽くすことができて、 の牧草地の牧草が、時間  の間に育つことにより、 頭の牛が  の時間のうちに食べ尽くせる分だけが育ち、それは  頭の牛が  の時間のうちに食べ尽くせるだけと同じ量である。更に比の関係から、 の時間に  割る  つまり  頭の牛が食べ尽くせるだけの牧草が育つ。この増加分を  頭の牛に加えると、 が  の牧草地を  の時間のうちに食べ尽くす牛の頭数である。 そして比から  の牧草地を同じ時間  の間に食べ尽くす牛の数は  であることが求まる。
</blockquote>
例題原文 (英語版) : 

日本語訳 : 
<blockquote>
例題.  頭の牛は  と  エーカーの牧草地を  週間で食べ尽くし、 頭の牛は  エーカーの牧草地を  週間で食べ尽くすとする。 エーカーの牧草地を  週間で食べ尽くす牛の頭数はいくらか。
　答え  頭。求める数は  の , , , , , , ,  をそれぞれ , , , , , , ,  に置き換えることで得られるだろうが、しかし、前述の文字式の解を求めるのとおそらくは同様の手間で、第一原理から解を導くこともできるだろう。 頭の牛が  週間で  と  エーカーの牧草地を食べ尽くすなら、牧草が育たないことを仮定すれば、数の比から  頭の牛が  週間で、 頭の牛が  週間で、 頭の牛が  週間で、 エーカーの牧草地を食べ尽くすことになる。しかし牧草が育つことにより、 頭の牛だけが  週間で  エーカーの牧草地を食べ尽くすことができ、 週間で  エーカーの牧草地に育つ牧草は  頭の牛が食べ尽くす分、つまり  頭の内の  頭が  週間に食べる分を除いた余りと同じだけあり、また同じことだが、 頭の牛が  週間で食べる分と同じである。更に  週間（ 週間から初めの  週間を除いた余り）に増える牧草の量は、 頭の牛が  週間に食べるだけと同じであることも推察できる。 頭の牛は牧草の育った分だけを食べ、 頭の牛が  週間以降に育った牧草以外を食べ、これらを合わせると牛の頭数は  になる。そして最後に、 エーカーの牧草地を  頭の牛が  週間で食べ尽くすなら、比によって、 エーカーの牧草地を  頭の牛は同じ時間で食べ尽くすことが分かる。
</blockquote>

== 1769年英語版の目次 ==
[表題] - [節番号(Article Numb.)]
***Part I**
**Notation (記法) - I.
**Addition ([[加法]]) - XVIII.
**Subtraction ([[減法]]) - XXV.
**Multiplication ([[乗法]]) - XXVIII.
**Division ([[除法]]) - XXXIV.
**Extraction of Roots ([[開平法|開法]]) - XLI.
**Reduction of Fractions ([[分数#演算規則|約分]]) - XLVIII.
**Invention of Divisors ([[約数]]) - XLIX.
**Reduction of Fractions to a common Denominator (通分) - LIX.
**Reduction of Radical Quantities (冪根の簡約化) - LX.
***to their least Terms - LX.
***to the same Denominator - LXI.
***to more simple Radicals, by the Extraction of Roots - LXII.
**Forms of Equations - LXV.
**Reduction of Final Equations - LXVII.
***ordering a Single or Final Equation - LXVII.
**Reduction of Medial Equations - LXXV.
***Transformation of two or more Equations into one, in order to exterminate the unknown Quantities - LXXV.
***Extermination of an unknown Quantity by Equality of its Values - LXXVI.
***Extermination of an unknown Quantity, by substituting its Value for it - LXXVII.
***Extermination of an unknown Quantity of several Dimensions in each Equation - LXXVIII.
***Method of taking away any number of Surd Quantities out of Equations - LXXXI.
**Resolution of Arithmetical Questions - LXXXII.
***How a Question may be brought to an Equation - LXXXII.
****16 Problems
**Resolution of Geometrical Questions - LXXXIII.
***How Geometrical Questions may be reduced to Equations - LXXXIII.
****61 Problems
***Part II**
**Nature of the Roots of Equations - CX.
**Transmutations of Equations - CXXIII.
**Limits of the Roots of Equations - CXXXII.
**Reduction of Equations by Surd Divisors - CXL.
***Appendix*'
**Linear Construction of Equations
**Roots of Numeral Equations by their Limits (by [[:en:Colin_Maclaurin|Colin Maclaurin]])
**Method of Series by which you may approximate to Roots of Literal Equations (by [[:en:Colin_Maclaurin|Colin Maclaurin]])
**Measures of Ratios (by James Maguire)

== 脚注 ==




== 参考文献 ==
*[https://openlibrary.org/books/OL6903153M/Universal_arithmetick_or_A_treatise_of_arithmetical_composition_and_resolution. *Universal arithmetick* from Open Library, published 1769]
*[http://www3.babson.edu/Archives/museums_collections/Universal-Arithmatic.cfm The *Arithmetica Universalis* from the Grace K. Babson Collection, including links to PDFs of English and Latin versions of the *Arithmetica*]
*[http://www.centre.edu/web/library/Newton_two.pdf Centre College Library information on Newton's works]
*[http://resolver.sub.uni-goettingen.de/purl?PPN601923073 J. J. Sylvester, *On the real and imaginary roots of algebraical equations'', 1865, from Goettinger Digitalisierungszentrum (GDZ)]

## 関連項目

* アイザック・ニュートン
* 光学 (アイザック・ニュートン) (Opticks)
* 自然哲学の数学的諸原理（プリンキピア）
* ニュートン算
* コリン・マクローリン
* ブルック・テイラー
* テイラー展開
* テイラーの定理
* 代数学