查看“︁数沙者”︁的源代码

{{Infobox book
| name = Arenarius
| image = File:Arenarius.jpg
| author = 阿基米德
| chinese_name = 数砂者
| language = 拉丁语
| subject = 天文学
| 外文名 = The Sand Reckoner
}}'''数沙者'''（{{Lang-el|Ψαμμίτης}} , ''Psammites'' ），也译作''数砂者''、''算沙者''、''沙数算者''，是公元前[[前3世纪|3 世纪]][[古希腊语|古希腊]]数学家[[阿基米德]]的著作，他在书中着手确定[[宇宙]]中沙粒数量的上限。为了做到这一点，阿基米德必须根据当时的模型估计宇宙的大小，并发明一种谈论极大数字的方法。

该作品在拉丁语中也称为''Arenarius''，翻译后约有八页长，是写给[[锡拉库萨|叙拉古]]国王格洛二世（[[希伦二世|希罗二世]]的儿子）的。它被认为是阿基米德最容易理解的作品。<ref name="v">[http://www.lix.polytechnique.fr/Labo/Ilan.Vardi/sand_reckoner.ps Archimedes, The Sand Reckoner 511 R U, by Ilan Vardi] {{Wayback|url=http://www.lix.polytechnique.fr/Labo/Ilan.Vardi/sand_reckoner.ps |date=20110514130837 }}, accessed 28-II-2007.</ref>






== 命名大数 ==
{| class="wikitable mw-collapsible collapsible collapsed" style="text-align:center;float:right;margin:0 0 0 1ex;"
! colspan="4" style="font-weight:normal;background:none;" |现代计数法中的周期和阶及其区间<ref name="eureka_man">{{cite book|title=Eureka Man: The Life and Legacy of Archimedes|author=Alan Hirshfeld|date=8 September 2009|isbn=9780802719799|url=https://books.google.com/books?id=zbcfLoZKDl8C&pg=PA60|access-date=17 February 2016}}</ref>
|-
!周期
!阶
!区间
!用以10为底的对数表示区间（log<sub>10</sub> ）
|-
| rowspan="6" |'''1'''
|1
|(1, ''Ơ''], where the
''unit of the second order'',

''Ơ'' = 10<sup>8</sup>
|(0, 8]
|-
|2
|(''Ơ'', ''Ơ''<sup>2</sup>]
|(8, 16]
|-
| colspan="3" style="padding:0;line-height:1ex;" |&#xB7;&#xB7;&#xB7;
|-
|''k''
|(''Ơ<sup>k</sup>'' <sup>&#x2212; 1</sup>, ''Ơ<sup>k</sup>'']
|(8''k'' &#x2212; 8, 8''k'']
|-
| colspan="3" style="padding:0;line-height:1ex;" |&#xB7;&#xB7;&#xB7;
|-
|''Ơ''
|(''Ơ<sup>Ơ</sup>'' <sup>&#x2212; 1</sup>, ''Ƥ''], where the
''unit of the second period'',

''Ƥ'' = ''Ơ<sup>Ơ</sup>'' = 10<sup>8{{Exp10|8}}</sup>
|(8{{Exp10|8}} &#x2212; 8, 8{{Exp10|8}}]
= (799,999,992, 800,000,000]
|- style="border-top:2px solid #999999;"
| rowspan="6" |'''2'''
|1
|(''Ƥ'', ''ƤƠ'']
|(8{{Exp10|8}}, 8 &#xD7; (10<sup>8</sup> + 1)]
= (800,000,000, 800,000,008]
|-
|2
|(''ƤƠ'', ''ƤƠ''<sup>2</sup>]
|(8 &#xD7; (10<sup>8</sup> + 1), 8 &#xD7; (10<sup>8</sup> + 2)]
|-
| colspan="3" style="padding:0;line-height:1ex;" |&#xB7;&#xB7;&#xB7;
|-
|''k''
|(''ƤƠ<sup>k</sup>'' <sup>&#x2212; 1</sup>, ''ƤƠ<sup>k</sup>'']
|(8 &#xD7; (10<sup>8</sup> + ''k'' &#x2212; 1), 8 &#xD7; (10<sup>8</sup> + ''k'')]
|-
| colspan="3" style="padding:0;line-height:1ex;" |&#xB7;&#xB7;&#xB7;
|-
|''Ơ''
|(''ƤƠ<sup>Ơ</sup>'' <sup>&#x2212; 1</sup>, ''ƤƠ<sup>Ơ</sup>'']
= (''Ƥ''<sup>2</sup>''Ơ''<sup>&#x2212;1</sup>, ''Ƥ''<sup>2</sup>]
| style="text-align:left;" |(8 &#xD7; (2{{Exp10|8}} &#x2212; 1), 8 &#xD7; (2{{Exp10|8}})]
= (1.6{{Exp10|9}} &#x2212; 8, 1.6{{Exp10|9}}]

= (1,599,999,992, 1,600,000,000]
|-
| colspan="4" style="padding:0;" |&#xB7;&#xB7;&#xB7;
|-
| rowspan="6" |'''''Ơ'''''
|1
|(''Ƥ<sup>Ơ</sup>'' <sup>&#x2212; 1</sup>, ''Ƥ<sup>Ơ</sup>'' <sup>&#x2212; 1</sup>''Ơ'']
| style="text-align:left;" |(8{{Exp10|8}} &#xD7; (10<sup>8</sup> &#x2212; 1),
&nbsp;8 &#xD7; (10<sup>8</sup> &#xD7; (10<sup>8</sup> &#x2212; 1) + 1)]

= (79,999,999,200,000,000,
&nbsp; &nbsp; 79,999,999,200,000,008]
|-
|2
|(''Ƥ<sup>Ơ</sup>'' <sup>&#x2212; 1</sup>''Ơ'', ''Ƥ<sup>Ơ</sup>'' <sup>&#x2212; 1</sup>''Ơ''<sup>2</sup>]
|(8 &#xD7; (10<sup>8</sup> &#xD7; (10<sup>8</sup> &#x2212; 1) + 1),
&nbsp; 8 &#xD7; (10<sup>8</sup> &#xD7; (10<sup>8</sup> &#x2212; 1) + 2)]
|-
| colspan="3" style="padding:0;line-height:1ex;" |&#xB7;&#xB7;&#xB7;
|-
|''k''
|(''Ƥ<sup>Ơ</sup>'' <sup>&#x2212; 1</sup>''Ơ<sup>k</sup>'' <sup>&#x2212; 1</sup>, ''Ƥ<sup>Ơ</sup>'' <sup>&#x2212; 1</sup>''Ơ<sup>k</sup>'']
|(8 &#xD7; (10<sup>8</sup> &#xD7; (10<sup>8</sup> &#x2212; 1) + ''k'' &#x2212; 1),
8 &#xD7; (10<sup>8</sup> &#xD7; (10<sup>8</sup> &#x2212; 1) + ''k'')]
|-
| colspan="3" style="padding:0;line-height:1ex;" |&#xB7;&#xB7;&#xB7;
|-
|''Ơ''
|(''Ƥ<sup>Ơ</sup>'' <sup>&#x2212; 1</sup>''Ơ<sup>Ơ</sup>'' <sup>&#x2212; 1</sup>, ''Ƥ<sup>Ơ</sup>'' <sup>&#x2212; 1</sup>''Ơ<sup>Ơ</sup>'']
= (''Ƥ<sup>Ơ</sup>Ơ''<sup>&#x2212;1</sup>, ''Ƥ<sup>Ơ</sup>'']
| style="text-align:left;" |(8 &#xD7; (2{{Exp10|8}} &#x2212; 1), 8 &#xD7; (2{{Exp10|8}})]
= (8{{Exp10|16}} &#x2212; 8, 8{{Exp10|16}}]

= (79,999,999,999,999,992,
&nbsp; &nbsp; 80,000,000,000,000,000]
|}
首先，阿基米德必须发明一种全新的系统来将当时的计数范围扩大到[[大数 (数学)|大数]]。古希腊使用的计数系统能将数字计到[[萬|万]]（μυριάς - 10,000），由此可利用''“万”''这个数本身作为单位来将其扩展到万万（10<sup>8</sup> ，即一万个万，即亿）<ref name="Analysis">{{Cite book|url=https://www.worldcat.org/oclc/51607350|title=A history of analysis|date=2003|publisher=American Mathematical Society|others=H. N. Jahnke|isbn=0-8218-2623-9|location=Providence, RI|oclc=51607350|pages=22}}</ref>。阿基米德将 10<sup>8</sup>以内的数字称为“''一阶''”，并将 10<sup>8</sup>这一数字本身定义为“''二阶单位''”（即上表中的O'）。二阶单位的倍数就变成了“''二阶''”，直到这个单位被取了万万次，即10<sup>8</sup> ·10<sup>8</sup> =10<sup>16</sup> ，而这一数字就是“''三阶单位''”，其倍数为三阶，依此类推到O'阶。阿基米德以这种方式命名数字，在第一周期最大能够取到第 10 <sup>8</sup>阶单位的万万倍（即上表中的P=<math>{O'}^{O'}</math>)，即(10<sup>8</sup>)^(10<sup>8</sup>)或<math>{10^8}^{10^{8}}</math>。

完成这一任务后，阿基米德将他定义的阶数称为“第一周期的阶数”，并将最后一个阶数称为“第二周期单位“，即 <math>(10^8)^{(10^8)}</math> 。然后，他以类似于构建第一周期阶数的方式，通过取该单位的倍数来构建第二周期阶数。如此下去，他终于达到了万万周期的阶数。阿基米德命名的最大数是这一周期的最后一个数，即

:: <math>\left(\left(10^8\right)^{(10^8)}\right)^{(10^8)}=10^{8\cdot 10^{16}}</math>

描述这个数字的另一种方式利用[[西方的数字命名法|短级差制]]（即在某数位命名系统中，''billion''一词用来表示“十亿”），将1后跟80万亿 (80·10 <sup>15</sup> ) 个0。

阿基米德的大数系统让人想起以 10 <sup>8</sup>为基数的[[进位制]]，这一系统是不凡的，因为古希腊人使用非常简单的[[希腊数字]]系统进行计数，这一计数系统使用 字母表中的27 个字母来表示从1到9的个位数，从10 到90的十位数，以及从100到900的百位数。

=== 指数定律 ===
阿基米德还发现并证明了[[冪|指数定律]]，即 <math>10^a 10^b = 10^{a+b}</math> ，简化了10次幂的计算。

== 估算宇宙的大小 ==
阿基米德随后估算了填充宇宙所需沙粒数量的上限。为此，他使用了古希腊天文学家[[阿里斯塔克斯]]的[[日心说|日心模型]]。虽然阿里斯塔克斯的原作已失传，但是阿基米德的这项估算工作是为数不多的、现存的、引用其理论的参考文献之一，<ref name="a">[http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Aristarchus.html Aristarchus biography at MacTutor] {{Wayback|url=http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Aristarchus.html |date=20190902031606 }}, accessed 26-II-2007.</ref>根据该日心模型理论，当[[地球]]绕太阳[[轨道周期|运行]]时，[[太阳]]保持不动。用阿基米德自己的话说：
{{Quote|他（阿里斯塔克斯）的假设是：恒星和太阳纹丝不动；地球在圆周上围绕太阳旋转，太阳位于轨道的中间；恒星的球体位于与太阳大致相同的中心，非常巨大，以至于他假定地球旋转的圆与恒星的距离成正比，就像球心到球体表面的距离一样。<ref>Arenarius, I., 4–7</ref>}}

该模型尺寸较大的原因是希腊人无法用当时的技术观察[[恆星視差|恒星视差]]，这意味着任何视差都非常小，因此恒星必须放置在距离地球很远的地方（假设[[日心说]]成立）。

根据阿基米德的说法，阿里斯塔克斯没有说明恒星距地球有多远。因此，阿基米德必须做出以下假设

* 宇宙是球形的
* 宇宙直径与地球绕太阳公转道直径之比等于地球绕太阳轨道直公转径与地球直径之比。

这一假设也可以表述为：地球绕其轨道运动造成的恒星视差等于绕地球运动引起的太阳视差。换算成比例

<math>\frac{\text{宇宙的直径}}{\text{地球公转轨道的直径}} = \frac{ \text{地球公转轨道的直径}}{ \text{ 地球的直径}}</math>

为了获得上限，阿基米德对其维度做出了以下假设：

* 地球的周长不超过300万statia（[[Ancient Greek units of measurement|古希腊度量衡]]中的长度单位），5.55·10 <sup>5</sup> km。
* 月球的尺寸不超过地球，太阳的尺寸不超过月球的三十倍。
* 从地球上看，太阳的角直径大于直角的 1/200（π/400[[弧度]]= 0.45 [[度 (角)|° 度]]）。

阿基米德随后得出结论：宇宙的直径不超过10 <sup>14</sup>stadia（以现代单位计算，约为2[[光年]]），并且需要不超过 10 <sup>63</sup>粒沙子来填充它。通过这些测量，阿基米德思想实验中的每粒沙子的直径约为 19 微米（0.019 毫米）。

=== 阿里斯塔克斯宇宙中沙粒数量的计算 ===
阿基米德声称，40颗并排放置的罂粟籽相当于1个希腊dactyl（古希腊度量衡长度单位中的手指宽），长度约为19毫米（3/4 英寸）。由于体积是线性尺寸的立方（“因为已经证明球体的体积是其直径的三倍比”），所以直径为1 dactly的球体将包含（使用我们当前的数字系统) 40<sup>3</sup>或 64,000 颗罂粟种子。

然后他声称（没有证据）每颗罂粟籽中可能含有万粒沙子。将这两个数字相乘，他提出了 640,000,000 作为直径为1 dactly的球体中假设的沙粒数量。

为了便于进一步计算，他将6.4亿四舍五入为10亿，只是需要注意到第一个数字小于第二个数字，因此随后计算出的沙粒数将超过实际沙粒数。应顾及文章的价值是展示如何计算在当时被认为不可能的大数，而不仅仅是准确计算宇宙中沙粒的数量。

希腊体育场的长度为 600 希腊英尺，每英尺长 16 个dactyls，因此体育场内有 9,600 个dactyls。阿基米德将这个数字四舍五入到 10,000（即万）以简化计算，并再次指出所得数字将超过沙粒的实际数量。

10,000 的立方是一万亿（10<sup>12</sup>）；将十亿（dactyl球体中的沙粒数量）乘以万亿（体育场球体中的dactly球体数量）得到 10<sup>21</sup> ，即体育场球体中的沙粒数量

阿基米德估计阿里斯塔克宇宙的直径为 10<sup>14</sup>的体育场，因此宇宙中相应地会有 (10<sup>14</sup> ) <sup>3</sup> 个体育场球体，即10<sup>42</sup>。10<sup>21</sup>乘以10<sup>42</sup>得到10<sup>63</sup>，即阿里斯塔宇宙中沙粒的数量。<ref>Annotated translation of The Sand Reckoner Cal State University, Los Angeles</ref>

根据阿基米德对罂粟种子中含有万（10,000）颗沙粒的估计；在一个dactly球体中包含64,000颗罂粟种子；体育场的长度为 10,000 dactyl；如果采用 19 毫米作为dactyl的宽度，阿基米德典型沙粒的直径将为18.3微米，今天我们称之为一粒[[淤泥]]。目前，最小的沙粒直径被定义为50微米。

=== 其他的计算 ===
阿基米德在他的研究之路中做了一些有趣的实验和计算。一项实验是估计从地球上看到的太阳的角大小。阿基米德的方法特别有趣，由于考虑了眼睛瞳孔的有限大小，<ref>Smith, William — A Dictionary of Greek and Roman Biography and Mythology (1880), p. 272</ref>因此可能是[[心理物理学]]实验的第一个已知例子，心理物理学是处理[[心理物理学|人类感知机制的]][[心理学]]分支，其发展通常是归因于[[赫尔曼·冯·亥姆霍兹]]。另一项有趣的计算考虑了太阳视差以及观察者与太阳之间的不同距离，无论从地球中心或日出时从地球表面观看。这可能是第一个已知的处理太阳视差的计算。<ref name="v2">[http://www.lix.polytechnique.fr/Labo/Ilan.Vardi/sand_reckoner.ps Archimedes, The Sand Reckoner 511 R U, by Ilan Vardi] {{Wayback|url=http://www.lix.polytechnique.fr/Labo/Ilan.Vardi/sand_reckoner.ps |date=20110514130837 }}, accessed 28-II-2007.</ref>

== 引用 ==
{{Quote|有些人，格隆王，认为沙子的数量是无穷无尽的；我所说的沙子不仅指锡拉库扎和西西里岛其他地方的沙子，还包括每个地区的沙子，不管是有人居住的还是无人居住的。另外，有些人虽然不认为沙子是无穷无尽的，但却认为没有任何一个数字足以超过沙子的数量。很显然，持这种观点的人，如果他们想象出一个由沙子组成的、在其他方面和地球一样大的物体，其中包括所有的海洋和地球上的凹地，其高度相当于最高的山峰，那么他们就会更加不承认有任何数字可以表达出超过沙子的数量。

但是，我将尝试用几何证明来向你们表明，在我给宙希波斯的作品中所给出的由我命名的数字中，有些数字不仅超过了以所述方式填满的与地球等大的沙粒的数量，而且还超过了与宇宙等大的沙粒的数量。<ref>Newman, James R. — The World of Mathematics (2000), p. 420</ref>|''Archimedis Syracusani Arenarius & Dimensio Circuli''}}

== 参考资料 ==
<references />

== 扩展阅读 ==

* ''The Sand-Reckoner'', by Gillian Bradshaw. Forge (2000), 348pp, {{isbn|0-312-87581-9}}. 这是一部关于阿基米德的生活和工作的历史小说。

== 外部链接 ==

* [http://www.lix.polytechnique.fr/Labo/Ilan.Vardi/psammites.ps Original Greek text] {{Wayback|url=http://www.lix.polytechnique.fr/Labo/Ilan.Vardi/psammites.ps |date=20231120082903 }}
* [https://web.archive.org/web/20040808005307/http://www.calstatela.edu/faculty/hmendel/Ancient%20Mathematics/Archimedes/SandReckoner/SandReckoner.html ''The Sand Reckoner'' (annotated)]
* [http://www.heinrichfleck.net/Quaderni/quaderni.html ''The Sand Reckoner'' (Arenario) Italian annotated translation, with notes about Archimedes and Greek mathematical notation and unit of measure] {{Wayback|url=http://www.heinrichfleck.net/Quaderni/quaderni.html |date=20160807012336 }}. Source file of the Arenarius Greek text (for LaTeX).
* [http://www.lix.polytechnique.fr/Labo/Ilan.Vardi/sand_reckoner.ps Archimedes, ''The Sand Reckoner'', by Ilan Vardi; includes a literal English version of the original Greek text] {{Wayback|url=http://www.lix.polytechnique.fr/Labo/Ilan.Vardi/sand_reckoner.ps |date=20110514130837 }}
[[Category:古希腊数学]]
[[Category:阿基米德]]
[[Category:古希腊]]