Introduction
In 656, Li Chunfeng 李淳風 (602?–670) submitted to the throne an annotated edition of The Ten Canonical Texts of Mathematics (Suanjing shishu 算經十書) that, upon imperial order, he had prepared with a team of scholars.Footnote 1 In line with the editorial project carried out under the responsibility of Kong Yingda 孔穎達 (574–648), which led in 653 to the publication of The Proper Meaning of the Five Canonical Texts (Wujing zhengyi 五經正義), Li Chunfeng and his colleagues selected earlier commentaries on some of the canonical texts for mathematics, and sometimes, depending on the individual case, they added their own commentaries and subcommentaries on the source material.Footnote 2 The oldest work devoted solely to mathematics in the collection—the Han composition The Nine Chapters on Mathematical Procedures (Jiu zhang suanshu 九章算術, hereafter The Nine Chapters)—attests to this editorial procedure.Footnote 3 For this work, which was mainly composed of problems and of procedures solving these problems, Li Chunfeng and his team selected Liu Hui's 劉徽 commentary (zhu 注), completed during the Wei dynasty, in 263, to which they added a “commentary and explanation” (zhu shi 注釋).Footnote 4 Subsequently, judging from the extant editions, The Nine Chapters was transmitted with these two layers of exegesis. And before the Zhangjiashan discovery, in the early 1980s, our knowledge of Han mathematics was entirely dependent upon Tang editorial work.
During the winter of 1983–1984, the first excavated example of a Han mathematical manuscript—Writings on Mathematical Procedures (Suanshu shu 筭數書, hereafter Writings)—was found in a tomb sealed in c. 186 b.c.e.Footnote 5 Like The Nine Chapters and most of the other canonical texts in mathematics, Writings contains mainly problems and procedures, but also a significant number of tables.Footnote 6 Given the strong “family resemblance” between the contents of the Zhangjiashan manuscript, as seen in Peng Hao's critical edition of 2001, and The Nine Chapters,Footnote 7 historians of mathematics unsurprisingly first used the excavated document to shed light on The Nine Chapters and more broadly on The Ten Canonical Texts of Mathematics.
The main questions that dominated the early discussions were these: How could the manuscript help us date the pieces of mathematical knowledge contained in the anthology of canonical works, and especially in The Nine Chapters?Footnote 8 How could Writings help date the emergence of the standard format with which problems and procedures were presented in canonical texts?Footnote 9 How did Writings compare with canonical texts of mathematics,Footnote 10 and more specifically, with The Nine Chapters?Footnote 11 A tacit assumption underlies all early publications on Writings: the manuscript records a “book,”Footnote 12 and this assumption informs several other issues that were addressed, such as, Was Writings a prototype from which The Nine Chapters derived, or, put differently, one of the books on which the authors of The Nine Chapters relied to compose the canonical text?Footnote 13 Which kind of book was Writings in comparison with The Nine Chapters?Footnote 14 How could Writings shed light on the process of composition of works such as The Nine Chapters?Footnote 15 For some scholars, the key point was to determine how these documents might enable historians to discuss pre-Qin mathematics. In particular, on the basis of the history of The Nine Chapters as recounted in Liu Hui's preface, some historians relied on the newly found manuscript to argue that The Nine Chapters could be deemed a pre-Qin work. In brief, as Joseph Dauben put it, historians focused on “the ways in which mathematics developed and changed from pre-Qin to Eastern Han times.”Footnote 16
Such issues and a similar focus have persisted as other new documents have come to light since the publication of Writings, including the Shuihudi 睡虎地 (Hubei) manuscript entitled Mathematical Procedures (Suanshu 算術), excavated from tomb M77, which was sealed before 157 b.c.e.,Footnote 17 and the manuscript purchased on the antiquities market, entitled simply Mathematics (Shu 數), which, to date, is the only other published mathematical manuscript.Footnote 18
The previous overview shows that the focus of discussions about the manuscripts—and particularly about Writings—has been on their relationship to the canonical works—particularly The Nine Chapters. The ancient commentaries with which The Nine Chapters was transmitted has seldom received extended attention, except in relation to some alternative procedures added to the canon and already included in Writings.Footnote 19
In this article, I would like to address precisely the issue of the light shed by Writings and by the earlier commentaries and subcommentaries for The Nine Chapters on each other. Some might consider this an odd question as, at first sight, everything sets Writings and the exegetical material on The Nine Chapters in opposition to one another, and this might explain why this topic has not yet been discussed. As noted, many historians view Writings as a practical reference work useful for government officials for three main reasons.Footnote 20 First, the Zhangjiashan tomb occupant is believed to have been a low-level official, active at a county level.Footnote 21 Second, Writings contains many data and problems that an official of this kind might have needed in his official capacity. (The manuscript quotes a Qin regulation about grain, for example.)Footnote 22 Third, Writings reflects Qin and Han administrative statutes.Footnote 23 Not unimportantly, the Zhangjiashan manuscript also shares this feature with The Nine Chapters, and indeed, discussions about the official management of grain in early China have regularly relied on The Nine Chapters, precisely because the canon is presumed to reflect administrative realities.Footnote 24
The commentaries and subcommentaries discuss almost nothing about administrative procedures, except for clarifying measurement units and computations of the values of π involved in the manufacturing of such measurement standards as Wang Mang's bronze vessel. Generally speaking, the commentaries and subcommentaries, unlike The Nine Chapters and Writings, dwell on the proofs for the correctness of the procedures specified in the canon; explain the meaning of certain technical terms; and present philosophical discussions relating to the mathematical topics under discussion (e.g., they discuss the power attached to transformations in mathematics against the backdrop of transformations at play in the world more broadly). Moreover, in contrast with the text they comment upon, exegetes occasionally make explicit some of the epistemological values they prize.
Seen from the perspective of their style and content—and as far as we can judge from the remaining documents—there seems to be a clear gap between the Han texts and the later commentaries, not withstanding the fact that sometimes the later commentaries offer alternative procedures, and some of these procedures have parallels in Writings. Yet, even if we rely only on the extant evidence, I argue that this interpretation requires rethinking. To begin with, not everybody agrees that this newly discovered Han mathematical manuscript and The Nine Chapters are merely practice-oriented. As a rule, there is no reason why a text with practical utility should be devoid of theoretical dimensions or rhetorical sophistication (see Luke Habberstad's article in this journal issue). The validity of this opposition between theory and practice, which has often been projected onto ancient documents, is questionable.
Christopher Cullen adopts a different approach when, in relation to Writings, he asks: “Is this material simply a practical handbook of reckoning, or is it written in part by and for people whose interest in mathematics goes beyond its uses for administrative purposes?”Footnote 25 In answering this question, Cullen emphasizes that in some sections of Writings, “the main interest is in problem-solving structures rather than any conceivable administrative reality.”Footnote 26 For him, these sections suggest that there were “Western Han scholars” who “were at least part of the time interested in displaying their ability to create (or at least to pass on) problems and methods of solution whose interest lay in their structure and ingenuity rather than in their practical value.”Footnote 27 In Cullen's view, this further means that there were people at the time who “were to some extent interested in clever methods of calculation for reasons other than their straightforward usefulness in administration.”Footnote 28 Likewise, for some historians, some of the topics discussed in Writings attest to a development of mathematics for its own sake. Guo Shuchun goes further, when he rejects the claim that Writings is a manual or a reference text for administrators and puts forward the thesis that Writings displays theoretical dimensions and practices of abstraction.Footnote 29
In earlier work on the practices of abstraction to which Writings attests, proceeding with a notion of abstraction derived from an observer's viewpoint, I have argued for continuities between the testimony found in the Writings manuscript and in The Nine Chapters.Footnote 30 In the present article, I intend to move closer to actors’ categories and practices (as they can be approached through the available documents) in considering how, for questions of this kind, commentaries and subcommentaries, on the one hand, and Writings, on the other, illuminate each other. Interestingly, such a method will enable us to highlight forms of continuity between the two Han documents that, to my knowledge, have not yet been discussed. After all, the exegeses attached to the names of Liu Hui and Li Chunfeng both explicitly refer to earlier documents that they used for their commentarial work. Thus considering the relationships between the exegetical material and the Zhangjiashan manuscript may also shed light on the kinds of Han documents a commentator like Liu Hui or exegetes like those working under Li Chunfeng's supervision perused when writing their annotations.
Comparing Writings and The Nine Chapters in the Light of the Commentaries
As we have seen, The Nine Chapters, like Writings, mainly contains problems and procedures. What were the stylistic and technical constraints ruling the way these textual units were written up, and how were they read and interpreted early on? To date, the earliest readers whose approach to problems and procedures we might observe are precisely the two commentators on The Nine Chapters. Admittedly, they lived centuries after the composition of the canonical text. However, they represent the best guide we have at our disposal to observe early reading practices. If we manage to establish connections between their reading and key features of the Han texts, we may consider that their testimony captures something relevant about Han theories and practices. Let us first establish a connection between exegetes’ reading of mathematical problems and the type of problems contained in Writings. To do so, I will begin by summarizing conclusions I derived earlier.Footnote 31
Practices with Problems in The Nine Chapters
The commentary ascribed to Liu Hui contains a critical piece of evidence about actors’ reading of and practice with mathematical problems. It occurs after problem 18 of chapter 6— I refer to this problem as 6.18—, which reads as follows:
Suppose that five persons share five cash in such a way that what the two superior persons obtain is equal to what the three inferior persons obtain. One asks how much each obtains.
今有五人分五錢,令上二人所得與下三人等,問各得幾何。Footnote 32
This passage is representative of most mathematical problems in The Nine Chapters and Writings. The statement uses a specific situation and gives explicit numerical values for the quantities that are taken as data. It concludes with a question, which, here, asks for the different amounts to be received by five persons respectively. The related procedure prescribes the operations to be carried out to solve this problem. What makes this passage unusual, indeed unique, is that the procedure that follows the problem solves it correctly, but is not general. This tells us something about The Nine Chapters.
In his commentary to this problem, Liu Hui first accounts for why the procedure answers the question correctly. Meanwhile, he highlights the fact that the procedure makes use of two specific features of the situation: first, it puts into play the fact that the set of inferior persons has only one more person than the set of superior persons; second, it relies on the fact that the sum of the coefficients attached to the superiors (Liu Hui makes all these coefficients explicit, since the passage does not give them) is greater than that for the inferiors, whereupon the procedure subtracts the latter from the former to arrive at the right solution. By doing this, the commentator's argument establishing the correctness of the procedure indicates that the procedure is not general, since it extends only to problems presenting the similar specifics. Immediately after, he formulates another problem that satisfies none of these two features. The commentator's problem and his analysis of the situation read as follows:
Suppose seven persons share seven cash and they want to do this in such a way that [what] the two superior persons [obtain] is equal to [what] the five inferior persons [obtain].
Then, the groups of superiors and inferiors present a difference of three persons.Footnote 33
Summing the [coefficients corresponding to] the group of superiors makes thirteen. [Summing the coefficients corresponding to] the group of inferiors makes fifteen. The inferiors are more numerous than the superiors, and there is not enough for the [sum of coefficients corresponding to the] inferiors to be subtracted from the [sum of coefficients corresponding to the] superiors.
假令七人分七錢,欲令上二人與下五人等,則上、下部差三人。并上部爲十三,下部爲十五。下多上少,下不足減上.Footnote 34
The commentator thus emphasizes that the problem he introduces, despite its similarity with the one found in The Nine Chapters, fails to satisfy the two specific features on which, as he has shown, the procedure of the canon relies. Accordingly, the procedure of The Nine Chapters cannot be used for this new problem. The commentator then goes on to explain how this procedure can be changed to be valid for all the problems similar to the one in The Nine Chapters.Footnote 35
Plainly, this piece of evidence shows that Liu Hui does not expect that a procedure placed after a problem solves only that single problem. Indeed, the procedure of The Nine Chapters does just this, and he as commentator finds this unsatisfactory. In his view, the procedure should in fact solve all the problems similar to the problem contained in The Nine Chapters. In other words, although this problem is formulated with a specific situation and specific numerical values, it should stand in this way for a broad class of similar problems. The commentator thus articulates an expectation with respect to generality. He reads the problem as a paradigm, just as, when we learn French, we know that the conjugation of the verb chanter is not a simple example, but the statement of the conjugation of all verbs falling into the same group. The fact that all the problems and procedures of The Nine Chapters, except this very one, obey this rule seems to indicate that this was the practice with problems that was embraced by the authors of the canon. Moreover—and this is a crucial point—the key to exploring the generality of the statement lay within the procedure itself: we have seen the commentator determining the extension of its validity while establishing its correctness. Presumably, this annotation glossing the canonical text gives clues as to how readers went about exploring the class of problems for which a given problem and its related procedure stood.
Commentators’ Practices with Problems and Visual Tools
Notably, the commentators attest a similar practice with problems. Indeed, it regularly happens that a commentator introduces the outline of a problem for the sake of his exegesis,Footnote 36 as is illustrated by the commentary on the general procedure that enables someone to carry out a sharing into unequal parts; this operation in The Nine Chapters has the name “Parts weighted in function of the degree” (cui fen 衰分). In contrast with the procedure quoted above, this procedure is given at the start of the chapter, so that it does not follow any problem. To highlight the meaning of the operations composing this procedure, the commentary ascribed to Liu Hui introduces a problem and uses it to account for the correctness of the procedure, as follows:
Suppose that a first family has three persons, a second family, two persons, the third family, one person—altogether six persons—and that they share twelve together. That makes that each person obtains two. If one wants to make it again according to families, then one must put in a row the quantities of persons [in each family] and multiply them by what a single person obtains. Now, in this procedure [i.e., the procedure commented upon], one multiplies first and then divides [in contrast with the newly introduced procedure in which one divides first, and then multiplies].
假令甲家三人,乙家二人,丙家一人,并六人,共分十二,爲人得二也。欲復作逐家者,則當列置人數,以一人所得乘之。今此術先乘而後除也。Footnote 37
In fact, Liu Hui first puts forward a situation, which—just as his problem above—he introduces using the term jialing 假令, in contrast with the usual formulation of a supposition at the beginning of each problem in The Nine Chapters (using the phrase “suppose we have” [jin you 今有], as in problem 6.18 quoted above).Footnote 38 Liu Hui then considers two questions: “How much does each person get?”— made manifest by the use of the term de 得, when he formulates the answer—and “How much does each family get?”—to which the concluding operation corresponds. The first question is answered by a succession of an addition—to get the number of people—and a division, and thereby highlights the meaning of the succession of an addition and a division in the general procedure. The second question, which leads from an equal sharing to an unequal sharing, requires that the above division be followed by a multiplication, which likewise clarifies the meaning of the multiplication within the general procedure. Liu Hui can then indicate that the general procedure is obtained from the procedure whose meaning has been highlighted by simply swapping multiplication and division. This is one way in which he establishes the correctness of the general procedure. The principal point is that, to do so, Liu as commentator uses a situation in a problem (three families and 1, 2, 3, as respectively the number of their members) that is quite simple, so that the meaning of the operations becomes crystal clear. However, this way of conducting the discussion in no way detracts from the generality of what is presented in this fashion. Liu Hui uses the situation articulated in the problem in the same way as he uses that of problem 6.18 to discuss the related procedure.
The foregoing analysis demonstrates two points. First, the commentator uses the situation in the problem to formulate the “meaning” of the operations of the procedure; the exegetes use the term yi 意 to designate this “meaning.” Second, the commentator relies on a situation that involves the simplest possible numerical values, without ever taking advantage of the singularity of the values to simplify the procedure or the discussion of why it is correct. His treatment preserves the general validity of the operations under consideration. Exactly the same two features characterize the commentators’ use of visual tools: they use “diagrams” (tu 圖) for situations in the plane and “blocks” (qi 棊) for those in space. In this respect, a piece of evidence strikingly confirms our conclusions.
This document occurs in the commentary on the pyramid of the Yang ma 陽馬 type, which is the pyramid treated in The Nine Chapters.Footnote 39 Without going into mathematical details here, and limiting ourselves to the structure of the commentary ascribed to Liu Hui, we see that the commentator first considers the case where the three dimensions of the pyramid (height, length and width) are equal. Liu Hui asserts that combining three identical pyramids of this kind makes a cube. It is thus clear that in this case, the procedure is correct: multiplying the length and width and height by one another makes the volume of the cube, and dividing by three yields that of the pyramid in question. The procedure stated in The Nine Chapters is thus proven to be correct. However, the commentator continues, this argument does not extend to cases where the dimensions of this pyramid differ from each other. In the latter cases, combining three identical pyramids will not make a simple shape. One must, Liu Hui asserts, develop another argument for these other situations, and this is what he does in the rest of his commentary. Clearly, the commentator is not content with an argument that exploits the specific features of a singular case—this is exactly what he rejected in the procedure given for problem 6.18. Rather, he aims at an argument that holds in every case. Significantly, Liu Hui develops this argument in the case of a pyramid whose three sides have equal length (2 chi 尺), using standard blocks that also have equal dimensions (1 chi 尺). Liu Hui makes use of four types of standard blocks to compose the pyramid and then transform it into other solids that will enable him in the end to reach the conclusion with full generality. Liu Hui perfectly knows that for a pyramid of this kind there exists a direct and quicker reasoning, since he has just presented it only to discard it. However, he nevertheless relies on this singular pyramid to offer a general argument, valid for any pyramid of the Yangma kind. In other words, here again, the generality is in the operations and the reasoning, and not in the situation stricto sensu.
Was this a practice with visual tools specific to the post-Han commentators? Or did this practice exist in Han times? It is impossible to tell on the basis of The Nine Chapters, which itself contains no reference to any visual tool. However, the opening section of The Gnomon of the Zhou contains the statement of a procedure and the description of a graphical process to argue for its correctness. Both are formulated with respect to the simplest paradigm possible.Footnote 40
With these remarks, we have reached a point where the practices just described echo what the problem and corresponding procedure contained in the section titled “Chu” 除 of Writings reveal about the practice of problems related to the manuscript. The section under consideration deals with a solid that is also treated in The Nine Chapters under the name yanchu 羡除.Footnote 41 This identification is confirmed not only by the terms used—to which we will return—but also by the fact that the procedure begins with summing the three widths, a step characteristic of the procedure for the solid yanchu. The text of the procedure in Writings is, however, damaged in ways that require some care. What matters at this juncture is that that passage contains an important clue about the practice of problems to which Writings attests and that this clue is independent of the editorial treatment chosen. We will first discuss the editorial problems, before revisiting the clue itself.
Discussing an Editorial Problem in Writings
In my view, there are two admissible ways to restore the text of the correct procedure, even though the first one is supported by a larger body of evidence. According to this first way of restoring the text, the corresponding slips (141–142) read as follows (see also Figure 1):Footnote 42
Pathway (chu): A pathway to a tomb (yanchu), having a frontal (cavity) (ding) of square (section) of side one zhang and height one zhang two chi, and having a path (chu) of width one zhang, length three zhang six chi, and no height at the other end, has a volume of three thousand three hundred sixty chi. Procedure: The widths [of the chu] being accumulated, thirty chi, [one multiplies this [the result] by the height and the length and [the result] is divided by six, hence the [volume of the]] path (chu). The height, one multiplies this by the corresponding width and length [of the ding], hence the [volume of the] frontal [cavity] (ding).
除Footnote 43 美[羡]Footnote 44 除,其定(頂)Footnote 45 方丈,高丈二尺,其除廣丈、袤三丈六Footnote 46尺,其一旁毋高,積三千三百六十尺。Footnote 47朮(術)曰:廣積卅(三十)尺。[高丶袤乘之,六而一,即]Footnote 48除。高以其/141/廣、袤乘之,即定(頂)Footnote 49。/142/.
The evidence supporting the emendation of the text that I adopt here is this: The solid described by the outline of the problem clearly has two parts—a ding (the right part in Figure 1) and a chu (the left part)— that together constitute the shape dealt with. The statement of the dimensions of the ding and of the chu indicate without ambiguity that the ding is a right cuboid, whereas the chu corresponds to the same shape as the yanchu in The Nine Chapters (see below).Footnote 50 The beginning of the procedure corresponds to the beginning of the procedure for the latter shape in The Nine Chapters and is unique to the chu. The volume computed by the procedure restored in this way, which consists of two parts—the one related to the chu, and then the one dealing with the ding—corresponds to the volume actually stated (3360 chi).
However, I would also have readers consider a second way of restoring the text, although in my opinion, the second possibility is less likely to have been the case. This second hypothesis rests on the assumption that the text of the procedure given in Writings dealt only with the chu part of the solid, as announced in the title (i.e., the part that corresponds to the similar body in The Nine Chapters). If one adopts this assumption, an alternative emendation of the procedure would result, as follows:Footnote 51
Procedure: The widths (of the chu) being accumulated, thirty chi, one multiplies this (the result) by the height and the length of the chu [and (the result) is divided by six], hence the result is determined.
朮(術)曰:廣積卅(三十)尺。除,以其/141/高、袤乘之,[六而一],即定。Footnote 52/142/
The drawback of this way of restoring the text is that the volume computed—which is only that of the chu—does not correspond to the global volume stated.
Practices with Problems in Writings
Whichever alternative we adopt, the procedure of Writings begins with an addition of the three widths—this is a crucial clue—and thus it was dealing with a chu. This conclusion is confirmed by the description of the body, which makes use of dimensions that identify the solid. On one face, that contiguous with the ding, the chu has an upper width and a lower width, as well as a height. At the other extreme, it has a third width (let us call it the “end-width”), which corresponds to the upper face whose length is also given in the outline of the problem. At this other extreme, however, it has no height. These are precisely the dimensions characteristic of the yanchu in The Nine Chapters, seen in Figure 2.Footnote 53 This explains why in The Nine Chapters, as well as in the procedure of Writings, the first step is to add the three widths, before multiplying the result by the depth and the length, and dividing by 6. Let me insist on the fact that only this body has three widths of this kind in Han mathematical texts.
Interestingly, when the commentary ascribed to Liu Hui discusses the correctness of the procedure given for the yanchu, it considers all kinds of possibilities for the shape of the solid in question, depending on how the three widths relate to each other, whether the lower width is smaller than the upper or not, whether the lower width is smaller than the end-width or not, and so on. The resulting shapes vary (see Figure 3), but the fundamental dimensions and the procedure remain the same, since the various shapes are characterized by their three widths and the vanishing of their height at one end, and the procedure is characterized by the initial sum of the three widths. These are the distinctive features that enable us to compare the chu of Writings and the shapes dealt with in The Nine Chapters and its commentaries.
With these pieces of information in mind, we can return to the practice of problems attested in Writings. Indeed, the chu solid described in slips 141–142 is notably specific: its three widths are equal, and so it is simply half a right cuboid. If the procedure aimed at solving only this problem, and not the class of the problems it stands for, it could simply multiply the three dimensions—to compute the volume of the right cuboid—and divide by 2. However, Writings instead uses the general—and thus more cumbersome—procedure, and as a result, the procedure is valid for all solids with the same kinds of dimensions. Again, in this case, instead of solving only the problem itself, and relying on its singularities to do so in the simplest possible way, the procedure given is apparently meant to work for a broader class of solids, which the solid of the specific problem represents; consequently, the procedure extends to the general yanchu. Evidently, problem and procedure form a paradigm, in the same way that Liu Hui expected for problem 6.18 in The Nine Chapters: the procedure determines the generality of the class of situations for which the problem stands. Moreover, the general procedure is presented in relation not to a “generic” case, but to a “degenerate” one (that of half a right cuboid), much like Liu Hui's account of the Yangma pyramid. Thus, we find in Writings the same practice that the commentator expects from The Nine Chapters and whose aberration Liu denounces in the only case where The Nine Chapters diverges from the practice. This is also the practice followed by the commentators. The evidence provided by slips 141–142 in Writings suggests that the practice of problems taught to those who studied mathematics in this context was consistent with the practice to which The Nine Chapters and its commentaries attest.
Note, however, that the formulation of the problem in the section chu of Writings that we have just considered differs from that of problem 6.18 in The Nine Chapters (see above). All problems in the canon share a standard form: after the outline of a situation and numerical values for some of its magnitudes are given in the form of a supposition, a question is put forward (wen . . . jihe 問 . . . 幾何). The answer(s), introduced by the expression da yue 答曰, is (are) given explicitly, and followed by the statement of the procedure yielding this or these answer(s). In contrast with the Nine Chapters standard form, problems in Writings do not all follow the same pattern. Here, the problem and answer are formulated as the description of a situation, with some numerical data given, and the statement of a value, which corresponds to the result of the procedure placed immediately after and which we can thus consider as “the answer.” We will encounter below problems of Writings formulated in the Nine Chapters way, and problems formulated differently.Footnote 54
Note, meanwhile, that we have relied on the commentators’ reading of The Nine Chapters to perceive this continuity in the practice of problems. This is a first instance of what we can gain from considering the Han Writings in relation to the Wei and Tang Nine Chapters commentaries.
Interestingly, the chu solid is also dealt with in a procedure contained in the other recently found manuscript from Qin times, titled Mathematics.Footnote 55 In this context, the chu solid also seems to be half a right cuboid. (This is what I deduce from the procedure, which apparently is given outside the context of any problem.) In that case, however, the procedure employs the more straightforward way and thus the less general one. One might thus suggest that in contrast with Writings and The Nine Chapters, which share a similar practice with mathematical problems, Mathematics might reflect a different practice. The practice common to Writings and The Nine Chapters suggests that for the actors who produced these documents, generality was a cardinal value and that it was understood in a specific way.Footnote 56 Texts of procedures contained in these two writings support this hypothesis. To establish this point, we will concentrate on two similar texts of procedures that we find in our documents. At first sight—we return to this point below—they both aim to enable readers to multiply quantities of the type of integers to which fractions are added (like a + b/c).
Comparing Han Practices of Procedures
Let us first read the text of the procedure in Writings.Footnote 57 It is placed after the statement of a problem that, despite the damage of the slip, appears to be formulated exactly as was the problem of the section chu discussed above. The problem gives the numerical values of the length (zong 縱) and width (guang 廣) of a rectangleFootnote 58 and states the value of the corresponding area. The two numerical values being given with the measurement unit bu 步, one might assume that the statement refers to a field (tian 田), as in virtually all area problems in all known Han mathematical documents. However, the text does not specify this point.Footnote 59 The numerical values of length and width are given under the form of an integer and a fraction (we will note them, respectively, a + b/c and a′ + b′/c′), and the procedure thus deals with the multiplication of such quantities with each other. It reads as follows:
Procedure: one places the length and width [on the calculating surface]. For each, with the corresponding denominator of the parts one multiplies the corresponding whole [number of] bu above and makes the numerator of the parts join this [i.e., the results of the previous operation]. One makes [them, i.e., the result of the previous operations] multiply by each other, which makes the dividend. ∟ Furthermore, one respectively (?) makes the denominators of the parts multiply each another, which makes the divisor. ∟ [Each time one takes out of the dividend a number] like the divisor, this yields one bu [for the quotient, that is, dividing by the divisor yields the quotient in bu]. As for the bus that do not fill up [the divisor, that is, the remaining bu in the dividend], one names them with the divisor.
術曰:直(置)廣從(縱)而各以其分母/183/乘其上全步,令分子從之,令相乘也為實∟,有(又)各令分母相乘為法。如法得一步∟。不盈步以法命之。/184/
Before analyzing the formulation of the procedure, let us illustrate the successive computations prescribed by the text, as they occurred on the calculating surface on which numbers were represented using calculating rods (see Table 1). The two values to be multiplied (a + b/c and a′ + b′/c′) were placed on the surface, as indicated to the left. Since the text refers to the integral parts of the numerical values (a and a′) as placed “above,” we assume that such was the way in which the two values were placed. Each of the denominators (c and c’) then multiplied the integer corresponding to it, yielding in turn ac and a′c′, to which the numerators b and b′ were, respectively added. The term used for the addition (“join”) implies that the numerators disappear from the surface, once they have “joined” the numbers to which they are added. Multiplying the top positions and the lower positions with each other, respectively, gave the values of the dividend and the divisor whose division yielded the result.
In modern terms, the computation can be represented as follows:
The formulation of the procedure in Writings explicitly refers to two distinct quantities, a length and a width. However, once they are placed on the calculating surface, the text prescribes the sequence of operations to be applied to both, using one and the same list of clauses. Each clause (e.g., “with the corresponding denominator of the parts one multiplies the corresponding whole [number] of bu above”) thus refers to two executions of the same operation, one relating to the length, the other to the width. The text of the procedure thereby at the same time highlights and states the identity of, or the symmetry between, the processes of transformation undergone by each of the values multiplied. Also note that the description of the procedure relies on the assumption that, if the terms of an operation are not made explicit, the operation prescribed is applied to the result(s) of the operation placed immediately before in the text (even when the latter operation corresponds to two actual executions, each in one of the parallel lines of the computation).
The Nine Chapters contains a text of procedure that carries out exactly the same operation and is placed after a sequence of problems dealing the area of rectangular fields, whose length and width are likewise of the form a + b/c and a′ + b′/c′. Moreover, the formulation of the procedure shares exactly the same features as those underlined above, which points to a continuity between the two mathematical documents under consideration in the practice of writing up procedures. Indeed, the procedure of the canon reads as follows (without translating the pieces of commentary inserted between its sentences):
Procedure: The denominators of the parts respectively multiply the integer to which they correspond; the numerators of the parts join these (i.e., the results of the previous operations); multiplying (them, i.e., the results of the previous operations) by each another makes the dividend. The denominators of the parts being multiplied by each other make the divisor. Dividing the dividend by the divisor yields the result.
術曰:分母各乘其全,分子從之,相乘爲實。分母相乘爲法。實如法而一。Footnote 60
By comparison, we see that the text no longer makes an explicit reference to the calculating surface and to specific positions, even though, to be sure, computations were executed on it. Nor does the text mention explicitly that the terms of the operation carried out are a length and a width, thereby detaching the formulation of the procedure from a specific topic. From our observers’ perspective, it seems to gain in abstraction. On the other hand, the text of the procedure makes use of the same technical terms as Writings and the computations are exactly the same. Moreover, the passage is characterized by the same intention to integrate the lists of operations to be applied to each term of the multiplication, even though the integration is carried out to an even higher degree in The Nine Chapters. From an observers’ viewpoint, this is one type of generality that the text of the procedure appears to put into play. However, my point here is that in the subcommentary composed under Li Chunfeng's supervision, another form of generality is highlighted.
Writings and The Nine Chapters’ Commentaries: Mutual Elucidation
The Practice of Generality
The kind of generality that the Tang exegetes read into this procedure is made clear in the annotation that the subcommentators attach to the name of the procedure, which I have not yet mentioned. They write:
Your servant, [Li] Chunfeng et al., comment respectfully: As for the field with the greatest generality: in the procedure at the beginning [of the chapter], there were only integral [numbers of, literally: whole] bu and there were no remaining parts [i.e., fractions]. In a following procedure, there were only remaining parts and there was no integral [number of] bu. In this procedure, there appear first integral [number of] bu, and subsequently there are remaining parts. It enables uniting more generally the three procedures, and this is why one says: “the greatest generality.”
臣淳風等謹按:大廣田知,初術直有全步而無餘分,次術空有餘分而無全步,此術先見全步,復有餘分,可以廣兼三術,故曰大廣.Footnote 61
What Li Chunfeng and his team emphasize here is this: if the positions where one puts the numerators (b and b′) are left empty—this means one multiplies integers with one another—the procedure under consideration becomes simply and precisely a procedure to multiply integers by one another. Similarly, if the top positions in which one places the integers (a and a′) are left empty, the terms become pure fractions, and the very same procedure, applied to the three-line configuration, becomes that for multiplying pure fractions.Footnote 62 This shows that, for the exegetes, the procedure was devised to be general and uniformly cover all possible cases.Footnote 63 Several important conclusions derive from this piece of evidence.
First, in the subcommentators’ opinion, generality was an epistemological value that was meaningful for the Han authors, and this, in a quite specific way (see n. 56). Liu Hui's commentary on the procedure for the operation titled “the greatest generality” also insists on this feature. We had seen above one facet of the valuing of generality that the exegetes lent to Han practitioners of mathematics with the practice of problems. We now see another, with that of texts for procedures. Why, if not to comply with the value of generality, would actors need to solve three different problems with a single, uniform procedure, to the point that the solution of two of them would become more cumbersome than necessary? Seen in this light, the constraint bearing on procedures resembles what we have seen above about problems and general procedures. However, in this case, with the title given to the operation, the Han canon gives us a crucial clue that this may have been the way Han actors thought about this issue (and not just later commentators).
Second, in both cases, Writings shares the same practice as The Nine Chapters. Indeed, we have seen that the procedure to execute multiplication presented the same features in both documents. Additionally, the section of Writings in which the procedure is found and the operation in the manuscript are both entitled “the greatest generality.” Judging from the evidence, the mode of reading displayed by the exegetes on the Han mathematical canon underlines a theoretical facet in the practice with procedures that is shared by Writings and The Nine Chapters. So while both documents might have been connected with practical activities, this does not seem to have prevented people from developing theoretical interests. A view of any of these Han texts as purely practical would fail to capture these dimensions, which we can approach through the commentaries and subcommentaries on The Nine Chapters.
Finally, it is worth noting this: the name of the operation “the greatest generality” that Li Chunfeng et al. comment upon is precisely the name as it is found in Writings, not the one contained in the received text of The Nine Chapters, where its full name reads: “Field with the greatest generality” (da guang tian 大廣田). The exegetes hence might have had a version of the title in line with the title found in the Han manuscript, and not in the received version of the canon.Footnote 64 Interestingly, the text commented upon by the exegetes might thus be closer to the Han manuscript than the text of The Nine Chapters to which all earlier editions testify. Apparently, the alleged opposition between the Han documents (supposedly practical) and the commentarial literature (supposed theoretical) seems in need of revision. If this opposition does not hold, what can we say about the various types of theoretical continuities between Writings and The Nine Chapters, and also between Writings and the commentaries on the canon? We will examine these two points in turn.
Theoretical Continuities and Discontinuities between Writings and The Nine Chapters
Let me emphasize the fact that by “continuity,” I do not mean here identity. Beyond continuities, importance differences can be noted between the Han manuscript under consideration and the canon. A clear-cut example is this: both documents explicitly refer to the use of rods placed on a calculating surface. Indeed, the texts of procedures they contain both use the prescription “one places” (zhi 置). The term suan 算 designating the representation of numbers with calculating rods and computations with them features in both writings. Finally, they both sometimes refer to precise positions on the calculating surface, as with the aforementioned position “above.” However, I claim that the ways in which calculating rods and positions were used in the contexts in which Writings and The Nine Chapters were written differ.Footnote 65 I argue The Nine Chapters attests to the fact that the use of positions on the calculating surface had undergone a major shift, the positions being at the time a crucial tool of theoretical exploration. In my view, the use of a decimal place-value system—that is, a numeration system using positions with a mathematical meaning, as is the case when in the inscription “123,” where 1 means a hundred, and 2, twenty, in relation to their positions in the sequence—adheres to this context. In contrast, there is no such use of position in Writings and notably no place-value numeration system. This thesis receives support from the fact that all manuscripts contain tables to multiply between powers of ten that have disappeared in The Nine Chapters and the other canons.Footnote 66
Commentaries and subcommentaries allow us to perceive a second admixture of continuity and discontinuity in another theoretical practice with procedures that Writings and The Nine Chapters partly share. We will discuss this point on the basis of the different procedures to carry out unequal sharing found in the two Han texts. It is precisely in relation to a problem and procedure falling under this category that Cullen asserts: “It is striking how often one can find quite close parallels between problems of the Suàn shù shū and in the Nine Chapters.”Footnote 67
For the sake of comparison, let us quote a procedure of this kind from Writings, with the problem that it solves:Footnote 68
共買材 三人共Footnote 69材,以賈(價)一人出五錢,一人出三Footnote 70∟,一人出二錢。•今有贏(盈)四錢,欲以錢数衰分之。出五者得二錢,出三者 /32/
得一錢五分錢一,出二者得五分錢四。术(術)曰:并三人出錢数以為法,即以四錢各乘所出錢数,如法得一錢。/33/
Buying timber together: Three persons [buying] timber together, according to the price, one of the persons pays five cash, the other pays three ∟, and the third pays two cash•. Suppose there is an excess of four cash: one wants to share this, weighing in function of the degree (cuifen zhi) according to the amounts of cash [each person paid].Footnote 71 The [person] who paid five gets two cash, the one who paid three gets one cash and one fifth of a cash, and the one who paid two gets four fifths of a cash. Procedure: one sums the quantities of cash paid by the three persons, which is taken as divisor. Hence, multiplying, respectively, by four cash, the quantities of cash paid, and dividing [the results] by the divisor yields the results in cash.
The mathematical meaning of procedures such as these was discussed above. Here, I focus on its formulation. Clearly, its text makes use of ordinary arithmetical terminology (“sum,” “multiply,” etc.), and not of theoretical terms like those specifically introduced in The Nine Chapters for these problems—for example, lie cui “array of coefficients for weighting in function of the degree.”Footnote 72 Moreover, this procedure is expressed making reference to the terms of the problem. In The Nine Chapters, similar problems are followed by procedures formulated more or less in the same way. However, the main point is that before all these problems, the canon inserts another procedure, whose text is of an entirely different nature. It reads as follows:
Parts weighted in function of the degree.
Procedure: one places respectively [on the calculating surface] the array of coefficients for weighting in function of the degree (cui) and, in an auxiliary [position], sums them to make the divisor. One multiplies by that which is shared, the [weights in function of the degree that one had] before they were summed, which respectively makes the dividends. One divides the dividends by the divisor.
衰分
術曰:各置列衰;副并為法。以所分乘未并者各自為實。實如法而一。
As underlined above, both texts of procedures refer to parallel computations using a single sentence. Clearly, compared to a text of procedure such as the one quoted above, this second formulation is abstract,Footnote 73 in that it indicates exactly the same operations as the more specific procedures prescribed, but refers to them using theoretical terms. This correlates with the fact that the text is placed outside the context of any problem, and, more importantly, the text introduces terms that commentators and subcommentators use to prove the correctness of the related specific procedures. Crucially, in Writings we find procedures with the same property as this abstract one. However, the ways these abstract procedures are formulated in the manuscript and in The Nine Chapters differ. We thus have here a theoretical practice shared by the manuscript and the canon. However, the canon seems to reflect a higher kind of abstraction. This is not always the case.
Theoretical Continuities and Discontinuities between Writings and the Exegeses
We have actually already encountered a case in which Writings attests to a theoretical practice also found in the exegeses, but not in The Nine Chapters. The text of the procedure of The Nine Chapters just quoted begins with the name of the operation it allows practitioners to execute: “parts weighted in function of the degree.” In fact, Liu Hui's and Li Chunfeng's annotations regularly use such names of operations verbally, followed by zhi 之, exactly as we have encountered above: “one multiplies this” (cheng zhi 乘之). For instance, exegetes use expressions such as jin you zhi 今有之, which I interpret as “applying [the operation] ‘suppose’ to this.”Footnote 74 A practice of this kind attests the actors’ interest in fundamental operations beyond the arithmetical operations. It is thus striking that the problem from Writings just quoted asks to carry out the operation cuifen using exactly the same kind of syntax “share this, weighing in function of the degree” (cuifen zhi), whereas these expressions never occur in The Nine Chapters.
This gives a first example of a theoretical parallel between Writings and the exegetical layers on The Nine Chapters that is absent in the canon, but importantly, this parallel is by no means the only one. The procedures given in the canon and the manuscript to add fractions attests to a similar phenomenon. The Nine Chapters text reads as follows:
Gathering parts.
Procedure: The denominators multiply the numerators that do not correspond to them; one takes the sum as the dividend. The denominators being multiplied by one another make the divisor. One divides the dividend by the divisor. That which does not fill the divisor one names with the divisor. If the corresponding denominators are equal, one only makes them [the numerators] join each other。
合分
術曰:母互乘子,并以為實。母相乘為法。實如法而一。不滿法者,以法命之。其母同者,直相從之。Footnote 75
By contrast, one of the procedures given in Writings for the same operation reads as follows:Footnote 76
Procedure: If the denominators are of the same category as one another, the numerators join one another; if the denominators are not of the same category one as the other [. . . first operations . . .]. If the [resulting] denominators are of the same category as one another, the numerators join one another. If the [resulting] denominators are not of the same category as one another, the denominators being multiplied by one another make the divisor. The denominators multiply the numerators that do not correspond to them; one sums and takes this as the dividend. The denominators being multiplied by one another make the divisor.
術曰:母相類,子相從;母不相類,[. . . first operations. . .] 母相類, /21/
者,子相從。其不相類者,母相乘為法,子互乘母并以為實 … 。/22/
The procedure above gives a central role to the concept of “category” (lei 類) of a fraction. Two fractions belong to or become of the same category, if their denominators are or become the same. This concept, which does not feature in The Nine Chapters, nonetheless plays a theoretical part in Liu Hui's commentary on the addition of fractions as dealt with in the canon. I say this, because, to begin with, the operation “gathering parts” is placed in the first chapter of the canon, titled “Rectangular Field” (“Fangtian” 方田). In line with the positioning of the operation in this chapter, after establishing the correctness of the procedure, Liu Hui's commentary on “gathering parts” goes on to quote the Xici zhuan 繫辭傳 attached to the Changes classic, which reads:
Rectangles are assembled according to their category; existing things are divided in groups.
方以類聚, 物以群分。.Footnote 77
The quotation also gives the concept of category a central role. The context invites the understanding that for the commentator, fractions are associated with rectangles (their “body,” ti 體), and their transformations correspond to a reshaping of the related rectangle that changes its form (xing 形) while retaining the original area. Accordingly, rectangles can be transformed in ways that allow the practitioner to join the resulting rectangles together: the corresponding fractions, being of the same category, can thus be added. Here is Liu Hui's related theoretical development, in which the concept of category is central:
When quantities are of the same category, they are not far from each other; when they are of different categories, they are not close to each other. If they are far from each other but one makes their body communicate, even if they are at different places, they join each other. If they are close to each other but differ in form, even if they are in a same place, they repel each other.
數同類者無遠;數異類者無近。遠而通體知,雖異位而相從也;近而殊形知,雖同列而相違也。
Thus, Liu Hui as commentator uses the same concept and terms that feature in the procedure of Writings, notably the concept of category, with exactly the same meaning,Footnote 78 giving these ideas much greater extension in his commentary. In this respect, his commentary displays strong continuity with abstract terms occurring in Writings, but not in The Nine Chapters.
This is not an isolated example, as is plain when we examine the concept of “restoring” fu 復. In the commentaries and subcommentaries, fu refers to the property of fractions and irrational numbers such as “square root of 2” to allow practitioners to “restore” the number one started from, using the operation opposed to the one that produced said fraction or irrational number. This concern plays a central role when Liu Hui accounts for the introduction of irrational numbers as results of square root extractions in the canon;Footnote 79 it is crucial to a type of proof conducted in the subcommentaries.Footnote 80 However, the concept of fu does not feature in The Nine Chapters, but occurs several times in Writings.Footnote 81
Conclusion
As stated in the introduction, knowledge of The Nine Chapters once depended entirely on the editorial work carried out in the first decades of the Tang dynasty under Li Chunfeng's supervision. From this perspective, understanding better how the commentators worked and which type of documents they relied upon thus appears as a central issue. From our overall argument in this article, several conclusions follow.
First, given the extant evidence, if we only had the manuscripts and The Nine Chapters without the commentaries, we would not be able to understand what lies behind the use of concepts like “category” or “restoring” in Writings. Here, as in the reading of problems and procedures, indirectly exegeses make us aware that something deeper is at stake than we might otherwise suppose, if we remained at the surface of the extant text.
Second, in some respects theoretical facets that seemed specific to commentaries and subcommentaries (e.g., those attached to concepts such as “category” or “restoring”) derive from Han mathematical work (or work carried out even earlier). For their annotations, exegetes hence most probably relied on documents that had family resemblance with Writings. This conclusion is supported by two types of evidence. As noted previously, exegetes of The Nine Chapters mention using earlier procedures and explanations, and indeed the exegeses and Writings share procedures that are not contained in The Nine Chapters. What my article shows is that this observation extends to theoretical dimensions of commentaries and subcommentaries. These remarks have a bearing on our understanding of the exegetical activity. But they also have implications for our knowledge of the canon.
Third, the previous comparisons show why treating the Han manuscript as purely practical is controversial. Is it enough to emphasize, as Cullen does, that Writings reflects an early Western Han interest “in clever methods of calculation?” In my view, reading the manuscript with the interpretative techniques displayed in the exegeses on The Nine Chapters highlights other facets. With respect to the epistemological value of generality, for instance, the Wei and Tang exegetes helped us identify theoretical dimensions in the canon that were also present in Writings. This conclusion recasts how we understand mathematical activity in Han times.
Given the highly fragmentary evidence we have for Han mathematics, much is thus at stake in considering newly found manuscripts in dialogue not merely with the canons, but also with their commentaries and subcommentaries. Notably, however, while the Han Zhangjiashan manuscript and Wei-Tang exegeses sometimes echo each other, the Yuelu Academy manuscript devoted to mathematics diverges from the canonical literature in this respect. This remark invites us to see not only continuities where we were tempted to think in terms of opposition, but also differences where we might be tempted to assume continuities, as among Han mathematical manuscripts that at first sight might have looked similar.