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

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

The End of the Hunt

追猎的终结

追獵的終結

The search for a general quintic formula ended in a theorem. The search for the real Galois must still negotiate a legend.

一般五次根式公式的追猎如何终结,以及伽罗瓦的档案为何仍未能阻止天才神话。

一般五次根式公式的追獵如何終結,以及伽羅瓦的檔案為何仍未能阻止天才神話。

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

In this essay篇内目录篇內目錄
  1. 1. Twenty-one
  2. 2. The hunt
  3. 3. What does not exist
  4. 4. Galois in the records
  5. 5. Three rounds of submission
  6. 6. That night
  7. 7. The duel
  8. 8. Fourteen years is not fourteen years of reading
  1. 一 二十一岁
  2. 二 追猎
  3. 三 不存在的不是答案
  4. 四 档案里的伽罗瓦
  5. 五 三轮
  6. 六 那一夜
  7. 七 决斗
  8. 八 十四年不是读了十四年
  1. 一 二十一歲
  2. 二 追獵
  3. 三 不存在的不是答案
  4. 四 檔案裡的伽羅瓦
  5. 五 三輪
  6. 六 那一夜
  7. 七 決鬥
  8. 八 十四年不是讀了十四年

1. Twenty-one

On the morning of May 31, 1832, a young man died in the Hôpital Cochin in Paris from a gunshot wound received in a duel the previous day. Hospital records, a death registration, and evidence concerning the postmortem examination survive. The official paperwork gave his age as twenty-one. He had not yet reached his twenty-first birthday.

His name was Évariste Galois. Modern algebra textbooks carry his name everywhere, although the central memoir that made his reputation was not published during his lifetime. A document made by an official almost immediately after his death got an elementary fact wrong. Nothing momentous follows from this particular error. It does, however, establish the rule we shall need throughout this chapter: proximity to an event matters, but proximity does not make every statement infallible.

Our evidence is quite different from that available for the early figures in this series. The first accounts of Hippasus are separated from his supposed lifetime by centuries. Even the familiar dates assigned to Archimedes depend partly on much later calculations. With Galois we have civil registers, school reports, teachers' assessments, Academy minutes, newspaper coverage of trials, prison documentation, hospital papers, letters, and mathematical manuscripts. He passed through an extraordinary number of the institutions that made nineteenth-century France a society of paperwork.

He attended school, failed entrance examinations, was expelled, was arrested twice, went to court, spent time in prison, and was transferred to a medical establishment during a cholera epidemic. Eventually he died in a hospital. Each institution recorded something, often allowing one account to be checked against another. He also wrote for himself: published articles, submissions to the Academy, public letters, correspondence from prison, a final scientific letter, and manuscripts covered with alterations.

The survival of those manuscripts was not inevitable. After his death Auguste Chevalier took charge of papers and copied some of them. In 1843 he passed material to Joseph Liouville. Liouville's library and papers subsequently went to his son-in-law; that man's widow, Liouville's daughter, gave the collection to the Academy around 1905–1906. A private chain of custody preceded public preservation. Carelessness at any link could have changed what we are able to say today.

The collection is roughly 285 leaves, a substantial proportion in Galois's hand. Its original twenty-five dossiers were supplemented by two further dossiers; the current catalogue describes twenty-seven. Digital access has made much of this fragile material far easier to inspect than it was when researchers depended on microfilm. Yet the legend remains thicker than almost any other in mathematics. A board eraser hurled at an examiner. Papers lost by famous mathematicians. A referee dismissing a memoir with a single word. An entire theory invented on the night before a duel, accompanied by repeated cries of having no time. Fourteen years required for someone to understand it.

None of these familiar formulations should be accepted as it stands. That does not mean every incident was invented from nothing. It means that documented facts, later recollections, plausible reconstructions, and theatrical additions have been welded into sentences that conceal their different evidential status. Respectable books helped perform the welding. A doubtful story can survive for generations when each writer inherits a predecessor's authority instead of rechecking the underlying claim.

The deeper question is therefore not merely which anecdotes are false. Why did they flourish around someone whose short life is so extensively documented? Archives can often tell us when a paper arrived or who signed a report. They are much less able to record the instant when someone understood a mathematical structure. That gap will matter at the end. First we must return almost three centuries.

2. The hunt

After the publication of Cardano's great algebraic work in 1545, the problem had a new shape. Cubic and quartic equations could be solved by formulas involving their coefficients, arithmetic operations, and radicals. Could a comparable procedure solve the general equation of degree five? The issue was not whether a particular quintic possessed a root. It was whether one finite algebraic recipe would produce the roots for arbitrary coefficients.

It is misleading to picture three hundred years of mathematicians lining up to attack a single advertised prize problem. There was a long research tradition concerning the algebraic solution of equations, and the quintic remained an obstinate unfinished item within it. Many contributors were developing techniques with wider purposes. Their work entered the eventual toolbox without having been conceived as one more unsuccessful attempt at the modern quintic problem.

During the sixteenth and seventeenth centuries, much of the essential work was the making of that toolbox. Bombelli investigated the unfamiliar quantities encountered in cubic calculations. Viète organized relations between roots and coefficients and methods of transforming equations. Descartes strengthened symbolic manipulation and factorization. By the later seventeenth century, transformations designed to remove intermediate terms offered ways of reducing equations to simpler standard forms. These developments made later questions possible, but we should not retrospectively assign every author the same objective.

Lagrange's investigations of 1770–1771 marked a decisive change in emphasis. Instead of producing another proposed formula, he examined why the existing cubic and quartic methods worked. Form expressions from the roots and then permute those roots. Some expressions remain unchanged; others assume only a limited number of different values. Those values can themselves serve as the roots of an auxiliary equation. The effectiveness of apparently unrelated tricks could thus be understood through permutations and the number of values an expression takes.

For degrees three and four, appropriate auxiliary expressions lead to equations of manageable degree. At degree five, the analogous procedure does not conveniently collapse to a lower degree already under control. Lagrange explained the old successes and exposed a difficulty in extending them. He did not prove that every imaginable radical method must fail. That distinction is the hinge of this history: the failure of a family of methods is not yet a theorem excluding all methods of the prescribed kind.

Nevertheless, disassembling a successful procedure makes a new question available. Perhaps the obstacle is not simply that nobody has found the right formula. Perhaps the proposed kind of formula cannot exist. The long history of attempts to prove Euclid's parallel postulate will present a related shift: failure can become an object of mathematical explanation rather than an embarrassment to be overcome. The analogy concerns the change of question, not an identity between algebraic impossibility and geometrical independence.

In 1799 Paolo Ruffini published an extensive work whose title explicitly announced the impossibility of algebraically solving general equations above the fourth degree. This was not a report of personal defeat. It claimed a theorem. The work ran to several hundred pages, developed unfamiliar arguments, and demanded sustained attention from readers who had to be persuaded that an impossibility result was a legitimate answer to the traditional problem.

Ruffini took permutation methods well beyond Lagrange. Cycles, orders, conjugate arrangements, and distinctions later expressed through transitivity and primitivity became technical objects in their own right. Calling this modern abstract group theory would obscure the historical difference: he did not possess our general axiomatic definition of a group. Yet much of the structural thinking grew inside his study of equations.

The gap in his argument was more specific than a vague shortage of rigor. To control every possible radical expression, he needed to connect the auxiliary radicals introduced at successive stages with rational expressions in the original roots. His treatment assumed a reduction of this kind without adequately proving it. One cannot simply suppose that every intermediate quantity stays inside the field generated by the roots. The older cubic problem had already made the dangers of assumptions about intermediate quantities vivid, although that example by itself does not identify the exact missing algebraic lemma.

Reception was not unanimous neglect. Ruffini encountered substantial objections, revised his proofs repeatedly between 1802 and 1813, failed to obtain the response he wanted from Lagrange, and later received appreciative attention from Cauchy. The length of the work, its novel organization, and the unproved premise all mattered. So did the practical difficulty of transmitting a large book from Modena into the major mathematical networks. A further conceptual obstacle was that a negative theorem asked readers to reconsider what counted as solving a problem. We should treat that as a historical interpretation, not a measurable explanation of every reader's reaction.

In 1824 Niels Henrik Abel privately financed a very short French pamphlet establishing the impossibility of a general radical solution of the quintic. He was twenty-one or twenty-two, depending on the date within that year. The six-page presentation was exceptionally compressed, partly to reduce printing expense. It is reasonable to connect its brevity with economy. It is another matter to imagine a bill proving that he literally could not afford a seventh page. The latter turns a publishing circumstance into a camera-ready scene.

A fuller paper followed in 1826 in Crelle's newly founded journal, addressing general equations beyond the fourth degree. Abel knew of Ruffini and acknowledged him as a predecessor while finding the earlier argument difficult to assess. Abel died of tuberculosis on April 6, 1829, aged twenty-six. Crelle wrote on April 8 to report that his efforts to obtain a Berlin appointment had succeeded, not yet knowing that Abel was dead. Those two days separate the death from the writing of the letter; they do not establish the day on which a postal delivery arrived. A formal appointment document reaching the house just after a funeral is a different claim, produced by blending correspondence, employment negotiations, and imagined delivery details.

3. What does not exist

We must be exact about what Abel's result denies. The quadratic formula is a familiar model: take the coefficients, perform specified additions, subtractions, multiplications, and divisions, and extract a square root. After finitely many operations the roots are available. Cubic and quartic formulas are more elaborate, but their general character is the same. For centuries the desired object was the corresponding formula for degree five.

That object does not exist. This is not the assertion that quintic equations have no answers. Over the complex numbers, every nonconstant polynomial has roots, and a degree-five polynomial has five when multiplicities are counted. With suitable computable input, numerical methods can approximate roots to prescribed accuracy. Other forms of exact representation are also possible. The impossibility concerns one specific class of finite expressions built from coefficients by arithmetic and extraction of radicals.

Nor does the theorem say that every individual quintic resists radicals. Many do not. The equation x⁵ = 2 is enough to expose the confusion: its roots are expressible using a fifth root and roots of unity. What fails is a universal radical formula for the general quintic. The qualifying words carry the content of the theorem. Erase them, and an important statement about the limits of a method becomes a plainly false statement about equations.

There is an enormous difference between not having found a formula and proving that no formula of the stipulated sort can exist. The first invites another search of the same kind. The second redirects the search. It does not end mathematics around the equation; it makes the boundary of one method part of the mathematics. This is the precise sense in which the hunt ended.

Galois pushed toward a more discriminating question: given an equation, under what conditions is it solvable by radicals? Abel's general impossibility result and Galois's structural criterion should not be confused. One closes a universal expectation; the other tells us what governs individual cases. Abel himself also investigated particular classes of solvable equations, so the contrast is a guide to their best-known achievements, not a complete division of their interests.

The new viewpoint studies the symmetries of the roots. Which permutations preserve the algebraic relations over the field of coefficients? The permitted permutations form a structure, and the way that structure can be broken down controls radical solvability. In modern language, in characteristic zero an equation is solvable by radicals precisely when its Galois group is solvable. That is our later formulation of the insight, not a claim that Galois wrote a present-day textbook.

This change of viewpoint also helps explain the difficulty encountered by readers. Traditional equation theory expected a usable condition starting from known coefficients. A criterion stated through relations among unknown roots could seem to relocate the problem rather than solve it. The referee's concern was not simply an inability to recognize genius. A new way of specifying the problem required a new understanding of what an answer might look like. Neither novelty nor skepticism automatically settles whether a particular exposition has supplied enough proof.

The shift from formulas to symmetries is therefore both mathematical and explanatory. It asks us to stop staring only at the expression whose roots we want and to examine the transformations that leave its relevant relationships intact. That approach eventually created a language far larger than the original hunt. It also demanded more explanation than Galois's compressed manuscripts always supplied.

4. Galois in the records

Galois was born on October 25, 1811, at Bourg-la-Reine, south of Paris. Civil documentation supports the date. His father was a local liberal politician and mayor; his educated mother taught him at home in his early years. His father died by suicide in Paris on July 2, 1829. The death is securely documented. The political humiliation commonly presented as its immediate cause relies more heavily on family testimony than on an equally complete contemporary case file.

Several levels of assertion must be kept apart. That his father held office, that local political conflict was bitter, and that he killed himself are historical claims with contemporary support. That malicious verses falsely attributed to him directly caused the death comes through a narrower evidential channel. That this death made the son hate every authority and therefore lose control at an examination is a psychological reconstruction without a diary or letter establishing the connection. Events close together in time are not automatically joined by a demonstrated cause.

The temptation is particularly strong here. Within less than three years come bereavement, examination failure, revolution, expulsion, arrests, imprisonment, and a duel. Narrative easily changes next into therefore. Surviving school reports describe exceptional mathematical preoccupation and an original, difficult character. They do not supply every later story about a boy devouring a geometry book at one sitting as if it were a novel. The distinction is not whether a detail sounds plausible but what kind of evidence carries it.

Galois twice failed the entrance examination for the École Polytechnique. Accounts differ over some dates and circumstances. The famous story of his throwing a board-cleaning implement at the examiner is reliably traceable to Paul Dupuy's 1896 biography, where it is explicitly offered as a tradition. Dupuy could not even securely identify the examiner in that anecdote. Earlier mathematical commentary had already made Galois an exceptionally gifted rejected candidate without documenting the thrown object.

Notice the characteristic distribution of clarity. The identity of the person supposedly attacked remains uncertain, while the dramatic gesture becomes vivid. The object itself changes in transmission: a cloth used to wipe a board hardens in English into an eraser, then returns in other languages as a familiar classroom prop. Translation can make an uncertain story materially more definite even when no writer deliberately fabricates anything.

Dupuy nevertheless remains indispensable. He consulted educational records, Academy and national archives, municipal papers from Galois's birthplace, police materials, hospital documentation, and records from two prisons. He also acknowledged that some police and judicial originals had been destroyed in 1871, requiring contemporary newspapers to fill gaps. His biography is not a fraudulent source to be discarded. It is a major archival undertaking that also contains literary reconstruction. Dupuy's biography is preserved by Numdam.

The same person can be an excellent archival researcher and an effective maker of myth. Those activities can occur on different pages of one book. Later readers often fail to preserve the distinction: a birth date transcribed from a register and a feverish final-night scene acquire the same appearance of authority because both occur inside an authoritative volume.

This is a recurring condition of historical knowledge. Our information about ancient mathematicians often passes through a much later compiler who combines careful preservation with storytelling. Here the intermediary has access to modern municipal archives, but the interpretive problem has not disappeared. The appropriate response is not universal distrust. It is to ask, claim by claim, whether the writer is reproducing a document, reporting a recollection, proposing an inference, or composing a scene.

5. Three rounds of submission

Galois's central research reached the Academy in three rounds. Calling them rounds avoids the misleading picture of one identical bundle being handed back and forth three times. The first belongs to 1829. Academy records show Cauchy presenting related work on May 25 and June 1. These are generally understood as two connected memoirs in equation theory, not simply copies of the surviving 1831 manuscript. No final formal report survives from that round.

The popular explanation says Cauchy lost the papers. The documentary situation is more complicated. A surviving letter dated January 18, 1830, says that Cauchy had intended to present two items, one concerning the young Galois's work. Illness prevented him from attending, and he asked that they be put on the next meeting's agenda. On January 25 he attended and presented the other item, but not the Galois report. The minutes subsequently fall silent.

That silence does not tell us why the report disappeared from the agenda. It does not license a choice among forgetting, contempt, pressure of other business, or destruction. René Taton's 1971 reconstruction proposed that Cauchy and Galois probably agreed to replace reports on the earlier papers with a consolidated and expanded submission for the Academy's prize. The timing fits: Galois submitted a new memoir in February 1830, before the March deadline. But the reconstruction remains an inference. No surviving instruction from Cauchy says precisely that.

The distinction is worth maintaining sentence by sentence. Cauchy received the work and introduced it to the Academy. He intended to report. He wrote that illness prevented attendance. The expected report was not subsequently delivered. Those are documented events. Advice to rewrite for the prize is a plausible account connecting them. Cauchy simply losing the papers is not established by an equivalent contemporary record. A correction can be persuasive without pretending to possess the missing letter.

The second round was the February 1830 prize submission. Fourier, one of the Academy's permanent secretaries, died on May 16. On June 28 the prize went to Abel, already dead, and Jacobi for work on elliptic functions. Galois's memoir did not enter the final assessment and could not later be recovered from the expected papers. An early explanation associated its disappearance with Fourier's death, but the transmitted wording itself was qualified.

Here again, disappearance after a death, a plausible administrative explanation for the loss, and a scene in which Fourier takes the manuscript home and forgets it are three different claims. An accusation that the Academy deliberately destroyed the work is further removed still. The missing document is a real historical loss. It is not an empty surface on which any desired motive can safely be written.

The third round is better documented. The surviving memoir is dated January 16, 1831, and was submitted the next day. Poisson and Lacroix were assigned to examine it; their report was delivered on July 4. They did not merely return it with a contemptuous word. They explained that, despite efforts to follow the proofs, the exposition was insufficiently clear and developed for them to judge its rigor.

They also raised the substantive difficulty already encountered above: conditions expressed through relationships among the roots were not immediately the coefficient-based criteria customary in equation theory. At the end, they noted Galois's claim that the memoir formed part of a larger theory and suggested that publication of the whole might allow its components to illuminate one another. This was an unfavorable report, but it was also an argument about exposition and a recommendation concerning presentation.

Nor should one forget institutional context. Many submissions never received a substantial written assessment at all. The existence of a considered report does not prove that the Academy treated Galois adequately; it does contradict the claim that nobody would read a word. A historian need not turn either the referees or the young author into villains to recognize that an important theory failed to secure publication and understanding at the time its author needed them.

6. That night

The best-known story says that Galois created his whole theory on the night before the duel. The chronology of the manuscripts rules out that formulation. The first major memoir had already been submitted in January 1831. Related research goes back to 1829 and the missing prize paper of 1830. A second important manuscript is dated by modern scholarship to around May or June 1830. The mathematical labor preceded the final night by years.

On May 29, 1832, he wrote a scientific letter to Auguste Chevalier and made alterations and marginal additions to existing manuscripts. The letter is several pages, not a newly composed book of algebra. It surveys results, unfinished investigations, and directions for further work. He also wrote farewells to republican friends, explaining his understanding of the private quarrel and asking them not to blame him for the duel.

The documented version is no less disturbing. A young mathematician, expecting that he might be killed, tried to improve papers he had already struggled to communicate and to leave someone else a map of work not yet fully set out. The legend replaces the hurried preservation of a research inheritance with its miraculous creation. In one version there must have been years of work; in the other, genius needs only a single night.

The celebrated statement that he had no time also has locations, not merely an atmosphere. One occurrence belongs beside the proof of Proposition II in the first memoir, where he indicates that something still needs completing. Another occurs toward the end of the scientific letter, in connection with ideas for transcendental analysis that were not fully developed. They are not an indefinitely repeated cry written down every few minutes throughout the night.

A marginal admission of an unfinished proof is powerful precisely because it refers to a particular mathematical task. Turn it into a refrain and the reader loses that specificity. The alteration is small at the level of words and large at the level of story: an author revising incomplete arguments becomes a visionary pouring out an entire completed theory while death approaches. The duel occurred the following morning; death came the morning after that. Even this distinction is frequently collapsed for dramatic speed.

The letter itself deserves to be read as a research map. Its early portion concerns equations, including primitive equations and radical solvability. It then moves into elliptic functions, periods, and wider transcendental analysis. Near the end Galois describes an ambition to extend ideas about indeterminacy or ambiguity to relations among transcendental quantities: study the interchanges that preserve a given relation. His own horizon was considerably broader than the quintic to which later biographies often tether him.

His requests were practical. Chevalier should publish the letter. Jacobi and Gauss should be asked for public judgments about the importance of the results, not merely their truth. Others might then organize, continue, and complete the work. The letter appeared in September 1832; Chevalier published a memorial account in November. The requested endorsements did not follow. Assertions that both celebrated mathematicians received the entire manuscript collection and contemptuously rejected it require evidence of transmission that we do not possess.

The main mathematical papers eventually appeared under Liouville's editorship in 1846. The original publication remains available, allowing the letter and memoirs to be distinguished rather than fused into a single deathbed document. Later editorial scholarship also warns that even an apparently definitive edition contains judgments about ordering, transcription, and interpretation. Preserving manuscripts is one task; deciding exactly how readers should encounter them is another.

7. The duel

This part of the story must begin with what is not known. No proposed explanation of the duel has been established by a complete and decisive body of contemporary evidence. Galois's letters of May 29 are the earliest starting point. He blamed a woman and a wretched affair of gossip; elsewhere he described two patriots who had drawn him into the encounter, said he had sought reconciliation, and asked friends to forgive those responsible because he regarded them as acting sincerely.

These statements matter, but they do not supply a neutral account of everything that happened. They show how he presented the crisis at the time. They suggest a private dispute involving a woman, honor, and members of the republican milieu. They do not identify every participant, reconstruct the precipitating conversation, or establish the familiar plot of two rivals fighting over a girlfriend. An actor's account is evidence about an event and about the actor's understanding of it; those uses are related but not identical.

His conciliatory remarks also put pressure on a straightforward political-assassination interpretation, though psychology alone cannot rule one out. It would be too strong to say that a victim of a political plot could never sincerely misread an opponent's motives. What is absent is positive contemporary documentation of a government plan: orders, payments, reports from agents, or an arrangement connecting officials to the duel. Suspicion is not a substitute for such evidence.

A family tradition recorded more than sixty years later described the intervention of men called an uncle and a fiancé of the woman. Alexandre Dumas's memoirs supplied an influential name for the opponent. Dumas knew the republican circle and had attended a notorious banquet involving Galois, but he was not an eyewitness to the duel. A later researcher, in 1968, connected the woman's possible identity with civil records, the medical establishment where Galois had stayed, and a name appearing among his papers. This is more than pure invention, but identification of a person connected with the setting is not the same as proving her role in the final quarrel.

The theory that Galois deliberately arranged a duel as a form of suicide is similarly unestablished. No farewell letter announces such an intention. The medical and administrative evidence supports a narrower reconstruction. On the morning of May 30, 1832, he fought somewhere south of Paris, received a gunshot wound to the abdomen, and was eventually taken to the Hôpital Cochin. The reconstructed admission time is about half past nine. He died at roughly ten the next morning.

These records do not identify the opponent or provide a reliable signed account of the seconds and witnesses. They do not establish the rules, the distance between the men, who fired first, whether shots alternated, or whether Galois intentionally withheld his own shot. Early accounts differ about who found and transported him: family recollections mention one kind of passerby, other biographies another. Choosing the most vivid version would conceal the conflict rather than resolve it.

The secure outline is therefore short: a morning duel, an abdominal wound, removal to hospital, death the next day. Assertions that he fired into the air, lay abandoned until the following day, or stood at a precisely reported number of paces exceed what the surviving documentation can confidently bear. The sparseness of this reconstruction may disappoint a reader, but disappointment is not evidence that a missing scene can be supplied.

We know enough to recognize a terrible loss. We do not need to know the exact dialogue at the dueling ground to understand that. What we lose by refusing the embellished version is cinematic closure, not the event's human significance. An unresolved cause should remain unresolved even when the rest of a life seems to demand a final explanation.

8. Fourteen years is not fourteen years of reading

Galois was not wholly unrecognized while alive. He published five mathematical articles, beginning with work on continued fractions in 1829 and including papers in 1830 related to his developing interests in equations and number theory. Teachers recognized his unusual ability. Even an institutional statement criticizing his conduct acknowledged his mathematical talent. Cauchy presented his work; Poisson encouraged a further submission and, with Lacroix, assessed it.

None of that cancels the central failure: his most important theory of radical solvability did not gain formal publication and sustained communal recognition during his lifetime. Partial recognition is a less convenient story than complete neglect. It requires bringing together school records, articles, Academy presentations, and an unfavorable but substantive report. One rejection can illustrate exclusion; a mixed record takes longer to explain. Yet the mixed record is what we have.

The famous fourteen-year delay also needs to be divided. Galois died in 1832; Liouville published the main papers in 1846. But Liouville did not spend that entire period trying to understand manuscripts already in his possession. The material remained principally with Chevalier before reaching Liouville around the summer of 1843. By July of that year Liouville could announce important results to the Academy. The ensuing interval involved checking, arranging, editing, and preparing publication.

Why had the papers not circulated more effectively during the preceding decade? The evidence does not yield a definite answer. Why did Chevalier transfer them when he did? Again, no securely established single explanation. Government suppression of a republican martyr is an attractive political story, but it cannot be inferred from a gap in the transmission record. Fourteen years between death and publication is a chronological fact; fourteen years required to decipher the mathematics is a different proposition.

The myth was built in layers. Galois himself contributed an early and bitter institutional narrative. In a preface written in prison in December 1831, he complained that his prize memoir had vanished and reduced Poisson's response to a failure to understand. The fuller report, with its stated difficulties and recommendation to publish the whole theory, disappeared inside the author's account of rejection. A first-person source can preserve genuine injury while also compressing the conduct of others.

His anger invoked Abel. Abel had submitted a major memoir to the Academy on October 30, 1826, with Cauchy and Legendre assigned as referees. More than two years passed without a result. Jacobi pressed Legendre about it in March 1829; publication finally came in 1841, twelve years after Abel's death. This history gave Galois's accusations an intelligible background. It did not automatically establish his explanation of every episode involving his own papers.

Chevalier's 1832 memorial connected the death with insufficient official recognition. A portrait drawn from memory by Galois's brother reached a broader public in 1848. Mathematical biographical writing followed in 1849. Dumas added the resources of the literary memoir. Dupuy's archival biography then combined serious documentary recovery with a feverish account of the final night. The collection of facts and the composition of legend did not proceed in separate institutions; they could share a page.

E. T. Bell's 1937 popular biography did not invent every anecdote. Its enormous influence came partly from removing qualifications. A transmitted tradition became an event. A complicated submission history became a succession of obtuse authorities destroying genius. Revision of old manuscripts became the overnight production of a mathematical legacy. The chapter's opposition between genius and stupidity supplied a plot into which almost every incident could be fitted.

Tony Rothman's 1982 study, pointedly titled Genius and Biographers, examined this accumulated tradition by comparing later accounts with earlier evidence. More broadly, scholarship on Galois now studies not only his mathematics but the production of his public identity. Caroline Ehrhardt's research makes the temporal and social processes of mathematical recognition an object of inquiry in their own right. Her study of Galois and mathematical time is a useful entry into that discussion.

Return, finally, to the wrong age in the death record. Abundant records do not eliminate error, but they make particular corrections possible. They still cannot tell us the instant when the symmetry of roots became clear to Galois. Our earlier story of Hippasus had a firm mathematical remainder and an uncertain human victim. Here both the mathematics and much of the life are unusually well documented, yet legend grows around the missing moment of understanding.

The final night offers a ready place to put it. It has a date, surviving papers, an identifiable addressee, and a death close enough to cast its shadow backward. A narrative can deposit the breakthrough there and acquire a beginning, climax, and conclusion. That is an interpretation of why the legend is attractive, not a new archival discovery. The same appetite helps sustain falling apples, overflowing baths, and sudden flashes of illumination elsewhere in the history of thought.

The next time a biography tells us that someone understood everything on a particular night, a modest question is worth asking: who supplied the date? Mathematics continues to calculate. What we count as a satisfactory story about mathematics remains much harder to settle.

一 二十一岁

1832年五月三十一日上午,一个年轻人在巴黎的科尚医院死于前一天决斗留下的枪伤。医院的入院簿,死亡登记和尸检材料都保存下来了。

死亡文件上写着他二十一岁。

他实际上还没满二十一。

他叫埃瓦里斯特·伽罗瓦。今天任何一本代数教科书里都有以他命名的东西,而他活着的时候,最核心的那部分工作一页也没有正式发表过。

这是一份一手的官方文书,由当时的经办人填写,距事件不到一天。它写错了。

这件事不严重,也没有害处。它只是提醒一件在这一篇里要反复用到的事。判断一条说法可靠不可靠,看的是它离那件事有多近,而离得近,不等于每一个字都对。

这一篇的史料条件和这个系列此前任何一篇都不同。

前面几篇里,人物的年代往往要靠几百年后的转述倒推。第二篇里的希帕索斯,最早的记载晚了五百年。第三篇里的欧几里得,最早点他名的材料晚了一百年。第四篇里阿基米德的生年,是一位十二世纪的人用活了多少岁加上死年算出来的。

这一篇不一样。

出生登记,学校成绩单和教师评语,科学院的会议记录,报纸的庭审报道,警察和法院的卷宗,监狱的登记,医院的入院簿,尸检材料,他本人的手稿,他本人写的信。伽罗瓦二十年的一生,穿过了十九世纪法国几乎所有高度文书化的机构。

他上过学,考过试,被开除过,被捕过两次,上过两次法庭,坐过牢,在霍乱流行时被转过院,最后死在医院里。每一样都留下了纸。

而且不止一处留下。学校有学校的记录,法院有法院的记录,报纸另有报道。同一件事常常可以在两三处互相核对。

而且他自己也写。五篇发表过的论文,几份提交科学院的稿子,给报纸的公开信,狱中的书信,最后那封给朋友的长信,以及一叠改了又改的手稿。这些手稿今天都在。

而它们能活下来本身也不是理所当然的。他死后,桌上的材料先到了舍瓦利耶手里,他抄写了一部分, 1843年交给刘维尔。刘维尔后来把包括这些稿子在内的个人藏书和文件留给女婿,那位女婿的遗孀在1905年或者1906年前后把这批材料交给了科学院。四手之后,才进了公共收藏。

中间任何一个人不经意,这一篇就写不出来了。而这一篇里最要紧的几处纠正,靠的正是这批纸。最初整理为二十五个卷宗,后又增入两个卷宗,现行目录记为二十七个卷宗,装订成一卷,大约二百八十五叶,其中一百六十余叶是他本人的笔迹。2011年以后,高质量的数字图像第一次基本实现了网上完整开放。在此之前研究者常常依赖缩微胶卷,因为原件已经相当脆弱。

而关于他的传说,仍然是整个数学史里最厚的一层。

考场上扔出去的黑板擦。被大数学家弄丢的论文。审稿人只写了不可理解四个字。决斗前夜写出全部理论,在页边一遍遍写我没有时间。死后十四年才有人读懂那些手稿。

这些流行表述没有一条可以原样当作定论。

而它们全都出现在正经的书里,有些还出现在今天仍然可以引用的权威传记里。这一点比它们是假的更要紧,因为一条假说法能在正经的书里活一百年,靠的不是编造,是每一代人都省掉了一次核对。

这一篇要处理的就是这件事。而更值得问的不是哪一条是假的,是:在一个几乎每一天都有纸可查的人身上,这些东西凭什么长得出来。不是档案不够,而是档案回答了什么时候,回答不了那一刻。这句话到最后一节才会讲完。先从三百年前开始。

二 追猎

1545年那本书出版之后,问题的性质变了。

上一批人证明了三次和四次方程可以用系数写出解的公式。于是接下来要问的不再是某个五次方程有没有根,而是:有没有一套像二次,三次,四次那样,只从一般方程的系数出发,通过有限次算术运算和开方,就能把一般五次方程的根统一写出来的公式。这个问题被追了将近三百年。

追的方式和后人想象的不一样。没有悬赏,没有名单,也没有一代代人轮流上场宣布自己要解决它。

更准确的描述是: 1540年代到1840年代之间,围绕方程的一般代数解形成了一条长期的研究传统,而五次公式是这条传统里最顽固的一个未结项。参与的人也不是一个接一个来挑战它。多数人做的是别的事,只是做出来的东西后来都进了这个问题的工具箱。三百年里人人都在猜五次公式,这件事没有发生过。

十六,十七世纪更重要的是把工具做出来。第八篇那位工程师处理三次方程里出现的那类量。韦达系统整理根与系数的关系和方程的变换。笛卡尔把方程的分解和符号运算推得更远。到1680年代,又有人研究通过变量变换消去中间项,希望把高次方程降成较简单的标准形。

这些后来都进入了五次问题的技术库。但把他们一概写成寻找五次公式失败的人,会过分现代化他们的目标。十八世纪以后方向才越来越直接。

最关键的转折不是某一次失败。是研究者越来越发现:已有的三,四次公式背后似乎存在一种共同的机制,关于根怎样互换而某些表达式仍然不变。1770年到1771年,拉格朗日把这个机制系统地提到了研究的中心。他那部书不是又提出一种新的五次公式,是一次对已有公式为什么有效的解剖。

他考察由各根组成的辅助表达式:根任意交换的时候,某些表达式保持不变,另一些只取得有限个不同的值。而这些不同的值又成为一个较低次数的辅助方程的根。他有两个重大的收获。

第一,他第一次把此前那些看起来彼此不同的特殊技巧,统一解释成一个关于根的排列与辅助函数取值个数的问题。

第二,他发现正是某些辅助表达式在排列之下只有很少的不同取值,才使三次和四次的情形能够降阶。他停下来的地方同样重要。到了五次,一般情况下自然得到的辅助方程并不会神奇地降到更低的,已经会解的次数。

也就是说,他的分析解释了旧方法,却没有给出通往五次公式的新路,更没有证明所有可能的根式方法都必然失败。他给出的不是一条不可能性定理。这一点值得停一下,因为它是整段历史的转折。此前所有的工作都在问怎么做到。

第三篇里那条被怀疑了两千年的公设,走的是同一条路:先有人觉得它应该能被证出来,反复试,反复失败。最后有人证明它证不出来。

而证不出来这件事本身,是一个结果,不是一次放弃。这种研究把注意力转向旧方法在什么条件下有效,而这个问法一旦成立,做不到也就逐渐成了一个可以研究的答案。是第一个强烈的提示:问题也许不在于数学家还没找到正确的公式,而在于公式本身也许不存在。一门学问要能提出这种提示,得先积累到某个程度。在此之前,找不到只意味着还没找到。

而提出这种提示的人,通常并不是在找那个东西。他在拆已经有的东西,想看清它为什么管用。1799年,摩德纳的数学家保罗·鲁菲尼出版了一部书,标题里已经没有遮掩:证明四次以上一般方程不可能代数求解。他把一般高次方程的代数不可解性直接写进了书名。

而这件事本身就说明他清楚自己在做什么。他不是在记一次失败,是在宣布一个定理。这不是一篇六页的论文。是一部约五百页量级,分部刊行的大部头。它的规模也是后来接受困难的一部分。五百页的书没有人会顺手翻开。而一个说你要找的东西不存在的结论,恰恰需要读者读完才肯相信。不肯读完的人,只会记住书名。

他的思路继承拉格朗日,却把排列的研究推进得很远。他研究排列的循环,阶,共轭关系,以及后来被称为传递,非传递,原始,非原始的那些排列集合。

把这些直接称为群论仍然是时代错置,因为他没有现代的抽象群定义。但他确实从方程可解性问题的内部,把排列的组合结构做成了一个独立的技术对象。那个缺口不能只写成有点不严谨。

为了分析一切可能的根式公式,他需要把公式里逐级引入的根式和方程的各根联系起来。他事实上默认了这些辅助根式可以取成诸根的有理函数,也就是默认它们都可以留在由那些根所生成的范围里。这个前提不自动成立。上一批人早就显示过:方程的根即使全是实数,中间的计算也可能必须引入并不属于那个范围的辅助量。第八篇讲的正是这件事。

而他并没有收到一个简单的一致拒绝。有人提出过实质性的异议,他在1802年到1813年之间多次改写证明。拉格朗日没有给他期待中的回应。后来柯西对他的工作评价相当高。

所以完全没人看不对,被公认地证明了定理也不对。为什么长期处于边缘。

数学上的原因是证明长,结构新,关键前提没有完全证明。传播上的原因是他身处摩德纳而不是巴黎,著作又庞大复杂。而思想上的原因更根本。前三个原因都可以补救:证明可以改写,人可以搬家,书可以缩短。第四个不能。

当时的数学共同体仍然习惯把解方程理解成寻找解法。要他们接受一个证明,告诉他们你要找的东西不存在,这是相当大的概念跃迁。要接受它,得先承认自己这一行里有些问题的答案是没有。

第七篇和第八篇里出现过同一种跃迁的较小版本。那里要接受的是一个不存在对应量的对象,这里要接受的是一个不存在的办法。前者至少还能拿在手上算。后者是一个洞。1824年,挪威人尼尔斯·阿贝尔自费印刷了一本小册子,那年他二十一岁上下。正文只有六页左右。

现代研究反复记载他因为要自己承担印刷费用而把证明压缩得极短。这件事比许多关于他的轶事可靠,因为小册子的实际篇幅,自费的性质和那种异常压缩的文字风格,彼此吻合。站得住的只是经济原因促使他极度压缩。他穷得只买得起六页纸这个说法再往前走了一步:有出版史上的经济事实,没有一张印刷账单证明第七页的钱都没有。

这个区别在这一篇里要用很多次。事实是一回事,把事实排成一个可以直接改编成电影的镜头,是另一回事。1826年他在一份新创办的期刊上发表了更充分的版本,把论证扩展到一般的四次以上方程。

他知道鲁菲尼。他明确称对方是此前试图证明这件事的先驱,并抱怨那套论证过于复杂,以至于难以判断它是否有效。1829年四月六日,他死于肺结核,二十六岁。关于那封迟到的信,流行的版本挪动了一样东西。

权威的传记材料写的是:他死后两天,那位期刊的创办人还不知道噩耗,写信告诉他柏林方面的职位已经争取成功。两天首先是写信日期与死亡日期之差,不是一张邮局回执证明信恰好在死后两天送到门口。

所以实际的次序是:他死后两天,那个人还不知道噩耗,写信告诉他自己奔走的职位已经有了着落。这封信当然来得太迟。

而正式的教授任命书在葬礼后第二天送到门口,是另一句话。它把私人通知,职位安排和邮递时间三件不同的事揉成了一个场面。

三 不存在的不是答案

现在要把那个结论说清楚,因为它极容易被读成另一件事。这个结论几乎总是被读成另一件事,所以要先把它说死。

先看一个人人见过的东西。一元二次方程有一个公式:把三个系数按固定的方式加减乘除,再开一个平方根,答案就出来了。这个公式对任何一个二次方程都管用,不管系数是什么。

三次和四次方程也各有这样一个公式,长得多,要开的根也多几层,但性质一样:系数放进去,有限几步之后,答案出来。

三百年里人们要的,就是五次的那一个。

而结论是:它不存在。

用根式求不出来,绝不是五次方程没有答案。

一般的五次方程当然有根。在复数范围内,每一个非常数的多项式都有根,而且计算方法可以把这些根数值逼近到任意所需的精度。它说的是一种非常特殊的答案形式不存在。

不存在一套像二次公式,三次公式,四次公式那样,对任意一般五次方程都有效,只把系数拿来做有限次加减乘除和开各种次方根,最后就得到全部根的统一公式。被终结的是这种公式的追猎。追猎这个词在这里是准确的。三百年里人们要的一直是一个可以写下来的东西,而结论是那个东西不存在。不是没找到。是不在。

这两句话的分量完全不同。找不到还可以再找,不在就没有可找的了。

而且一般五次方程没有这种通用公式,也不等于每一个具体的五次方程都不能用根式解。有大量特殊的五次方程可以。阿贝尔解决的是一般公式不存在。

而伽罗瓦把问题推到了另一处:给我一个具体的方程,究竟在什么条件下它可用根式求解。这是两人历史位置最简洁的区别。一个人关上了一扇门,另一个人问的是每一扇门各自在什么条件下开着。

第二个问题比第一个大得多,因为它要求先说清楚:一扇门开不开,取决于什么。

第二个问题比第一个大得多,而且它需要一套新的看法。他的办法是一次转向。三百年里,人们盯着方程看。他不再直接看方程,改看解与解之间的对称。

哪些根可以互相交换而某些关系仍然保持,这些交换本身构成一个结构。方程能不能用根式解,取决于那个结构的形状。问的对象从方程换成了方程的根之间的可交换性。这个转向的代价,是审稿的人看不懂。

下一节会看到,当时那份意见里提出的技术困难恰好就在这里:他给出的条件诉诸的是各根之间的关系,而当时的人期待的是从已知系数出发可以操作的判据。他把问题挪到了一个当时还没有人站过的位置上。站在新位置上的人看得更远,而站在旧位置上的人会觉得他没有回答问题。两边都没有错。看不懂不总是眼力问题,有时候是站的地方不同。

四 档案里的伽罗瓦

1811年十月二十五日,伽罗瓦出生在巴黎南郊的布尔拉雷讷。这个日期有民事出生登记支撑。父亲是当地的自由派人物,长期任市长。母亲受过良好教育,早期亲自在家教孩子。1829年七月二日,伽罗瓦的父亲在巴黎自杀。死亡本身是确定事实。导致自杀的地方政治羞辱事件有很强的家庭证言,却没有同样完整的一手案卷。

所以这里有三层。父亲任市长,当地有尖锐的政治冲突,父亲自杀,这三件事都有当时的文书。伪造的讽刺诗事件是自杀的直接原因,主要靠家族的说法,没有案卷。而父亲的死使他从此仇恨一切权威,因此几周后在考场发作,这一层什么依据也没有。

最后一句尤其常见,却没有他当天的日记或者书信作证。时间靠得近,只能构成可能的影响,不能充当心理诊断。

这一类因果在这一篇里出现得特别多,因为他的生平事件排得太密:父亲自杀,考试失败,革命,开除,两次被捕,决斗,一共不到三年。事件挨着事件,叙述就很容易把挨着写成因为。中学的成绩,升留级和教师评语都保存过。有评语说他原创而古怪,又说数学的狂热支配着他。学生档案是实在的东西。十四岁一口气像读小说一样读完某部几何著作,不是学校记录里的话。

两句话之间的差别,是有没有一张纸。

而这一篇里几乎每一处流传最广的细节,差的都是这一张。他两次投考那所著名的工科学校都没有考上,这件事本身无疑。但具体的考试日和某些细节,在不同的传记里并不一致。那个最有名的故事是:第二次考砸之后,他把擦黑板的东西扔向了考官。这个故事最早可以可靠定位到1896年迪皮伊那部传记,而迪皮伊自己使用的措辞就是传统说。他甚至说不清当时的考官是谁。

一个连主角的对手是谁都说不清的故事,却保留了那个动作的全部细节。这是传说的典型形态:最难核的部分最模糊,最好讲的部分最清楚。1849年已经有数学期刊称他是才智超群的落榜考生,却没有提供扔东西这个可核档的细节。

还有一层,物件本身在传播里也硬化了。法语早期材料指的是擦板用的布,后来的英语把它固定成一种橡皮擦,再译成中文又变成了黑板擦。至于迪皮伊那部传记本身,值得多说一句。

作者明确说明自己查过师范学校,教育部,巴黎科学院,国家档案馆,出生地的市政档案,巴黎的警察系统,科尚医院,以及两处监狱的材料。他也指出,一部分警察和司法原件已经毁于1871年,因此需要用同期的报纸补洞。这是今天不可替代的史料入口。没有这部书,这一篇里一半的日期都拿不到。

这也是本系列反复遇到的一种依赖。第二篇里那位五世纪的编纂者,第三篇里那位五世纪的注释者,都是同一类角色:后人几乎全部的信息经过他们,而他们自己也在讲故事。差别在于这一次那个人手上有市政档案。

而这一篇后面要说的最大的一层传说,恰恰长在这部书里。

一个人可以同时是最可靠的档案工作者和最有效的神话制造者。这两件事不矛盾,因为它们发生在同一部书的不同页上。

而后来的读者不会分页。他们读到的是一部权威的传记,里面既有市政档案里的出生日期,也有一个发热般在页边写字的青年。两样东西并排放着,看起来是同一种东西。

五 三轮

伽罗瓦的核心论文交出去过三次。为了避免他三次把同一份纸交出去的错觉,最好称为三轮提交。

第一轮在1829年。科学院的会议记录显示,柯西在五月二十五日和六月一日向科学院介绍了这位青年的相关研究。通常认为那是两篇彼此相关的方程论稿件,不是后来那篇论文的副本。没有留下最终的正式评审意见。流传最广的说法是:柯西把稿子弄丢了。这条当不了定论。

第一层证据就是上面那两条会议记录。一个拿到就弄丢,完全没理的人,和这个事实不相容。

第二层更强。1830年一月十八日,柯西写给科学院主席的信现存。

他说自己本来当天要提交两件事,其中第一件就是关于青年伽罗瓦工作的评述。因为身体不适不能出席,请把两项内容列到下一次会议的议程。那封信是整个纠错的核心。

一月二十五日他已经恢复出席,确实提交了信里说的第二项,却没有提交那份评述。此后科学院的记录里也不再出现它。为什么。档案没有回答。这里有一个诱惑。档案沉默的时候,最舒服的做法是填一个动机进去:他忘了,他嫌弃,他忙别的去了。而沉默只是沉默。

这一篇里有好几处这样的沉默,而传说恰好长在每一处沉默上。

稿件为什么没有再提交,稿件后来去了哪里,决斗为什么发生,那批手稿为什么隔了十年才交出去。四处沉默,四种传说。

1971年,法国数学史家勒内·塔顿系统利用这些材料提出新解释:很可能在一月十八日到二十五日之间,柯西和他决定不要再给1829年那两篇旧稿做正式评述,而是把其中最原创的内容合并,扩展,赶在三月一日之前参加科学院大奖。他明确把这称为根据现有材料提出的一个非常可能的假设,不是宣称找到了一封柯西叫你重写的信。

这个重建还有一个很有力的时间吻合: 1830年二月,他确实把一篇综合性的稿件送去参加了大奖。一个人被劝去参加大奖,和一个人的稿子被扔进抽屉,是两种完全不同的故事。而现存的材料指向前一种。这一条纠正到1971年才做出来,比那句柯西弄丢了论文晚了一个多世纪。而在这一个多世纪里,那句话一直在书上。

档案一直在科学院。没有人把它藏起来。只是没有人去翻。

所以这件事可以按知道的程度排一排。

柯西读过那些稿子。他准备好了要讲。一月十八日他病了,写信请延。此后那份东西不再出现。这四句每一句背后都有一份当时的纸。他劝对方合并重写去参加大奖,是后来有人根据这些纸推出来的。合理,但没有一封信这样写过。而他把论文弄丢了,没有任何一份当时的纸这样说。

第二轮就是1830年二月那一份。

当时的常务秘书之一是傅里叶。他五月十六日去世。六月二十八日大奖最后授予已经去世的阿贝尔和普鲁士的雅可比,奖的是两人在椭圆函数上的工作,而这一份稿件没有进入最后评审,后来也没有在应有的材料里找到。早期的叙述里还有一句被归给某位学者的话,大意是:事情很简单,稿件在负责处理它的傅里叶去世时丢了。转述这句话的人自己用的是据说曾这样回答一类的保留语气。

这几句的分量不一样。稿件在傅里叶去世后失踪,是记录里的事。失踪与他去世有时间上的关联,是一个合理的解释。他本人忘在抽屉里或者带回家弄丢,是想象。科学院故意毁掉,连想象都没有材料撑着。

第三轮在1831年一月。

现存的那篇论文稿上日期为一月十六日,十七日提交科学院,由泊松和拉克鲁瓦负责。七月四日两人出具评审意见。流行的说法是泊松只写了不可理解四个字就把稿子扔了回来。

那份意见的实际意思更接近:审阅者已经努力理解作者的证明,但论证写得还不够清楚,也不够展开,无从判断它的严格性。

意见里还指出了一个在那个时代很要紧的问题。他给出的可解性条件大量直接诉诸方程各根之间的关系,而传统的方程论期待的是可以从已知的系数出发操作的判据。这使评审人很难判断这究竟构成了什么样的解法。这不是听不懂三个字可以概括的。这是两代人对什么叫解一个方程的理解不一样。

更重要的是结尾那一段。作者说这只是一个更一般理论的一部分,那么,也许只有把各部分放在一起互相照明才容易理解。建议作者把全部工作发表出来,再形成最后的判断。这显然是建设性的意见,不是此人胡言乱语。

把那份意见放回1831年科学院的日常实践里看,当年送进科学院的大量稿件根本得不到正式的评审意见。能得到这样一份相对详细的书面回应,本身已经说明他们没有把他当成一个无须理会的疯子。

六 那一夜

现在是这一篇最核心的一处纠正。流行的说法是:他在决斗前夜写出了整套理论。绝大部分理论不是那一夜写的。

现存的第一篇论文本身已经是1831年一月提交科学院的成稿。更早还有1829年的两篇相关研究和1830年的大奖综合稿。第二篇重要手稿被定在1830年五六月左右。五月二十九日那一夜,伽罗瓦真正做的是两件事。

其一,给朋友奥古斯特·舍瓦利耶的科学遗书。这是一封数页长的信,不是几十页新论文。它按主题概括自己已经得到和尚未完成的结果,特别谈方程,原始方程,椭圆函数与超越分析,以及关于某种含混性的思想,并要求收信人设法发表。其二,在旧的数学稿上作修订和边注。现代研究对那一天的概括非常直接:他写了那封遗书,并修改了一些手稿。

此外他还写了面向共和派朋友的告别信,解释自己为什么被迫进行一场私人决斗,并请求他们不要责怪自己。

所以那一夜真正令人震动的,不是一个二十岁的青年在几个小时里突然发明了整个理论。

是一个已经做了几年工作的青年认为自己第二天可能死,于是试图给旧手稿加补丁,并给朋友画出一个尚未公开的研究全景。这个版本比传说更难写,也更让人难受。

传说里的那一夜是一次爆发,有开头有结尾,天亮时东西完成了。真实的那一夜是一个人在收拾自己已经做了三年而没有人肯发表的东西,一边改,一边知道改不完。

传说把整理遗产改写成了创造遗产。两者的差别不在戏剧性,在于前一种需要那个人已经工作了很久,后一种只需要他有一夜。那句我没有时间也被挪过位置。

最著名的一处是第一篇论文里第二命题证明旁的边注。原文大意是:这个证明还有一点需要补充。我没有时间。现代对原稿的研究明确把它定位在那一处,不在论文的首页,也不在临终信的封面。

另有一处是那封信的最后,他谈把那个含混性的思想用到超越分析上时说,自己在这个广大的领域里想法尚未充分展开,但我没有时间。一处论文边注,一处书信正文。位置也可以钉住:那处边注在第一篇论文第二命题的证明旁边。一句说自己没有时间的话,位置精确到某一个命题的边上。

两处都在。两处都可以查。而它们被合成一句反复出现的呼喊,是因为那句话太好用了。一个人在自己没写完的证明旁边写下我没有时间,而第二天早上他参加决斗,次日上午死亡。这句话不需要任何加工就已经很重。加工的部分是把它变成了整夜。

一个人在自己的稿子上写一次这句话,说明他在赶。写一整夜,说明他在创造。两者要的是不同的东西。所谓他整夜不断在页边写我没有时间,是把这两处熔成了一个反复出现的戏剧母题。那封信本身也值得看清楚。它不是按定理一定理二的格式写的,是一张研究地图。

开头他说自己有几件数学工作需要托付。第一大部分回顾方程论。第二大部分转向椭圆函数,周期和更广泛的超越分析。最后他说自己近来的主要思考是把那个含混性的思想推广到超越量之间的关系:给定一个关系,研究哪些量可以互换而关系仍然保持。这已经显示他自己认为研究的视野远不止五次方程。

这一点常常被忽略,因为后世把他整个人钉在了五次方程上。而他自己在最后一封信里,花了大量篇幅谈的是别的东西。而他的请求非常具体。

请收信人把这封信发表。请两位当时最有分量的数学家公开表示意见,而且他刻意说,希望他们评价的不是这些定理真不真,而是它们重要不重要。然后希望有人能整理,继续,填补他的工作。这三条请求里,第一条完成了。

第二条没有。第三条要等十四年,而且完成它的人当时还不知道这批东西的存在。1832年九月,那封科学遗书在一份刊物上刊出。十一月收信人又发表了最早的较完整的追悼与传记文章。至于后来他把手稿寄给那两位大师,两人都不屑一顾,没有同样坚实的传递档案。

七 决斗

这一节必须从不知道开始。截至现有的专业研究,没有一种决斗原因获得可以定案的一手证据。伽罗瓦本人五月二十九日的文字是最早的源头。

他在写给共和派朋友的信里说,自己将成为一个可恶的轻浮女子造成的牺牲,生命要在一桩可怜的闲话里结束。另一处又把把他推向决斗的人称为两位爱国者,并表示自己已经尽力寻求和解。他还请求朋友原谅杀死自己的人,认为他们是出于诚意的。

这一句在所有版本里都最难安放,因为它不符合任何一种好讲的故事。这句话不容易安放进简单的政治谋杀或情敌决斗叙事,但也不能仅凭一句心理判断排除某一种可能。

这是一切爱情纠纷说的最早源头。它证明的是:他本人把事件理解为涉及一名女子和共和派同伴的私人名誉纠纷。它没有告诉后人女子是谁,具体发生了什么,也没有说情敌因为争夺女友向他挑战。他写下的是自己怎么理解这件事,不是这件事怎么发生的。这两者的差别,在任何一份当事人的自述里都存在。

而那句他们出于诚意,反过来对政治暗杀说构成明显的压力。后来的版本可以排一排。

家族传统由一位亲属在六十多年后提供:最后一次会面之后,女子身边一名被称为叔父的人和一名被称为未婚夫的人先后介入,最后导向决斗。距离事件六十余年,不是当事人的同期书面材料。

具体对手的姓名,最重要的早期出处是大仲马的回忆录。他本人认识这个共和派圈子,而且五月九日那场宴会他在场。但那不是决斗笔录,他也没有亲眼见证决斗。

女子的身份识别来自1968年的一项研究,依据民事档案,疗养院的环境和他稿纸上留下的一个名字。档案确实证明这位女子存在并与那个地点有具体联系,所以身份辨认不是纯小说。但她就是造成决斗的人,仍然是从几块拼图得到的推断。

政治陷阱与警察暗杀说完全没有落脚点。没有发现警察命令,线人呈报,付款,决斗安排,或者任何能够证明政府策划的同期文书。故意借决斗自杀说也一样。没有一封遗书说我要借决斗自杀。决斗本身能钉住的东西非常少。日期是1832年五月三十日清晨。地点在巴黎南面的一带。

伽罗瓦腹部中枪,随后被送到科尚医院。根据医院入院簿和尸检材料重建的医学路径是:子弹由腹部一侧进入,穿过腹腔区域,形成致命损伤。约上午九点半左右入院,次日上午十点左右死亡。对手是谁,直接的医疗和行政档案里没有姓名。见证人和双方的助手是谁,没有一份可靠的决斗笔录留下名字。

决斗的规则,谁先开枪,是否轮流射击,双方是否站二十五步,他是否故意不开枪,都没有足以重建的正式材料。谁发现并运走了他,早期的版本互相冲突。家族说是农民或者车夫, 1848年的传记另有退役军人一类的说法。这个冲突本身就说明,不该选一个最生动的写。选最生动的那一个,在写作上是最省事的动作,而且几乎不会被读者发现。因为读者手上没有另外那几个版本。

立得住的结论非常朴素。清晨决斗,腹部中枪,同行人员离开而没有留下可核的身份,他后来被送到医院,次日死亡。再多一层,证据强度迅速下降。

而通俗叙述几乎全部建立在这多出来的那一层上。二十五步,轮流开枪,他朝天放了一枪,在野外躺到第二天才被农民发现,这些没有一条有材料。

八 十四年不是读了十四年

伽罗瓦生前是不是完全不被承认。不准确。现代研究核对出版史后明确指出:他生前发表了五篇数学论文。

其中包括1829年在一份期刊上发表的连分数论文,以及1830年在另一份刊物上刊出的几篇,已经涉及他正在形成的方程论。

学校里,数学教师明显看出了他的特殊能力。校方在那份关于开除他的呈文里,一边批评他性格难以管理,行为不规整,一边承认他在数学科学方面有无可争议的才能。

学院层面,柯西两次向科学院介绍他的研究并准备写评述。泊松主动让他重新提交,后来和拉克鲁瓦真的给出了审稿意见。这些都与没人肯看他一个字不相容。

被忽视这个说法之所以流传,部分原因是它需要的证据比较少。要说明一个人不被承认,只要举一次失败。要说明他被部分承认,得把五篇论文,一份学校呈文,两次科学院介绍和一份审稿意见一起摆出来。后一种叙述更费事,也更不好讲。

而且它讲出来之后并不动人。一个有才华的年轻人得到了一些承认,但不够,也不及时。这句话里没有故事。

实情是:他生前已经被少数教师,编辑和一流数学家注意到,也成功发表过若干文章。但他最核心的方程可解性理论没有在生前获得正式出版和共同体的认可。至于那个十四年。伽罗瓦死后十四年才正式出版,不等于刘维尔花了十四年读懂它。

1832年他死后,手稿首先在舍瓦利耶那里。九月那封遗书发表,十一月又有追悼文章。此后大约十年的具体传递过程并不完全清楚。关键的事实是:刘维尔不是1832年就收到整批稿子的。据材料判断,是1843年夏天舍瓦利耶才把稿件交给他。

1843年七月,刘维尔已经能在科学院公开宣布,他在这些论文中发现了关于代数方程非常重要的结果。1846年在自己的期刊上刊出主要著作。

所以十四年应该拆成两段。1832年到约1843年,手稿主要不在刘维尔手中。这十年为什么没有产生数学影响,材料不足。1843年到1846年,刘维尔阅读,核查,整理并准备发表,大约三年。

至于舍瓦利耶为什么直到1843年才把材料交出去,现有的研究也没有得到一个确定的答案。把它解释成政府故意压制一个共和派烈士,目前没有档案支撑。

现在可以看那层传说是怎么长出来的了。它不是1937年突然出现的,是层层沉积。1832年,舍瓦利耶已经把他的死与官方学术承认不足联系起来。这是被制度辜负的青年这条叙事的核心。

比这更早的一层,是伽罗瓦自己写的。1831年十二月,他在圣佩拉吉监狱里给自己的论文写了一篇序,生前没有印出来。序里说, 1830年二月交给科学院的稿子一直没有回音,他也再没能见到。1831年那一份交给泊松审,泊松只在一次会上说他没有看懂。又说,稿子最常走失的地方是院士们的卷宗,他不明白,良心上背着阿贝尔之死的人,怎么还会这样漫不经心。第五节里那份写明了理由,建议他把全部工作发表出来的书面意见,到了这篇序里,只剩下没有看懂。

阿贝尔那一桩有档案可查。1826年十月三十日,阿贝尔交给科学院一篇长论文,审稿人是柯西和勒让德,两年多没有回音。1829年三月,雅可比写信问勒让德,这也许是这个世纪数学最重要的发现,交到科学院已经两年,怎么会没有引起注意。这篇论文到1841年才印出来,那时阿贝尔已经死了十二年。

1848年一份画报刊出了他弟弟凭记忆绘制的著名肖像,把人物推向大众读者。1849年一份数学期刊留下了早期的数学传记。大仲马的回忆录把宴会和一个具体的对手姓名,带进了一个极富戏剧性的叙事传统。然后是迪皮伊1896年那部传记。它做了大量真正的档案工作,是今天不可替代的入口。

与此同时,它叙述最后一夜时也写出了高度文学化的场面:他发热般地写下结果,在页边不断写我没有时间。正是在这样一部权威的档案传记里,后来最著名的神话获得了信誉的外衣。到了1937年,贝尔那本英语的大众数学传记出版,里面有一章的标题直接叫天才与愚蠢。贝尔最重要的作用不是每个故事都由他发明。是他取消了原来源里的疑问号。

传统上的那块擦板布,变成了确定的向考官扔橡皮擦。复杂的科学院稿件史,变成了愚蠢或者粗心的权威接连糟蹋天才。五月二十九日修改旧稿和写信,变成了整夜疯狂写下自己的数学遗产,而我没有时间变成了一再重复的页边呼喊。整个人生则被组织成那个标题本身:天才不断撞上愚蠢。

1982年,罗思曼发表了一篇专门处理这件事的论文,标题是天才与传记作者,回应的正是贝尔那个天才与愚蠢的传统。

他的方法不是再写一遍英雄传,是把后世的传记一层一层与早期材料对照,观察一个细节怎样从据说变成确实如此。这篇文章在这段传记史里的意义,不只是打假。它第一次让一个大众数学史的案例本身,成为传记如何制造数学天才神话的研究对象。

也就是说,研究的对象从这个人换成了关于这个人的叙述。这个换法在这一篇里出现得正合适,因为这一篇从头到尾在做同一件事。

回到开头那份写错年龄的死亡文件。

第二篇里那个被扔进海里的人,结构上的余下那件事很硬,人身上的那件事很软。于是后来的叙述补上了一个受害者。

这一篇两样都硬。出生登记,考试记录,会议记录,庭审报道,监狱登记,医院入院簿,手稿本身,那封信。而传说还是长出来了,而且更厚。原因不在材料的多少。档案能回答的是什么时候,在哪里,谁签的字。它回答不了一个人在哪一刻看见了那个结构。

这是所有档案共同的边界,不只是他的。第四篇里那位写下自己怎样找到答案的人,已经是这个系列里最接近的一次例外,而他写的也只是办法,不是那一刻。没有一份文书记录理解发生的那一秒。

于是叙述必须把它放在某个地方。不放不行。一个没有那一刻的故事讲不下去,就像第二篇里一个没有受害者的故事讲不下去。而在他全部的日子里,只有最后一夜是有日期的。那一夜有日期,有地点,有留下来的纸,而且第二天早晨就发生了致命的决斗。没有比这更适合安放那一刻的位置了。

于是那一刻被放了进去。放进去之后,它就再也没有出来过。

这件事不只发生在他身上。凡是讲一个人想通了什么的故事,几乎都要指出一个时刻:苹果落下来的那一下,浴缸里水溢出来的那一下,灯亮的那一下。

那些时刻通常没有证据,而且往往不需要证据,因为没有人会去问。读者要的就是那一下。

所以下次再读到某人某夜突然想通了什么,值得问一句:这个日期是谁给的。

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

一 二十一歲

1832年五月三十一日上午,一個年輕人在巴黎的科尚醫院死於前一天決鬥留下的槍傷。醫院的入院簿,死亡登記和屍檢材料都保存下來了。

死亡文件上寫著他二十一歲。

他實際上還沒滿二十一。

他叫埃瓦里斯特·伽羅瓦。今天任何一本代數教科書裡都有以他命名的東西,而他活著的時候,最核心的那部分工作一頁也沒有正式發表過。

這是一份一手的官方文書,由當時的經辦人填寫,距事件不到一天。它寫錯了。

這件事不嚴重,也沒有害處。它只是提醒一件在這一篇裡要反復用到的事。判斷一條說法可靠不可靠,看的是它離那件事有多近,而離得近,不等於每一個字都對。

這一篇的史料條件和這個系列此前任何一篇都不同。

前面幾篇裡,人物的年代往往要靠幾百年後的轉述倒推。第二篇裡的希帕索斯,最早的記載晚了五百年。第三篇裡的歐幾里得,最早點他名的材料晚了一百年。第四篇裡阿基米德的生年,是一位十二世紀的人用活了多少歲加上死年算出來的。

這一篇不一樣。

出生登記,學校成績單和教師評語,科學院的會議記錄,報紙的庭審報道,警察和法院的卷宗,監獄的登記,醫院的入院簿,屍檢材料,他本人的手稿,他本人寫的信。伽羅瓦二十年的一生,穿過了十九世紀法國幾乎所有高度文書化的機構。

他上過學,考過試,被開除過,被捕過兩次,上過兩次法庭,坐過牢,在霍亂流行時被轉過院,最後死在醫院裡。每一樣都留下了紙。

而且不止一處留下。學校有學校的記錄,法院有法院的記錄,報紙另有報道。同一件事常常可以在兩三處互相核對。

而且他自己也寫。五篇發表過的論文,幾份提交科學院的稿子,給報紙的公開信,獄中的書信,最後那封給朋友的長信,以及一疊改了又改的手稿。這些手稿今天都在。

而它們能活下來本身也不是理所當然的。他死後,桌上的材料先到了捨瓦利耶手裡,他抄寫了一部分, 1843年交給劉維爾。劉維爾後來把包括這些稿子在內的個人藏書和文件留給女婿,那位女婿的遺孀在1905年或者1906年前後把這批材料交給了科學院。四手之後,才進了公共收藏。

中間任何一個人不經意,這一篇就寫不出來了。而這一篇裡最要緊的幾處糾正,靠的正是這批紙。最初整理為二十五個卷宗,後又增入兩個卷宗,現行目錄記為二十七個卷宗,裝訂成一卷,大約二百八十五葉,其中一百六十餘葉是他本人的筆跡。2011年以後,高質量的數字圖像第一次基本實現了網上完整開放。在此之前研究者常常依賴縮微膠卷,因為原件已經相當脆弱。

而關於他的傳說,仍然是整個數學史裡最厚的一層。

考場上扔出去的黑板擦。被大數學家弄丟的論文。審稿人只寫了不可理解四個字。決鬥前夜寫出全部理論,在頁邊一遍遍寫我沒有時間。死後十四年才有人讀懂那些手稿。

這些流行表述沒有一條可以原樣當作定論。

而它們全都出現在正經的書裡,有些還出現在今天仍然可以引用的權威傳記裡。這一點比它們是假的更要緊,因為一條假說法能在正經的書裡活一百年,靠的不是編造,是每一代人都省掉了一次核對。

這一篇要處理的就是這件事。而更值得問的不是哪一條是假的,是:在一個幾乎每一天都有紙可查的人身上,這些東西憑什麼長得出來。不是檔案不夠,而是檔案回答了什麼時候,回答不了那一刻。這句話到最後一節才會講完。先從三百年前開始。

二 追獵

1545年那本書出版之後,問題的性質變了。

上一批人證明了三次和四次方程可以用系數寫出解的公式。於是接下來要問的不再是某個五次方程有沒有根,而是:有沒有一套像二次,三次,四次那樣,只從一般方程的系數出發,通過有限次算術運算和開方,就能把一般五次方程的根統一寫出來的公式。這個問題被追了將近三百年。

追的方式和後人想象的不一樣。沒有懸賞,沒有名單,也沒有一代代人輪流上場宣佈自己要解決它。

更準確的描述是: 1540年代到1840年代之間,圍繞方程的一般代數解形成了一條長期的研究傳統,而五次公式是這條傳統里最頑固的一個未結項。參與的人也不是一個接一個來挑戰它。多數人做的是別的事,只是做出來的東西後來都進了這個問題的工具箱。三百年裡人人都在猜五次公式,這件事沒有發生過。

十六,十七世紀更重要的是把工具做出來。第八篇那位工程師處理三次方程裡出現的那類量。韋達系統整理根與系數的關係和方程的變換。笛卡爾把方程的分解和符號運算推得更遠。到1680年代,又有人研究通過變量變換消去中間項,希望把高次方程降成較簡單的標準形。

這些後來都進入了五次問題的技術庫。但把他們一概寫成尋找五次公式失敗的人,會過分現代化他們的目標。十八世紀以後方向才越來越直接。

最關鍵的轉折不是某一次失敗。是研究者越來越發現:已有的三,四次公式背後似乎存在一種共同的機制,關於根怎樣互換而某些表達式仍然不變。1770年到1771年,拉格朗日把這個機制系統地提到了研究的中心。他那部書不是又提出一種新的五次公式,是一次對已有公式為什麼有效的解剖。

他考察由各根組成的輔助表達式:根任意交換的時候,某些表達式保持不變,另一些只取得有限個不同的值。而這些不同的值又成為一個較低次數的輔助方程的根。他有兩個重大的收穫。

第一,他第一次把此前那些看起來彼此不同的特殊技巧,統一解釋成一個關於根的排列與輔助函數取值個數的問題。

第二,他發現正是某些輔助表達式在排列之下只有很少的不同取值,才使三次和四次的情形能夠降階。他停下來的地方同樣重要。到了五次,一般情況下自然得到的輔助方程並不會神奇地降到更低的,已經會解的次數。

也就是說,他的分析解釋了舊方法,卻沒有給出通往五次公式的新路,更沒有證明所有可能的根式方法都必然失敗。他給出的不是一條不可能性定理。這一點值得停一下,因為它是整段歷史的轉折。此前所有的工作都在問怎麼做到。

第三篇裡那條被懷疑了兩千年的公設,走的是同一條路:先有人覺得它應該能被證出來,反復試,反復失敗。最後有人證明它證不出來。

而證不出來這件事本身,是一個結果,不是一次放棄。這種研究把注意力轉向舊方法在什麼條件下有效,而這個問法一旦成立,做不到也就逐漸成了一個可以研究的答案。是第一個強烈的提示:問題也許不在於數學家還沒找到正確的公式,而在於公式本身也許不存在。一門學問要能提出這種提示,得先積累到某個程度。在此之前,找不到只意味著還沒找到。

而提出這種提示的人,通常並不是在找那個東西。他在拆已經有的東西,想看清它為什麼管用。1799年,摩德納的數學家保羅·魯菲尼出版了一部書,標題裡已經沒有遮掩:證明四次以上一般方程不可能代數求解。他把一般高次方程的代數不可解性直接寫進了書名。

而這件事本身就說明他清楚自己在做什麼。他不是在記一次失敗,是在宣佈一個定理。這不是一篇六頁的論文。是一部約五百頁量級,分部刊行的大部頭。它的規模也是後來接受困難的一部分。五百頁的書沒有人會順手翻開。而一個說你要找的東西不存在的結論,恰恰需要讀者讀完才肯相信。不肯讀完的人,只會記住書名。

他的思路繼承拉格朗日,卻把排列的研究推進得很遠。他研究排列的循環,階,共軛關係,以及後來被稱為傳遞,非傳遞,原始,非原始的那些排列集合。

把這些直接稱為群論仍然是時代錯置,因為他沒有現代的抽象群定義。但他確實從方程可解性問題的內部,把排列的組合結構做成了一個獨立的技術對象。那個缺口不能只寫成有點不嚴謹。

為了分析一切可能的根式公式,他需要把公式裡逐級引入的根式和方程的各根聯繫起來。他事實上默認了這些輔助根式可以取成諸根的有理函數,也就是默認它們都可以留在由那些根所生成的範圍裡。這個前提不自動成立。上一批人早就顯示過:方程的根即使全是實數,中間的計算也可能必須引入並不屬於那個範圍的輔助量。第八篇講的正是這件事。

而他並沒有收到一個簡單的一致拒絕。有人提出過實質性的異議,他在1802年到1813年之間多次改寫證明。拉格朗日沒有給他期待中的回應。後來柯西對他的工作評價相當高。

所以完全沒人看不對,被公認地證明了定理也不對。為什麼長期處於邊緣。

數學上的原因是證明長,結構新,關鍵前提沒有完全證明。傳播上的原因是他身處摩德納而不是巴黎,著作又龐大複雜。而思想上的原因更根本。前三個原因都可以補救:證明可以改寫,人可以搬家,書可以縮短。第四個不能。

當時的數學共同體仍然習慣把解方程理解成尋找解法。要他們接受一個證明,告訴他們你要找的東西不存在,這是相當大的概念躍遷。要接受它,得先承認自己這一行裡有些問題的答案是沒有。

第七篇和第八篇裡出現過同一種躍遷的較小版本。那裡要接受的是一個不存在對應量的對象,這裡要接受的是一個不存在的辦法。前者至少還能拿在手上算。後者是一個洞。1824年,挪威人尼爾斯·阿貝爾自費印刷了一本小冊子,那年他二十一歲上下。正文只有六頁左右。

現代研究反復記載他因為要自己承擔印刷費用而把證明壓縮得極短。這件事比許多關於他的軼事可靠,因為小冊子的實際篇幅,自費的性質和那種異常壓縮的文字風格,彼此吻合。站得住的只是經濟原因促使他極度壓縮。他窮得只買得起六頁紙這個說法再往前走了一步:有出版史上的經濟事實,沒有一張印刷賬單證明第七頁的錢都沒有。

這個區別在這一篇裡要用很多次。事實是一回事,把事實排成一個可以直接改編成電影的鏡頭,是另一回事。1826年他在一份新創辦的期刊上發表了更充分的版本,把論證擴展到一般的四次以上方程。

他知道魯菲尼。他明確稱對方是此前試圖證明這件事的先驅,並抱怨那套論證過於複雜,以至於難以判斷它是否有效。1829年四月六日,他死於肺結核,二十六歲。關於那封遲到的信,流行的版本挪動了一樣東西。

權威的傳記材料寫的是:他死後兩天,那位期刊的創辦人還不知道噩耗,寫信告訴他柏林方面的職位已經爭取成功。兩天首先是寫信日期與死亡日期之差,不是一張郵局回執證明信恰好在死後兩天送到門口。

所以實際的次序是:他死後兩天,那個人還不知道噩耗,寫信告訴他自己奔走的職位已經有了著落。這封信當然來得太遲。

而正式的教授任命書在葬禮後第二天送到門口,是另一句話。它把私人通知,職位安排和郵遞時間三件不同的事揉成了一個場面。

三 不存在的不是答案

現在要把那個結論說清楚,因為它極容易被讀成另一件事。這個結論幾乎總是被讀成另一件事,所以要先把它說死。

先看一個人人見過的東西。一元二次方程有一個公式:把三個系數按固定的方式加減乘除,再開一個平方根,答案就出來了。這個公式對任何一個二次方程都管用,不管系數是什麼。

三次和四次方程也各有這樣一個公式,長得多,要開的根也多幾層,但性質一樣:系數放進去,有限幾步之後,答案出來。

三百年裡人們要的,就是五次的那一個。

而結論是:它不存在。

用根式求不出來,絕不是五次方程沒有答案。

一般的五次方程當然有根。在複數範圍內,每一個非常數的多項式都有根,而且計算方法可以把這些根數值逼近到任意所需的精度。它說的是一種非常特殊的答案形式不存在。

不存在一套像二次公式,三次公式,四次公式那樣,對任意一般五次方程都有效,只把系數拿來做有限次加減乘除和開各種次方根,最後就得到全部根的統一公式。被終結的是這種公式的追獵。追獵這個詞在這裡是準確的。三百年裡人們要的一直是一個可以寫下來的東西,而結論是那個東西不存在。不是沒找到。是不在。

這兩句話的分量完全不同。找不到還可以再找,不在就沒有可找的了。

而且一般五次方程沒有這種通用公式,也不等於每一個具體的五次方程都不能用根式解。有大量特殊的五次方程可以。阿貝爾解決的是一般公式不存在。

而伽羅瓦把問題推到了另一處:給我一個具體的方程,究竟在什麼條件下它可用根式求解。這是兩人歷史位置最簡潔的區別。一個人關上了一扇門,另一個人問的是每一扇門各自在什麼條件下開著。

第二個問題比第一個大得多,因為它要求先說清楚:一扇門開不開,取決於什麼。

第二個問題比第一個大得多,而且它需要一套新的看法。他的辦法是一次轉向。三百年裡,人們盯著方程看。他不再直接看方程,改看解與解之間的對稱。

哪些根可以互相交換而某些關係仍然保持,這些交換本身構成一個結構。方程能不能用根式解,取決於那個結構的形狀。問的對象從方程換成了方程的根之間的可交換性。這個轉向的代價,是審稿的人看不懂。

下一節會看到,當時那份意見里提出的技術困難恰好就在這裡:他給出的條件訴諸的是各根之間的關係,而當時的人期待的是從已知系數出發可以操作的判據。他把問題挪到了一個當時還沒有人站過的位置上。站在新位置上的人看得更遠,而站在舊位置上的人會覺得他沒有回答問題。兩邊都沒有錯。看不懂不總是眼力問題,有時候是站的地方不同。

四 檔案裡的伽羅瓦

1811年十月二十五日,伽羅瓦出生在巴黎南郊的布爾拉雷訥。這個日期有民事出生登記支撐。父親是當地的自由派人物,長期任市長。母親受過良好教育,早期親自在家教孩子。1829年七月二日,伽羅瓦的父親在巴黎自殺。死亡本身是確定事實。導致自殺的地方政治羞辱事件有很強的家庭證言,卻沒有同樣完整的一手案卷。

所以這裡有三層。父親任市長,當地有尖銳的政治衝突,父親自殺,這三件事都有當時的文書。偽造的諷刺詩事件是自殺的直接原因,主要靠家族的說法,沒有案卷。而父親的死使他從此仇恨一切權威,因此幾周後在考場發作,這一層什麼依據也沒有。

最後一句尤其常見,卻沒有他當天的日記或者書信作證。時間靠得近,只能構成可能的影響,不能充當心理診斷。

這一類因果在這一篇裡出現得特別多,因為他的生平事件排得太密:父親自殺,考試失敗,革命,開除,兩次被捕,決鬥,一共不到三年。事件挨著事件,敘述就很容易把挨著寫成因為。中學的成績,升留級和教師評語都保存過。有評語說他原創而古怪,又說數學的狂熱支配著他。學生檔案是實在的東西。十四歲一口氣像讀小說一樣讀完某部幾何著作,不是學校記錄裡的話。

兩句話之間的差別,是有沒有一張紙。

而這一篇裡幾乎每一處流傳最廣的細節,差的都是這一張。他兩次投考那所著名的工科學校都沒有考上,這件事本身無疑。但具體的考試日和某些細節,在不同的傳記裡並不一致。那個最有名的故事是:第二次考砸之後,他把擦黑板的東西扔向了考官。這個故事最早可以可靠定位到1896年迪皮伊那部傳記,而迪皮伊自己使用的措辭就是傳統說。他甚至說不清當時的考官是誰。

一個連主角的對手是誰都說不清的故事,卻保留了那個動作的全部細節。這是傳說的典型形態:最難核的部分最模糊,最好講的部分最清楚。1849年已經有數學期刊稱他是才智超群的落榜考生,卻沒有提供扔東西這個可核檔的細節。

還有一層,物件本身在傳播里也硬化了。法語早期材料指的是擦板用的布,後來的英語把它固定成一種橡皮擦,再譯成中文又變成了黑板擦。至於迪皮伊那部傳記本身,值得多說一句。

作者明確說明自己查過師範學校,教育部,巴黎科學院,國家檔案館,出生地的市政檔案,巴黎的警察系統,科尚醫院,以及兩處監獄的材料。他也指出,一部分警察和司法原件已經毀於1871年,因此需要用同期的報紙補洞。這是今天不可替代的史料入口。沒有這部書,這一篇裡一半的日期都拿不到。

這也是本系列反復遇到的一種依賴。第二篇裡那位五世紀的編纂者,第三篇裡那位五世紀的注釋者,都是同一類角色:後人幾乎全部的信息經過他們,而他們自己也在講故事。差別在於這一次那個人手上有市政檔案。

而這一篇後面要說的最大的一層傳說,恰恰長在這部書裡。

一個人可以同時是最可靠的檔案工作者和最有效的神話製造者。這兩件事不矛盾,因為它們發生在同一部書的不同頁上。

而後來的讀者不會分頁。他們讀到的是一部權威的傳記,裡面既有市政檔案裡的出生日期,也有一個發熱般在頁邊寫字的青年。兩樣東西並排放著,看起來是同一種東西。

五 三輪

伽羅瓦的核心論文交出去過三次。為了避免他三次把同一份紙交出去的錯覺,最好稱為三輪提交。

第一輪在1829年。科學院的會議記錄顯示,柯西在五月二十五日和六月一日向科學院介紹了這位青年的相關研究。通常認為那是兩篇彼此相關的方程論稿件,不是後來那篇論文的副本。沒有留下最終的正式評審意見。流傳最廣的說法是:柯西把稿子弄丟了。這條當不了定論。

第一層證據就是上面那兩條會議記錄。一個拿到就弄丟,完全沒理的人,和這個事實不相容。

第二層更強。1830年一月十八日,柯西寫給科學院主席的信現存。

他說自己本來當天要提交兩件事,其中第一件就是關於青年伽羅瓦工作的評述。因為身體不適不能出席,請把兩項內容列到下一次會議的議程。那封信是整個糾錯的核心。

一月二十五日他已經恢復出席,確實提交了信裡說的第二項,卻沒有提交那份評述。此後科學院的記錄裡也不再出現它。為什麼。檔案沒有回答。這裡有一個誘惑。檔案沈默的時候,最舒服的做法是填一個動機進去:他忘了,他嫌棄,他忙別的去了。而沈默只是沈默。

這一篇裡有好幾處這樣的沈默,而傳說恰好長在每一處沈默上。

稿件為什麼沒有再提交,稿件後來去了哪裡,決鬥為什麼發生,那批手稿為什麼隔了十年才交出去。四處沈默,四種傳說。

1971年,法國數學史家勒內·塔頓系統利用這些材料提出新解釋:很可能在一月十八日到二十五日之間,柯西和他決定不要再給1829年那兩篇舊稿做正式評述,而是把其中最原創的內容合併,擴展,趕在三月一日之前參加科學院大獎。他明確把這稱為根據現有材料提出的一個非常可能的假設,不是宣稱找到了一封柯西叫你重寫的信。

這個重建還有一個很有力的時間吻合: 1830年二月,他確實把一篇綜合性的稿件送去參加了大獎。一個人被勸去參加大獎,和一個人的稿子被扔進抽屜,是兩種完全不同的故事。而現存的材料指向前一種。這一條糾正到1971年才做出來,比那句柯西弄丟了論文晚了一個多世紀。而在這一個多世紀裡,那句話一直在書上。

檔案一直在科學院。沒有人把它藏起來。只是沒有人去翻。

所以這件事可以按知道的程度排一排。

柯西讀過那些稿子。他準備好了要講。一月十八日他病了,寫信請延。此後那份東西不再出現。這四句每一句背後都有一份當時的紙。他勸對方合併重寫去參加大獎,是後來有人根據這些紙推出來的。合理,但沒有一封信這樣寫過。而他把論文弄丟了,沒有任何一份當時的紙這樣說。

第二輪就是1830年二月那一份。

當時的常務秘書之一是傅里葉。他五月十六日去世。六月二十八日大獎最後授予已經去世的阿貝爾和普魯士的雅可比,獎的是兩人在橢圓函數上的工作,而這一份稿件沒有進入最後評審,後來也沒有在應有的材料裡找到。早期的敘述裡還有一句被歸給某位學者的話,大意是:事情很簡單,稿件在負責處理它的傅里葉去世時丟了。轉述這句話的人自己用的是據說曾這樣回答一類的保留語氣。

這幾句的分量不一樣。稿件在傅里葉去世後失蹤,是記錄裡的事。失蹤與他去世有時間上的關聯,是一個合理的解釋。他本人忘在抽屜裡或者帶回家弄丟,是想象。科學院故意毀掉,連想象都沒有材料撐著。

第三輪在1831年一月。

現存的那篇論文稿上日期為一月十六日,十七日提交科學院,由泊松和拉克魯瓦負責。七月四日兩人出具評審意見。流行的說法是泊松只寫了不可理解四個字就把稿子扔了回來。

那份意見的實際意思更接近:審閱者已經努力理解作者的證明,但論證寫得還不夠清楚,也不夠展開,無從判斷它的嚴格性。

意見里還指出了一個在那個時代很要緊的問題。他給出的可解性條件大量直接訴諸方程各根之間的關係,而傳統的方程論期待的是可以從已知的系數出發操作的判據。這使評審人很難判斷這究竟構成了什麼樣的解法。這不是聽不懂三個字可以概括的。這是兩代人對什麼叫解一個方程的理解不一樣。

更重要的是結尾那一段。作者說這只是一個更一般理論的一部分,那麼,也許只有把各部分放在一起互相照明才容易理解。建議作者把全部工作發表出來,再形成最後的判斷。這顯然是建設性的意見,不是此人胡言亂語。

把那份意見放回1831年科學院的日常實踐里看,當年送進科學院的大量稿件根本得不到正式的評審意見。能得到這樣一份相對詳細的書面回應,本身已經說明他們沒有把他當成一個無須理會的瘋子。

六 那一夜

現在是這一篇最核心的一處糾正。流行的說法是:他在決鬥前夜寫出了整套理論。絕大部分理論不是那一夜寫的。

現存的第一篇論文本身已經是1831年一月提交科學院的成稿。更早還有1829年的兩篇相關研究和1830年的大獎綜合稿。第二篇重要手稿被定在1830年五六月左右。五月二十九日那一夜,伽羅瓦真正做的是兩件事。

其一,給朋友奧古斯特·捨瓦利耶的科學遺書。這是一封數頁長的信,不是幾十頁新論文。它按主題概括自己已經得到和尚未完成的結果,特別談方程,原始方程,橢圓函數與超越分析,以及關於某種含混性的思想,並要求收信人設法發表。其二,在舊的數學稿上作修訂和邊注。現代研究對那一天的概括非常直接:他寫了那封遺書,並修改了一些手稿。

此外他還寫了面向共和派朋友的告別信,解釋自己為什麼被迫進行一場私人決鬥,並請求他們不要責怪自己。

所以那一夜真正令人震動的,不是一個二十歲的青年在幾個小時裡突然發明了整個理論。

是一個已經做了幾年工作的青年認為自己第二天可能死,於是試圖給舊手稿加補丁,並給朋友畫出一個尚未公開的研究全景。這個版本比傳說更難寫,也更讓人難受。

傳說里的那一夜是一次爆發,有開頭有結尾,天亮時東西完成了。真實的那一夜是一個人在收拾自己已經做了三年而沒有人肯發表的東西,一邊改,一邊知道改不完。

傳說把整理遺產改寫成了創造遺產。兩者的差別不在戲劇性,在於前一種需要那個人已經工作了很久,後一種只需要他有一夜。那句我沒有時間也被挪過位置。

最著名的一處是第一篇論文裡第二命題證明旁的邊注。原文大意是:這個證明還有一點需要補充。我沒有時間。現代對原稿的研究明確把它定位在那一處,不在論文的首頁,也不在臨終信的封面。

另有一處是那封信的最後,他談把那個含混性的思想用到超越分析上時說,自己在這個廣大的領域裡想法尚未充分展開,但我沒有時間。一處論文邊注,一處書信正文。位置也可以釘住:那處邊注在第一篇論文第二命題的證明旁邊。一句說自己沒有時間的話,位置精確到某一個命題的邊上。

兩處都在。兩處都可以查。而它們被合成一句反復出現的呼喊,是因為那句話太好用了。一個人在自己沒寫完的證明旁邊寫下我沒有時間,而第二天早上他參加決鬥,次日上午死亡。這句話不需要任何加工就已經很重。加工的部分是把它變成了整夜。

一個人在自己的稿子上寫一次這句話,說明他在趕。寫一整夜,說明他在創造。兩者要的是不同的東西。所謂他整夜不斷在頁邊寫我沒有時間,是把這兩處熔成了一個反復出現的戲劇母題。那封信本身也值得看清楚。它不是按定理一定理二的格式寫的,是一張研究地圖。

開頭他說自己有幾件數學工作需要托付。第一大部分回顧方程論。第二大部分轉向橢圓函數,週期和更廣泛的超越分析。最後他說自己近來的主要思考是把那個含混性的思想推廣到超越量之間的關係:給定一個關係,研究哪些量可以互換而關係仍然保持。這已經顯示他自己認為研究的視野遠不止五次方程。

這一點常常被忽略,因為後世把他整個人釘在了五次方程上。而他自己在最後一封信裡,花了大量篇幅談的是別的東西。而他的請求非常具體。

請收信人把這封信發表。請兩位當時最有分量的數學家公開表示意見,而且他刻意說,希望他們評價的不是這些定理真不真,而是它們重要不重要。然後希望有人能整理,繼續,填補他的工作。這三條請求里,第一條完成了。

第二條沒有。第三條要等十四年,而且完成它的人當時還不知道這批東西的存在。1832年九月,那封科學遺書在一份刊物上刊出。十一月收信人又發表了最早的較完整的追悼與傳記文章。至於後來他把手稿寄給那兩位大師,兩人都不屑一顧,沒有同樣堅實的傳遞檔案。

七 決鬥

這一節必須從不知道開始。截至現有的專業研究,沒有一種決鬥原因獲得可以定案的一手證據。伽羅瓦本人五月二十九日的文字是最早的源頭。

他在寫給共和派朋友的信裡說,自己將成為一個可惡的輕浮女子造成的犧牲,生命要在一樁可憐的閒話裡結束。另一處又把把他推向決鬥的人稱為兩位愛國者,並表示自己已經盡力尋求和解。他還請求朋友原諒殺死自己的人,認為他們是出於誠意的。

這一句在所有版本裡都最難安放,因為它不符合任何一種好講的故事。這句話不容易安放進簡單的政治謀殺或情敵決鬥敘事,但也不能僅憑一句心理判斷排除某一種可能。

這是一切愛情糾紛說的最早源頭。它證明的是:他本人把事件理解為涉及一名女子和共和派同伴的私人名譽糾紛。它沒有告訴後人女子是誰,具體發生了什麼,也沒有說情敵因為爭奪女友向他挑戰。他寫下的是自己怎麼理解這件事,不是這件事怎麼發生的。這兩者的差別,在任何一份當事人的自述里都存在。

而那句他們出於誠意,反過來對政治暗殺說構成明顯的壓力。後來的版本可以排一排。

家族傳統由一位親屬在六十多年後提供:最後一次會面之後,女子身邊一名被稱為叔父的人和一名被稱為未婚夫的人先後介入,最後導向決鬥。距離事件六十餘年,不是當事人的同期書面材料。

具體對手的姓名,最重要的早期出處是大仲馬的回憶錄。他本人認識這個共和派圈子,而且五月九日那場宴會他在場。但那不是決鬥筆錄,他也沒有親眼見證決鬥。

女子的身份識別來自1968年的一項研究,依據民事檔案,療養院的環境和他稿紙上留下的一個名字。檔案確實證明這位女子存在並與那個地點有具體聯繫,所以身份辨認不是純小說。但她就是造成決鬥的人,仍然是從幾塊拼圖得到的推斷。

政治陷阱與警察暗殺說完全沒有落腳點。沒有發現警察命令,線人呈報,付款,決鬥安排,或者任何能夠證明政府策劃的同期文書。故意借決鬥自殺說也一樣。沒有一封遺書說我要借決鬥自殺。決鬥本身能釘住的東西非常少。日期是1832年五月三十日清晨。地點在巴黎南面的一帶。

伽羅瓦腹部中槍,隨後被送到科尚醫院。根據醫院入院簿和屍檢材料重建的醫學路徑是:子彈由腹部一側進入,穿過腹腔區域,形成致命損傷。約上午九點半左右入院,次日上午十點左右死亡。對手是誰,直接的醫療和行政檔案裡沒有姓名。見證人和雙方的助手是誰,沒有一份可靠的決鬥筆錄留下名字。

決鬥的規則,誰先開槍,是否輪流射擊,雙方是否站二十五步,他是否故意不開槍,都沒有足以重建的正式材料。誰發現並運走了他,早期的版本互相衝突。家族說是農民或者車夫, 1848年的傳記另有退役軍人一類的說法。這個衝突本身就說明,不該選一個最生動的寫。選最生動的那一個,在寫作上是最省事的動作,而且幾乎不會被讀者發現。因為讀者手上沒有另外那幾個版本。

立得住的結論非常樸素。清晨決鬥,腹部中槍,同行人員離開而沒有留下可核的身份,他後來被送到醫院,次日死亡。再多一層,證據強度迅速下降。

而通俗敘述幾乎全部建立在這多出來的那一層上。二十五步,輪流開槍,他朝天放了一槍,在野外躺到第二天才被農民發現,這些沒有一條有材料。

八 十四年不是讀了十四年

伽羅瓦生前是不是完全不被承認。不準確。現代研究核對出版史後明確指出:他生前發表了五篇數學論文。

其中包括1829年在一份期刊上發表的連分數論文,以及1830年在另一份刊物上刊出的幾篇,已經涉及他正在形成的方程論。

學校裡,數學教師明顯看出了他的特殊能力。校方在那份關於開除他的呈文里,一邊批評他性格難以管理,行為不規整,一邊承認他在數學科學方面有無可爭議的才能。

學院層面,柯西兩次向科學院介紹他的研究並準備寫評述。泊松主動讓他重新提交,後來和拉克魯瓦真的給出了審稿意見。這些都與沒人肯看他一個字不相容。

被忽視這個說法之所以流傳,部分原因是它需要的證據比較少。要說明一個人不被承認,只要舉一次失敗。要說明他被部分承認,得把五篇論文,一份學校呈文,兩次科學院介紹和一份審稿意見一起擺出來。後一種敘述更費事,也更不好講。

而且它講出來之後並不動人。一個有才華的年輕人得到了一些承認,但不夠,也不及時。這句話裡沒有故事。

實情是:他生前已經被少數教師,編輯和一流數學家注意到,也成功發表過若干文章。但他最核心的方程可解性理論沒有在生前獲得正式出版和共同體的認可。至於那個十四年。伽羅瓦死後十四年才正式出版,不等於劉維爾花了十四年讀懂它。

1832年他死後,手稿首先在捨瓦利耶那裡。九月那封遺書發表,十一月又有追悼文章。此後大約十年的具體傳遞過程並不完全清楚。關鍵的事實是:劉維爾不是1832年就收到整批稿子的。據材料判斷,是1843年夏天捨瓦利耶才把稿件交給他。

1843年七月,劉維爾已經能在科學院公開宣佈,他在這些論文中發現了關於代數方程非常重要的結果。1846年在自己的期刊上刊出主要著作。

所以十四年應該拆成兩段。1832年到約1843年,手稿主要不在劉維爾手中。這十年為什麼沒有產生數學影響,材料不足。1843年到1846年,劉維爾閱讀,核查,整理並準備發表,大約三年。

至於捨瓦利耶為什麼直到1843年才把材料交出去,現有的研究也沒有得到一個確定的答案。把它解釋成政府故意壓制一個共和派烈士,目前沒有檔案支撐。

現在可以看那層傳說是怎麼長出來的了。它不是1937年突然出現的,是層層沈積。1832年,捨瓦利耶已經把他的死與官方學術承認不足聯繫起來。這是被制度辜負的青年這條敘事的核心。

比這更早的一層,是伽羅瓦自己寫的。1831年十二月,他在聖佩拉吉監獄里給自己的論文寫了一篇序,生前沒有印出來。序裡說, 1830年二月交給科學院的稿子一直沒有回音,他也再沒能見到。1831年那一份交給泊松審,泊松只在一次會上說他沒有看懂。又說,稿子最常走失的地方是院士們的卷宗,他不明白,良心上背著阿貝爾之死的人,怎麼還會這樣漫不經心。第五節裡那份寫明了理由,建議他把全部工作發表出來的書面意見,到了這篇序裡,只剩下沒有看懂。

阿貝爾那一樁有檔案可查。1826年十月三十日,阿貝爾交給科學院一篇長論文,審稿人是柯西和勒讓德,兩年多沒有回音。1829年三月,雅可比寫信問勒讓德,這也許是這個世紀數學最重要的發現,交到科學院已經兩年,怎麼會沒有引起注意。這篇論文到1841年才印出來,那時阿貝爾已經死了十二年。

1848年一份畫報刊出了他弟弟憑記憶繪制的著名肖像,把人物推向大眾讀者。1849年一份數學期刊留下了早期的數學傳記。大仲馬的回憶錄把宴會和一個具體的對手姓名,帶進了一個極富戲劇性的敘事傳統。然後是迪皮伊1896年那部傳記。它做了大量真正的檔案工作,是今天不可替代的入口。

與此同時,它敘述最後一夜時也寫出了高度文學化的場面:他發熱般地寫下結果,在頁邊不斷寫我沒有時間。正是在這樣一部權威的檔案傳記裡,後來最著名的神話獲得了信譽的外衣。到了1937年,貝爾那本英語的大眾數學傳記出版,裡面有一章的標題直接叫天才與愚蠢。貝爾最重要的作用不是每個故事都由他發明。是他取消了原來源里的疑問號。

傳統上的那塊擦板布,變成了確定的向考官扔橡皮擦。複雜的科學院稿件史,變成了愚蠢或者粗心的權威接連糟蹋天才。五月二十九日修改舊稿和寫信,變成了整夜瘋狂寫下自己的數學遺產,而我沒有時間變成了一再重復的頁邊呼喊。整個人生則被組織成那個標題本身:天才不斷撞上愚蠢。

1982年,羅思曼發表了一篇專門處理這件事的論文,標題是天才與傳記作者,回應的正是貝爾那個天才與愚蠢的傳統。

他的方法不是再寫一遍英雄傳,是把後世的傳記一層一層與早期材料對照,觀察一個細節怎樣從據說變成確實如此。這篇文章在這段傳記史里的意義,不只是打假。它第一次讓一個大眾數學史的案例本身,成為傳記如何製造數學天才神話的研究對象。

也就是說,研究的對象從這個人換成了關於這個人的敘述。這個換法在這一篇裡出現得正合適,因為這一篇從頭到尾在做同一件事。

回到開頭那份寫錯年齡的死亡文件。

第二篇裡那個被扔進海裡的人,結構上的余下那件事很硬,人身上的那件事很軟。於是後來的敘述補上了一個受害者。

這一篇兩樣都硬。出生登記,考試記錄,會議記錄,庭審報道,監獄登記,醫院入院簿,手稿本身,那封信。而傳說還是長出來了,而且更厚。原因不在材料的多少。檔案能回答的是什麼時候,在哪裡,誰簽的字。它回答不了一個人在哪一刻看見了那個結構。

這是所有檔案共同的邊界,不只是他的。第四篇裡那位寫下自己怎樣找到答案的人,已經是這個系列裡最接近的一次例外,而他寫的也只是辦法,不是那一刻。沒有一份文書記錄理解發生的那一秒。

於是敘述必須把它放在某個地方。不放不行。一個沒有那一刻的故事講不下去,就像第二篇裡一個沒有受害者的故事講不下去。而在他全部的日子裡,只有最後一夜是有日期的。那一夜有日期,有地點,有留下來的紙,而且第二天早晨就發生了致命的決鬥。沒有比這更適合安放那一刻的位置了。

於是那一刻被放了進去。放進去之後,它就再也沒有出來過。

這件事不只發生在他身上。凡是講一個人想通了什麼的故事,幾乎都要指出一個時刻:蘋果落下來的那一下,浴缸里水溢出來的那一下,燈亮的那一下。

那些時刻通常沒有證據,而且往往不需要證據,因為沒有人會去問。讀者要的就是那一下。

所以下次再讀到某人某夜突然想通了什麼,值得問一句:這個日期是誰給的。

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

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.

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

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