A HUMAN HISTORY OF MATHEMATICS凿构周期律 · 数学鑿構週期律 · 數學 · 03 / 25
The Architecture of Axioms
公理之构
公理之構
The most disputed premise was the one the book made visible. Other foundations remained inside its diagrams.
明说的前提接受了两千年的怀疑,图中默用的资源则等待另一种严格。
明說的前提接受了兩千年的懷疑,圖中默用的資源則等待另一種嚴格。
In this essay篇内目录篇內目錄
1. No Royal Road
A king asks whether geometry can be learned by a shorter route. The mathematician tells him that there is no royal road. It is a perfect anecdote: political power requests an exception, knowledge refuses, and the reader need not understand a single theorem to know whose side to take.
The version most familiar today names Ptolemy and Euclid. Proclus preserves it in a commentary written around the middle of the fifth century CE, some seven and a half centuries after the supposed encounter. He does not identify an eyewitness or give us a recoverable chain of transmission.
Another fifth-century compiler, Stobaeus, preserves a closely related exchange between Alexander and Menaechmus. Royal travelers may have privileged roads, but students of geometry do not. The setting fits either pair well enough. That is precisely the problem. Two plausible settings do not independently corroborate one encounter; they show that the story could travel between protagonists.
Such mobility does not logically prove that neither exchange occurred. It does make the anecdote poor evidence for a particular person's character. A memorable reply may survive because it expresses what a later audience thinks a mathematician ought to say. Its usefulness does not depend on preserving the original speaker.
Stobaeus also gives the story of a student who asks what advantage studying geometry will bring. Euclid supposedly instructs a servant to pay him three obols, since he insists on profiting from what he learns. Together the stories furnish a personality: severe, incorruptible, indifferent to practical rewards, and unimpressed by kings.
Both stories become visible in surviving sources many centuries after Euclid. They are genuine evidence for late antique representations of mathematical authority. They are much weaker evidence for a specific conversation around 300 BCE. The difference is not between telling and suppressing a story. It is between identifying its evidential purpose and letting it serve every purpose at once.
There is an earlier, securely located philosophical argument for learning beyond commerce. In Book VII of the Republic, Plato wants future rulers to study arithmetic until thought can grasp number's nature. Buying and selling are not the goal. Yet warfare is among the purposes he explicitly includes: soldiers need numerical knowledge to arrange an army. The movement of the soul toward truth does not expel every worldly use.
That pairing complicates the portrait of ancient mathematics as pure disdain for utility. Refusing the merchant's immediate profit is not the same as refusing the state's military purposes. Plato's argument has its own political setting; it cannot be reduced to Euclid handing a disappointed student some coins.
The first essay considered a historical claim whose author marked it as conjecture. The second separated a mathematical discovery from much later stories about its discoverer. Here the warning sign is the replaceable protagonist. Once the anecdotes are removed, remarkably little of Euclid the person remains.
We cannot securely describe his temperament, income, pedagogical manner, or attitude toward practical applications. Meanwhile, his book remains available for close examination: propositions, definitions, diagrams, editorial interventions, and manuscript variants. Its transmitted text is not his autograph, but it is a substantial object of inquiry.
This contrast sets the problem. A nearly empty biography stands beside one of the most consequential organizations of knowledge ever transmitted. The structure endured not because every detail remained untouched, nor because no weakness could be found, but because readers could identify premises, follow dependencies, and argue about what followed. The author recedes; the arrangement stays within reach.
2. We Know the Book Better Than the Man
There is no reliable contemporary life of Euclid: no birth registration, family account, appointment record, or documented course of study. The familiar date around 300 BCE is an inferred period of activity. It should not be mistaken for a pair of biographical dates.
One of the earliest independent references comes from Apollonius, in the prefaces to the Conics, around the end of the third or beginning of the second century BCE. He treats Euclid as a predecessor whose treatment of a locus problem can be criticized. This is useful precisely because it is specific and unceremonious. The name is not merely receiving ceremonial praise; it identifies mathematical work against which another geometer positions his own.
Criticism is not inherently impossible to invent. Nevertheless, a relatively early technical reference carries different weight from a late exemplary anecdote. It makes the hypothesis of Euclid as an entirely late invention difficult to sustain.
Pappus, writing around 320 CE, reports that Apollonius studied or associated with Euclid's pupils at Alexandria. Proclus, around 450, supplies much of the framework later biographies adopt, placing Euclid in the age of the first Ptolemy. These accounts broadly agree, but they remain separated from their subject by centuries.
Later Arabic bibliographical sources are important for the history of Euclid's works. Al-Nadim's Fihrist, compiled in the late tenth century, belongs to that history of reception. Much later biographical compilations supply such details as a father's name and birthplace. Their richness should not be mistaken for proximity. A modern paragraph that combines all these sources can make fifteen centuries of accumulated claims look like one contemporary report.
Alexandria is therefore a reasonable historical location, supported by an ancient tradition, not a fact established by Euclid's surviving employment contract. Membership in the Museum is still less secure. Strabo describes that institution's colonnades, common dining arrangements, property, and royal supervision, but he saw a world almost three centuries later than Euclid's conventional date. He does not place Euclid on its payroll.
The Library supplies an irresistible background. Corridors, scrolls, and scholars supported by a king give a reader something to picture. Much of that institutional world was real. The unproved step is placing this particular person in a particular office within it. A plausible scene should not be promoted into a recovered workplace.
Was Euclid even one person? The possibility of a collective author has genuinely been discussed, and a modern study has traced comparisons with the collective name Nicolas Bourbaki. Dismissing the idea as something nobody ever proposed would be inaccurate. Accepting it as established would be much worse.
Ancient references treat Euclid as an individual. The Elements plainly incorporates work by earlier mathematicians and has passed through later editors. Neither fact entails an intentional collective pseudonym. Bourbaki has identifiable members, a documented collaboration, and a deliberately adopted name. No equivalent evidence exists for an ancient organization signing itself Euclid.
The book's broad coordination is consistent with a strong organizing intelligence: selection, ordering, rewriting, and the management of dependencies. That interpretation does not require its editor to have discovered every theorem. Authorship and originality are not all-or-nothing alternatives.
The safest working position is therefore an individual mathematician conventionally located near 300 BCE, whose editorial achievement drew on several generations and whose surviving text contains later layers. Where that reconstruction reaches beyond direct documentation, it should remain labeled as reconstruction.
What matters for the present essay is the work performed at that organizing center. Someone selected results, decided which should precede which, reshaped demonstrations, and placed certain unproved principles at the front. We cannot recover every decision or distinguish every inherited arrangement from a new one. But the consequences of the resulting order can be read in the book itself.
3. Elements Before the Elements
Proclus's historical survey names earlier writers of Elements. Hippocrates of Chios is credited with an early collection. Leon produced a more careful treatment. Theudius of Magnesia composed another work that the tradition praises highly. None survives as an independent complete book.
The evidence requires the same chronological care as everything else. Proclus wrote many centuries after Hippocrates, but his survey is commonly understood to preserve material derived, at least in part, from Eudemus's lost history of geometry. We are not compelled to choose between eyewitness testimony and invention from nothing. Ancient historical writing often survives inside later compilations, with uncertain boundaries between borrowed material and editorial addition.
The significant point is that Elements was already a kind of book. It gathered results regarded as basic enough to support further work and arranged them into a usable system. Praise for one version as more careful than another suggests comparison within an existing practice, not an isolated invention without predecessors.
Euclid's achievement is consequently best approached through selection and organization as well as discovery. If every proposition had originated with him, every arrangement could straightforwardly be called his choice. In an inherited tradition, some arrangements may be his and others may come from predecessors. The surviving book rarely tells us which is which.
We do not know whether the exact form of the fifth postulate was Euclid's invention. We should likewise distinguish broad intellectual ancestry from line-by-line attribution. Book V is strongly associated with the proportional theory of Eudoxus. That does not identify Eudoxus as the author of every surviving definition or sentence.
Book X draws on research associated with Theaetetus, but assigning each proposition to him is another claim. Book XIII incorporates earlier investigations of regular solids, without giving us a complete ledger of who contributed what. Proclus's language of arranging and completing earlier work is more informative than the modern image of either a solitary creator or a passive copyist.
Three familiar descriptions each capture part of the result. It is not simply a collection of research papers, because much of the material had a prior history. It is not an anthology of extracts, because dependencies and demonstrations have been coordinated. It became a textbook of extraordinary influence, but we have no preface from Euclid identifying an intended first-year class or a contemporary syllabus proving that original purpose.
A repository of reusable results comes closer to one important function. Later geometers could rely on its propositions as tools. Its order gave the reader not only conclusions but a route through the reasons those conclusions could be used.
In the standard modern count, the work has thirteen books and 465 propositions. Book X contains 115; Book II has only fourteen. Approximately 131 definitions occur across the collection, while Book I opens with its definitions, five postulates, and the familiar group of common notions. Such totals depend on editorial decisions about interpolations and variants. They are not figures read from an author's surviving contents page.
The range also exceeds geometry in the narrow modern sense. Books VII through IX develop arithmetic of positive integers, including primes, divisibility, relative primality, and greatest common divisors. Books XI through XIII treat solid geometry. Book V gives a general account of proportions of magnitudes. Geometrical diagrams may still serve arithmetic exposition, but the subjects are not all propositions about spatial figures.
The opening of Book I is especially consequential. Twenty-three definitions introduce points, lines, surfaces, angles, circles, and parallels. Postulates and common notions follow. Only after these preliminaries does the first construction begin. The order appears to place the foundations on display before anything is built.
Appears is an important word. To a modern reader, the opening invites a demanding question: do the demonstrations use only what has been explicitly allowed? That is a productive way to examine the book. It is not yet proof that Euclid possessed the nineteenth-century conception of a formal system or personally announced its complete restrictions.
4. The Fifth Request
The first postulate asks permission to draw a straight line from any point to any other. The second permits a finite straight line to be extended continuously in a straight line. The third permits a circle with a given center and distance. These are short licenses for constructions.
The fourth says that all right angles are equal. It is not a construction command, but its brevity gives it a similar elementary appearance. Then the fifth arrives in a different shape.
If a straight line crossing two others makes the interior angles on one side sum to less than two right angles, those two lines, extended indefinitely, meet on that side. The sentence has a setting, a comparison, a direction, an extension, and a conclusion. It sounds much more like a theorem than its neighbors do.
The standard Greek wording is several times longer than the shortest preceding postulates. Word counts are not arguments about logical status, but the contrast helps explain the reader's experience. Four compact permissions or assertions are followed by a conditional geometrical claim that seems to invite proof.
The common notions placed nearby are broader: things equal to the same thing are equal to one another; the whole exceeds the part; and related principles of equality. Together these opening materials identify what will not be demonstrated at the outset.
It is tempting to translate that arrangement into a modern contract: everything that follows must be derived from exactly these clauses, and no other resource may be used. That translation expresses a later ideal of explicit axiomatization. The ancient text does not itself present a fully specified formal language, inference calculus, or prohibition on diagrammatic reasoning.
Still, the architecture creates an enduring opportunity for criticism. Once a premise is displayed, a reader can ask whether it is necessary, whether something simpler could replace it, or whether additional assumptions have entered unnoticed. The declaration of dependence makes dependence available for inspection.
For much of the subsequent history, attention fell on possible excess: perhaps one of the stated principles need not be assumed at all. Later investigations focused more sharply on possible deficiency: perhaps the visible list omitted resources the proofs were using. These are complementary questions about the relationship between an argument and its foundations.
Why did Euclid put the fifth statement among the postulates? We do not know his motive. We know the position it occupies and can trace where it is invoked. It would be anachronistic to infer that he already understood its logical independence. It would be equally unwarranted to infer that he included it reluctantly while expecting an imminent proof.
Several projects became possible. One could try to derive it from the remaining geometrical principles. One could replace it with a more intuitively acceptable equivalent. Eventually one could show that an appropriate remaining system admitted models in which it failed, establishing that the desired derivation was unavailable.
The third project belongs to a much later transformation of geometry. Earlier writers did not generally organize their work around the modern concept of relative independence. Yet saying that nobody ever imagined alternatives before the nineteenth century would flatten a complicated history of hypotheses, doubts, and exploratory arguments.
Nor does the modern shorthand “from the other four” state the complete logical problem. A useful geometry needs principles of incidence, order, congruence, and related matters, many of them implicit in ancient practice. Independence is always relative to a specified background system. Changing that background can change what a proposed equivalence means.
The Elements is often called the birth of the axiomatic method. As recognition of its explicit ordering of premises and conclusions, the phrase captures something profound. As a claim that it already possesses every feature of late nineteenth-century formal axiomatics, it obscures the difference this history needs to explain. The important achievement is not diminished by refusing to make it arrive fully modern.
5. When the Unease Becomes Visible
There is no surviving evidence that the fifth postulate troubled every mathematician from the first day the Elements circulated. A familiar retrospective description has been mistaken for a contemporary reception history.
Aristotle already discusses circular reasoning in attempts involving parallels before Euclid's conventional date. Parallel theory was therefore a sensitive logical area before the Elements as we know it. That does not make Aristotle a critic of a book not yet written. A problem's prior existence and a later objection to one formulation are different facts.
Among the earliest named figures connected with attempts to revise Euclid's treatment is Posidonius, conventionally dated around 135–51 BCE. Our information again comes through Proclus. Posidonius's proposed understanding of parallels emphasizes coplanar lines remaining equidistant, neither approaching nor receding.
The apparent simplicity carries a cost. Equidistance is not a neutral verbal substitute for nonintersection in every possible geometry. A definition can conceal a substantial existence or behavior assumption. The problem has not necessarily been solved merely because a shorter sentence now occupies the page.
Proclus also discusses an attempted proof by the second-century astronomer Ptolemy. Its key steps rely on assumptions strong enough to reintroduce the disputed parallel behavior. Proclus detects difficulties in predecessors and then advances an argument of his own involving additional claims about distances between lines. Modern analysis finds the same general danger: an apparently obvious property has done the work that the proof promised not to assume.
These were not failures of elementary cleverness. Posidonius was an important Stoic thinker. Ptolemy created a mathematical astronomy of immense reach. The challenge was recognizing when a replacement premise carried as much logical strength as the statement being replaced.
Arabic-language mathematical traditions developed this investigation over centuries. They are not an empty interval between antiquity and Europe. Ibn al-Haytham explored approaches involving motion, equidistance, and quadrilaterals with perpendicular sides. Khayyam criticized the introduction of motion as something that itself required justification within geometrical foundations.
Khayyam investigated a quadrilateral with two equal perpendicular sides and considered the possible summit angles: right, acute, or obtuse. His attempt to rule out alternatives used principles about approaching straight lines that modern analysis recognizes as closely tied to Euclidean parallel behavior.
Nasir al-Din al-Tusi continued the investigation through indirect arguments and quadrilateral constructions in the thirteenth century. Texts associated with his family and successors complicate attribution. Some versions long treated as his final proof belong to a later and less straightforward transmission. Arabic printing in Rome in the sixteenth century helped bring parts of this tradition to European attention.
Judging these authors only by how close they came to nineteenth-century non-Euclidean geometry turns their own projects into failed auditions for a later discovery. They were asking legitimate questions under the standards available to them. Their distinctions, configurations, and case analyses became resources for subsequent work even when their intended demonstrations did not establish the desired result.
The enduring advance was sharper discrimination between a proposition proved and a proposition reintroduced under another description. A principle may look harmless because it resembles everyday spatial experience. That appearance does not measure its logical strength.
Euclid himself delays the first use of the fifth postulate until Proposition I.29. The textual observation is secure. The inference that he distrusted it, hoped to prove it, or consciously isolated an independent axiom is not. An arrangement in the book gives evidence of organization; it does not give direct access to the organizer's thoughts.
The distinction can feel frustratingly repetitive. In this case it is necessary. We can inspect what the text does in a way that we cannot inspect why its author chose to do it. Historical restraint leaves the intellectual problem intact while declining to furnish an unsupported inner life.
6. The First Construction
The first proposition asks for an equilateral triangle on a given finite straight line. Let its endpoints be A and B. Draw a circle centered at A with radius AB, then a circle centered at B with radius BA. Choose an intersection C and join it to A and B. Each of the three sides equals the original radius, so the triangle is equilateral.
The construction is immediately persuasive. The two circles cross in the diagram. But the third postulate licenses drawing circles; it does not explicitly guarantee the intersection needed here. The equality argument works once C exists. What authorizes C?
That question locates a difference between the written inventory of assumptions and the resources of the demonstration. It does not show that the theorem is false. Nor does it show that an ancient reader was irrational to accept it. It shows that a modern reconstruction cannot obtain all the work merely by citing the circle-drawing permission.
Similar questions arise when a straight line is taken to meet a circle. A modern principle can state conditions under which a segment joining an interior point to an exterior point must cross the circumference. Euclid's opening does not offer that kind of explicit continuity scheme.
Order supplies another family of resources. The proofs use points between other points, objects on one side of a line, and lines lying inside an angle. Their opening definitions do not provide a systematic set of axioms for betweenness. A diagram often supplies the configuration in which the words are understood.
Plane separation makes the issue more visible. In a familiar form of Pasch's principle, a line missing a triangle's vertices that crosses one side must cross another, subject to the usual incidence conditions. “It enters here, so it must leave elsewhere” is not a conclusion supplied by the visual ink alone if the aim is a wholly explicit deductive system.
Congruence introduces a further question. Proposition I.4 uses superposition: one triangle is imagined placed upon another. The common notion concerning coincident things supplies part of the language, but not a complete modern theory of rigid motion or transport of segments and angles. To formalize the argument, one must specify which transformations or congruence relations are legitimate and what they preserve.
Incidence, uniqueness, and degeneracy are quieter problems. Are newly named points distinct? Can two lines coincide? Does an intersection fall on the intended extension rather than elsewhere? The drawn configuration frequently settles such matters for the reader before the text has stated the conditions that settle them.
These families have something in common. They concern relations a competent reader can often see or reliably infer from a regulated diagram: intersection, connection, inside and outside, order, and separation. Their very familiarity makes their role easy to overlook when counting only written premises.
It would be historically inaccurate to claim that nobody noticed any such issue for two thousand years. Ancient commentators did discuss difficulties in constructions and proof. What changed especially sharply in the nineteenth century was the ambition to articulate systems in which every permitted inference could be justified without an appeal to unformalized spatial intuition.
How many axioms did Euclid omit? There is no meaningful universal integer. Different formal languages divide the work differently. One system takes congruence as primitive; another uses transformations. One packages continuity in a powerful principle; another uses weaker construction-specific assumptions. Their lists cannot be compared as though they were replacing missing pages in one original manual.
Hilbert's 1899 Foundations of Geometry reorganized the subject around groups of axioms for incidence, order, congruence, parallels, and continuity. The first edition's familiar count of nineteen does not mean Euclid had nineteen holes. Later editions also changed the axiom system. The project was a redesign that made questions of consistency and independence explicit.
Pasch's 1882 Lectures on Modern Geometry was an important predecessor, and Hilbert acknowledged a specific debt in his treatment of order. The conceptual advance was to recognize that an obvious feature of a drawing remains a logical resource. If a chosen standard withdraws its automatic authority, the work it used to do must be provided somewhere else.
7. Rigor Changes Its Meaning
Place the two questions side by side. An ancient critic asks why the fifth postulate is so complicated, whether it is self-evident enough to be assumed, and whether a simpler account of parallels can make it unnecessary. A modern foundational investigator asks what relations a complete geometrical system requires and what axioms govern their use.
The first question attacks a visible sentence. It can be read, compared with neighboring sentences, disliked, reformulated, and challenged. The second often concerns resources that were never collected into comparable sentences: how order works, when intersections exist, and what the diagram is entitled to contribute.
Visibility affects the distribution of criticism. An explicit assumption attracts objections because there is something definite to object to. An implicit resource may escape scrutiny not because it is more secure but because it has not yet been separated from ordinary competence in reading the proof.
This produces an important reversal. If a logical gap means an unstated premise required by an argument, the fifth postulate is not such a gap. It has been stated. The book openly requests the additional geometrical behavior it needs.
Nineteenth-century non-Euclidean geometry and subsequent model constructions give the reversal a stronger form. Relative to suitable remaining axioms, the Euclidean parallel condition is independent. No rearrangement of valid deductions from that weaker background can produce it. Including an extra assumption is therefore mathematically appropriate.
Calling the fifth postulate the book's most candid sentence is an interpretive flourish, not a fact about Euclid's psychology. We have no evidence that he understood model-theoretic independence or anticipated later geometries. The point concerns the visible form of the text: it asks for something instead of quietly taking it.
There is also a serious alternative to describing every ancient diagrammatic inference as an omission. Perhaps the practice deliberately allowed diagrams to carry a regulated part of the proof. If their legitimate contributions are specified, much of the reasoning can be reconstructed rigorously without requiring every visual relation to appear as a separate verbal axiom in the original.
This is not a special exemption invented to protect a revered author. A proof system can contain more than strings of ordinary-language sentences. Rules for diagrams can be explicit, constrained, and checkable. Modern work on formalizing Euclid demonstrates both the additional assumptions needed for particular reconstructions and the possibility of representing ancient-style reasoning systematically.
The issue is therefore partly one of translation between proof practices. A resource legitimate in one system may need to be encoded differently in another. “A missing axiom” sometimes means missing from the modern encoding, not an unambiguous violation of the ancient practice's own rules.
The fairest verdict preserves both kinds of question. Ancient investigators had a real foundational problem about what should be accepted without proof and what could be derived. Pasch and Hilbert pursued a different level of explicitness, in which order, continuity, and congruence were independently articulated. Neither project becomes trivial because the other existed.
It would consequently be misleading to announce that everyone stared at the wrong place until the nineteenth century finally found the real defects. The criterion of rigor had changed, and the change redistributed the problems. Earlier readers were not simply failing an examination written two millennia later.
The new standard also imposed costs. The first construction is easy to grasp as two circles and three joins. Its formal reconstruction requires a larger account of what points, circles, intersections, and equal distances are allowed to mean. The gain is reduced dependence on an individual's spatial expectations; the cost may be greater technical overhead and less immediate readability.
Even that trade need not banish diagrams from mathematical life. A formal foundation can coexist with visual discovery and exposition. What changes is whether an unarticulated visual inference by itself settles the deductive entitlement. The standard becomes more explicit about where conviction ends and authorization begins.
8. The Product and the Workshop
How many people stood behind the surviving tradition? Reviel Netz offered a deliberately inspectable estimate in his work on Greek deduction. Starting from roughly 144 named individuals, he compared partially overlapping lists, set aside exceptionally famous figures likely to occur everywhere, and used a procedure resembling capture–recapture estimation to infer a larger population.
The resulting pairwise estimates ranged widely, approximately from eighty-nine to just over three hundred. Netz treated a figure around three hundred as a cautious working guess and allowed an even broader upper possibility near a thousand. These are not census results. They are attempts to make the scale of an otherwise elusive community discussable.
The assumptions are fragile. Surviving lists are not independent random samples. Citation depends on reputation, intellectual genealogy, access to texts, and the preferences of earlier authors. Removing the most famous names changes the sampling structure. Other counts of roughly 150 cited authors and several hundred known or named works likewise measure documentary visibility, not everyone who practiced mathematics.
The responsible conclusion is an order of magnitude, not a statistically secure interval. The literate mathematical community visible in Greek sources was small, geographically dispersed, and uneven across generations. It included teachers, students, astronomers, mechanics, writers on surveying and engineering, private scholars, and people supported by rulers. There was no single documented ancient equivalent of a modern academic job market or professional association.
Texts could maintain connections where institutions did not remain continuous. Citation, commentary, and copying let a later reader resume work after a period of relative silence. The survival of a theorem does not require the uninterrupted survival of its author's classroom.
That distinguishes this archive from the Mesopotamian material considered earlier. Administrative records and school tablets can reveal stages of training, repeated exercises, and correction. The Greek record is dominated by finished or highly organized works, fragments, philosophical discussions, and late biography. We see much more of the product than of the workshop.
The diagrams are products too. They are not merely illustrations pasted beside a verbal proof. Letters connect sentences to positions; construction changes the diagram; reasoning extracts relationships from it. Their role has to be studied together with the text rather than treated as optional decoration.
Nor can their accuracy be summarized by saying that they are not drawn to scale. Metric proportions may be unreliable while connections, crossings, order, and inclusion are essential. A general parallelogram might look rectangular. Unequal segments may look equal. Such appearances do not necessarily belong to the proposition's assumptions.
Diagrams also have a transmission history of their own. Studies by Ken Saito and others show changes among manuscript drawings, including tendencies toward regularity or symmetry. These are documented tendencies, not a law that every copying makes every figure tidier. A more attractive drawing can accidentally suggest special properties that the text never required.
Textual criticism can sometimes detect an erroneous word by its context. A diagram made slightly too symmetrical may be harder to challenge because it still looks plausible. The history of the image and the history of the wording therefore need not move together. Neither is automatically an uninterrupted approach toward or retreat from the original.
Theon's fourth-century editing supplies a major textual landmark. His reference elsewhere to an addition associated with VI.33 helped later scholars recognize a widespread editorial tradition. Vatican Greek manuscript 190, generally dated to the ninth or tenth century, offered a witness not sharing the same pattern of revision.
François Peyrard recognized its importance in 1808 while the manuscript was in Paris following Napoleonic seizures from the Vatican. That discovery did not recover Euclid's autograph. It identified a crucial witness to another branch of transmission. Knorr's 1996 challenge to an overly simple opposition between Theonine and non-Theonine texts further emphasized the possible importance of Arabic evidence.
Print added another workshop. Erhard Ratdolt's 1482 Venetian edition, based on the Latin tradition, combined hundreds of diagrams with type. Its dedication explicitly presented the integration of geometrical figures as a technical achievement. The old reasoning now depended on the skills and constraints of a new reproductive medium.
Henry Billingsley's complete English edition appeared in 1570 with John Dee's Mathematical Preface. Billingsley was a London merchant and later lord mayor. Dee addressed readers outside the Latin university world, including artisans whose work involved number, rulers, and compasses. Geometry could support instruments, practical projects, national purposes, pleasure, and livelihoods.
Some solid figures in the volume could be folded into three-dimensional models. A book often represented as the monument of pure abstraction was also a physical device for skilled hands. Clavius's substantial Latin commentary, first published in 1574, made another influential contribution, particularly within Jesuit education.
There is no single date on which the Elements ceased to be a textbook. British disputes over alternatives continued through the nineteenth century; the association founded in 1871 to reform geometrical teaching belongs to that history. Elsewhere, reorganized textbooks had different trajectories. Two millennia of influence does not mean every student everywhere used an unchanged volume.
Return finally to the royal road. The book outlived reliable personal knowledge of its author. Its wording and diagrams were edited, recopied, printed, translated, and challenged. Its endurance was not the endurance of an untouched object.
One source of that endurance was the exposure of dependence. To state what an argument requires is to give another reader something to test. The fifth postulate could be challenged, replaced, unsuccessfully derived, and ultimately shown independent within suitable systems because it stood in view. The less explicit resources required a different kind of attention.
This is the essay's interpretive conclusion, not a verdict that ancient geometry was dishonest. A structure becomes open to criticism when its supports become visible. Euclid's achievement did not end the question of what counts as sufficient reason. It created an unusually durable place in which that question could be asked.
一 没有王者之路
托勒密问欧几里得,有没有比读完这本书更短的学几何的办法。欧几里得回答说,通往几何没有王者之路。这句话流传了一千五百年。它简短,有骨气,而且把一个数学家和一个国王放在同一个房间里,让前者赢了。
这类故事有一个共同的形状。权力想走捷径,知识说没有捷径。听的人不必懂几何也能明白它在说什么,而且听完之后会站在数学这一边。好用的故事往往是这样的。它不需要读者懂那门学问,只需要读者懂那个姿态。而一个只靠姿态传播的故事,在传播的过程中并不需要保住自己的主角。
保存它的是普罗克洛斯,写于公元450年前后。如果那件事发生在前300年上下,中间隔着大约七百五十年。普罗克洛斯没有注明他从哪里听来的。
更麻烦的是另一件事。五世纪还有一位编纂者斯托拜乌斯,他保存了同一个故事的另一个版本。国王问有没有快捷的办法学几何,数学家回答说,国王走路有王道,几何没有。那位国王是亚历山大大帝,那位数学家是梅内克缪斯。
同一个故事,两对师徒,两个都比记录者早七百年以上。这不是互相印证,是相反的东西。一个故事能挂在两组人身上,说明它挂在谁身上都行。
两个版本还都很合理。梅内克缪斯确实是前四世纪的数学家,亚历山大确实是国王,时代对得上。欧几里得和托勒密一世也对得上。故事没有露出破绽,露出破绽的是它有两份。
斯托拜乌斯还保存了另一则。一个学生刚学完第一个定理,就问学这东西能得到什么。欧几里得叫仆人拿三奥波尔给他,因为他非要从所学里得点好处。这两则加起来,就是后世认识的那个欧几里得。清高,严厉,不屑于实用,对国王也不让步。
而这两则的最早出处都在公元五世纪。
这两则轶事不是不能讲。它们是古代晚期真实存在过的文本,反映了那个时代的人愿意怎样想象一位数学家。这一点就是史料。它们不是关于有一天欧几里得真的如何如何的记载。
那种不肯拿学问去换好处的姿态,另有一份早得多,也有原文可查的出处,只是说话的人不是欧几里得。前四世纪柏拉图在《理想国》第七卷里写,将来要担当城邦最高职务的人学算术,大意是,不能浅尝辄止,要一直学到能凭思想看清数的本性,不是像商人和小贩那样为了买卖,是为了打仗,也为了让灵魂从变动不居的东西转向真实。前面一句他说得更直白:当兵的要懂数,才排得了阵。在他那里,不为买卖和为了打仗,是同一句话的前后两半。
前两篇处理过两种破绽。第一篇的希罗多德,破绽在他自己标了我认为。第二篇的希帕索斯,破绽在异本互相冲突,而且越晚越完整。这一篇的破绽是第三种:主角可以替换。把这两则轶事拿掉,关于这个人还剩下什么,是一个值得单独问的问题。答案是几乎不剩什么。
没有一条关于他温和,严肃,清贫,蔑视功利或者善于教学的描述能够立住。这些形象基本上是从那两则轶事倒推出来的。而与此同时,他那本书的每一个字,都可以拿出来检查。这本书的传承线是可以一节一节往回追的:忒翁四世纪编过它,梵蒂冈那部关键抄本定在九到十世纪,连一代一代抄写者把图画得更整齐一点的痕迹都留着。关于这个人没有的东西,关于这本书全都有。
这和前两篇最大的不同就在这里。第一篇有实物没有人名,第二篇有人名没有实物,这一篇有一部完整的,逐字可校的书,和一个几乎空白的作者。人几乎不存在,而他的构造完整地站在那里,一条命题接一条命题,两千三百年没有倒。
二 我们知道书,不知道人
欧几里得没有可靠的同时代传记。没有出生记录,没有死亡记录,没有家庭,没有师承,没有任职文书。约前300年这个说法,首先是一个由相对年代推出来的活动期,不是生卒年。把提到他的材料按年代排开,情况是这样。
最早的独立点名来自阿波罗尼奥斯,在《圆锥曲线》的序言里。年代大约在前三世纪末到前二世纪初,距前300年约一百年。这条很重要,因为它让欧几里得纯属晚期虚构这个说法难以维持。前200年前后已经有一位被高级几何学家当作前辈的欧几里得。而且阿波罗尼奥斯提到他,是为了批评他。他说欧几里得处理某类轨迹问题处理得不完善。
这一条的价值恰恰在于它不客气。一个后辈在自己的书里挑前辈的毛病,这种提及比赞美更难伪造,也更能说明被提到的人在当时是一个可以被具体讨论的对象,不是一个符号。
帕普斯的《汇编》写于公元320年前后,距欧几里得约六百二十年。他说阿波罗尼奥斯在亚历山大里亚和欧几里得的门人相处过。这是亚历山大里亚这个定位的重要旁证,但他所记的这件事本身已经晚了五百年。普罗克洛斯的《原本第一卷注》写于450年前后,距欧几里得约七百五十年。后世的欧几里得生平,主要框架来自这一部。斯托拜乌斯是五世纪,两则轶事的来源。
伊本·纳迪姆的书目写于987年前后,距欧几里得约一千二百九十年。它对作品传承极其重要,作为私人传记已经太晚。十二到十三世纪的阿拉伯传记汇编里,终于出现了出生地和父亲的名字。距事件约一千五百年。这张表要紧。后世的通俗传记,常常把这些相隔数百年的材料压成一段,读起来像是同时代的记述。
亚历山大里亚这个定位,靠两根支柱。普罗克洛斯的说法,和帕普斯的那一句。两条方向一致,所以比单一轶事强,但都不是同时代的证词。托勒密一世时期这个说法主要来自普罗克洛斯,而他的论证之一是阿基米德提到过欧几里得,但那处传本本身有插补问题。至于他是不是缪斯宫的受俸学者,没有足够的证据。
关于缪斯宫最清楚的实景描述来自斯特拉波,大约在前一世纪末。他亲眼见到的那个机构,已经比前300年晚了近三百年。他说那里属于宫殿区,有廊道,有座席,有共餐的大厅,财产共有,由王室任命的祭司管理。他没有说欧几里得在册。
亚历山大里亚的图书馆是一个太好用的背景。把一个几乎没有生平的人放进一座著名的图书馆,读者立刻就能想象出画面:长廊,书卷,王室供养的学者。那座机构确实存在,那个画面也大致不错。只是没有任何一份名单上有他。能确定的只有一件事:后来有人说他在那里教过学生,而说这话的人比他晚了六百年。
还有一个问题值得提一句。欧几里得是不是一个人。
严肃学术史上确实有人讨论过这件事。2013年有一项研究专门追踪过多头欧几里得这个假说,以及它和现代那个集体笔名的类比谱系。所以说从来没有人提出过,是不对的。
但这不是现在的默认立场。古代能点名他的材料都把他当作单数的个人。阿波罗尼奥斯在批评欧几里得做过什么,普罗克洛斯把他放在一串个体数学家中间。现代研究倾向于把他的工作理解成整理既有知识,重写证明,安排整体结构,而全书紧密的宏观结构,更适合解释为一个强力编辑者的组织工作。
类比成立的地方只有一点:作者的名字不必等同于一个从零写完全书的孤独天才。这本书显然吸收了几代人的成果,现存的文本又经过后人编辑,作者和文本层次必须分开。
不成立的地方更关键。现代那个集体有可以查证的成员,章程,协作史,和一个有意使用的共同笔名。古代的欧几里得没有任何对应的东西。从这本书吸收了大量前人成果,跳到欧几里得是一个刻意制造的学派笔名,中间缺的正是证据。多层文本是事实。原始作者必为群体不是。
所以这一篇要谈的那个人,只能是这样一个位置:有一个人或者一群人,在前300年前后的某个地方,把此前几代的几何成果重新选了一遍,重排了一遍,补齐了证明,决定了什么放在最前面。这个决定的后果,是后面所有事情的起点。
三 书不是从零写起的
普罗克洛斯保存的那份几何史目录,明确把编写《原本》这件事放在欧几里得之前。
它说希俄斯的希波克拉底是第一个编《原本》的人。后来莱昂编过一部更仔细的。再后来马格尼西亚的忒乌狄俄斯又编了一部,被称赞为极好的。这三部一部也没有以原书形式保存下来。
这三个名字值得记一下,因为它们说明了一件容易被忽略的事。在欧几里得之前,至少有三个人做过同一类工作,而且做过不止一遍。莱昂那部被称为更仔细,忒乌狄俄斯那部被称赞为极好的。有比较,就说明当时的人看得出高下,也说明这类书在流通。
证据链要展开说。希波克拉底约在前五世纪,普罗克洛斯写于450年前后,中间隔着将近九百年。但这一段历史目录,普遍认为至少部分来自欧德谟斯前四世纪末的那部失传的《几何学史》。所以这不是九百年后突然发明的名字,而是前四世纪的史家留下的材料被晚古代保存了下来。
原本这个词,在欧几里得之前已经是一种书型。它指的是把一个学科里被认为更基本,可以当作后续论证工具的命题,安排成体系。欧几里得最可辨认的成就是选择,重排,统一和补证。不是宣称在他之前没有几何学。
这一点会影响后面所有的判断。如果他是从零发明的,那么书里的每一个安排都是他的选择。如果他是在整理一个已有的传统,那么有些安排可能是他继承的,有些是他改的,而现在分不出哪些是哪些。
第五公设是他自己写的,还是他从更早的某部书里搬过来的,没有证据。
各卷的来源也要分档。第五卷的比例论与欧多克索斯高度相关,这是稳的。全卷的文字和编排出自欧多克索斯,没有证据。第十卷背后有泰阿泰德的研究传统,这是稳的。逐条命题署名,不成立。第十三卷汇入了早于欧几里得的正多面体研究,这是稳的。说它主要由某人写成,远弱于前者。
普罗克洛斯的原话是欧几里得把欧多克索斯的许多定理安排了进去,又完善了泰阿泰德已经研究的许多结果。这句话说的是安排和完善,不是抄录。至于这本书到底是什么,三个常用的词都碰到一部分,没有一个完全合适。
它不是研究论文集,因为大部分内容在他之前已有历史。它也不是简单的摘录汇编,因为全书的依赖顺序,定义配置和补足前提,需要很强的编辑设计。有学者把它形容成一个可以反复取用的成果储库。
至于教科书,后世的使用毫无疑问,原始的写作目的却不能直接证明。没有一封欧几里得的序言说本书供初年级学生使用,也没有前300年的课程表。
规模是这样的。十三卷,四百六十五条命题,定义合计约一百三十一条,五条公设和五条共同概念都放在第一卷开头。
各卷差别极大。第十卷一百一十五条,是最长的一卷,单这一卷就占了全书命题数的将近四分之一。第二卷只有十四条。
卷与卷之间的性质也不一样。第七到第九卷是整数论,讲互质,讲素数,讲最大公约数,和几何没有直接关系。第十一到第十三卷是立体几何。第五卷讲的是一般量的比例,上一篇说过,那套办法可以同时处理可通约与不可通约的量。
所以这不是一本几何书。它是把当时被认为可以当作基础的东西,分门别类摆在一起的一部书。
不过这些数字是现代批判本稳定下来的传本数字,不是欧几里得本人定稿的目录页。共同概念原来有几条,个别定义和公设是否真出自他手,都还有文本批评上的问题。
第一卷的开场顺序值得记住。先是二十三个定义,点,线,直线,面,角,圆,直角,平行。然后是五条公设。然后是共同概念。然后才进入第一题。这个顺序看起来像是把地基全部摆在了前面。看起来。这个词后面藏着这一篇剩下的全部内容。
四 第五条
要看清那第五条为什么特别,得先看他把书的开头排成了什么样子。
第一卷从二十三个定义开始。点是没有部分的东西。线是没有宽度的长。然后是圆,直角,平行线。定义之后,他列了五件事。
第一件:可以从任一点向任一点画一条直线。这句话没有证明,也不打算证明。它是一个申请,请容许我做这个动作。
后面三件也一样。可以把一条有限的直线沿原方向一直延长下去。可以用任意的点当圆心,任意的长度当半径画一个圆。所有的直角彼此相等。然后是第五件。
若一条直线截住两条直线,使同一侧的两个内角加起来小于两个直角,那么这两条直线一直延长下去,会在那一侧相交。五件列完,底下还有五句更一般的话:等于同一个量的两个量彼此相等,整体大于部分,诸如此类。这一整套东西摆在全书最前面,明列了不予证明的出发点。若按现代形式化标准重建,后续论证应只依赖列明的原则;但古代文本并没有宣布排除图示推理资源的完整形式契约。
不许再添别的,是这句话里最要紧的半句。一旦这样声明了,后面任何一步只要用到了没列出来的东西,就算违规。哪怕那个东西看上去再显然。这才是这本书真正的发明。不是某一条几何知识,是这个安排。
在他之前,几何当然已经有很多结果。前面说过,至少有三个人编过同类的书。他做的事情是把这些结果排成一条链子,而且把链子的第一环明明白白地摆出来给人看。摆出来的那一刻,就有人可以问:你确定只要这五件就够了吗。这个问题在他写完之后的两千三百年里,一直有人在问。而且问的方向,前后期完全不同。
前一半的人问的是:这五件里有没有一件其实是多余的。后一半的人问的是:这五件是不是漏了什么。这两个问题看起来相反,其实问的是同一件事的两头。而两千年里,几乎所有人问的都是前一个。后一个问题要等到有人决定不再相信自己的眼睛。
现在再看那五件,差别一眼就看得出来,而且这个差别首先在句子上,不在几何上。
前三件是同一个口气:容许我画一条线,容许我延长它,容许我画一个圆。每一句都是一个动作,而且都很短,希腊原文都在十个词上下。
第四件不再是动作,但仍然极短。所有的直角彼此相等。
第五件骤然变长。先要有一条横着的线截住两条线,再要同一侧的两个角加起来小于两个直角,再要这两条线一直延长下去,最后才说它们会相交。标准希腊文本三十多个词,是前面几条的数倍。更要紧的不是长度,是形状。前四件读起来像规则。第五件读起来像一条需要证明的结论。为什么他要这样写,没有人知道。他没有解释过。
能看到的只有结果。他需要这件事,而他没有去证它,是把它列进了不证的那一栏。这个选择在当时未必显眼。那一栏本来就是放不证的东西的地方,多放一条不需要理由。显眼是后来的事。当别的四条都短得像口令,只有这一条长得像结论,差别才被看出来。看出来之后,剩下的两千年就都花在同一件事上:想办法让它不必被要求。
办法只有三种。证明它可以从前四条推出来,于是它不必单列。或者换一个更朴素的说法来代替它。或者证明这件事根本做不到。前两种试了两千年。第三种要到十九世纪。
长期以来,前两种工作主要被当作完善平行理论;十九世纪的非欧几何与模型研究才使第三种方向获得决定性的形式。
这本书常被称作公理化方法的诞生。
如果这个词只是指把不证的东西列在前面,后面每一步都只许用前面的,那么它抓得很准,前面那一段说的就是这件事。而十九世纪末以后的人用这个词,意思要严得多。严到什么程度,第六节会看见。
把那种严格倒推到前300年,是后见之明。古代人当然知道这些原则有层次,也讨论过什么可以要求,什么必须证明。他们关心的不是后来那一套。
五 不安是什么时候开始的
有一句话流传很广:第五公设从写下来的第一天起,就让所有数学家不安。没有现存证据支持第一天起。
亚里士多德在欧几里得之前已经知道与平行线证明有关的循环论证问题,这说明平行线怎么证在前四世纪就是一个逻辑上的敏感区。但这当然不能证明他在批评一本尚未成书的书。
这个区分很重要,因为两件事很容易被混起来。平行线这个题目在欧几里得之前就已经难,而认为欧几里得那一条的处理方式不对,是另一回事,要晚得多。
针对这本书本身,现有最早可以点名的人物是波西多尼乌斯,约前135年到前51年。距前300年已经一百五十年以上。而且关于他的材料,又只由五世纪的普罗克洛斯保存。
普罗克洛斯说他试图重新定义平行线,大意是同一平面内保持等距离,既不趋近也不离开的两条直线。问题在于,处处等距这件事本身,已经把一个和欧氏平行性质相当强的条件塞了进去。
托勒密是二世纪的人。普罗克洛斯说他写过一个证明,并且逐步批评了它。后世的分析表明,关键步骤实际上偷偷用了与唯一平行线性质相当的条件,所以论证是循环的。
普罗克洛斯自己也试了。他批评完前人之后,用了平行线之间的距离受到界限这类额外性质,而这些性质并不由前四条公设免费给出。他准确地发现了别人把结论偷运进前提,然后掉进了同一个坑。
这里可以看出这个问题的真正难度。它不是难在证明技巧上,是难在识别上。一条被偷运进来的前提,在陈述的时候看起来往往比第五公设本身还要朴素。平行线之间的距离有个界限,这句话谁听了都觉得理所当然。这件事在这段历史里反复发生,而且不是因为这些人不够聪明。他们中的几位是各自时代最好的数学家。
波西多尼乌斯是斯多亚学派的重要人物,托勒密写下了此后一千四百年通行的天文学体系,海亚姆同时是诗人和历法改革者,图西建过天文台。
真正的原因是那个要被证明的东西,和那些看起来更朴素的替代说法,力量是一样的。换一个说法就等于换一件同样重的东西,而换的人常常看不出重量没变。这条线在阿拉伯世界继续了几百年,而且是这段历史真正持续发展的中段。
伊本·海赛姆用与垂线四边形,等距和运动概念有关的论证重建平行理论。他的方案后来被海亚姆批评,因为把运动带进几何基础本身就需要合法性。
欧玛尔·海亚姆研究一个有两条等长垂边的四边形,把顶部的角分成直角,锐角,钝角三种假设,然后设法排除后两种。他所用的收敛的直线必定相交这类原则,现代看来与第五公设的力量相当。
纳西尔丁·图西在十三世纪中叶继续用反证和四边形的方法,并批评了此前的方案。他的家族和后学又有更晚的版本。十六世纪罗马印行的阿拉伯文本,使其中一部分传统进入了欧洲的视野。
不过要注意,过去常把若干后期的版本一概算作图西自己的最终证明,现代的文献学要谨慎得多。这条传承线本身也是一部需要校勘的历史。这几百年真正重要的不是他们差一点发现了什么。那是十九世纪的目的论。
用后来发生的事情去衡量这些人做过什么,会把他们全部写成失败者。他们不是在失败。他们在做一件当时看来完全合理的事,而且做得越来越精细。
而且他们做出的东西并没有白费。那些四边形,那些关于顶角的三分假设,后来在另一套问题里全都用得上,只是那时它们的名字变了,用途也变了。
重要的是他们越来越系统地在问同一个问题:一条看起来显然的几何性质,究竟是被证明出来的,还是被另一种说法重新塞回了前提。
有人会从书本身作内部推断。欧几里得在第一卷里一直不用第五条,直到第二十九题才启用,似乎表明他自己也想把它推迟。这个观察是真的。但从推迟使用推到他本人怀疑它的正确性,或者相信它可以被证明,已经是解释,不是传记证据。他的动机没有保存下来。
这一篇里这句话已经出现过几次,后面还会再出现。它不是修辞。关于这个人,能确定的事情少到这个地步:他做了什么写在书里,他为什么这么做,一个字也没有。
六 第一题
现在看这本书的第一道题。给定一条线段,要作一个等边三角形。
作法是这样的。以线段的一个端点为中心,以整条线段为半径作一个圆。再以另一个端点为中心,同样的半径作第二个圆。取两圆的交点,和两个端点连起来。
第三条公设许可作圆。它没有说这两个圆一定相交。两个圆当然相交。把这道题画出来,交点就在那里,一眼就能看见。问题正在这里。书里没有任何一条原则保证那个交点存在。而这是全书第一题。
一眼就能看见,这句话是一条推理,不是一条公设。它用的是图,不是文本。第三条公设给的是作圆的许可,圆作出来之后它和别的圆有没有交点,那一条不管。
而这本书从第一页起就在宣称,后面的一切都从前面那几条推出来。第一题就已经用上了一个不在那几条里的东西。
这不是孤例。后面的作图会把一条直线和一个圆的相交当成可用的事实,于是又需要另一种相当的原则。书里没有一条现代形式的说法,说如果一条线段的两端一个在圆内一个在圆外,它就必定穿过圆。
第二类是顺序和介于。文本不停使用在某两点之间,在某一侧,落在角的内部,延长后经过某处这类位置关系,而第一卷开头没有一套关于介于的显式原则。
第三类是平面分离。现代所谓的帕施公理,典型形式是:三点不共线,一条不经过这三个顶点的直线,如果从一边进入三角形,就必须从另外两边之一出去。古典的几何证明大量依赖这类线既然从这里进去就只能从那里出来的图上事实,而书里没有把它们单列成原则。
第四类是合同与移动。第四题的叠合论证,让一个三角形被设想成放到另一个上面。共同概念里那条彼此重合者相等提供了一些语言资源,但没有现代意义下完整的刚体运动,角的合同和线段搬移的规则。
第五类是关联,唯一性和退化情形。图经常默认某些新点彼此不同,某些线不重合,交点落在需要的位置上。
这一类最不起眼,也最难穷尽。一个证明画出来的时候,图上的东西已经各就各位了,而文本并没有交代它们为什么在那里。
把这五类摆在一起,会发现它们有一个共同点。它们全都是在图上一眼就能确认的事情。哪两个东西碰上了,哪个点在哪两个点中间,线从哪一边进去从哪一边出来。正因为图上往往可以确认,这些关系未被系统地列为文字公理。古代注释家并非全未注意有关困难;十九世纪尤其鲜明的转变,是要求把这些推理资源纳入显式基础体系。
在那之前,图和文字是一起工作的,谁也没觉得应该把其中一个赶走。那么一共缺多少条。
没有一个学界通行的整数。因为答案取决于用哪一种现代形式语言去数。不同的形式系统拆分原则的方式不一样。
把欧几里得缺十九条或者缺二十条写成结论,是错误的。希尔伯特1899年那十九条分五群,不是拿一张清单逐项给他补洞,而是重新设计了整个基础结构。他把点,线,面以及若干关系当作原始对象,按不同的逻辑功能把原则分组,再系统研究它们的相容性和独立性。那五群是:关联,顺序,合同,平行,连续。
第五公设在这里只占其中一群里的一个条件。它不再承担整个基础的象征角色。帕施公理来自1882年的《新几何学讲义》。希尔伯特明确说明,他的顺序公理里有一条尤其要归功于帕施。
帕施的革命性不在于发现了一条惊人的定理。在于他指出了一件事:看图当然如此,这仍然是一项逻辑资源。如果你的目标是把图从证明资格里拿走,你就必须把这项资源写出来。
七 严格这个词换了意思
现在把两件事并排放着。
古人问的是:第五条为什么这么复杂,它是否不够自明,能不能从更简单的原则证明出来,能不能换成一个更自然的平行定义。
十九世纪问的是:一个完整的几何系统还需要哪些原始关系,介于,同侧,相交要怎么形式定义,圆与圆,线与圆的相交由什么保证,合同,顺序,连续各自要怎么公理化。两组问题的差别不在难易,在方向。这两种问题的差别可以说得更具体。
古人面对的是一句写在纸上的话。他们能读它,能数它有几个词,能觉得它太长,能试着换掉它。这句话是可见的,所以它可以被攻击两千年。
现代人面对的是一批从来没有变成句子的东西。两个圆会不会相交,一个点在不在另外两点之间,一条线进了三角形之后从哪里出去。这些在证明里被用过,但没有在任何一页上被写出来。看不见的东西没法被攻击。它甚至没法被同意或者反对,因为不存在可供反对的句子。
第五公设是明说的。现代发现的那些问题,大部分源于没有明说的推理资源。
于是这里出现了一个必须诚实处理的反转。如果把逻辑缺口定义成证明需要但作者没有陈述的前提,那么第五公设严格说根本不是缺口。他把它写出来了。
十九世纪的非欧几何和随后的模型工作还给出了一个更强的理由。在适当的其余公理之下,欧氏平行公理确实是独立的。想从更弱的体系里把它证明出来,不可能做到。希尔伯特本人就明确研究过它相对于其他公理的独立性。从现代的眼光看,欧几里得没有把它藏起来,而是把它列成一条额外的假设,这个处理反倒是对的。
换句话说,那条被抱怨了两千年的公设,是这本书里最诚实的一句话。它把一个不能白拿的东西,明明白白地要了过来。而那些从来没有被抱怨过的地方,恰恰是这本书拿了却没有说的地方。被抱怨的和有问题的,不是同一批。
这句话可以再推一步。一条被写出来的假设,会因为可见而承受全部的怀疑,而那些没有被写出来的,因为不可见,连怀疑都轮不到它们。可见性本身就把压力分配错了。
这里要立刻加一道刹车。这不证明他知道逻辑独立性,也不证明他预见了什么。他的动机没有保存。还有第三种反方,而且它把问题整个翻过来。
有些所谓的缺口,也许不是古人粗心漏了一句话,而是他那套做法本来就允许图承担一部分推断,而且这部分是有规矩,有约束的。如果把图的规范一并形式化,许多推理可以严格重建,而不必把每一个视觉关系都当作文本公理。按这一种读法,缺公理有时候意味着现代翻译成纯句法体系时需要补一条,而不等于原来的实践不合法。
这一层反方值得多说一句。它不是在为古人辩护。它说的是,一个证明体系可以很严格,又不必把所有的推断都压成文字句子。图如果有规范,有约束,有可检验的用法,它就可以是证明的一部分,而不只是旁边的插画。把图从证明里赶出去,是十九世纪的选择,不是永恒的标准。
所以最公平的判决是这样。第五公设有一个历史上的基础地位问题,但它不是这本书最明显的逻辑遗漏。而两千年人类都盯错了地方,直到十九世纪末才发现真正的漏洞,这个说法也不对。
古代数学家解决的是他们自己那一套基础论的标准。一个可以要求的东西是否适合作为不证自取的原则,能不能换成更朴素的。这是真问题。
帕施和希尔伯特解决的是另一种严格性要求。如果图不再有推理权,那么此前由图承担的顺序和连续信息,就必须进入形式系统。不是古人看错了地方。是严格这个词换了意思,而这个换法把问题挪到了另一处。这个换法有一个代价,值得记下来。
把图赶出证明之后,几何变得更可靠了,也变得更难读了。第一题原来是一句话加一张图,现在需要一条关于圆与圆相交的原则,而那条原则本身要靠连续性来立。看得见的东西变成了看不见的东西,换来的是不必再相信眼睛。这是一笔明确的交易。可读性换掉了,换来的是不依赖任何人的视力和直觉。
这笔交易是划算的。但它不是把一个错误改正了,它是换了一套标准,然后按新标准重新造了一遍。
八 产品与作坊
这本书背后那群人有多少,有一个可以拆开审计的估算。
奈茨在他关于希腊数学演绎形态的书里,先列出大约一百四十四个可以算作古代数学家的有名个体,然后试图估计已经完全丢失的那些人。他取了四份彼此部分重叠的名单,删掉欧几里得这类必然被所有来源提到的极著名人物,再用一种类似捕获再捕获的方法反推总数。六组配对给出的估计落在大约八十九到三百零三之间。他取三百作为较安全的猜测,又为保险把上界放宽到约一千。
这个估算的优点是方法透明,缺点同样明显。它要求那几份名单像随机抽样一样彼此独立,而它们不是。古代作者引用谁,高度依赖名望,学科谱系和前一个文本,频率更接近长尾分布。而删掉最有名的人物,本身又会改变抽样结构。
另有学者对古代科学文本里的引用另作统计,得到大约一百五十个被文献触及的作者,以及三百八十到四百四十部已知或者只知道标题的作品。但这是文献可见的人口,不是实际的从业人数。
所以没有一个统计意义上可靠的区间。数百人的量级,极宽松地放到千人量级,可以作为直觉。全古代一共正好多少名数学家,不可以。
更有把握的结论是另一件事。这是一个极小的,地理上分散的,世代不连续的著述共同体。有研究发现,几位主要作者之间的重叠很少,这个传统一度可以沉寂很久,再被重新拾起。
他们的身份也不统一。哲学学校里的教师和学生,王室资助的学者,天文学家,机械学家,测量和工程知识的作者,私人教师。没有证据显示存在现代意义上的职位市场,也没有一个跨城邦的数学家行会。这个传统很大程度上是通过文本,引用和注释链延续的,不依赖连续的社会机构。和第一篇的书吏学校放在一起,差别就很清楚了。
那里可以从大量的练习泥板,行政文书和训练痕迹里,把教学过程重建出来。这里留下的核心材料是高度整理过的著述,零散的纸草,哲学文字和极晚的传记。看到的是产品,远多于生产制度。
这也是为什么这一篇几乎写不出一个人。不是他们不重要,是他们的工作环境没有留下来。没有练习稿,没有课堂记录,没有算错又划掉的那一页。
第一篇里那个把泥板抹平重来的孩子,在这一篇没有对应的人。不是没有那样的孩子,是他用的那块板不会留下来。连图也是产品。
希腊数学的图不是证明旁边的插画。字母在句子和图之间来回指代,作图行为改变图,证明又从图里提取受控制的位置关系。
所以问古代的图按不按比例,答案不是简单的不按。它们不可靠地保存现代意义上的度量比例。一个本应一般的平行四边形可能被画得接近矩形,理论上不相等的线段可能看起来相等。而相交,连接,内外,先后这些关系往往极其重要。
图还有自己的传抄史。有研究比较了大量抄本上的图,发现抄写者会让图更规则,更对称,更好看,于是产生出文本并没有要求的额外特殊性质。每抄一次,图就变整齐一点。斋藤等人比较过大量抄本上的同一幅图,这种变化是可以追踪的。
这件事和文本的传抄不是一回事。抄错一个词,后人有机会从前后文里发现。把一个一般的四边形画得对称了一点,后人看到的就是一个对称的四边形,而文本并没有说它对称。一个本来是一般情形的图,抄着抄着变成了特殊情形。而证明依赖的正是图。
于是有两条线同时在走。文本被一代代校勘,越来越接近某个古老的读法,图被一代代誊画,越来越远离它原来的样子。
文本这一边也一样。四世纪的忒翁编辑过这本书,他在自己的另一部注释里提到过自己曾经加入内容,第六卷第三十三题之后的一处增补因此成了辨认他那个版本的锚点。现存的多数中世纪希腊抄本都带着这种编辑传统的特征。
所谓的非忒翁传统,不是欧几里得的亲笔原稿,是另一条没有经过同一种修订的传承支系。关键的抄本是梵蒂冈那部希腊抄本一九〇号,通常定在九到十世纪。
1808年,佩拉尔检查它的时候,这部书正在巴黎,因为拿破仑把梵蒂冈的藏书征走了。他注意到它没有忒翁自称加入的那些材料,于是意识到自己面对的是另一个传统。
不过1996年又有研究挑战了这部抄本直接通向欧几里得的乐观模型,强调阿拉伯语传统可能保存了不被这个二分法穷尽的古老读法。最稳的表述是,它是校勘这本书最重要的希腊见证之一,不是作者的原本。
1482年,拉特多尔特在威尼斯印出了第一个印刷本,对开本,用的是拉丁传统。它出名的原因之一是在活字印刷的早期成功地把四百多幅几何图和文字一起印了出来。拉特多尔特自己在献辞里就强调过这件事的技术困难。
1570年,比林斯利出版了第一部完整的英译本,迪伊为它写了序。比林斯利是伦敦的商人,服饰商行会的成员, 1596年当上伦敦市长。扉页上写着,迪伊的序会列出几门主要的数学学问,说明它们各是什么,能派什么用场。迪伊在序里解释这部书为什么用本国话印出来:拿到它的是不懂拉丁文,也不是大学学者的人。他问,这个国家里有多少跟数字,直尺和圆规打交道的普通匠人,有了这些帮助,能想出新的工程,新奇的器械和仪器,派上国家的各种用场,或者供自己消遣,或者把自家的生计维持得更好。那也是一部大开本,部分立体几何图用了可以折起来的纸片,让平面的纸页立成三维的模型。1574年,克拉维乌斯出版了一部大型的拉丁注本,后来成为耶稣会数学课程的核心文本之一。
它作为教材用了多久,没有一个统一的终止年。在英国,十九世纪初它仍然是学校和大学的几何标准,维多利亚时代还围绕能不能用别的教材发生过争论, 1871年成立的一个协会就是改革的力量之一。到二十世纪初它才明显退出课程核心。别的国家和时期早已换用重写本,所以全世界连续两千年只用这一本,也不能这么说。
回到那句没有王者之路。
这本书活得比任何一个能告诉后人作者是谁的人都长。图在一次次抄写里变得越来越整齐,文本在一道道手里被增补,编号,重画。而它能被争论两千年,靠的不是它没有缺口。靠的是他把自己站在哪里写了出来。这件事说起来平常,做起来不平常。把自己依赖的东西写出来,等于把它交给别人去拆。
写出来的那一条,后人可以质疑它,替换它,试图证明它,最后证明它证不出来。没有系统写出来的那些资源,较难以同样明确的形式接受检验;这不等于古代注释家从未讨论过它们。两千年里,那本书最受攻击的地方是它最坦白的地方,而它最脆弱的地方安静地待着,谁也没碰。
数还在往下算,而什么算数学,还没有算清楚过。
一 沒有王者之路
托勒密問歐幾里得,有沒有比讀完這本書更短的學幾何的辦法。歐幾里得回答說,通往幾何沒有王者之路。這句話流傳了一千五百年。它簡短,有骨氣,而且把一個數學家和一個國王放在同一個房間裡,讓前者贏了。
這類故事有一個共同的形狀。權力想走捷徑,知識說沒有捷徑。聽的人不必懂幾何也能明白它在說什麼,而且聽完之後會站在數學這一邊。好用的故事往往是這樣的。它不需要讀者懂那門學問,只需要讀者懂那個姿態。而一個只靠姿態傳播的故事,在傳播的過程中並不需要保住自己的主角。
保存它的是普羅克洛斯,寫於公元450年前後。如果那件事發生在前300年上下,中間隔著大約七百五十年。普羅克洛斯沒有注明他從哪裡聽來的。
更麻煩的是另一件事。五世紀還有一位編纂者斯托拜烏斯,他保存了同一個故事的另一個版本。國王問有沒有快捷的辦法學幾何,數學家回答說,國王走路有王道,幾何沒有。那位國王是亞歷山大大帝,那位數學家是梅內克繆斯。
同一個故事,兩對師徒,兩個都比記錄者早七百年以上。這不是互相印證,是相反的東西。一個故事能掛在兩組人身上,說明它掛在誰身上都行。
兩個版本還都很合理。梅內克繆斯確實是前四世紀的數學家,亞歷山大確實是國王,時代對得上。歐幾里得和托勒密一世也對得上。故事沒有露出破綻,露出破綻的是它有兩份。
斯托拜烏斯還保存了另一則。一個學生剛學完第一個定理,就問學這東西能得到什麼。歐幾里得叫僕人拿三奧波爾給他,因為他非要從所學里得點好處。這兩則加起來,就是後世認識的那個歐幾里得。清高,嚴厲,不屑於實用,對國王也不讓步。
而這兩則的最早出處都在公元五世紀。
這兩則軼事不是不能講。它們是古代晚期真實存在過的文本,反映了那個時代的人願意怎樣想象一位數學家。這一點就是史料。它們不是關於有一天歐幾里得真的如何如何的記載。
那種不肯拿學問去換好處的姿態,另有一份早得多,也有原文可查的出處,只是說話的人不是歐幾里得。前四世紀柏拉圖在《理想國》第七卷裡寫,將來要擔當城邦最高職務的人學算術,大意是,不能淺嘗輒止,要一直學到能憑思想看清數的本性,不是像商人和小販那樣為了買賣,是為了打仗,也為了讓靈魂從變動不居的東西轉向真實。前面一句他說得更直白:當兵的要懂數,才排得了陣。在他那裡,不為買賣和為了打仗,是同一句話的前後兩半。
前兩篇處理過兩種破綻。第一篇的希羅多德,破綻在他自己標了我認為。第二篇的希帕索斯,破綻在異本互相衝突,而且越晚越完整。這一篇的破綻是第三種:主角可以替換。把這兩則軼事拿掉,關於這個人還剩下什麼,是一個值得單獨問的問題。答案是幾乎不剩什麼。
沒有一條關於他溫和,嚴肅,清貧,蔑視功利或者善於教學的描述能夠立住。這些形象基本上是從那兩則軼事倒推出來的。而與此同時,他那本書的每一個字,都可以拿出來檢查。這本書的傳承線是可以一節一節往回追的:忒翁四世紀編過它,梵蒂岡那部關鍵抄本定在九到十世紀,連一代一代抄寫者把圖畫得更整齊一點的痕跡都留著。關於這個人沒有的東西,關於這本書全都有。
這和前兩篇最大的不同就在這裡。第一篇有實物沒有人名,第二篇有人名沒有實物,這一篇有一部完整的,逐字可校的書,和一個幾乎空白的作者。人幾乎不存在,而他的構造完整地站在那裡,一條命題接一條命題,兩千三百年沒有倒。
二 我們知道書,不知道人
歐幾里得沒有可靠的同時代傳記。沒有出生記錄,沒有死亡記錄,沒有家庭,沒有師承,沒有任職文書。約前300年這個說法,首先是一個由相對年代推出來的活動期,不是生卒年。把提到他的材料按年代排開,情況是這樣。
最早的獨立點名來自阿波羅尼奧斯,在《圓錐曲線》的序言裡。年代大約在前三世紀末到前二世紀初,距前300年約一百年。這條很重要,因為它讓歐幾里得純屬晚期虛構這個說法難以維持。前200年前後已經有一位被高級幾何學家當作前輩的歐幾里得。而且阿波羅尼奧斯提到他,是為了批評他。他說歐幾里得處理某類軌跡問題處理得不完善。
這一條的價值恰恰在於它不客氣。一個後輩在自己的書裡挑前輩的毛病,這種提及比贊美更難偽造,也更能說明被提到的人在當時是一個可以被具體討論的對象,不是一個符號。
帕普斯的《匯編》寫於公元320年前後,距歐幾里得約六百二十年。他說阿波羅尼奧斯在亞歷山大里亞和歐幾里得的門人相處過。這是亞歷山大里亞這個定位的重要旁證,但他所記的這件事本身已經晚了五百年。普羅克洛斯的《原本第一卷注》寫於450年前後,距歐幾里得約七百五十年。後世的歐幾里得生平,主要框架來自這一部。斯托拜烏斯是五世紀,兩則軼事的來源。
伊本·納迪姆的書目寫於987年前後,距歐幾里得約一千二百九十年。它對作品傳承極其重要,作為私人傳記已經太晚。十二到十三世紀的阿拉伯傳記匯編里,終於出現了出生地和父親的名字。距事件約一千五百年。這張表要緊。後世的通俗傳記,常常把這些相隔數百年的材料壓成一段,讀起來像是同時代的記述。
亞歷山大里亞這個定位,靠兩根支柱。普羅克洛斯的說法,和帕普斯的那一句。兩條方向一致,所以比單一軼事強,但都不是同時代的證詞。托勒密一世時期這個說法主要來自普羅克洛斯,而他的論證之一是阿基米德提到過歐幾里得,但那處傳本本身有插補問題。至於他是不是繆斯宮的受俸學者,沒有足夠的證據。
關於繆斯宮最清楚的實景描述來自斯特拉波,大約在前一世紀末。他親眼見到的那個機構,已經比前300年晚了近三百年。他說那裡屬於宮殿區,有廊道,有座席,有共餐的大廳,財產共有,由王室任命的祭司管理。他沒有說歐幾里得在冊。
亞歷山大里亞的圖書館是一個太好用的背景。把一個幾乎沒有生平的人放進一座著名的圖書館,讀者立刻就能想象出畫面:長廊,書卷,王室供養的學者。那座機構確實存在,那個畫面也大致不錯。只是沒有任何一份名單上有他。能確定的只有一件事:後來有人說他在那裡教過學生,而說這話的人比他晚了六百年。
還有一個問題值得提一句。歐幾里得是不是一個人。
嚴肅學術史上確實有人討論過這件事。2013年有一項研究專門追蹤過多頭歐幾里得這個假說,以及它和現代那個集體筆名的類比譜系。所以說從來沒有人提出過,是不對的。
但這不是現在的默認立場。古代能點名他的材料都把他當作單數的個人。阿波羅尼奧斯在批評歐幾里得做過什麼,普羅克洛斯把他放在一串個體數學家中間。現代研究傾向於把他的工作理解成整理既有知識,重寫證明,安排整體結構,而全書緊密的宏觀結構,更適合解釋為一個強力編輯者的組織工作。
類比成立的地方只有一點:作者的名字不必等同於一個從零寫完全書的孤獨天才。這本書顯然吸收了幾代人的成果,現存的文本又經過後人編輯,作者和文本層次必須分開。
不成立的地方更關鍵。現代那個集體有可以查證的成員,章程,協作史,和一個有意使用的共同筆名。古代的歐幾里得沒有任何對應的東西。從這本書吸收了大量前人成果,跳到歐幾里得是一個刻意製造的學派筆名,中間缺的正是證據。多層文本是事實。原始作者必為群體不是。
所以這一篇要談的那個人,只能是這樣一個位置:有一個人或者一群人,在前300年前後的某個地方,把此前幾代的幾何成果重新選了一遍,重排了一遍,補齊了證明,決定了什麼放在最前面。這個決定的後果,是後面所有事情的起點。
三 書不是從零寫起的
普羅克洛斯保存的那份幾何史目錄,明確把編寫《原本》這件事放在歐幾里得之前。
它說希俄斯的希波克拉底是第一個編《原本》的人。後來萊昂編過一部更仔細的。再後來馬格尼西亞的忒烏狄俄斯又編了一部,被稱贊為極好的。這三部一部也沒有以原書形式保存下來。
這三個名字值得記一下,因為它們說明了一件容易被忽略的事。在歐幾里得之前,至少有三個人做過同一類工作,而且做過不止一遍。萊昂那部被稱為更仔細,忒烏狄俄斯那部被稱贊為極好的。有比較,就說明當時的人看得出高下,也說明這類書在流通。
證據鏈要展開說。希波克拉底約在前五世紀,普羅克洛斯寫於450年前後,中間隔著將近九百年。但這一段歷史目錄,普遍認為至少部分來自歐德謨斯前四世紀末的那部失傳的《幾何學史》。所以這不是九百年後突然發明的名字,而是前四世紀的史家留下的材料被晚古代保存了下來。
原本這個詞,在歐幾里得之前已經是一種書型。它指的是把一個學科裡被認為更基本,可以當作後續論證工具的命題,安排成體系。歐幾里得最可辨認的成就是選擇,重排,統一和補證。不是宣稱在他之前沒有幾何學。
這一點會影響後面所有的判斷。如果他是從零發明的,那麼書裡的每一個安排都是他的選擇。如果他是在整理一個已有的傳統,那麼有些安排可能是他繼承的,有些是他改的,而現在分不出哪些是哪些。
第五公設是他自己寫的,還是他從更早的某部書裡搬過來的,沒有證據。
各卷的來源也要分檔。第五卷的比例論與歐多克索斯高度相關,這是穩的。全卷的文字和編排出自歐多克索斯,沒有證據。第十卷背後有泰阿泰德的研究傳統,這是穩的。逐條命題署名,不成立。第十三卷匯入了早於歐幾里得的正多面體研究,這是穩的。說它主要由某人寫成,遠弱於前者。
普羅克洛斯的原話是歐幾里得把歐多克索斯的許多定理安排了進去,又完善了泰阿泰德已經研究的許多結果。這句話說的是安排和完善,不是抄錄。至於這本書到底是什麼,三個常用的詞都碰到一部分,沒有一個完全合適。
它不是研究論文集,因為大部分內容在他之前已有歷史。它也不是簡單的摘錄匯編,因為全書的依賴順序,定義配置和補足前提,需要很強的編輯設計。有學者把它形容成一個可以反復取用的成果儲庫。
至於教科書,後世的使用毫無疑問,原始的寫作目的卻不能直接證明。沒有一封歐幾里得的序言說本書供初年級學生使用,也沒有前300年的課程表。
規模是這樣的。十三卷,四百六十五條命題,定義合計約一百三十一條,五條公設和五條共同概念都放在第一卷開頭。
各卷差別極大。第十卷一百一十五條,是最長的一卷,單這一卷就佔了全書命題數的將近四分之一。第二卷只有十四條。
卷與卷之間的性質也不一樣。第七到第九卷是整數論,講互質,講素數,講最大公約數,和幾何沒有直接關係。第十一到第十三卷是立體幾何。第五卷講的是一般量的比例,上一篇說過,那套辦法可以同時處理可通約與不可通約的量。
所以這不是一本幾何書。它是把當時被認為可以當作基礎的東西,分門別類擺在一起的一部書。
不過這些數字是現代批判本穩定下來的傳本數字,不是歐幾里得本人定稿的目錄頁。共同概念原來有幾條,個別定義和公設是否真出自他手,都還有文本批評上的問題。
第一卷的開場順序值得記住。先是二十三個定義,點,線,直線,面,角,圓,直角,平行。然後是五條公設。然後是共同概念。然後才進入第一題。這個順序看起來像是把地基全部擺在了前面。看起來。這個詞後面藏著這一篇剩下的全部內容。
四 第五條
要看清那第五條為什麼特別,得先看他把書的開頭排成了什麼樣子。
第一卷從二十三個定義開始。點是沒有部分的東西。線是沒有寬度的長。然後是圓,直角,平行線。定義之後,他列了五件事。
第一件:可以從任一點向任一點畫一條直線。這句話沒有證明,也不打算證明。它是一個申請,請容許我做這個動作。
後面三件也一樣。可以把一條有限的直線沿原方向一直延長下去。可以用任意的點當圓心,任意的長度當半徑畫一個圓。所有的直角彼此相等。然後是第五件。
若一條直線截住兩條直線,使同一側的兩個內角加起來小於兩個直角,那麼這兩條直線一直延長下去,會在那一側相交。五件列完,底下還有五句更一般的話:等於同一個量的兩個量彼此相等,整體大於部分,諸如此類。這一整套東西擺在全書最前面,明列了不予證明的出發點。若按現代形式化標準重建,後續論證應只依賴列明的原則;但古代文本並沒有宣佈排除圖示推理資源的完整形式契約。
不許再添別的,是這句話裡最要緊的半句。一旦這樣聲明瞭,後面任何一步只要用到了沒列出來的東西,就算違規。哪怕那個東西看上去再顯然。這才是這本書真正的發明。不是某一條幾何知識,是這個安排。
在他之前,幾何當然已經有很多結果。前面說過,至少有三個人編過同類的書。他做的事情是把這些結果排成一條鍊子,而且把鍊子的第一環明明白白地擺出來給人看。擺出來的那一刻,就有人可以問:你確定只要這五件就夠了嗎。這個問題在他寫完之後的兩千三百年裡,一直有人在問。而且問的方向,前後期完全不同。
前一半的人問的是:這五件里有沒有一件其實是多餘的。後一半的人問的是:這五件是不是漏了什麼。這兩個問題看起來相反,其實問的是同一件事的兩頭。而兩千年裡,幾乎所有人問的都是前一個。後一個問題要等到有人決定不再相信自己的眼睛。
現在再看那五件,差別一眼就看得出來,而且這個差別首先在句子上,不在幾何上。
前三件是同一個口氣:容許我畫一條線,容許我延長它,容許我畫一個圓。每一句都是一個動作,而且都很短,希臘原文都在十個詞上下。
第四件不再是動作,但仍然極短。所有的直角彼此相等。
第五件驟然變長。先要有一條橫著的線截住兩條線,再要同一側的兩個角加起來小於兩個直角,再要這兩條線一直延長下去,最後才說它們會相交。標準希臘文本三十多個詞,是前面幾條的數倍。更要緊的不是長度,是形狀。前四件讀起來像規則。第五件讀起來像一條需要證明的結論。為什麼他要這樣寫,沒有人知道。他沒有解釋過。
能看到的只有結果。他需要這件事,而他沒有去證它,是把它列進了不證的那一欄。這個選擇在當時未必顯眼。那一欄本來就是放不證的東西的地方,多放一條不需要理由。顯眼是後來的事。當別的四條都短得像口令,只有這一條長得像結論,差別才被看出來。看出來之後,剩下的兩千年就都花在同一件事上:想辦法讓它不必被要求。
辦法只有三種。證明它可以從前四條推出來,於是它不必單列。或者換一個更樸素的說法來代替它。或者證明這件事根本做不到。前兩種試了兩千年。第三種要到十九世紀。
長期以來,前兩種工作主要被當作完善平行理論;十九世紀的非歐幾何與模型研究才使第三種方向獲得決定性的形式。
這本書常被稱作公理化方法的誕生。
如果這個詞只是指把不證的東西列在前面,後面每一步都只許用前面的,那麼它抓得很准,前面那一段說的就是這件事。而十九世紀末以後的人用這個詞,意思要嚴得多。嚴到什麼程度,第六節會看見。
把那種嚴格倒推到前300年,是後見之明。古代人當然知道這些原則有層次,也討論過什麼可以要求,什麼必須證明。他們關心的不是後來那一套。
五 不安是什麼時候開始的
有一句話流傳很廣:第五公設從寫下來的第一天起,就讓所有數學家不安。沒有現存證據支持第一天起。
亞里士多德在歐幾里得之前已經知道與平行線證明有關的循環論證問題,這說明平行線怎麼證在前四世紀就是一個邏輯上的敏感區。但這當然不能證明他在批評一本尚未成書的書。
這個區分很重要,因為兩件事很容易被混起來。平行線這個題目在歐幾里得之前就已經難,而認為歐幾里得那一條的處理方式不對,是另一回事,要晚得多。
針對這本書本身,現有最早可以點名的人物是波西多尼烏斯,約前135年到前51年。距前300年已經一百五十年以上。而且關於他的材料,又只由五世紀的普羅克洛斯保存。
普羅克洛斯說他試圖重新定義平行線,大意是同一平面內保持等距離,既不趨近也不離開的兩條直線。問題在於,處處等距這件事本身,已經把一個和歐氏平行性質相當強的條件塞了進去。
托勒密是二世紀的人。普羅克洛斯說他寫過一個證明,並且逐步批評了它。後世的分析表明,關鍵步驟實際上偷偷用了與唯一平行線性質相當的條件,所以論證是循環的。
普羅克洛斯自己也試了。他批評完前人之後,用了平行線之間的距離受到界限這類額外性質,而這些性質並不由前四條公設免費給出。他準確地發現了別人把結論偷運進前提,然後掉進了同一個坑。
這裡可以看出這個問題的真正難度。它不是難在證明技巧上,是難在識別上。一條被偷運進來的前提,在陳述的時候看起來往往比第五公設本身還要樸素。平行線之間的距離有個界限,這句話誰聽了都覺得理所當然。這件事在這段歷史裡反復發生,而且不是因為這些人不夠聰明。他們中的幾位是各自時代最好的數學家。
波西多尼烏斯是斯多亞學派的重要人物,托勒密寫下了此後一千四百年通行的天文學體系,海亞姆同時是詩人和曆法改革者,圖西建過天文台。
真正的原因是那個要被證明的東西,和那些看起來更樸素的替代說法,力量是一樣的。換一個說法就等於換一件同樣重的東西,而換的人常常看不出重量沒變。這條線在阿拉伯世界繼續了幾百年,而且是這段歷史真正持續發展的中段。
伊本·海賽姆用與垂線四邊形,等距和運動概念有關的論證重建平行理論。他的方案後來被海亞姆批評,因為把運動帶進幾何基礎本身就需要合法性。
歐瑪爾·海亞姆研究一個有兩條等長垂邊的四邊形,把頂部的角分成直角,銳角,鈍角三種假設,然後設法排除後兩種。他所用的收斂的直線必定相交這類原則,現代看來與第五公設的力量相當。
納西爾丁·圖西在十三世紀中葉繼續用反證和四邊形的方法,並批評了此前的方案。他的家族和後學又有更晚的版本。十六世紀羅馬印行的阿拉伯文本,使其中一部分傳統進入了歐洲的視野。
不過要注意,過去常把若干後期的版本一概算作圖西自己的最終證明,現代的文獻學要謹慎得多。這條傳承線本身也是一部需要校勘的歷史。這幾百年真正重要的不是他們差一點發現了什麼。那是十九世紀的目的論。
用後來發生的事情去衡量這些人做過什麼,會把他們全部寫成失敗者。他們不是在失敗。他們在做一件當時看來完全合理的事,而且做得越來越精細。
而且他們做出的東西並沒有白費。那些四邊形,那些關於頂角的三分假設,後來在另一套問題裡全都用得上,只是那時它們的名字變了,用途也變了。
重要的是他們越來越系統地在問同一個問題:一條看起來顯然的幾何性質,究竟是被證明出來的,還是被另一種說法重新塞回了前提。
有人會從書本身作內部推斷。歐幾里得在第一卷裡一直不用第五條,直到第二十九題才啓用,似乎表明他自己也想把它推遲。這個觀察是真的。但從推遲使用推到他本人懷疑它的正確性,或者相信它可以被證明,已經是解釋,不是傳記證據。他的動機沒有保存下來。
這一篇裡這句話已經出現過幾次,後面還會再出現。它不是修辭。關於這個人,能確定的事情少到這個地步:他做了什麼寫在書裡,他為什麼這麼做,一個字也沒有。
六 第一題
現在看這本書的第一道題。給定一條線段,要作一個等邊三角形。
作法是這樣的。以線段的一個端點為中心,以整條線段為半徑作一個圓。再以另一個端點為中心,同樣的半徑作第二個圓。取兩圓的交點,和兩個端點連起來。
第三條公設許可作圓。它沒有說這兩個圓一定相交。兩個圓當然相交。把這道題畫出來,交點就在那裡,一眼就能看見。問題正在這裡。書裡沒有任何一條原則保證那個交點存在。而這是全書第一題。
一眼就能看見,這句話是一條推理,不是一條公設。它用的是圖,不是文本。第三條公設給的是作圓的許可,圓作出來之後它和別的圓有沒有交點,那一條不管。
而這本書從第一頁起就在宣稱,後面的一切都從前面那幾條推出來。第一題就已經用上了一個不在那幾條里的東西。
這不是孤例。後面的作圖會把一條直線和一個圓的相交當成可用的事實,於是又需要另一種相當的原則。書裡沒有一條現代形式的說法,說如果一條線段的兩端一個在圓內一個在圓外,它就必定穿過圓。
第二類是順序和介於。文本不停使用在某兩點之間,在某一側,落在角的內部,延長後經過某處這類位置關係,而第一卷開頭沒有一套關於介於的顯式原則。
第三類是平面分離。現代所謂的帕施公理,典型形式是:三點不共線,一條不經過這三個頂點的直線,如果從一邊進入三角形,就必須從另外兩邊之一出去。古典的幾何證明大量依賴這類線既然從這裡進去就只能從那裡出來的圖上事實,而書裡沒有把它們單列成原則。
第四類是合同與移動。第四題的疊合論證,讓一個三角形被設想成放到另一個上面。共同概念里那條彼此重合者相等提供了一些語言資源,但沒有現代意義下完整的剛體運動,角的合同和線段搬移的規則。
第五類是關聯,唯一性和退化情形。圖經常默認某些新點彼此不同,某些線不重合,交點落在需要的位置上。
這一類最不起眼,也最難窮盡。一個證明畫出來的時候,圖上的東西已經各就各位了,而文本並沒有交代它們為什麼在那裡。
把這五類擺在一起,會發現它們有一個共同點。它們全都是在圖上一眼就能確認的事情。哪兩個東西碰上了,哪個點在哪兩個點中間,線從哪一邊進去從哪一邊出來。正因為圖上往往可以確認,這些關係未被系統地列為文字公理。古代注釋家並非全未注意有關困難;十九世紀尤其鮮明的轉變,是要求把這些推理資源納入顯式基礎體系。
在那之前,圖和文字是一起工作的,誰也沒覺得應該把其中一個趕走。那麼一共缺多少條。
沒有一個學界通行的整數。因為答案取決於用哪一種現代形式語言去數。不同的形式系統拆分原則的方式不一樣。
把歐幾里得缺十九條或者缺二十條寫成結論,是錯誤的。希爾伯特1899年那十九條分五群,不是拿一張清單逐項給他補洞,而是重新設計了整個基礎結構。他把點,線,面以及若干關係當作原始對象,按不同的邏輯功能把原則分組,再系統研究它們的相容性和獨立性。那五群是:關聯,順序,合同,平行,連續。
第五公設在這裡只佔其中一群裡的一個條件。它不再承擔整個基礎的象徵角色。帕施公理來自1882年的《新幾何學講義》。希爾伯特明確說明,他的順序公理里有一條尤其要歸功於帕施。
帕施的革命性不在於發現了一條驚人的定理。在於他指出了一件事:看圖當然如此,這仍然是一項邏輯資源。如果你的目標是把圖從證明資格里拿走,你就必須把這項資源寫出來。
七 嚴格這個詞換了意思
現在把兩件事並排放著。
古人問的是:第五條為什麼這麼複雜,它是否不夠自明,能不能從更簡單的原則證明出來,能不能換成一個更自然的平行定義。
十九世紀問的是:一個完整的幾何系統還需要哪些原始關係,介於,同側,相交要怎麼形式定義,圓與圓,線與圓的相交由什麼保證,合同,順序,連續各自要怎麼公理化。兩組問題的差別不在難易,在方向。這兩種問題的差別可以說得更具體。
古人面對的是一句寫在紙上的話。他們能讀它,能數它有幾個詞,能覺得它太長,能試著換掉它。這句話是可見的,所以它可以被攻擊兩千年。
現代人面對的是一批從來沒有變成句子的東西。兩個圓會不會相交,一個點在不在另外兩點之間,一條線進了三角形之後從哪裡出去。這些在證明裡被用過,但沒有在任何一頁上被寫出來。看不見的東西沒法被攻擊。它甚至沒法被同意或者反對,因為不存在可供反對的句子。
第五公設是明說的。現代發現的那些問題,大部分源於沒有明說的推理資源。
於是這裡出現了一個必須誠實處理的反轉。如果把邏輯缺口定義成證明需要但作者沒有陳述的前提,那麼第五公設嚴格說根本不是缺口。他把它寫出來了。
十九世紀的非歐幾何和隨後的模型工作還給出了一個更強的理由。在適當的其餘公理之下,歐氏平行公理確實是獨立的。想從更弱的體系裡把它證明出來,不可能做到。希爾伯特本人就明確研究過它相對於其他公理的獨立性。從現代的眼光看,歐幾里得沒有把它藏起來,而是把它列成一條額外的假設,這個處理反倒是對的。
換句話說,那條被抱怨了兩千年的公設,是這本書裡最誠實的一句話。它把一個不能白拿的東西,明明白白地要了過來。而那些從來沒有被抱怨過的地方,恰恰是這本書拿了卻沒有說的地方。被抱怨的和有問題的,不是同一批。
這句話可以再推一步。一條被寫出來的假設,會因為可見而承受全部的懷疑,而那些沒有被寫出來的,因為不可見,連懷疑都輪不到它們。可見性本身就把壓力分配錯了。
這裡要立刻加一道剎車。這不證明他知道邏輯獨立性,也不證明他預見了什麼。他的動機沒有保存。還有第三種反方,而且它把問題整個翻過來。
有些所謂的缺口,也許不是古人粗心漏了一句話,而是他那套做法本來就允許圖承擔一部分推斷,而且這部分是有規矩,有約束的。如果把圖的規範一並形式化,許多推理可以嚴格重建,而不必把每一個視覺關係都當作文本公理。按這一種讀法,缺公理有時候意味著現代翻譯成純句法體系時需要補一條,而不等於原來的實踐不合法。
這一層反方值得多說一句。它不是在為古人辯護。它說的是,一個證明體系可以很嚴格,又不必把所有的推斷都壓成文字句子。圖如果有規範,有約束,有可檢驗的用法,它就可以是證明的一部分,而不只是旁邊的插畫。把圖從證明裡趕出去,是十九世紀的選擇,不是永恆的標準。
所以最公平的判決是這樣。第五公設有一個歷史上的基礎地位問題,但它不是這本書最明顯的邏輯遺漏。而兩千年人類都盯錯了地方,直到十九世紀末才發現真正的漏洞,這個說法也不對。
古代數學家解決的是他們自己那一套基礎論的標準。一個可以要求的東西是否適合作為不證自取的原則,能不能換成更樸素的。這是真問題。
帕施和希爾伯特解決的是另一種嚴格性要求。如果圖不再有推理權,那麼此前由圖承擔的順序和連續信息,就必須進入形式系統。不是古人看錯了地方。是嚴格這個詞換了意思,而這個換法把問題挪到了另一處。這個換法有一個代價,值得記下來。
把圖趕出證明之後,幾何變得更可靠了,也變得更難讀了。第一題原來是一句話加一張圖,現在需要一條關於圓與圓相交的原則,而那條原則本身要靠連續性來立。看得見的東西變成了看不見的東西,換來的是不必再相信眼睛。這是一筆明確的交易。可讀性換掉了,換來的是不依賴任何人的視力和直覺。
這筆交易是划算的。但它不是把一個錯誤改正了,它是換了一套標準,然後按新標準重新造了一遍。
八 產品與作坊
這本書背後那群人有多少,有一個可以拆開審計的估算。
奈茨在他關於希臘數學演繹形態的書裡,先列出大約一百四十四個可以算作古代數學家的有名個體,然後試圖估計已經完全丟失的那些人。他取了四份彼此部分重疊的名單,刪掉歐幾里得這類必然被所有來源提到的極著名人物,再用一種類似捕獲再捕獲的方法反推總數。六組配對給出的估計落在大約八十九到三百零三之間。他取三百作為較安全的猜測,又為保險把上界放寬到約一千。
這個估算的優點是方法透明,缺點同樣明顯。它要求那幾份名單像隨機抽樣一樣彼此獨立,而它們不是。古代作者引用誰,高度依賴名望,學科譜系和前一個文本,頻率更接近長尾分布。而刪掉最有名的人物,本身又會改變抽樣結構。
另有學者對古代科學文本裡的引用另作統計,得到大約一百五十個被文獻觸及的作者,以及三百八十到四百四十部已知或者只知道標題的作品。但這是文獻可見的人口,不是實際的從業人數。
所以沒有一個統計意義上可靠的區間。數百人的量級,極寬松地放到千人量級,可以作為直覺。全古代一共正好多少名數學家,不可以。
更有把握的結論是另一件事。這是一個極小的,地理上分散的,世代不連續的著述共同體。有研究發現,幾位主要作者之間的重疊很少,這個傳統一度可以沈寂很久,再被重新拾起。
他們的身份也不統一。哲學學校裡的教師和學生,王室資助的學者,天文學家,機械學家,測量和工程知識的作者,私人教師。沒有證據顯示存在現代意義上的職位市場,也沒有一個跨城邦的數學家行會。這個傳統很大程度上是通過文本,引用和注釋鏈延續的,不依賴連續的社會機構。和第一篇的書吏學校放在一起,差別就很清楚了。
那裡可以從大量的練習泥板,行政文書和訓練痕跡里,把教學過程重建出來。這裡留下的核心材料是高度整理過的著述,零散的紙草,哲學文字和極晚的傳記。看到的是產品,遠多於生產制度。
這也是為什麼這一篇幾乎寫不出一個人。不是他們不重要,是他們的工作環境沒有留下來。沒有練習稿,沒有課堂記錄,沒有算錯又划掉的那一頁。
第一篇裡那個把泥板抹平重來的孩子,在這一篇沒有對應的人。不是沒有那樣的孩子,是他用的那塊板不會留下來。連圖也是產品。
希臘數學的圖不是證明旁邊的插畫。字母在句子和圖之間來回指代,作圖行為改變圖,證明又從圖裡提取受控制的位置關係。
所以問古代的圖按不按比例,答案不是簡單的不按。它們不可靠地保存現代意義上的度量比例。一個本應一般的平行四邊形可能被畫得接近矩形,理論上不相等的線段可能看起來相等。而相交,連接,內外,先後這些關係往往極其重要。
圖還有自己的傳抄史。有研究比較了大量抄本上的圖,發現抄寫者會讓圖更規則,更對稱,更好看,於是產生出文本並沒有要求的額外特殊性質。每抄一次,圖就變整齊一點。齋藤等人比較過大量抄本上的同一幅圖,這種變化是可以追蹤的。
這件事和文本的傳抄不是一回事。抄錯一個詞,後人有機會從前後文里發現。把一個一般的四邊形畫得對稱了一點,後人看到的就是一個對稱的四邊形,而文本並沒有說它對稱。一個本來是一般情形的圖,抄著抄著變成了特殊情形。而證明依賴的正是圖。
於是有兩條線同時在走。文本被一代代校勘,越來越接近某個古老的讀法,圖被一代代謄畫,越來越遠離它原來的樣子。
文本這一邊也一樣。四世紀的忒翁編輯過這本書,他在自己的另一部注釋里提到過自己曾經加入內容,第六卷第三十三題之後的一處增補因此成了辨認他那個版本的錨點。現存的多數中世紀希臘抄本都帶著這種編輯傳統的特徵。
所謂的非忒翁傳統,不是歐幾里得的親筆原稿,是另一條沒有經過同一種修訂的傳承支系。關鍵的抄本是梵蒂岡那部希臘抄本一九〇號,通常定在九到十世紀。
1808年,佩拉爾檢查它的時候,這部書正在巴黎,因為拿破侖把梵蒂岡的藏書徵走了。他注意到它沒有忒翁自稱加入的那些材料,於是意識到自己面對的是另一個傳統。
不過1996年又有研究挑戰了這部抄本直接通向歐幾里得的樂觀模型,強調阿拉伯語傳統可能保存了不被這個二分法窮盡的古老讀法。最穩的表述是,它是校勘這本書最重要的希臘見證之一,不是作者的原本。
1482年,拉特多爾特在威尼斯印出了第一個印刷本,對開本,用的是拉丁傳統。它出名的原因之一是在活字印刷的早期成功地把四百多幅幾何圖和文字一起印了出來。拉特多爾特自己在獻辭里就強調過這件事的技術困難。
1570年,比林斯利出版了第一部完整的英譯本,迪伊為它寫了序。比林斯利是倫敦的商人,服飾商行會的成員, 1596年當上倫敦市長。扉頁上寫著,迪伊的序會列出幾門主要的數學學問,說明它們各是什麼,能派什麼用場。迪伊在序裡解釋這部書為什麼用本國話印出來:拿到它的是不懂拉丁文,也不是大學學者的人。他問,這個國家裡有多少跟數字,直尺和圓規打交道的普通匠人,有了這些幫助,能想出新的工程,新奇的器械和儀器,派上國家的各種用場,或者供自己消遣,或者把自家的生計維持得更好。那也是一部大開本,部分立體幾何圖用了可以折起來的紙片,讓平面的紙頁立成三維的模型。1574年,克拉維烏斯出版了一部大型的拉丁注本,後來成為耶穌會數學課程的核心文本之一。
它作為教材用了多久,沒有一個統一的終止年。在英國,十九世紀初它仍然是學校和大學的幾何標準,維多利亞時代還圍繞能不能用別的教材發生過爭論, 1871年成立的一個協會就是改革的力量之一。到二十世紀初它才明顯退出課程核心。別的國家和時期早已換用重寫本,所以全世界連續兩千年只用這一本,也不能這麼說。
回到那句沒有王者之路。
這本書活得比任何一個能告訴後人作者是誰的人都長。圖在一次次抄寫里變得越來越整齊,文本在一道道手裡被增補,編號,重畫。而它能被爭論兩千年,靠的不是它沒有缺口。靠的是他把自己站在哪裡寫了出來。這件事說起來平常,做起來不平常。把自己依賴的東西寫出來,等於把它交給別人去拆。
寫出來的那一條,後人可以質疑它,替換它,試圖證明它,最後證明它證不出來。沒有系統寫出來的那些資源,較難以同樣明確的形式接受檢驗;這不等於古代注釋家從未討論過它們。兩千年裡,那本書最受攻擊的地方是它最坦白的地方,而它最脆弱的地方安靜地待著,誰也沒碰。
數還在往下算,而什麼算數學,還沒有算清楚過。
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.
以下资料对应文中的历史细节与解释分歧。馆藏记录、古代文学与现代重建,不是同一种证据。
以下資料對應文中的歷史細節與解釋分歧。館藏記錄、古代文學與現代重建,不是同一種證據。
- Euclid I.1: constructing an equilateral triangle欧几里得I.1:作等边三角形歐幾里得I.1:作等邊三角形
- Euclid's fifth postulate欧几里得第五公设歐幾里得第五公設
- Beeson, Narboux and Wiedijk, Proof-checking EuclidBeeson、Narboux与Wiedijk:《计算机核验欧几里得证明》Beeson、Narboux與Wiedijk:《計算機核驗歐幾里得證明》
- Ken Saito, manuscript diagrams in Euclid's arithmetic斋藤宪:欧几里得算术诸卷的抄本图形研究齋藤憲:歐幾里得算術諸卷的抄本圖形研究
- MacTutor: Posidonius圣安德鲁斯大学:波西多尼乌斯聖安德魯斯大學:波西多尼烏斯
- Linda Hall Library: Henry Billingsley琳达霍尔图书馆:亨利·比林斯利琳達霍爾圖書館:亨利·比林斯利
- Knorr, The Wrong Text of Euclid (1996)诺尔:《错误的欧几里得文本》(1996)諾爾:《錯誤的歐幾里得文本》(1996)