Non DubitoA Mind in Many Languages
Search搜索搜尋
EN

A HUMAN HISTORY OF MATHEMATICS凿构周期律 · 数学鑿構週期律 · 數學 · 04 / 25

Approaching Without Arriving

逼近而不触及

逼近而不觸及

Archimedes could reach exact equality without completing an infinite process—and explained why discovery was not yet proof.

有限次的逼近可以证明精确的相等;发现的办法却不必就是证明。

有限次的逼近可以證明精確的相等;發現的辦法卻不必就是證明。

Han Qin · Independent English edition秦汉 · 简繁中文与独立英文版秦漢 · 簡繁中文與獨立英文版

In this essay篇内目录篇內目錄
  1. 1. A Book Taken Apart
  2. 2. His Own Voice
  3. 3. Three Legends
  4. 4. Two Contradictions, One Exact Result
  5. 5. The Method
  6. 6. Infinity Without a Decree
  7. 7. The Tomb Cicero Says He Found
  8. 8. More Than a Millennium
  1. 一 一本被拆掉的书
  2. 二 他自己的声音
  3. 三 三个传说
  4. 四 双重反证
  5. 五 《方法》
  6. 六 无穷
  7. 七 西塞罗找到的那座墓
  8. 八 一千一百八十年
  1. 一 一本被拆掉的書
  2. 二 他自己的聲音
  3. 三 三個傳說
  4. 四 雙重反證
  5. 五 《方法》
  6. 六 無窮
  7. 七 西塞羅找到的那座墓
  8. 八 一千一百八十年

1. A Book Taken Apart

Early in the thirteenth century, someone needed parchment for a new prayer book. We do not know precisely who made every decision or for which institution the volume was originally intended. We do know what the materials show: older manuscripts were dismantled, their writing partly erased, and their leaves prepared for reuse.

Parchment was expensive. Producing a substantial book required animal skins, labor, and access to suitable materials. An old volume could therefore remain valuable after its contents ceased to be useful to the people holding it. Recycling did not require erasing every trace. It required making the new writing legible enough to serve its purpose.

One of the dismantled books was a tenth-century Greek collection of Archimedes, containing at least seven treatises. Its larger leaves were turned through ninety degrees and folded into the smaller format. Mathematical sentences consequently run across the later prayer-book layout and into folds that concealed them.

Centuries later, those folds would become a conservation problem. Reading the undertext near the spine required taking the book apart again, now that the reused parchment had aged for another seven hundred years. The second disassembly had to undo the consequences of the first without destroying what survived.

A colophon dates the prayer book to April 13, 1229. Its prayers and other evidence point toward Jerusalem or its surroundings. The date is unusually firm; the precise workshop and motives remain less so. Nothing in the evidence requires a campaign against mathematics. Equally, we should not pretend to know the recycler's state of mind. The ordinary economics of parchment provide a sufficient possible explanation without supplying a personal confession.

Archimedes was not the only author reused. The prayer book also incorporates leaves from speeches by an ancient orator, a commentary on Aristotle, and other works. At least seven older books contributed material. From the perspective of the new volume, this was successful manufacture: disparate leaves became a book someone could use.

The old ink did not entirely disappear. Residual material remained in or on the parchment despite washing and scraping. Modern readers could exploit those traces, including the elemental signal from iron-bearing ink. Survival here depended partly on the incompleteness of erasure, not on a continuous decision to preserve the mathematics.

The textual stakes were exceptional. The Method survives through this witness alone. The manuscript also supplies the unique surviving Greek witness to other material, including On Floating Bodies, known through a medieval Latin tradition, and the fragmentary Stomachion, for which related Arabic material also survives. Different kinds of uniqueness should not be collapsed into the claim that everything it contains was otherwise entirely unknown.

The first three essays offered three different relationships between objects and authors: anonymous tablets; named thinkers without autograph objects; a complete transmitted book beside an elusive biography. Here we have both a material object and an author who tells us something specific about his own mathematical work.

But they do not meet in the same century. The parchment collection was copied more than a millennium after Archimedes died. Its stains, folds, glue, and script belong to medieval and later history, not to his desk. Its value comes from the text it transmits and the alternatives it preserves, not from having been touched by the author.

The opening scene is therefore neither a simple tale of destruction nor a miracle of rescue. One use displaced another; material traces survived the change. To recover the mathematical voice, later readers would need to understand both the text and the object that had almost concealed it.

2. His Own Voice

Many works of Archimedes begin by addressing a named correspondent. Their greetings frame mathematical treatises, not merely a few private lines. The texts refer to results sent earlier, proofs supplied later, deaths among colleagues, and expectations about what a recipient could accomplish.

Conon, Dositheus, and Eratosthenes belong to this network. The Sand-Reckoner addresses Gelon, associated with the ruling house of Syracuse, and names Archimedes's father as Phidias. These details have a kind of authority absent from much of the earlier material in this series: the transmitted works represent Archimedes speaking rather than a later biographer explaining what he must have been like.

They do not make every modern biographical claim secure. No early evidence establishes the familiar account of his youthful studies in Alexandria. The claim that he was related to Hieron II is clearly attested only much later, in Plutarch. Marriage, children, property, teachers, and domestic habits remain largely inaccessible.

A restrained outline places a mathematician at Syracuse during the reigns of Hieron II and Gelon, in communication with the eastern Mediterranean mathematical world, especially Alexandria, and killed when Syracuse fell to Rome in 212 BCE. That is enough to locate a life without inventing its private rooms.

The preface to On Spirals gives a sharper sense of academic relations. Writing to Dositheus, Archimedes recalls propositions previously sent to Conon and laments that Conon has been dead for years. He expresses confidence in Conon's ability and disappointment that others have not properly dealt with the problems.

Then he acknowledges that two propositions he circulated were deliberately false. Their purpose was to expose people who claimed to have discovered everything but produced no demonstrations. A person claiming success on an impossible proposition could discredit his own boast.

This is not a later character sketch of a prickly genius. It is part of the author's presentation of his mathematical exchange. Results could circulate before proofs. Claims of independent discovery could be asserted. Reputation depended on distinctions between announcing, finding, and demonstrating.

Calling the episode peer review would import a modern institution that did not exist in this form. The more useful comparison concerns the problem, not the name: how can a community evaluate a claim of priority or competence when the claimant need not display the reasoning? False propositions offered Archimedes one means of making an otherwise slippery boast testable.

Physical distance shaped the exchange. In favorable Mediterranean conditions, a voyage across relevant routes might take days or weeks; winds, season, interruptions, and transshipment could extend it considerably. General estimates sometimes give roughly ten days to two weeks for a favorable passage toward Alexandria from Italy, with much slower return travel.

Those are reconstructions of sailing conditions, not measurements of Archimedes's correspondence. No dispatch log survives. Nor do we know the carrier of each mathematical roll. Merchants, official travelers, or trusted intermediaries provide possibilities, not a documented postal system.

The scale nonetheless helps explain the form of the prefaces. A proposition sent ahead of its demonstration could initiate an exchange lasting months. The next communication needed to state what had already been sent, who had since died, what remained unresolved, and why a proof was now being supplied.

Such practical explanations are suggestive rather than exhaustive. Long prefaces also establish authority and shape a reader's response. But they preserve a social texture that finished theorem-proof sequences often hide.

The resulting figure differs from the absent-minded savant of popular anecdote. This Archimedes cares about the order of publication, the abilities of colleagues, the distribution of credit, and the distinction between a claimed result and a demonstrated one. He is not simply lost in mathematics. He is managing how mathematics travels among other people.

3. Three Legends

The bath, the final words, and the burning mirrors come from other voices. Their dates and evidential problems differ, so they should not be dismissed—or believed—as one package.

Vitruvius, writing in the first century BCE, gives the familiar crown story almost two centuries after Archimedes's death. Hieron suspects that a goldsmith has substituted silver in a votive crown. Archimedes must investigate without destroying it. Water displaced as he enters a bath supplies the insight, followed by an ecstatic run and the famous cry of discovery.

Vitruvius describes comparing the water displaced by equal weights of gold, silver, and the crown. The physical principle is sound: equal masses of materials with different densities occupy different volumes. The difficulty is the particular measuring procedure, especially if only a small fraction of the gold has been replaced.

Galileo argued in his 1586 discussion of the little balance that collecting overflow would be too crude for the required discrimination. Wetting, adhesion, surface effects, splashing, and uncertainty over exactly filling a vessel can rival the volume difference being measured. Later analyses developed these objections.

It is too strong to say that the operation is physically impossible in every conceivable setup. Its success depends on object size, adulteration, apparatus, and precision. The historically responsible criticism is that the familiar account does not establish a sufficiently controlled assay. A correct principle does not authenticate the episode or its procedure.

Hydrostatic weighing offers a more precise alternative by comparing apparent weight in air and water. Galileo explained such a method. Its feasibility does not show that Archimedes actually used it for a crown. Modern reconstruction answers what could work, not what happened.

The death narratives have a different problem: incompatible motives and expanding dialogue. Livy gives a relatively spare account of Archimedes intent on figures when an unrecognizing soldier kills him during the sack. Marcellus regrets the death and honors the family. Valerius Maximus later gives the mathematician a plea that his work not be disturbed.

Plutarch, around the beginning of the second century CE, openly preserves alternatives. In one, Archimedes refuses to leave an unfinished demonstration when ordered to meet Marcellus, provoking the soldier. In another, he asks an approaching killer to wait until the problem is complete. In a third, soldiers mistake mathematical instruments he is carrying for valuables and kill him for plunder.

The celebrated wording about not disturbing his circles is not a securely recorded verbatim last utterance. The surviving variants support a tradition about mathematical absorption amid violence, not a transcript. Nor does their chronological order prove that each author embellished the immediately preceding author. Lost common sources and parallel traditions remain possible.

The mirrors require a third test. Polybius, much nearer the siege, describes defensive machines, projectiles at different ranges, and attacks on ships. Livy gives gripping details of openings in the walls, missiles, and grappling devices capable of lifting and dropping a vessel's bow. Plutarch also emphasizes machinery. These accounts do not describe the familiar array of burning mirrors.

Later references to ships destroyed by fire appear before the detailed mirror tradition. Lucian alludes to burning; Anthemius of Tralles, around the sixth century, belongs to the much later history of explicitly reconstructing burning mirrors. Distance from the siege grows as the optical apparatus becomes more elaborate.

Modern demonstrations show that concentrated sunlight can char or ignite a stationary wooden target. A widely discussed 2005 experiment used 127 roughly one-foot-square mirrors at about thirty meters. Favorable weather and sustained alignment mattered. Accounts of such trials do not establish a practical siege weapon: moving ships, imperfect aim, orientation, range, and clouds radically complicate the task.

The distinction is between optical possibility and military utility. Conventional incendiaries could deliver fire with fewer simultaneous conditions. Neither a successful demonstration nor a failed television experiment by itself decides the ancient history.

All three legends place Archimedes against an external force: a suspicious king, a soldier's weapon, an enemy fleet. His own surviving prefaces instead discuss correspondence, colleagues, and demonstrations. Plutarch explains the missing engineering treatises by portraying Archimedes as disdainful of useful mechanical arts, then links that attitude to stories about Plato's disapproval of mechanical geometry.

That portrait deserves comparison with the author's own Method, where an imagined balance is central to discovery. It does not prove that every report of his philosophical preferences is false. It does prevent a later moralized opposition between pure geometry and mechanics from speaking uncontested on his behalf.

4. Two Contradictions, One Exact Result

The so-called method of exhaustion is often described as adding sides until a polygon becomes infinitely sided and therefore becomes a circle. That image is suggestive, but it misses the logical structure of the classical demonstrations.

Begin with a definite candidate for a curvilinear area, perhaps the area of a specified rectilinear figure. Suppose the actual area is larger. Then there is a particular positive difference between the two. Construct a finite inscribed approximation fine enough that its uncovered remainder is smaller than that difference. Using established geometrical relations, derive incompatible inequalities.

Next suppose the actual area is smaller than the candidate. An appropriate complementary construction yields another contradiction. The precise arrangement varies with the theorem; not every proof has an identical pair of inscribed and circumscribed figures. The essential structure excludes both possible inequalities and leaves equality.

At no point must the polygon acquire an actually infinite number of sides. Every contradiction is reached at a finite stage selected in response to a specified positive discrepancy. The universal strength comes from the guarantee that no proposed positive gap can survive the procedure.

This is the distinction between an image of an endless process and a proof of control. The picture suggests closer and closer approach. The argument establishes that any alleged difference can be defeated by some finite construction. Exactness does not wait for a final infinite operation.

Euclid X.1 provides a standard tool: if more than half of a magnitude is repeatedly removed, the remainder eventually becomes smaller than a prescribed smaller magnitude. Its background includes an Archimedean relation among magnitudes. The point is not to complete infinitely many subtractions; it is to establish a finite stage below any given threshold.

Its position at the beginning of Book X makes it reusable. A proposition about reducing magnitudes can support proofs about many different figures. The later label “exhaustion” collects related techniques that ancient authors did not necessarily present under one unified methodological title.

In Measurement of a Circle, Archimedes proves that a circle has the area of a right triangle whose perpendicular sides equal the radius and circumference. He also bounds the circumference-to-diameter ratio between 3 + 10/71 and 3 + 1/7. Controlled polygonal constructions and square-root estimates produce inequalities, not a decimal asserted to be the circumference itself.

Quadrature of the Parabola establishes that a parabolic segment has four-thirds the area of a particular inscribed triangle. The work offers more than one route, including a mechanical argument involving equilibrium and a geometrical treatment. Its preface already distinguishes discovery by mechanical means from the subsequent organization of a demonstration.

On the Sphere and Cylinder moves the control into three dimensions. The surface area of a sphere is four times the area of its great circle. Its volume is two-thirds that of the circumscribed cylinder of equal radius and height equal to the sphere's diameter. The demonstrations do not simply declare a sphere to be the sum of infinitely thin discs and stop. Finite geometrical comparisons carry the deductive burden.

The standard historical label is commonly traced to Gregory of Saint-Vincent's seventeenth-century work, especially his 1647 treatment of quadratures. The terminology can create the misleading impression of one named invention passed intact from one founder to successors. The ancient materials instead display interrelated practices: proportion, indirect proof, finite approximation, and arbitrarily small remainders.

Archimedes himself gives unusually valuable evidence about credit. In the Method he says that Eudoxus first demonstrated the one-third relation between a cone and the corresponding cylinder, and between a pyramid and the corresponding prism. He also credits Democritus with earlier statements of the results without proof.

This testimony does not supply every detail of their methods. It does show an author distinguishing at least three achievements: stating a result, proving it, and providing a way to discover it. Mathematical credit can be divided because these accomplishments are not identical. The next section concerns the third—and a text whose survival nearly failed.

5. The Method

The work addresses Eratosthenes with a greeting. Archimedes recalls propositions previously sent without demonstrations and now supplies further material. He also explains a mechanical procedure for discovering mathematical relations. Its central instrument is a balance imagined within the reasoning.

Consider a plane figure through parallel line segments, or a solid through parallel sections. Compare corresponding segments or sections, establish relations among their lengths or areas, and imagine arranging the associated weights on a lever. Appropriate distances from the fulcrum make each corresponding pair balance.

The reasoning then passes from the slices to the figures they represent. If all the corresponding parts satisfy the required balance relation, the whole figures appear to bear a determinate relation of weight and therefore of area or volume. Known centers of gravity help turn that equilibrium into the desired result.

The procedure is powerful because it supplies a target. Instead of searching blindly for an exact area, the geometer has a reason to expect one particular relation. But Archimedes expressly distinguishes such discovery from the final demonstration he considers necessary.

This is not merely a later historian deciding that ancient reasoning falls short of modern rigor. The distinction occurs in the author's own methodological statement. Mechanical investigation can reveal a theorem; geometrical proof must then establish it in the required sense.

He explains the practical benefit without mystification. Knowing what conclusion to seek makes finding a proof easier than working without a target. His discussion of Democritus and Eudoxus reinforces the difference between having the right result and possessing its demonstration.

He also explains why he is communicating the procedure. Other mathematicians, including future readers, might use it to discover results he has not found. The text presents method as something transferable, not merely as a retrospective decoration around the author's genius.

Calling this “secret calculus” misses the point. Archimedes is not confessing that he covertly used a forbidden modern theory. He is openly distinguishing two jobs. One procedure generates credible conjectures and directs inquiry. Another secures conclusions by the standards of demonstrative geometry.

That distinction sounds ordinary to readers trained to separate intuition from proof. Its explicit, first-person form is nevertheless unusual among surviving advanced Greek mathematical texts. Most show propositions arranged after the exploratory work is complete. The reader receives a finished road rather than a record of how its builder searched for a route.

The Method lets us hear something closer to “this is how I found it.” Even so, it is not an unedited laboratory notebook. Archimedes has selected examples and crafted an exposition. We should not assume that every false start or actual chronological step appears.

Nor is it the only ancient discussion of discovery. The Quadrature already refers to mechanical and geometrical approaches. Pappus later discusses analysis and synthesis: reasoning from what is sought and then reversing the route into a demonstration. Such comparisons prevent a rhetorical claim of absolute uniqueness from outrunning the archive.

The special value lies in the combination: a major mathematician explicitly differentiates heuristic and demonstrative procedures and explains in detail how they cooperate. The mechanical procedure is not worthless because it is not the final proof. Its value consists partly in reducing the field of possibilities.

The resemblance to seventeenth-century methods of indivisibles is undeniable. Both involve comparing figures through slices or associated collections of lower-dimensional elements. Familiarity can, however, create a false route of transmission.

The Method was not available to the European mathematicians developing those seventeenth-century techniques. It reentered scholarship only after its identification in 1906. Other Archimedean works deeply influenced early modern mathematics; this particular text cannot be treated as a document they read.

The defensible relation is structural comparison, not demonstrated instruction across the centuries. Similar problems can encourage similar techniques without a surviving channel from one formulation to the other. Recovering the Method enlarged our knowledge of ancient reasoning. It did not retroactively put the rediscovered book on Cavalieri's desk.

6. Infinity Without a Decree

In Book III of the Physics, Aristotle distinguishes an infinity that is always available for further continuation from an infinite magnitude already complete. No matter how far one has proceeded, more can be taken or further division made. He argues that mathematicians need not possess a completed infinite quantity in order to work.

That philosophical position fits much of the classical geometrical practice just described. A proof can choose an arbitrarily large but finite construction or reduce a remainder below an arbitrarily prescribed positive magnitude. It does not need a last stage after infinitely many operations.

Compatibility is not a documented command. The tidy causal chain—Zeno creates a difficulty, Aristotle bans actual infinity, mathematicians obey, and exhaustion is invented—does not follow from the sources. Eudoxus belongs to the same century as Aristotle and precedes much of his philosophical writing. His techniques cannot simply be explained as compliance with a later published rule.

No Archimedean preface says that a proof has been designed to satisfy Aristotle's prohibition. It is equally possible that philosophical accounts partly described and interpreted existing mathematical practice. Influence may have worked through a shared intellectual setting rather than through a decree issued to a professional community.

The palimpsest complicates even the generalization that Greek mathematicians never entertained completed infinite collections. Reviel Netz's readings of parts of the Method emphasize passages apparently treating all the relevant lines or sections together, sometimes in language concerning their multiplicity or number.

On that interpretation, Archimedes's heuristic reasoning admits an operational totality of infinitely many elements. Other scholars caution that translating such language into a completed infinite set can import modern set-theoretic commitments not present in the text. A geometrical totality of sections is not automatically a theory of infinite cardinality.

The author's own distinction between mechanical discovery and formal proof also matters. A mode of reasoning used to locate a result need not be an accepted foundation for its demonstration. The same mathematician can permit an exploratory picture and require a different argument before treating the theorem as established.

This is a genuine interpretive dispute, not a choice between mathematical enlightenment and ancient timidity. Scholars are debating the force of particular words and procedures. Some of those words became more legible only through modern recovery of a physically damaged manuscript.

Two blanket claims should therefore be avoided. Greek thought was not governed by an exceptionless rule preventing every actual-infinite idea from entering mathematical inquiry. But Archimedes did not thereby possess modern infinite-set theory. A more defensible formulation describes a preference in formal geometrical demonstration, with a less uniform range of heuristic practices.

The Sand-Reckoner addresses another confusion: the difference between unimaginably large and infinite. Some people, Archimedes says, believe that sand cannot be counted or that no available number could name its quantity. He extends the naming system for numbers and sets generous assumptions about the size of the cosmos.

The task is not to count the actual grains in the universe. It is to show that even filling an enormously enlarged universe with sand would yield a finite quantity within the reach of a constructed numerical vocabulary. The failure of familiar names is not proof of infinity.

The work also preserves an important account of Aristarchus of Samos. Archimedes describes hypotheses in which the Sun and fixed stars remain at rest while the Earth travels around the Sun, with the stellar sphere placed at an immense distance. Aristarchus's own heliocentric treatise is lost.

This is one of the earliest and most explicit surviving technical reports of that proposal, not its only ancient trace. Plutarch and later doxographical traditions also refer to an Earth in motion. The distinction repeats the larger lesson: a uniquely valuable witness need not be the sole witness to everything it mentions.

Archimedes's own words thus complicate the simplified image in several directions. He disciplines approximation without completing an infinite process, explores mechanical totalities whose interpretation remains contested, and constructs numbers large enough to defeat a claim of uncountability. Those are related concerns, not one uniform attitude captured by the word infinity.

7. The Tomb Cicero Says He Found

A more substantial piece of personal evidence comes from Cicero. Plutarch reports that Archimedes wanted the sphere and cylinder placed on his tomb because he prized the result about them. That statement is late. Cicero supplies a different kind of claim: an account of something he says he did himself.

Writing the Tusculan Disputations around 45 BCE, Cicero recalls his service as quaestor in Sicily in 75 BCE. He says the Syracusans no longer knew the location of Archimedes's tomb. Remembering verses and the identifying sphere-and-cylinder device, he searched near the Agrigentine gate and noticed a small column rising through undergrowth.

He had the vegetation cleared and examined a partially damaged inscription. The event he narrates occurred about 137 years after Archimedes's death, but the gap between Cicero's claimed visit and his written recollection was only about thirty years. Those are two different chronological distances.

This is stronger than a report that someone had heard of a bathroom revelation two centuries earlier. Cicero claims personal contact with a site, a marker, vegetation, and an inscription. Yet a first-person claim is not immune to scrutiny. We cannot follow a continuous identity chain from the monument he describes to a securely identified object today.

He might have accepted a local attribution or mistaken a monument. His account is also self-presentational. The cultivated outsider from Arpinum restores to a famous Greek city knowledge of its own greatest intellectual citizen. The local forgetfulness makes the Roman discoverer's learning shine.

The context supplies another reason not to read the passage as a neutral excavation report. Cicero is discussing whether virtue can suffice for happiness. He contrasts the life of the mathematician with that of the Syracusan tyrant Dionysius. Inquiry nourishes one mind; violence and fear poison the other.

The tomb episode gives material form to that moral comparison. The modest figure absorbed in diagrams becomes preferable to the powerful ruler. This literary purpose does not make the visit fictitious, but it helps explain why it is narrated and which features receive emphasis.

The strongest defensible statement is precise: Cicero says that in 75 BCE he found and cleared a tomb which he identified from a sphere-and-cylinder marker and inscription as Archimedes's. The further claim that Archimedes personally ordered that monument design comes from a later source. The two should not be fused into one eyewitness testimony.

The mathematical emblem itself is well chosen. The sphere-and-cylinder relation genuinely belongs to the transmitted Archimedean achievement. That congruence strengthens the identification's intelligibility without removing its historical limits.

Chronology again reveals unequal certainty. The death in 212 BCE is attached to the sack of Syracuse during the Second Punic War and to several accounts placing Archimedes in that setting. The customary birth date around 287 BCE has a much weaker basis.

It is derived from the twelfth-century writer John Tzetzes's statement that Archimedes lived seventy-five years. Subtracting that age from the accepted death year produces a date that later timelines display with deceptively equal confidence. The arithmetic is straightforward; the authority of the age report is not.

This is how a precise-looking year can lose its provenance. A late statement of age becomes an inferred birth year, then a printed range, then an apparently solid biographical fact. Precision of calculation has concealed uncertainty of input.

Absolute dates for individual treatises are also mostly reconstructions. Prefaces give relative order: a result had already been circulated; Conon had died; Dositheus received a subsequent communication; the Method looks back on earlier mechanical findings. That is genuine chronological information, but it does not place a calendar date beneath every work.

The prayer book's colophon is, in this respect, more definite than much of the mathematician's life. April 13, 1229 is physically written into a later object. A confident date may tell us exactly when Archimedes was overwritten while his own sequence of composition remains only partly recoverable.

8. More Than a Millennium

The modern recovery did not begin with a chance visit in 1906. Constantin von Tischendorf saw the palimpsest in Constantinople in the 1840s and noticed mathematical undertext. A leaf from the volume later reached Cambridge University Library through his estate.

In 1899, Athanasios Papadopoulos-Kerameus catalogued the manuscript as number 355 in a collection associated with the Jerusalem patriarchate's Constantinople dependency. He transcribed a few visible lines. Johan Ludvig Heiberg recognized material from On the Sphere and Cylinder and traveled to examine the book in 1906.

Heiberg worked with eyesight, magnification, lighting, and contemporary photography, not modern multispectral equipment. He identified seven Archimedean works, most sensationally the Method. Another visit followed in 1908. A catalogue entry and a trained reader's recognition had opened a text absent from the familiar printed tradition.

The photographic record is easy to miscount. Accounts distinguish individual exposures from photographed pages or openings: roughly sixty-five photographs can cover more than a hundred written sides because some show a double opening. Those images later became witnesses in their own right.

The book deteriorated after Heiberg saw it. Mold destroyed some material; leaves disappeared; later interventions obscured others. A photograph could preserve a reading no longer recoverable from the object. “Consult the original” does not always mean “consult the richest surviving evidence.”

The ownership history between its early twentieth-century examination and its appearance in French private hands is incomplete and contested. At the 1998 sale, the Greek Orthodox side argued that it had left church custody unlawfully; a French family asserted an earlier private acquisition. A real manuscript does not automatically carry a complete provenance.

An anonymous private buyer acquired it at auction in New York for about two million dollars and supported a long program of conservation, imaging, and scholarship at the Walters Art Museum in Baltimore. The public project documentation does not authorize attaching an unverified famous person's name to that owner.

Conservation came before spectacular imaging. The book could not safely be treated as a stack of pages ready for scanning. Modern adhesive in the spine was tenacious, while mold-damaged parchment could be friable. Disbinding proceeded over years, from 2000 to 2004, with the risk that solving one problem might aggravate another.

Multispectral imaging separated information by taking images under different wavelengths and combining their responses. Parchment, the prayer text, and the underlying mathematical ink do not respond identically across ultraviolet, visible, and infrared illumination. Later campaigns used twelve spectral bands and raking light. This was not simply a sharper photograph but an analysis of different physical signals.

Forged images of evangelists added in the twentieth century presented another obstacle. Their models can be traced to a publication of 1929, establishing a lower limit for their manufacture. Paint and gold could block the optical view of writing beneath them.

X-ray fluorescence offered another route. Intense X-rays excite elements in the ink; characteristic emissions can be mapped point by point. Iron distributions helped recover letter forms even under overlying material. Work at the Stanford synchrotron made this technique part of the palimpsest's recovery.

The resulting images did not restore everything. No imaging method can extract writing from parchment and ink that have physically vanished, or read a leaf that is absent from the object being scanned. Statements that technology has recovered the entire book confuse enhancement of surviving signals with reversal of material loss.

The inventory itself continues to change. In October 2025, a missing leaf was identified in the Museum of Fine Arts in Blois by comparison with Heiberg's photographs. It contains material from On the Sphere and Cylinder. The rediscovery was announced in 2026; the recent institutional report confirms that the manuscript's history is still being revised, not merely retold.

The main prayer-book volume is described as containing about 174 parchment leaves—roughly 348 written sides—with leaves around twenty by fifteen centimeters. Counting leaves, pages, and exposures as though they were interchangeable would distort the physical object.

Within the transmission of Archimedes, the tenth-century copy is exceptionally early and sometimes uniquely informative. It is not physically close to his lifetime. Depending on where within that century the copying is placed, well over eleven centuries separate it from 212 BCE; the frequently used figure of about 1,180 years is an approximation, not an exact dated interval.

Its parchment and medieval minuscule are not things Archimedes knew. Much older physical witnesses to Greek mathematics survive, including Roman-period fragments of Euclid. What makes this object extraordinary is the combination of age within its particular tradition, unique textual contents, and recoverable material evidence.

The Method reached us through skins, ink, folding, libraries, cataloguing, travel, photography, conservation, spectral analysis, and X-rays. Chance operated at more than one point; conscious labor operated at many. It would be another neat legend to assign accident exclusively to the medieval scraper and perfect foresight to everyone afterward.

At the beginning stands an act of reuse that nearly removed a text. At the end stands an author's explanation that discovery and proof do different work. The exact equality did not require a polygon finally to become a circle. The survival of that explanation, however, required very particular things to remain: marks, fibers, pages, and readers capable of recognizing what they were seeing.

一 一本被拆掉的书

十三世纪初,有人需要一部新的祈祷书。具体是谁,不知道。为哪一座修道院做的,也只有旁证。

羊皮纸很贵。做一部书要用掉一群牲口的皮,而旧书的皮还能用。于是他找来几部没人再读的旧书,拆掉线,把双叶分开,用刀和水把上面的墨迹刮掉洗淡。

刮的时候不需要刮干净。只要新的字写上去能看清,旧的字淡到不碍事,就够了。这是一个工匠的标准,不是一个销毁者的标准。其中一部,是十世纪在君士坦丁堡抄成的阿基米德。里面至少有七篇作品。

旧书的开本比新书大,所以他把阿基米德的书页转了九十度,再对折成小一号的双叶。原来一整张的一面,在新书里跨成了两页。

于是阿基米德的句子横着走,从一个祈祷页面穿到另一个,中途钻进书脊的折缝里,消失。

这一步造成的后果,七百多年后才有人付账。要看清藏在书脊深处的底层字,就必须把整部祈祷书重新拆开,而那时它已经又老了七个世纪。新书在1229年四月十三日抄完,末尾留下了抄写记录,地点可能在耶路撒冷一带。

没有证据表明这件事出于敌视数学的恶意。没有证据表明这个人知道自己刮掉的是什么,更没有证据表明他敌视希腊科学。羊皮纸贵,旧书没人读,新书要用,就这样。

而且被拆的不止阿基米德一部。同一部祈祷书里后来还找出了一位古代演说家的讲辞,亚里士多德一部著作的古代注释,以及别的书的残片。十三世纪那个人手里,是至少七部旧书的羊皮。他把它们一起变成了一部新书。从材料的角度看,这是一次成功的回收。七部没人读的旧书,变成了一部有人天天用的新书。

但墨迹没有被彻底消灭。铁质的墨渗进过羊皮的纤维,刮不干净。七百年后,有人从祈祷文字底下,把它读了出来。

读出来的过程要到第八节才讲。这里只需要记住一件事:那些字之所以还在,不是因为有人保护了它们,是因为刮不干净。而那七篇里有一篇,除了这一本,全世界再没有第二个见证。

另外还有一篇,这一本保存的是它唯一的希腊文见证。再有一篇,虽然中世纪有拉丁文的传统,但希腊原文只有这一份。

前三篇的物质状况各不相同。第一篇有实物,没有人名。第二篇有人名,没有实物。第三篇有一部逐字可校的书,和一个几乎空白的作者。

这一篇两样都有。一件可以拿在手上,有霉斑,有胶,有折痕的羊皮书。和一个把自己的话写下来,而且写得相当具体的人。两样东西之间隔着一千一百八十年。这个数字后面还会再出现。

二 他自己的声音

阿基米德的很多篇作品前面都有一段致某人的话。这些不是几行私信。它们是以问候开头的数学论著,随着商船,使团或者可信的中间人,装在卷册里跨海送出去。

收信人的名字是可以点出来的。科农,多西修斯,埃拉托色尼。另有一位革隆,是叙拉古的王,《数沙者》写给他。他还在《数沙者》里提到自己的父亲叫菲狄亚斯。这几个名字之所以牢靠,是因为不是后人替他说的,是他自己写下来的。

这一点在前三篇里没有出现过。第一篇的书吏基本上不署名。第二篇的希帕索斯只活在几百年后别人的转述里。第三篇的欧几里得,最早点他名的人比他晚了一百年。到这一篇,终于有一个人自己开口了。而且他开口说的话,和后人替他说的话,内容完全不重叠。

相比之下,现代传记里那些顺手补上的句子,大多没有根据。他年轻时在亚历山大里亚求学,没有任何早期证据。他是希伦二世的亲戚,最早的明确来源是普鲁塔克,而普鲁塔克比他晚了三百多年。

一个不掺传奇的生平大约只有这么多。叙拉古的数学家,活跃于希伦二世和革隆的时代,父亲叫菲狄亚斯,与东地中海尤其是亚历山大里亚的数学圈通信,前212年叙拉古陷落时死亡。婚姻,子女,老师,财产,日常习惯,几乎全是空白。

但那些前言本身留下了别的东西。

《论螺线》的前言写给多西修斯。他先回顾自己早年曾把一些结果送给科农,又说科农去世已经很多年,而那些问题好像没有别人认真处理过。他对科农的评价很高,大意是如果科农活得更久,本来完全可能把它们解决掉。然后是这一段。他承认,过去发出去的那些命题里,他故意混进了两个不可能成立的。

目的不是开玩笑。是为了识别那些声称自己什么都发现了,却始终拿不出证明的人。这样的人如果连假命题也声称已经证明,就会自己暴露。这一段是他本人写的,不是后世关于他性格的轶事。

它说明前三世纪的数学通信已经有了一些相当现代的社会问题。命题可以先流通,证明稍后流通。优先权可以争。声称我也发现了,不等于拿得出证明。而作者会主动设计办法,检验这种声称。

他为什么要这么做,也值得看一眼。他不是怕别人抄袭他的证明,证明还在他手里。他怕的是别人声称已经独立得到了同样的结果,而这种声称在当时无法证伪。寄两个假的出去,声称就变得可以证伪了。

不过也不要把它改写成他设置了同行评审的陷阱。那是给古代制度套上现代的名称。通信的节奏也解释了不少事。

顺风的时候,从意大利到亚历山大里亚可以在十天到两周内完成。逆风回程可能拖到一个月甚至更久。叙拉古正在这条航路上,所以在好季节里把一个卷册送到亚历山大里亚,大致是一到数周的量级。这只是一般航海条件的重建,不是他通信的实测数据。

没有一张他的寄件单存下来。有的只是那个时代地中海航行的一般状况。但足以说明一件事。寄出一个没有证明的命题,等对方研究,再把证明寄过去,一次往返很容易跨过几个月。冬天,风向,战争和中转还会把它拉得更长。先寄命题,以后再寄证明,这个做法之所以会变成数学文本的一部分,物理距离是原因之一。

这也解释了他的序言为什么写得那么长。收信人不在隔壁,一封信要走几周,所以每一次寄出都得把上一轮的事情交代清楚:谁死了,什么已经寄过,什么还没有证,为什么现在才寄。这些交代后来变成了唯一一份关于他学术生活的第一手记录。这些前言里的阿基米德,和后世那个沉浸到忘记吃饭的天才,不是同一个人。

这是一个非常在意证明,传播次序,作者归属,收信人能力和学术信誉的人。

三 三个传说

关于他的另一半,全部来自别人,而且都晚得多。先说洗澡。现存最早的来源是维特鲁威的《建筑十书》,大约写于前一世纪的二三十年代,距前212年约一百八十到一百九十年。

故事很具体。希伦做了一顶献给神的金冠,怀疑工匠掺了银。王冠不能毁,所以要阿基米德想办法。他进浴池的时候看见水随着身体溢出来,忽然想到可以用排水量,兴奋得裸着跑回家,一路喊我发现了。后面接着说他取来同重的纯金和纯银,分别浸进盛满水的容器,比较溢出的水量,再和王冠比。这个故事的破绽和前几篇都不一样。

第一篇的希罗多德,破绽在他自己标了我认为。第二篇的希帕索斯,破绽在异本互相冲突。第三篇那句没有王者之路,破绽在主角可以替换。

这一篇是第四种。故事描述的那个操作,能否达到所需精度,很可疑。

1586年伽利略在《小天平》里就认为,维特鲁威式的接溢水太粗糙了。二十世纪的数学史家又强调了同一个问题。金和银的密度差当然足以造成理论上的体积差,但如果掺银的比例有限,需要可靠测量的往往只是很少的一点水。容器润湿,液面的弯月,黏附,飞溅,以及恰好装满这件事本身,每一样的误差都可能和待测的差值一样大。

争议不在排水原理错没错。原理是对的,而且是他自己的。争议在于维特鲁威描述的那套操作,达不到王室金工鉴定所需要的精度。

这一点让这个故事变得比一般的传说更有意思。它不是凭空编的。它把一个真实的原理,装进了一套精度未经证实的操作里。编故事的人知道结论是对的,只是不知道怎么才能真的做出来。

比较可信的替代方案是静水称重,比较同一个物体在空气中和浸在水里的表观重量,不必去接那一点溢水。伽利略系统讲过这个办法。但这不是前三世纪的材料,不能倒推回去说他实际用的就是这个。现代实验能回答的只有物理上做不做得到,回答不了历史上有没有发生。再说死亡。这一段值得把几个文本并排看,因为所谓最后一句话,是在这个过程里长出来的。

李维大约在前一世纪末,距事件约两百年。他的骨架非常短:城破的混乱里,阿基米德专注于画在尘土上的图形,被一个不认识他的士兵杀死。马尔凯路斯为此悲痛,安排了葬事,并且保护和优待他的亲属。没有对白。动机是误杀。

瓦莱里乌斯·马克西姆斯大约在公元三十年,距事件约二百四十年。他的版本里,阿基米德护住尘土上的图,说了一句话,拉丁文的核心大意是求你,不要弄乱这个。然后被杀。

那句著名的不要扰乱我的圆,不在李维那里,也不以这个形式出现在普鲁塔克那里。它是后来把情境压缩成格言的产物,不是任何现存古代文本里的逐字遗言。

普鲁塔克大约在公元一百年前后,距事件约三百一十年。他最有价值的地方,恰恰是他没有假装自己知道唯一的版本。他连着写了三个。

第一个:士兵命令他去见马尔凯路斯,他坚持要先把问题做完并且作出证明,士兵发怒把他刺死。动机是拒绝服从。

第二个:士兵提剑赶来,他恳求稍等,别让眼前的问题留下未完成的部分。动机是不理会求情。

第三个:他带着日晷,球体和测角的仪器去见马尔凯路斯,士兵以为容器里装的是黄金,因此杀了他。动机是抢劫。三个版本的士兵动机完全不同。

按现存文本的年代,可以排成这样一条线:李维的无对白误杀型,到瓦莱里乌斯的警句型,到普鲁塔克保存的多分支戏剧型。看起来像是故事越来越精彩。

但史料学上不能由此断定后者改写了前者。古代作者可能共同使用了今天已经失传的叙事,而且普鲁塔克明确说有人写道,另有人说,这本身就证明在他之前已经有并行的版本。可以说的是现存的书面见证发生了扩张。不能说已经证明了每一步的借用关系。所谓传说演化,经常只是现存文本越来越晚。这两件事不能自动画等号。

最后是镜子。用镜子把阳光聚起来烧掉罗马舰队,这件事在早期的战争史料里根本没有。

波利比乌斯写于前二世纪中叶,距围城只有六七十年,他的技术骨架是这样的:罗马从海陆两面强攻,海上把战舰并联搭起大型攻城平台,阿基米德一方按不同射程配置投射机器,远处的船遭重石,近处的船遭更小更密的投射物,还有装置从墙后攻击舰船。李维保存的版本更具体,墙上从高到低开了许多小孔,弓箭和小型弩机从里面射出来,铁制的抓钩由伸出墙外的杠杆操纵,可以抬起船首,突然放开,让船猛地砸回水里。强攻失败之后,罗马改为封锁。

这三位都没有提到镜子。

第一层出现在卢奇安,约公元二世纪中叶,距事件约三百七十年,他说阿基米德用火毁船,但没有给出那套著名的镜阵。真正的燃烧镜要到特拉勒斯的安提米乌斯,约公元五百年,距前212年约七百年。

2005年有团队用一百二十七块一英尺见方的镜子,在约三十米的距离对固定的木制目标聚光。理想晴空,目标长时间不动的条件下,可以烧焦甚至起小火,但需要十分钟量级的持续瞄准。后续的大尺度重复测试强调,船在动,镜面瞄准有误差,天气,朝向,距离都会大幅削弱效果。

结论不是光学原理不可能。是作为战场上的纵火武器,它极不实用。同时期直接投射燃烧物要简单得多。三个故事,三种年代距离,而流传最广的都是最晚的那一层。

这三个故事还有一个共同点。它们讲的都是他和某种外部力量打交道的时刻:一个国王的疑心,一个士兵的刀,一支敌军的舰队。

而他自己写下来的那些话里,一次也没有提过这三件事中的任何一件。他写的是谁死了,什么寄出去了,哪一个证明还欠着。

普鲁塔克对这种沉默给过一个解释。他说那些守城的机器是国王希伦再三请求才造的,阿基米德自己并不当回事,只当是几何学玩出来的副产品。他又说,阿基米德把工程和一切为日常需要服务的手艺都看作卑下粗俗,所以不肯留下一篇讲这些器械的文字。普鲁塔克在同一处还讲了一个更早的故事:欧多克索斯和阿尔库塔斯用器械去解几何题,柏拉图很恼火,骂他们败坏了几何,让它从无形的东西掉回到可感的东西里去。阿基米德本人留下的文字里,确实没有一篇讲攻城器械。可是第五节要讲的那封信里,他正是借一架想象中的天平去找面积和体积的。

一个人留下的自述和别人给他编的故事,可以完全不搭界。这一篇是全系列里这两者对照最清楚的一次,因为两边都在,而且都可以查。

四 双重反证

现在看他真正在做的事。穷竭这个词最容易被误写成:不断增加边数,最后边数变成无穷,所以多边形等于圆。古典证明的结构恰好不是这样。先说出一个确定的候选值,比如这块曲边图形的面积应该等于某个已知的直线图形。

然后假定真实面积比它大。既然大,两者之间就有一个确定的正的差。接着作一个内接图形,边数有限,但足够细,细到没有被盖住的那点余量比刚才那个差还小。由已知的几何关系可以推出,这个内接图形同时要满足两个互相冲突的大小关系。矛盾。所以不可能大。

再假定它比候选值小。换成外接的构造,同样做一遍,又是矛盾。所以不可能小。既不能大,也不能小,只剩下相等。整个过程里,边数一次也没有变成无限。这一点值得停一下,因为它正是这套办法最容易被讲错的地方。讲错的版本听起来更顺,而且更接近后来的极限观念,所以它在通俗叙述里几乎总是赢。

多边形的边数越来越多,越来越接近圆,这是直觉图像,也确实是构造的做法。但证明的力量不在这个图像上。证明的力量在于:无论对手给出多小的一个差,都存在一个有限的阶段,能把余量压到那个差以下。一个是过程,一个是保证。用的是后者。这个区别在两千年后还会再出现一次,形态不同,分量更重。

每一次反证面对的都是一个已经指定好的差。要证明的只是:存在某个有限的阶段,能让余量比这个差小。到那个阶段矛盾就发生了,证明结束。

支撑这一步的是《原本》第十卷的第一命题。它说的是,给定两个不相等的量,如果不断从较大的余量里减去超过它一半的部分,并且重复同类操作,那么经过有限次,剩下的量最终会小于一开始给定的那个较小的量。关键不是重复到无穷。是总能在有限次以后跨过任何预先指定的门槛。

这条命题在《原本》里的位置也说明问题。它不在讲圆或者球的那几卷,它在第十卷开头,作为一件工具摆在那里,后面谁要用都可以取。

所以这一篇的题目,严格理解不是永远差一点。是:不把无限的过程完成为一个数学对象,仍然能证明那个唯一的精确等式。用这套办法,他做成了几件事。

《圆的度量》把一个圆的面积,和一个以半径与圆周长为两条直角边的直角三角形的面积,判为相等。同一篇后面给出了圆周与直径之比的上下界,就是后来常写成三又七十一分之十与三又七分之一之间的那一对。那不是拿一个小数去量圆周,是用可控制的有限多边形和平方根估计,形成严格的界限。

《抛物线求积》证明抛物线弓形的面积,等于某个特定内接三角形面积的三分之四。

这一篇特别重要,因为它同时给出了两条路。一条与力学和重心的想法有关,一条是纯几何的。前一条正是他后来在《方法》里回忆的最早的机械发现之一。也就是说,发现与证明这个分工,在《抛物线求积》里已经能看见,只是没有像《方法》那样被点破。一个人把自己的工作方式在两篇里说了两遍,一遍顺带提到,一遍专门写信解释。后一遍差点就没有传下来。

《论球与圆柱》把同样的控制推到三维。球面的面积等于它大圆面积的四倍。球的体积是它外接圆柱体积的三分之二。证明不是把球宣布成无穷薄的圆片之和然后结束,而是用内接外接的几何体和不等关系把误差夹住。

古代文本里没有一个相当于现代教科书标题的统一方法名。欧几里得不会在第十二卷开头说现在使用穷竭法,阿基米德也不会把自己的严格论证总称为某个专名。穷竭这个标签的来源,通常追到1647年格雷瓜尔·德·圣樊尚的一部关于圆与圆锥截线求积的著作。

这不只是词源上的洁癖。名称会制造一种错觉,好像有个人某天发明了一个叫穷竭法的东西,然后传下去。现存材料显示的其实是若干共同的技术:任意给定的差,反证,内外逼近,反复减去足够大的部分,比例理论。这些是后来才被一个统一的名字装进同一个抽屉的。至于这套东西是谁的,最可靠的归属恰恰来自他本人。

《方法》的序言里他说,圆锥是同底同高圆柱的三分之一,棱锥是同底同高棱柱的三分之一,这两类定理是欧多克索斯首先给出证明的。但他马上补了一句:德谟克利特此前已经提出过这些结果,只是没有证明,所以德谟克利特也应该得到不小的功劳。这段话很珍贵,因为它不必依靠几百年后的数学史家去猜。

而且它显示他明确分开了三件事:首先说出结果,首先找到证明,首先提供一种发现的办法。功劳可以分别归给不同的人。

五 《方法》

《方法》的开头是:阿基米德致埃拉托色尼问候。

他先提醒对方,此前自己寄过几个定理,只写了命题,让收信人自己去找证明。现在他把证明送上,同时再说明一种借助力学发现数学结果的办法。这个办法的中心形象是一架天平。

他把一个平面图形想成由大量平行的线段组成,把立体想成由大量平行的截面处理。对每一组对应的线段或者截面,他建立起长度,面积或者重量之间的比例,再把它们想象成放在杠杆上,让不同的部分在不同的力臂上取得平衡。如果所有对应的切片逐一满足平衡关系,他就推断整体的面积或体积之间应该有相应的重量关系,再由已知的重心位置得到目标结果。

然后是这一篇最要紧的一句。他明确说,这不算最终的证明。

不是后世的数学史家嫌它不严格。是作者本人写下来的:用机械方式作出的考察并不提供真正的证明,所以还要用几何方法重新证一遍。

同时他又说,先知道一个结果大致是什么,再去找它的证明,比完全不知道目标的时候容易。他举的例子就是德谟克利特和欧多克索斯。

最后他解释了为什么愿意把这个办法说出去:别人,甚至后世的数学家,可能借它发现他还没有发现的定理。

所以把《方法》说成他偷偷使用微积分只是不敢公开,会错过这篇东西真正惊人的地方。他不是有一种低级的办法和一种高级的办法。他是把两件事分得很清楚。这个区分在今天听起来很普通,因为现代数学教育从一开始就告诉学生,想出来和证出来不是一回事。

但在现存的古代文本里,这句话几乎只有他说过。机械的办法回答的是:这个结果是怎么被发现的,为什么值得相信。几何的证明回答的是:它在严格的意义上为什么成立。两者合作,但地位不同。

他给出的理由也很朴素。先知道目标大概在哪里,再去找路,总比在完全不知道目标的情况下摸索容易。发现的价值不在于它严格,在于它把范围缩小了。这件事在现存的古希腊数学文本里非常罕见。

绝大多数希腊数学著作呈现的是完成之后的命题与证明的秩序。读者看到的是已经修好的路,而不是作者怎样在错误,猜测,试验和类比里找到它。

《方法》让一个第一流的数学家亲口说:我先是这样发现的。我知道这还不能当证明。然后我再去证明。把这套发现的办法告诉你,是为了让你也能找到新的东西。

古代不是绝对没有可比的文本。他自己的《抛物线求积》序言里就已经提到过机械发现与几何论证两条路。帕普斯后来关于分析与综合的说明,也一般性地讨论过怎样从所求倒推再反向综合。

但帕普斯给的是方法论的纲要,不是告诉你某个定理他本人昨天是怎么找到的。差别在于人称。纲要说的是一般应该怎么做,而《方法》说的是我当时是怎么做的。

所以最稳妥的评价不是古代唯一的发现记录,而是:在现存的古希腊高等数学文本里,这是极少数由作者本人明确区分启发式的发现程序与正式的证明程序的材料,而且详细到足以让人看清两者怎样配合。还有一件事必须在这里说清楚,因为它是这一篇最容易滑出去的地方。

《方法》里那种把面积看成线的集合,把体积看成面的集合,再逐片比较的想法,和十七世纪的不可分量法在结构上确实很像。读到那几页,任何熟悉后来那套东西的人都会立刻联想。

但相似不等于传承。

十七世纪的欧洲数学家在发展不可分量法的时候,《方法》并不在他们能读到的任何一部阿基米德文集里。这篇东西一直到1906年才重新进入数学史。

所以《方法》和十七世纪之间不存在一条传授的线。能说的只是:两个相隔一千八百年的时代,面对曲边的面积和体积,各自长出了结构上可以比较的切片想法。而十七世纪的人确实深受另外那些一直在流传的阿基米德著作影响。

六 无穷

亚里士多德在《物理学》第三卷里系统讨论过无穷。

他反对把无穷理解成一个已经全部给出的,完成了的量。他更愿意把它理解成这样一种状态:无论已经走到哪里,总还能再取更多,再分下去。他的表述大意是,无穷不是外面再没有东西的那种东西,而是外面总还有东西的那种东西。他还直接回应过数学。数学家并不因为拒绝实无穷就没法工作,他们只需要取一个任意大但有限的量。

有一条因果链排得非常整齐:芝诺制造无穷的困难,亚里士多德下了禁令,数学家服从禁令,于是发明了穷竭法。现存材料不支持这个故事。

欧多克索斯本来就早于或者与亚里士多德同一个世纪,所以他的技术不可能简单解释成接受了《物理学》之后才设计出来的。欧几里得和阿基米德的严格证明方式确实与潜无穷极度相容,始终保留有限的构造,用任意给定的大小关系完成论证。但没有哪一篇阿基米德的序言说,因为亚里士多德禁止实无穷,所以我这样证。

证据允许的结论是:希腊严格几何的证明实践与那套哲学高度相容,但哲学禁令直接支配数学共同体,缺乏文件证据。

甚至可以反过来问一句。亚里士多德说数学家实际上不需要实无穷,这句话是不是部分地在描述已经存在的数学实践,而不是在给数学家立法。那么希腊数学是不是真的完全回避实无穷。这里有一个真实的争议,而且证据来自这一篇开头那本被拆掉的书。

奈茨根据重写本的新释读提出,在《方法》的某些命题里,阿基米德似乎不只是逐一考虑任意的截线,而是在谈这些线的总体或者数目,并且把它们整体对应起来。按他的解释,这至少是一种操作意义上的实际无穷总体。

反方并不否认那些希腊词。反方质疑的是翻译的层级:从所有截线或者这批线的多重性,跳到一个完成了的无穷集合,可能带进了现代集合论的本体论。而且他本人恰恰说过,机械的办法不构成真正的证明,正式的证明仍然回到有限的论证。

这个争议之所以值得记下来,是因为它有一个不常见的性质:争的是同一批字,而这批字一百二十年前还不存在于任何人的视野里。

所以两句话都需要修正。希腊数学从不允许任何实际无穷的思想进入思考,太强了,《方法》构成反例的压力。阿基米德接受了现代意义的实无穷,也太强了,文本里没有无限集合的理论,更没有现代的基数概念。

比较稳妥的描述是:古希腊规范化的证明倾向于避免把完成了的无限总体当作证明的基础。但数学家发现性的推理和某些语言实践,未必遵守一条绝对无例外的禁令。关于大和无穷的区别,他自己写过一篇更直接的东西。

《数沙者》的出发点几乎带着挑衅。有人认为沙粒的数量是无穷的,或者至少认为根本不存在足够大的数去表达它。于是他设计了一套扩展的大数命名体系,又给宇宙的尺度设了一个极其宽松的上界,最后证明即使把这样一个宇宙填满沙子,沙粒的数量仍然是一个可以命名的有限数。它的意思不是算出宇宙里真有多少沙。是:大到无法想象,和无穷,不是同一回事。

同一篇里还保存了关于萨摩斯的阿里斯塔克的一段。他说阿里斯塔克提出过一组假设,恒星和太阳不动,地球沿圆周绕太阳运行,太阳在轨道中心附近,而恒星球的尺度巨大。阿里斯塔克自己那部日心论著失传了,所以这一段是现存最早,最明确,也最技术化的概述之一。

不过唯一来源这个说法不准确。普鲁塔克后来在《论月面》里也提到过阿里斯塔克让地球运动,晚期的学说汇编还保存着别的痕迹。真正唯一的是:阿里斯塔克本人的日心著作没有存下来。

七 西塞罗找到的那座墓

前面几个传说的证据都很软。现在有一条明显更硬的。普鲁塔克说,阿基米德最珍视球与圆柱那个结果,因此要求友人和亲族把球与圆柱放在他的墓上。这句话本身很软,因为普鲁塔克比他晚了三百一十年左右。

但西塞罗提供了另一层东西。

《图斯库卢姆谈辩》写于前45年左右。他说,自己在前75年任西西里财务官的时候,叙拉古人甚至不知道阿基米德的墓在哪里。他记得有关碑铭的几行诗,也记得球与圆柱这个标志,于是到阿格里真托门附近的墓地去找,看见灌木里露出一根小柱,上面有球和圆柱,就请当地人清理荆棘,辨认出已经部分毁坏的碑文。这是他对自己三十年前那次行动的第一人称回忆。

前75年距他去世约一百三十七年。前45年成文,距他自己所说的那次发现只有约三十年。为什么这一条比洗澡和临终遗言强。

因为他不是说听说两百年前阿基米德曾经如何。他说的是我本人到了那里,依据碑铭的线索找到并清理了一处墓。杂草,柱子,球与圆柱,残碑,这些至少是亲历性的主张。他也说叙拉古人自己已经不知道墓在哪里,而且在这段记述的末尾把这一点落到了自己身上,大意是:希腊最高贵,一度也最有学问的一座城,要不是从一个阿尔皮努姆来的人那里得知,就连自己那位最聪明的公民的墓也不会知道。说当地人都忘了,也是在说找到它的是他。

这段话写在一卷讨论德行够不够让人过得幸福的书里。西塞罗先把同一座城早年的暴君狄奥尼修斯摆出来,再从尘土和画图的小棍旁边,叫出一个他称作卑微的小人物,就是阿基米德。讲完那座墓,他问,大意是:凡是跟缪斯,也就是跟人的教养和学问有一点来往的人,谁不宁愿做这个数学家,也不愿做那个暴君。一个人的心靠推究和探索道理来养,那是灵魂最甜的食物,另一个人的心泡在杀戮和不义里,日日夜夜都怕。

当然它也不是铁证。那座墓今天没有一条可以重新核验的身份链,也不能排除他把一处当地传说中属于阿基米德的墓认错了。

但和维特鲁威那个晚了近两百年的浴室故事,以及瓦莱里乌斯那句晚了二百四十年的最后一句话相比,这一条的史料结构明显更结实。

能说的只有这些:前75年,西塞罗自称找到一处当时被他依据球与圆柱的标志和碑文认定为阿基米德墓的古墓。至于他本人临终前是否提出过这种墓碑设计,只有更晚的普鲁塔克这样说。

不过球与圆柱这个标志本身是硬的。前面提过的那个结果,球与外接圆柱的体积之比,在他的传统里一直带着标志性。所以西塞罗看见的那根柱子上有球和圆柱,这件事至少和数学对得上。顺着这条线还可以看一件事。

他的死年前212年相当可靠。这个年份嵌在第二次布匿战争,叙拉古陷落和马尔凯路斯的军事时间线里,有几条独立的战争史传统把他放在这个围城环境中。他的生年就不一样了。

约前287年这个数字,来自约翰·策策斯,公元十二世纪的人,距前212年约一千三百六十年。策策斯说他活了七十五岁,现代传记再从前212年往回减,得到前287年。那不是一份出生记录,更不是同时代的碑铭。

这类倒推在古代人物身上很常见。一句某某活了多少岁,加上一个可靠的死年,就能生出一个看起来精确的生年。生年一旦被写进年表,就再也不带着它的出处走了。死年比生年可靠得多。这句话在他身上成立,在这一篇涉及的大多数人身上也成立。

各篇著作的绝对年份同样不可靠。从前言里能得到的是相对顺序:哪些命题先寄出,科农在哪一步已经去世,之后寄给了多西修斯,《方法》又回顾了更早的机械发现。把每一篇钉在某个具体年份上的做法,是现代的编年重建,不是手稿上的署年。有意思的是,那部十三世纪祈祷书末尾的抄写记录,反而比这些都硬。1229年四月十三日,写在那里。

八 一千一百八十年

回到那本被拆掉的书。它的重新出现不是1906年某个人偶然走进修道院。

十九世纪四十年代,圣经手稿学者蒂申多夫已经在君士坦丁堡见过这部重写本,注意到底层有数学文字,后来甚至有一叶从他的遗物里进了剑桥。

1899年,希腊学者帕帕多普洛斯编制君士坦丁堡一处属院的藏书目录,把它列为编号三五五,并且抄录了几行可见的底层希腊文。丹麦语言学家海贝格看到这几行,认出它们来自《论球与圆柱》。1906年,他亲自去了君士坦丁堡。

他没有紫外摄影,更没有射线成像。他靠眼睛,放大观察,不同的照明条件,和当时的摄影技术,从与祈祷文字成直角的淡墨里读字。他辨认出七篇作品。最震撼的是此前完全失传的《方法》。

他的摄影覆盖了一百零三个正背书写面,其中有三十八次是打开双页拍的,按曝光计算通常还原成约六十五张照片。

这些照片后来极其重要,因为这本书在二十世纪继续受损。有些1906年他还看得见的字,到1998年已经被霉菌吃掉了。有几叶后来失踪,只剩下他的抄录或者照片。1908年他还研究过这部手稿。之后它什么时候,经过谁的手离开君士坦丁堡,没有连续记录。

1998年拍卖引发诉讼的时候,希腊正教会方面认为它是在二十世纪的动乱中非法离开教会收藏的。法国一个家族一方则声称家中在二十世纪二十年代就已经取得。可以确认的是它至少到二十世纪中叶已经在法国的私人收藏里,而1908年到那个阶段之间的所有权链存在真正的缺口。

一件手稿即使有实物,实物也不会自动提供自己的履历。物可以是真物,来路仍然可以是断的。

1998年,它在纽约的拍卖行公开拍卖,一位匿名的美国私人收藏者以约两百万美元买下。买家的身份至今没有可靠的公开确认。网上流传很久的那个名字,追不到来源。一份两千年前的手稿,现在归谁所有,反而是这整段历史里最查不到的一环。随后收藏者把手稿交给巴尔的摩的一家美术馆的团队做保护,成像和研究,并且为长期项目提供资金。1998年的书况糟到不能直接拿去扫描。

保护师先花了好几年把它解装。困难之一是二十世纪的重装订者在书脊用了类似木工白胶的现代黏合剂,这种胶比羊皮本身还韧,很难在不撕裂羊皮的情况下去掉。霉菌区正相反,胶原纤维已经粉化,轻轻一碰就可能失去材料。整个拆解从2000年做到2004年。

多光谱成像的原理不是拍一张更清楚的照片。是在紫外,可见和红外等多个波段分别拍摄,再利用羊皮,十三世纪的祈祷墨和十世纪的底层墨不同的光谱响应,用算法把图像组合起来。团队从早期较低分辨率的实验,逐步做到十二个波段加侧向照明。

可是二十世纪还有人在若干页上加了伪造的拜占庭式福音书作者画像。团队通过图像来源判断,这些画不可能早于1929年,因为它们复制了那一年出版的一部希腊手稿图像。颜料和金层把光学成像挡住了。

于是他们转向另一种办法。用同步辐射产生的高能射线激发墨里的元素,再逐点测量荧光信号。铁元素的分布尤其能勾出原先的墨迹,即使上面盖着祈祷文字甚至颜料,仍然可以把底层的字母画出来。斯坦福的同步辐射光源就是这样读出了伪画底下的文字。

现代技术已经把整本书全部读完,这句话不对。成像可以增强还存在的物质信号,不能复原已经被霉菌彻底毁掉的羊皮和墨迹,也不能读取当时已经遗失的书页。保护记录明确说明,有大片霉损区的文字已经在物质上消失了。

还有一个尾声。原来失踪的三张叶里,有一张已经在法国一家美术馆被重新认出来,与1906年海贝格的照片相合,内容涉及《论球与圆柱》。失踪页的数量和状态,在二十一世纪仍然会变。也就是说,这件东西的清单到今天还没有定稿。

现存的祈祷书主体大约有一百七十四张羊皮叶,也就是约三百四十八个正背书写面,单叶大约二十厘米乘十五厘米的量级。它是一部真正可以拆装,折叠,霉变,沾蜡,被胶黏坏的羊皮书,不是一个抽象的文本。

最后要纠正一个说法。它常被称为最接近阿基米德本人的希腊数学实物。这个说法把两件事混在了一起。

在阿基米德文本的传承内部,它确实异常早,比其他已知的中世纪阿基米德抄本传统约早四百年,某些图形可能因此比晚出的抄本更接近古代的原型。

但从物理年代看,它一点也不接近他本人。十世纪的抄本距前212年约一千一百八十年。这块羊皮,这位十世纪抄写者的墨,这些小楷字,都不是阿基米德摸过的东西。而且十世纪的希腊小写字体,甚至不是他那个时代的人会使用的那套书写系统。

比它早得多的希腊数学实物当然存在。埃及出土的一片《原本》第二卷残页,通常定在公元一世纪末到二世纪初,就算取较晚的一端,也比这部重写本早八百年以上。

所以《方法》能活到今天,靠的不是一个抽象的传统把它漂过来。

靠的是动物的皮,铁质的墨,一个人转了九十度的折叠,一间修道院的库房,一份目录,一次远行,六十五张玻璃底片,一场拍卖,几年的拆解,十二个波段的光,和一束同步辐射。其中任何一环断掉,那一页阿基米德亲口说出发现与证明分工的话,今天就不存在。

而在这条链子的最前端,站着一个刮墨的人。他是否理解被覆盖文字的内容,现有材料不能确定。他只是没有把墨刮干净。这条链子上既有偶然的存留,也有一代代人有意识的辨认与保护;两者并不能逐环截然分开。

数还在往下算,而什么算数学,还没有算清楚过。

一 一本被拆掉的書

十三世紀初,有人需要一部新的祈禱書。具體是誰,不知道。為哪一座修道院做的,也只有旁證。

羊皮紙很貴。做一部書要用掉一群牲口的皮,而舊書的皮還能用。於是他找來幾部沒人再讀的舊書,拆掉線,把雙葉分開,用刀和水把上面的墨跡刮掉洗淡。

刮的時候不需要刮乾淨。只要新的字寫上去能看清,舊的字淡到不礙事,就夠了。這是一個工匠的標準,不是一個銷毀者的標準。其中一部,是十世紀在君士坦丁堡抄成的阿基米德。裡面至少有七篇作品。

舊書的開本比新書大,所以他把阿基米德的書頁轉了九十度,再對折成小一號的雙葉。原來一整張的一面,在新書裡跨成了兩頁。

於是阿基米德的句子橫著走,從一個祈禱頁面穿到另一個,中途鑽進書脊的折縫里,消失。

這一步造成的後果,七百多年後才有人付賬。要看清藏在書脊深處的底層字,就必須把整部祈禱書重新拆開,而那時它已經又老了七個世紀。新書在1229年四月十三日抄完,末尾留下了抄寫記錄,地點可能在耶路撒冷一帶。

沒有證據表明這件事出於敵視數學的惡意。沒有證據表明這個人知道自己刮掉的是什麼,更沒有證據表明他敵視希臘科學。羊皮紙貴,舊書沒人讀,新書要用,就這樣。

而且被拆的不止阿基米德一部。同一部祈禱書裡後來還找出了一位古代演說家的講辭,亞里士多德一部著作的古代注釋,以及別的書的殘片。十三世紀那個人手裡,是至少七部舊書的羊皮。他把它們一起變成了一部新書。從材料的角度看,這是一次成功的回收。七部沒人讀的舊書,變成了一部有人天天用的新書。

但墨跡沒有被徹底消滅。鐵質的墨滲進過羊皮的纖維,刮不乾淨。七百年後,有人從祈禱文字底下,把它讀了出來。

讀出來的過程要到第八節才講。這裡只需要記住一件事:那些字之所以還在,不是因為有人保護了它們,是因為刮不乾淨。而那七篇裡有一篇,除了這一本,全世界再沒有第二個見證。

另外還有一篇,這一本保存的是它唯一的希臘文見證。再有一篇,雖然中世紀有拉丁文的傳統,但希臘原文只有這一份。

前三篇的物質狀況各不相同。第一篇有實物,沒有人名。第二篇有人名,沒有實物。第三篇有一部逐字可校的書,和一個幾乎空白的作者。

這一篇兩樣都有。一件可以拿在手上,有霉斑,有膠,有折痕的羊皮書。和一個把自己的話寫下來,而且寫得相當具體的人。兩樣東西之間隔著一千一百八十年。這個數字後面還會再出現。

二 他自己的聲音

阿基米德的很多篇作品前面都有一段致某人的話。這些不是幾行私信。它們是以問候開頭的數學論著,隨著商船,使團或者可信的中間人,裝在卷冊里跨海送出去。

收信人的名字是可以點出來的。科農,多西修斯,埃拉托色尼。另有一位革隆,是敘拉古的王,《數沙者》寫給他。他還在《數沙者》里提到自己的父親叫菲狄亞斯。這幾個名字之所以牢靠,是因為不是後人替他說的,是他自己寫下來的。

這一點在前三篇裡沒有出現過。第一篇的書吏基本上不署名。第二篇的希帕索斯只活在幾百年後別人的轉述里。第三篇的歐幾里得,最早點他名的人比他晚了一百年。到這一篇,終於有一個人自己開口了。而且他開口說的話,和後人替他說的話,內容完全不重疊。

相比之下,現代傳記裡那些順手補上的句子,大多沒有根據。他年輕時在亞歷山大里亞求學,沒有任何早期證據。他是希倫二世的親戚,最早的明確來源是普魯塔克,而普魯塔克比他晚了三百多年。

一個不摻傳奇的生平大約只有這麼多。敘拉古的數學家,活躍於希倫二世和革隆的時代,父親叫菲狄亞斯,與東地中海尤其是亞歷山大里亞的數學圈通信,前212年敘拉古陷落時死亡。婚姻,子女,老師,財產,日常習慣,幾乎全是空白。

但那些前言本身留下了別的東西。

《論螺線》的前言寫給多西修斯。他先回顧自己早年曾把一些結果送給科農,又說科農去世已經很多年,而那些問題好像沒有別人認真處理過。他對科農的評價很高,大意是如果科農活得更久,本來完全可能把它們解決掉。然後是這一段。他承認,過去發出去的那些命題里,他故意混進了兩個不可能成立的。

目的不是開玩笑。是為了識別那些聲稱自己什麼都發現了,卻始終拿不出證明的人。這樣的人如果連假命題也聲稱已經證明,就會自己暴露。這一段是他本人寫的,不是後世關於他性格的軼事。

它說明前三世紀的數學通信已經有了一些相當現代的社會問題。命題可以先流通,證明稍後流通。優先權可以爭。聲稱我也發現了,不等於拿得出證明。而作者會主動設計辦法,檢驗這種聲稱。

他為什麼要這麼做,也值得看一眼。他不是怕別人抄襲他的證明,證明還在他手裡。他怕的是別人聲稱已經獨立得到了同樣的結果,而這種聲稱在當時無法證偽。寄兩個假的出去,聲稱就變得可以證偽了。

不過也不要把它改寫成他設置了同行評審的陷阱。那是給古代制度套上現代的名稱。通信的節奏也解釋了不少事。

順風的時候,從意大利到亞歷山大里亞可以在十天到兩周內完成。逆風回程可能拖到一個月甚至更久。敘拉古正在這條航路上,所以在好季節裡把一個卷冊送到亞歷山大里亞,大致是一到數周的量級。這只是一般航海條件的重建,不是他通信的實測數據。

沒有一張他的寄件單存下來。有的只是那個時代地中海航行的一般狀況。但足以說明一件事。寄出一個沒有證明的命題,等對方研究,再把證明寄過去,一次往返很容易跨過幾個月。冬天,風向,戰爭和中轉還會把它拉得更長。先寄命題,以後再寄證明,這個做法之所以會變成數學文本的一部分,物理距離是原因之一。

這也解釋了他的序言為什麼寫得那麼長。收信人不在隔壁,一封信要走幾周,所以每一次寄出都得把上一輪的事情交代清楚:誰死了,什麼已經寄過,什麼還沒有證,為什麼現在才寄。這些交代後來變成了唯一一份關於他學術生活的第一手記錄。這些前言裡的阿基米德,和後世那個沈浸到忘記吃飯的天才,不是同一個人。

這是一個非常在意證明,傳播次序,作者歸屬,收信人能力和學術信譽的人。

三 三個傳說

關於他的另一半,全部來自別人,而且都晚得多。先說洗澡。現存最早的來源是維特魯威的《建築十書》,大約寫於前一世紀的二三十年代,距前212年約一百八十到一百九十年。

故事很具體。希倫做了一頂獻給神的金冠,懷疑工匠摻了銀。王冠不能毀,所以要阿基米德想辦法。他進浴池的時候看見水隨著身體溢出來,忽然想到可以用排水量,興奮得裸著跑回家,一路喊我發現了。後面接著說他取來同重的純金和純銀,分別浸進盛滿水的容器,比較溢出的水量,再和王冠比。這個故事的破綻和前幾篇都不一樣。

第一篇的希羅多德,破綻在他自己標了我認為。第二篇的希帕索斯,破綻在異本互相衝突。第三篇那句沒有王者之路,破綻在主角可以替換。

這一篇是第四種。故事描述的那個操作,能否達到所需精度,很可疑。

1586年伽利略在《小天平》里就認為,維特魯威式的接溢水太粗糙了。二十世紀的數學史家又強調了同一個問題。金和銀的密度差當然足以造成理論上的體積差,但如果摻銀的比例有限,需要可靠測量的往往只是很少的一點水。容器潤濕,液面的彎月,黏附,飛濺,以及恰好裝滿這件事本身,每一樣的誤差都可能和待測的差值一樣大。

爭議不在排水原理錯沒錯。原理是對的,而且是他自己的。爭議在於維特魯威描述的那套操作,達不到王室金工鑒定所需要的精度。

這一點讓這個故事變得比一般的傳說更有意思。它不是憑空編的。它把一個真實的原理,裝進了一套精度未經證實的操作里。編故事的人知道結論是對的,只是不知道怎麼才能真的做出來。

比較可信的替代方案是靜水稱重,比較同一個物體在空氣中和浸在水裡的表觀重量,不必去接那一點溢水。伽利略系統講過這個辦法。但這不是前三世紀的材料,不能倒推回去說他實際用的就是這個。現代實驗能回答的只有物理上做不做得到,回答不了歷史上有沒有發生。再說死亡。這一段值得把幾個文本並排看,因為所謂最後一句話,是在這個過程裡長出來的。

李維大約在前一世紀末,距事件約兩百年。他的骨架非常短:城破的混亂里,阿基米德專注於畫在塵土上的圖形,被一個不認識他的士兵殺死。馬爾凱路斯為此悲痛,安排了葬事,並且保護和優待他的親屬。沒有對白。動機是誤殺。

瓦萊里烏斯·馬克西姆斯大約在公元三十年,距事件約二百四十年。他的版本裡,阿基米德護住塵土上的圖,說了一句話,拉丁文的核心大意是求你,不要弄亂這個。然後被殺。

那句著名的不要擾亂我的圓,不在李維那裡,也不以這個形式出現在普魯塔克那裡。它是後來把情境壓縮成格言的產物,不是任何現存古代文本裡的逐字遺言。

普魯塔克大約在公元一百年前後,距事件約三百一十年。他最有價值的地方,恰恰是他沒有假裝自己知道唯一的版本。他連著寫了三個。

第一個:士兵命令他去見馬爾凱路斯,他堅持要先把問題做完並且作出證明,士兵發怒把他刺死。動機是拒絕服從。

第二個:士兵提劍趕來,他懇求稍等,別讓眼前的問題留下未完成的部分。動機是不理會求情。

第三個:他帶著日晷,球體和測角的儀器去見馬爾凱路斯,士兵以為容器里裝的是黃金,因此殺了他。動機是搶劫。三個版本的士兵動機完全不同。

按現存文本的年代,可以排成這樣一條線:李維的無對白誤殺型,到瓦萊里烏斯的警句型,到普魯塔克保存的多分支戲劇型。看起來像是故事越來越精彩。

但史料學上不能由此斷定後者改寫了前者。古代作者可能共同使用了今天已經失傳的敘事,而且普魯塔克明確說有人寫道,另有人說,這本身就證明在他之前已經有並行的版本。可以說的是現存的書面見證發生了擴張。不能說已經證明了每一步的借用關係。所謂傳說演化,經常只是現存文本越來越晚。這兩件事不能自動畫等號。

最後是鏡子。用鏡子把陽光聚起來燒掉羅馬艦隊,這件事在早期的戰爭史料裡根本沒有。

波利比烏斯寫於前二世紀中葉,距圍城只有六七十年,他的技術骨架是這樣的:羅馬從海陸兩面強攻,海上把戰艦並聯搭起大型攻城平台,阿基米德一方按不同射程配置投射機器,遠處的船遭重石,近處的船遭更小更密的投射物,還有裝置從牆後攻擊艦船。李維保存的版本更具體,牆上從高到低開了許多小孔,弓箭和小型弩機從裡面射出來,鐵制的抓鈎由伸出牆外的槓桿操縱,可以抬起船首,突然放開,讓船猛地砸回水裡。強攻失敗之後,羅馬改為封鎖。

這三位都沒有提到鏡子。

第一層出現在盧奇安,約公元二世紀中葉,距事件約三百七十年,他說阿基米德用火毀船,但沒有給出那套著名的鏡陣。真正的燃燒鏡要到特拉勒斯的安提米烏斯,約公元五百年,距前212年約七百年。

2005年有團隊用一百二十七塊一英尺見方的鏡子,在約三十米的距離對固定的木制目標聚光。理想晴空,目標長時間不動的條件下,可以燒焦甚至起小火,但需要十分鐘量級的持續瞄准。後續的大尺度重復測試強調,船在動,鏡面瞄准有誤差,天氣,朝向,距離都會大幅削弱效果。

結論不是光學原理不可能。是作為戰場上的縱火武器,它極不實用。同時期直接投射燃燒物要簡單得多。三個故事,三種年代距離,而流傳最廣的都是最晚的那一層。

這三個故事還有一個共同點。它們講的都是他和某種外部力量打交道的時刻:一個國王的疑心,一個士兵的刀,一支敵軍的艦隊。

而他自己寫下來的那些話裡,一次也沒有提過這三件事中的任何一件。他寫的是誰死了,什麼寄出去了,哪一個證明還欠著。

普魯塔克對這種沈默給過一個解釋。他說那些守城的機器是國王希倫再三請求才造的,阿基米德自己並不當回事,只當是幾何學玩出來的副產品。他又說,阿基米德把工程和一切為日常需要服務的手藝都看作卑下粗俗,所以不肯留下一篇講這些器械的文字。普魯塔克在同一處還講了一個更早的故事:歐多克索斯和阿爾庫塔斯用器械去解幾何題,柏拉圖很惱火,罵他們敗壞了幾何,讓它從無形的東西掉回到可感的東西里去。阿基米德本人留下的文字裡,確實沒有一篇講攻城器械。可是第五節要講的那封信裡,他正是借一架想象中的天平去找面積和體積的。

一個人留下的自述和別人給他編的故事,可以完全不搭界。這一篇是全系列裡這兩者對照最清楚的一次,因為兩邊都在,而且都可以查。

四 雙重反證

現在看他真正在做的事。窮竭這個詞最容易被誤寫成:不斷增加邊數,最後邊數變成無窮,所以多邊形等於圓。古典證明的結構恰好不是這樣。先說出一個確定的候選值,比如這塊曲邊圖形的面積應該等於某個已知的直線圖形。

然後假定真實面積比它大。既然大,兩者之間就有一個確定的正的差。接著作一個內接圖形,邊數有限,但足夠細,細到沒有被蓋住的那點餘量比剛才那個差還小。由已知的幾何關係可以推出,這個內接圖形同時要滿足兩個互相衝突的大小關係。矛盾。所以不可能大。

再假定它比候選值小。換成外接的構造,同樣做一遍,又是矛盾。所以不可能小。既不能大,也不能小,只剩下相等。整個過程裡,邊數一次也沒有變成無限。這一點值得停一下,因為它正是這套辦法最容易被講錯的地方。講錯的版本聽起來更順,而且更接近後來的極限觀念,所以它在通俗敘述裡幾乎總是贏。

多邊形的邊數越來越多,越來越接近圓,這是直覺圖像,也確實是構造的做法。但證明的力量不在這個圖像上。證明的力量在於:無論對手給出多小的一個差,都存在一個有限的階段,能把餘量壓到那個差以下。一個是過程,一個是保證。用的是後者。這個區別在兩千年後還會再出現一次,形態不同,分量更重。

每一次反證面對的都是一個已經指定好的差。要證明的只是:存在某個有限的階段,能讓餘量比這個差小。到那個階段矛盾就發生了,證明結束。

支撐這一步的是《原本》第十卷的第一命題。它說的是,給定兩個不相等的量,如果不斷從較大的餘量里減去超過它一半的部分,並且重復同類操作,那麼經過有限次,剩下的量最終會小於一開始給定的那個較小的量。關鍵不是重復到無窮。是總能在有限次以後跨過任何預先指定的門檻。

這條命題在《原本》里的位置也說明問題。它不在講圓或者球的那幾卷,它在第十卷開頭,作為一件工具擺在那裡,後面誰要用都可以取。

所以這一篇的題目,嚴格理解不是永遠差一點。是:不把無限的過程完成為一個數學對象,仍然能證明那個唯一的精確等式。用這套辦法,他做成了幾件事。

《圓的度量》把一個圓的面積,和一個以半徑與圓周長為兩條直角邊的直角三角形的面積,判為相等。同一篇後面給出了圓周與直徑之比的上下界,就是後來常寫成三又七十一分之十與三又七分之一之間的那一對。那不是拿一個小數去量圓周,是用可控制的有限多邊形和平方根估計,形成嚴格的界限。

《拋物線求積》證明拋物線弓形的面積,等於某個特定內接三角形面積的三分之四。

這一篇特別重要,因為它同時給出了兩條路。一條與力學和重心的想法有關,一條是純幾何的。前一條正是他後來在《方法》里回憶的最早的機械發現之一。也就是說,發現與證明這個分工,在《拋物線求積》里已經能看見,只是沒有像《方法》那樣被點破。一個人把自己的工作方式在兩篇裡說了兩遍,一遍順帶提到,一遍專門寫信解釋。後一遍差點就沒有傳下來。

《論球與圓柱》把同樣的控制推到三維。球面的面積等於它大圓面積的四倍。球的體積是它外接圓柱體積的三分之二。證明不是把球宣佈成無窮薄的圓片之和然後結束,而是用內接外接的幾何體和不等關係把誤差夾住。

古代文本裡沒有一個相當於現代教科書標題的統一方法名。歐幾里得不會在第十二卷開頭說現在使用窮竭法,阿基米德也不會把自己的嚴格論證總稱為某個專名。窮竭這個標籤的來源,通常追到1647年格雷瓜爾·德·聖樊尚的一部關於圓與圓錐截線求積的著作。

這不只是詞源上的潔癖。名稱會製造一種錯覺,好像有個人某天發明了一個叫窮竭法的東西,然後傳下去。現存材料顯示的其實是若干共同的技術:任意給定的差,反證,內外逼近,反復減去足夠大的部分,比例理論。這些是後來才被一個統一的名字裝進同一個抽屜的。至於這套東西是誰的,最可靠的歸屬恰恰來自他本人。

《方法》的序言裡他說,圓錐是同底同高圓柱的三分之一,稜錐是同底同高稜柱的三分之一,這兩類定理是歐多克索斯首先給出證明的。但他馬上補了一句:德謨克利特此前已經提出過這些結果,只是沒有證明,所以德謨克利特也應該得到不小的功勞。這段話很珍貴,因為它不必依靠幾百年後的數學史家去猜。

而且它顯示他明確分開了三件事:首先說出結果,首先找到證明,首先提供一種發現的辦法。功勞可以分別歸給不同的人。

五 《方法》

《方法》的開頭是:阿基米德致埃拉托色尼問候。

他先提醒對方,此前自己寄過幾個定理,只寫了命題,讓收信人自己去找證明。現在他把證明送上,同時再說明一種借助力學發現數學結果的辦法。這個辦法的中心形象是一架天平。

他把一個平面圖形想成由大量平行的線段組成,把立體想成由大量平行的截面處理。對每一組對應的線段或者截面,他建立起長度,面積或者重量之間的比例,再把它們想象成放在槓桿上,讓不同的部分在不同的力臂上取得平衡。如果所有對應的切片逐一滿足平衡關係,他就推斷整體的面積或體積之間應該有相應的重量關係,再由已知的重心位置得到目標結果。

然後是這一篇最要緊的一句。他明確說,這不算最終的證明。

不是後世的數學史家嫌它不嚴格。是作者本人寫下來的:用機械方式作出的考察並不提供真正的證明,所以還要用幾何方法重新證一遍。

同時他又說,先知道一個結果大致是什麼,再去找它的證明,比完全不知道目標的時候容易。他舉的例子就是德謨克利特和歐多克索斯。

最後他解釋了為什麼願意把這個辦法說出去:別人,甚至後世的數學家,可能借它發現他還沒有發現的定理。

所以把《方法》說成他偷偷使用微積分只是不敢公開,會錯過這篇東西真正驚人的地方。他不是有一種低級的辦法和一種高級的辦法。他是把兩件事分得很清楚。這個區分在今天聽起來很普通,因為現代數學教育從一開始就告訴學生,想出來和證出來不是一回事。

但在現存的古代文本裡,這句話幾乎只有他說過。機械的辦法回答的是:這個結果是怎麼被發現的,為什麼值得相信。幾何的證明回答的是:它在嚴格的意義上為什麼成立。兩者合作,但地位不同。

他給出的理由也很樸素。先知道目標大概在哪裡,再去找路,總比在完全不知道目標的情況下摸索容易。發現的價值不在於它嚴格,在於它把範圍縮小了。這件事在現存的古希臘數學文本裡非常罕見。

絕大多數希臘數學著作呈現的是完成之後的命題與證明的秩序。讀者看到的是已經修好的路,而不是作者怎樣在錯誤,猜測,試驗和類比里找到它。

《方法》讓一個第一流的數學家親口說:我先是這樣發現的。我知道這還不能當證明。然後我再去證明。把這套發現的辦法告訴你,是為了讓你也能找到新的東西。

古代不是絕對沒有可比的文本。他自己的《拋物線求積》序言裡就已經提到過機械發現與幾何論證兩條路。帕普斯後來關於分析與綜合的說明,也一般性地討論過怎樣從所求倒推再反向綜合。

但帕普斯給的是方法論的綱要,不是告訴你某個定理他本人昨天是怎麼找到的。差別在於人稱。綱要說的是一般應該怎麼做,而《方法》說的是我當時是怎麼做的。

所以最穩妥的評價不是古代唯一的發現記錄,而是:在現存的古希臘高等數學文本裡,這是極少數由作者本人明確區分啓發式的發現程序與正式的證明程序的材料,而且詳細到足以讓人看清兩者怎樣配合。還有一件事必須在這裡說清楚,因為它是這一篇最容易滑出去的地方。

《方法》里那種把面積看成線的集合,把體積看成面的集合,再逐片比較的想法,和十七世紀的不可分量法在結構上確實很像。讀到那幾頁,任何熟悉後來那套東西的人都會立刻聯想。

但相似不等於傳承。

十七世紀的歐洲數學家在發展不可分量法的時候,《方法》並不在他們能讀到的任何一部阿基米德文集裡。這篇東西一直到1906年才重新進入數學史。

所以《方法》和十七世紀之間不存在一條傳授的線。能說的只是:兩個相隔一千八百年的時代,面對曲邊的面積和體積,各自長出了結構上可以比較的切片想法。而十七世紀的人確實深受另外那些一直在流傳的阿基米德著作影響。

六 無窮

亞里士多德在《物理學》第三卷裡系統討論過無窮。

他反對把無窮理解成一個已經全部給出的,完成了的量。他更願意把它理解成這樣一種狀態:無論已經走到哪裡,總還能再取更多,再分下去。他的表述大意是,無窮不是外面再沒有東西的那種東西,而是外面總還有東西的那種東西。他還直接回應過數學。數學家並不因為拒絕實無窮就沒法工作,他們只需要取一個任意大但有限的量。

有一條因果鏈排得非常整齊:芝諾製造無窮的困難,亞里士多德下了禁令,數學家服從禁令,於是發明了窮竭法。現存材料不支持這個故事。

歐多克索斯本來就早於或者與亞里士多德同一個世紀,所以他的技術不可能簡單解釋成接受了《物理學》之後才設計出來的。歐幾里得和阿基米德的嚴格證明方式確實與潛無窮極度相容,始終保留有限的構造,用任意給定的大小關係完成論證。但沒有哪一篇阿基米德的序言說,因為亞里士多德禁止實無窮,所以我這樣證。

證據允許的結論是:希臘嚴格幾何的證明實踐與那套哲學高度相容,但哲學禁令直接支配數學共同體,缺乏文件證據。

甚至可以反過來問一句。亞里士多德說數學家實際上不需要實無窮,這句話是不是部分地在描述已經存在的數學實踐,而不是在給數學家立法。那麼希臘數學是不是真的完全回避實無窮。這裡有一個真實的爭議,而且證據來自這一篇開頭那本被拆掉的書。

奈茨根據重寫本的新釋讀提出,在《方法》的某些命題里,阿基米德似乎不只是逐一考慮任意的截線,而是在談這些線的總體或者數目,並且把它們整體對應起來。按他的解釋,這至少是一種操作意義上的實際無窮總體。

反方並不否認那些希臘詞。反方質疑的是翻譯的層級:從所有截線或者這批線的多重性,跳到一個完成了的無窮集合,可能帶進了現代集合論的本體論。而且他本人恰恰說過,機械的辦法不構成真正的證明,正式的證明仍然回到有限的論證。

這個爭議之所以值得記下來,是因為它有一個不常見的性質:爭的是同一批字,而這批字一百二十年前還不存在於任何人的視野里。

所以兩句話都需要修正。希臘數學從不允許任何實際無窮的思想進入思考,太強了,《方法》構成反例的壓力。阿基米德接受了現代意義的實無窮,也太強了,文本裡沒有無限集合的理論,更沒有現代的基數概念。

比較穩妥的描述是:古希臘規範化的證明傾向於避免把完成了的無限總體當作證明的基礎。但數學家發現性的推理和某些語言實踐,未必遵守一條絕對無例外的禁令。關於大和無窮的區別,他自己寫過一篇更直接的東西。

《數沙者》的出發點幾乎帶著挑釁。有人認為沙粒的數量是無窮的,或者至少認為根本不存在足夠大的數去表達它。於是他設計了一套擴展的大數命名體系,又給宇宙的尺度設了一個極其寬松的上界,最後證明即使把這樣一個宇宙填滿沙子,沙粒的數量仍然是一個可以命名的有限數。它的意思不是算出宇宙里真有多少沙。是:大到無法想象,和無窮,不是同一回事。

同一篇裡還保存了關於薩摩斯的阿里斯塔克的一段。他說阿里斯塔克提出過一組假設,恆星和太陽不動,地球沿圓周繞太陽運行,太陽在軌道中心附近,而恆星球的尺度巨大。阿里斯塔克自己那部日心論著失傳了,所以這一段是現存最早,最明確,也最技術化的概述之一。

不過唯一來源這個說法不準確。普魯塔克後來在《論月面》里也提到過阿里斯塔克讓地球運動,晚期的學說匯編還保存著別的痕跡。真正唯一的是:阿里斯塔克本人的日心著作沒有存下來。

七 西塞羅找到的那座墓

前面幾個傳說的證據都很軟。現在有一條明顯更硬的。普魯塔克說,阿基米德最珍視球與圓柱那個結果,因此要求友人和親族把球與圓柱放在他的墓上。這句話本身很軟,因為普魯塔克比他晚了三百一十年左右。

但西塞羅提供了另一層東西。

《圖斯庫盧姆談辯》寫於前45年左右。他說,自己在前75年任西西里財務官的時候,敘拉古人甚至不知道阿基米德的墓在哪裡。他記得有關碑銘的幾行詩,也記得球與圓柱這個標誌,於是到阿格里真托門附近的墓地去找,看見灌木里露出一根小柱,上面有球和圓柱,就請當地人清理荊棘,辨認出已經部分毀壞的碑文。這是他對自己三十年前那次行動的第一人稱回憶。

前75年距他去世約一百三十七年。前45年成文,距他自己所說的那次發現只有約三十年。為什麼這一條比洗澡和臨終遺言強。

因為他不是說聽說兩百年前阿基米德曾經如何。他說的是我本人到了那裡,依據碑銘的線索找到並清理了一處墓。雜草,柱子,球與圓柱,殘碑,這些至少是親歷性的主張。他也說敘拉古人自己已經不知道墓在哪裡,而且在這段記述的末尾把這一點落到了自己身上,大意是:希臘最高貴,一度也最有學問的一座城,要不是從一個阿爾皮努姆來的人那裡得知,就連自己那位最聰明的公民的墓也不會知道。說當地人都忘了,也是在說找到它的是他。

這段話寫在一卷討論德行夠不夠讓人過得幸福的書裡。西塞羅先把同一座城早年的暴君狄奧尼修斯擺出來,再從塵土和畫圖的小棍旁邊,叫出一個他稱作卑微的小人物,就是阿基米德。講完那座墓,他問,大意是:凡是跟繆斯,也就是跟人的教養和學問有一點來往的人,誰不寧願做這個數學家,也不願做那個暴君。一個人的心靠推究和探索道理來養,那是靈魂最甜的食物,另一個人的心泡在殺戮和不義里,日日夜夜都怕。

當然它也不是鐵證。那座墓今天沒有一條可以重新核驗的身份鏈,也不能排除他把一處當地傳說中屬於阿基米德的墓認錯了。

但和維特魯威那個晚了近兩百年的浴室故事,以及瓦萊里烏斯那句晚了二百四十年的最後一句話相比,這一條的史料結構明顯更結實。

能說的只有這些:前75年,西塞羅自稱找到一處當時被他依據球與圓柱的標誌和碑文認定為阿基米德墓的古墓。至於他本人臨終前是否提出過這種墓碑設計,只有更晚的普魯塔克這樣說。

不過球與圓柱這個標誌本身是硬的。前面提過的那個結果,球與外接圓柱的體積之比,在他的傳統里一直帶著標誌性。所以西塞羅看見的那根柱子上有球和圓柱,這件事至少和數學對得上。順著這條線還可以看一件事。

他的死年前212年相當可靠。這個年份嵌在第二次布匿戰爭,敘拉古陷落和馬爾凱路斯的軍事時間線里,有幾條獨立的戰爭史傳統把他放在這個圍城環境中。他的生年就不一樣了。

約前287年這個數字,來自約翰·策策斯,公元十二世紀的人,距前212年約一千三百六十年。策策斯說他活了七十五歲,現代傳記再從前212年往回減,得到前287年。那不是一份出生記錄,更不是同時代的碑銘。

這類倒推在古代人物身上很常見。一句某某活了多少歲,加上一個可靠的死年,就能生出一個看起來精確的生年。生年一旦被寫進年表,就再也不帶著它的出處走了。死年比生年可靠得多。這句話在他身上成立,在這一篇涉及的大多數人身上也成立。

各篇著作的絕對年份同樣不可靠。從前言裡能得到的是相對順序:哪些命題先寄出,科農在哪一步已經去世,之後寄給了多西修斯,《方法》又回顧了更早的機械發現。把每一篇釘在某個具體年份上的做法,是現代的編年重建,不是手稿上的署年。有意思的是,那部十三世紀祈禱書末尾的抄寫記錄,反而比這些都硬。1229年四月十三日,寫在那裡。

八 一千一百八十年

回到那本被拆掉的書。它的重新出現不是1906年某個人偶然走進修道院。

十九世紀四十年代,聖經手稿學者蒂申多夫已經在君士坦丁堡見過這部重寫本,注意到底層有數學文字,後來甚至有一葉從他的遺物里進了劍橋。

1899年,希臘學者帕帕多普洛斯編制君士坦丁堡一處屬院的藏書目錄,把它列為編號三五五,並且抄錄了幾行可見的底層希臘文。丹麥語言學家海貝格看到這幾行,認出它們來自《論球與圓柱》。1906年,他親自去了君士坦丁堡。

他沒有紫外攝影,更沒有射線成像。他靠眼睛,放大觀察,不同的照明條件,和當時的攝影技術,從與祈禱文字成直角的淡墨里讀字。他辨認出七篇作品。最震撼的是此前完全失傳的《方法》。

他的攝影覆蓋了一百零三個正背書寫面,其中有三十八次是打開雙頁拍的,按曝光計算通常還原成約六十五張照片。

這些照片後來極其重要,因為這本書在二十世紀繼續受損。有些1906年他還看得見的字,到1998年已經被霉菌吃掉了。有幾葉後來失蹤,只剩下他的抄錄或者照片。1908年他還研究過這部手稿。之後它什麼時候,經過誰的手離開君士坦丁堡,沒有連續記錄。

1998年拍賣引發訴訟的時候,希臘正教會方面認為它是在二十世紀的動亂中非法離開教會收藏的。法國一個家族一方則聲稱家中在二十世紀二十年代就已經取得。可以確認的是它至少到二十世紀中葉已經在法國的私人收藏里,而1908年到那個階段之間的所有權鏈存在真正的缺口。

一件手稿即使有實物,實物也不會自動提供自己的履歷。物可以是真物,來路仍然可以是斷的。

1998年,它在紐約的拍賣行公開拍賣,一位匿名的美國私人收藏者以約兩百萬美元買下。買家的身份至今沒有可靠的公開確認。網上流傳很久的那個名字,追不到來源。一份兩千年前的手稿,現在歸誰所有,反而是這整段歷史裡最查不到的一環。隨後收藏者把手稿交給巴爾的摩的一家美術館的團隊做保護,成像和研究,並且為長期項目提供資金。1998年的書況糟到不能直接拿去掃描。

保護師先花了好幾年把它解裝。困難之一是二十世紀的重裝訂者在書脊用了類似木工白膠的現代黏合劑,這種膠比羊皮本身還韌,很難在不撕裂羊皮的情況下去掉。霉菌區正相反,膠原纖維已經粉化,輕輕一碰就可能失去材料。整個拆解從2000年做到2004年。

多光譜成像的原理不是拍一張更清楚的照片。是在紫外,可見和紅外等多個波段分別拍攝,再利用羊皮,十三世紀的祈禱墨和十世紀的底層墨不同的光譜響應,用算法把圖像組合起來。團隊從早期較低分辨率的實驗,逐步做到十二個波段加側向照明。

可是二十世紀還有人在若干頁上加了偽造的拜佔庭式福音書作者畫像。團隊通過圖像來源判斷,這些畫不可能早於1929年,因為它們複製了那一年出版的一部希臘手稿圖像。顏料和金層把光學成像擋住了。

於是他們轉向另一種辦法。用同步輻射產生的高能射線激發墨里的元素,再逐點測量螢光信號。鐵元素的分布尤其能勾出原先的墨跡,即使上面蓋著祈禱文字甚至顏料,仍然可以把底層的字母畫出來。斯坦福的同步輻射光源就是這樣讀出了偽畫底下的文字。

現代技術已經把整本書全部讀完,這句話不對。成像可以增強還存在的物質信號,不能復原已經被霉菌徹底毀掉的羊皮和墨跡,也不能讀取當時已經遺失的書頁。保護記錄明確說明,有大片霉損區的文字已經在物質上消失了。

還有一個尾聲。原來失蹤的三張葉里,有一張已經在法國一家美術館被重新認出來,與1906年海貝格的照片相合,內容涉及《論球與圓柱》。失蹤頁的數量和狀態,在二十一世紀仍然會變。也就是說,這件東西的清單到今天還沒有定稿。

現存的祈禱書主體大約有一百七十四張羊皮葉,也就是約三百四十八個正背書寫面,單葉大約二十釐米乘十五釐米的量級。它是一部真正可以拆裝,折疊,霉變,沾蠟,被膠黏壞的羊皮書,不是一個抽象的文本。

最後要糾正一個說法。它常被稱為最接近阿基米德本人的希臘數學實物。這個說法把兩件事混在了一起。

在阿基米德文本的傳承內部,它確實異常早,比其他已知的中世紀阿基米德抄本傳統約早四百年,某些圖形可能因此比晚出的抄本更接近古代的原型。

但從物理年代看,它一點也不接近他本人。十世紀的抄本距前212年約一千一百八十年。這塊羊皮,這位十世紀抄寫者的墨,這些小楷字,都不是阿基米德摸過的東西。而且十世紀的希臘小寫字體,甚至不是他那個時代的人會使用的那套書寫系統。

比它早得多的希臘數學實物當然存在。埃及出土的一片《原本》第二卷殘頁,通常定在公元一世紀末到二世紀初,就算取較晚的一端,也比這部重寫本早八百年以上。

所以《方法》能活到今天,靠的不是一個抽象的傳統把它漂過來。

靠的是動物的皮,鐵質的墨,一個人轉了九十度的折疊,一間修道院的庫房,一份目錄,一次遠行,六十五張玻璃底片,一場拍賣,幾年的拆解,十二個波段的光,和一束同步輻射。其中任何一環斷掉,那一頁阿基米德親口說出發現與證明分工的話,今天就不存在。

而在這條鍊子的最前端,站著一個刮墨的人。他是否理解被覆蓋文字的內容,現有材料不能確定。他只是沒有把墨刮乾淨。這條鍊子上既有偶然的存留,也有一代代人有意識的辨認與保護;兩者並不能逐環截然分開。

數還在往下算,而什麼算數學,還沒有算清楚過。

Sources and further reading史料与延伸阅读史料與延伸閱讀

Selected references for historical details and interpretive disputes. Museum records, ancient literary accounts and modern reconstructions do not carry the same kind of evidence.

以下资料对应文中的历史细节与解释分歧。馆藏记录、古代文学与现代重建,不是同一种证据。

以下資料對應文中的歷史細節與解釋分歧。館藏記錄、古代文學與現代重建,不是同一種證據。