Beruflich Dokumente
Kultur Dokumente
DESCARTES and THE GEOMETRIZATIO OF THOUGHT T. Lenoir 1979
DESCARTES and THE GEOMETRIZATIO OF THOUGHT T. Lenoir 1979
DESCARTES
ANDTHE GEOMETRIZATION
OF THOUGHT:
THE METHODOLOGICAL
BACKGROUND
OF DESCARTES'GtOMhRIE
BY TIMOTHY LENOIR
UNIVERSITY OF ARIZONA
TUCSON, AZ 85721
0315-0860/79/040355-25$02.00/O
Copyright 0 1980 by Academic Press, Inc.
AN rights of reproduction in any form reserved.
356 Timothy Lenoir HM6
FIGURE 1
in the problem to a unified expression, he referred all the lines
to two principal line segments, namely, AB and CB, which he
designated as X and Y, respectively. This was accomplished by
examining the triangles resulting from the intersection of all
the other lines with AB and CD. Since the lines AB and AD and
angle CBA are given, all the angles of triangle ABR are known,
so that the ratio of the sides AB:BR is also known (as z/b for
example). Descartes thus obtained the expression bx/z for BR,
leading to y+bx/z for CR. Similar considerations led to linear
expressions in two variables for all the other line segments in
the problem. Multiplying these expressions in the manner pre-
scribed by the statement of the problem, Descartes arrived,
after reduction and simplification, to a second-degree equation
of the form Ax'+Bxy +Cy* +Dx +Ey =0 as the equation for the
locus. He went on to demonstrate that, depending upon the
constants and the signs appearing in the equation, there was
one conic section such that any point chosen on it would satisfy
the conditions 'of the problem.
Not to call this an analytic treatment of the locus problem
might appear at first glance to be making a distinction without
a difference; for nothing really separates the way a modern
geometer would attack this problem from Descartes' own solution,
except perhaps the use of an oblique coordinate frame. Boyer ' s
point, however, is that a world of difference separates Descartes'
view of this problem from the way we see it today. It may appear
that Descartes had reduced the Problem of Pappus to its algebraic
statement, solved it algebraically, and then given a geometric
interpretation of the algebraic solution. However, that is not
the way Descartes envisioned the analysis, for in his mind there
was no significant departure from the real, concrete plane of
358 Timothy Lenoir HM6
FIGURE 2
360 Timothy Lenoir HM6
FIGURE 3
x=y+b+bCe-y ib,
where C is an arbitrary constant.
Descartes observed that the curve has an asymptote (as y
gets larger, y=x+b is an asymptote) and that the subtangent
is constant. He made use of these facts in devising his own
attack. First he referred the problem to a different coordinate
frame, using the asymptote BM as the new y-axis and treating B
as the origin of coordinates. This transformation is given by
x = b - (y -xl),
Y =\ri- y'.
In the new frame of reference, the subtangents are all equal to
fib.
After these preliminaries Descartes began his treatment
of the problem, which was divided in two parts. In the first
362 Timothy Lenoir HM6
but the view developed that, on the whole, the ancients had
scrupulously avoided making anything other than veiled references
to it. According to Descartes,
. . . some traces of this true mathematics seem to me to
be found in Pappus and Diophantus, who lived, if not
in the earliest ages, at least many centuries before
these present times. Indeed I could readily believe
that this mathematics was suppressed by these writers
with a pernicious craftiness, . . . And I believe they
preferred to show us in its place, as the product of
their art certain barren truths which they cleverly
demonstrate deductively so that we should admire them
rather than teach us the method itself,... [Descartes
1629, 376-377).
Consequently, mathematicians attempting to reconstruct the ancient
method found it necessary to mix new forms with those that could
be gleaned from the works of Pappus, Diophantus, Proclus, Heron
of Alexandria, and Archimedes.
The new analysis substituted symbolic algebra for the geo-
metrical algebra of the ancients. One of the first mathematicians
to press algebra into the service of reconstructing the geometrical
methods of the ancients was FranFois Vi&e. "The art which I
present is not new," he wrote, "but in truth so old, so spoiled
and defiled by the barbarians, that I consider it necessary to
introduce an entirely new form into it and to think out a new
vocabulary. And yet underneath the algebra, or Almucabala, which
they lauded and called the great art, all mathematicians recog-
nized that incomparable gold lay hidden," [Vi&te 1591, XII.
In the conclusion to his Analytic Art, Vi&e expressed the view
that every problem in geometry could be solved with the aid of
algebraic analysis.
Vi&e's program of developing a universal method of dis-
covery included as one of its goals the reconstruction of the
lost treatises on analysis described by Pappus in Book VII of
the Mathematical Collection [Mahoney 1973, 39-401. Vi&e him-
self provided a reconstruction of Apollonius' On Contacts (1600),
and he attracted followers and students who carried the program
further. Marino Ghetaldi added Apollonius' treatise On Inclina-
tions (1607). Willebrord Snell restored the Determinate Section,
the Section of Ratios, and the Section of Area (1608). The
most illustrious member of Vi&e's analytic program was Pierre
de Fermat. In 1628 Fermat set out to reconstruct Apollonius'
treatise Ad iocos planos et solidos, and it is well known that
in 1636, when he had finally succeeded in restoring the entire
treatise, he was in possession of a powerful method based on
the algebraic analysis of geometrical problems within a coordi-
nate framework.
366 Timothy Lenoir HM6
and distinct idea upon which to begin building the whole edifice
of knowledge? Descartes assigned the task of discovering clear
and distinct ideas to the act of intuition produced by the
"natural light of reason" [Descartes 1629, 3681. For Descartes,
one began with natural reason and intuited an original set of
clear and distinct ideas which were implanted in the mind. "The
human mind," he said, "has a certain touch of divinity in which
the seeds of useful thought already lie, so that often, no matter
how much they are neglected and suffocated by interfering studies,
they spontaneously produce fruit" [Descartes 1629, 3731. These
ideas were more or less the furniture of the mind, and like the
Ramist "thought corpuscles," they served as a basis for construct-
ing the whole fabric of knowledge.
The method of discovery, by means of which knowledge was
constructed from the original set of ideas, was also dependent
upon the power of intuition:
There are a few pure and simple essences which can
be recognized at first independently of all others
by means of the intuitive light in ourselves. These
should be carefully noted, for all other things can
only be perceived as being deduced from them by means
of comparison... [Descartes 1629, 3831.
For example, if we want to find the relationship
between A and C, we compare each of these terms
to the given (original) clear and distinct idea
B. If B is an idea common to them both, it is
transferred from one subject to the other by simple
comparison. In this way we can discover the argu-
ment "All A is B , all B is C, therefore all A is
c't [Descartes 1629, 439-4401.
As this passage indicates, once a foundation of clear and dis-
tinct ideas had been established, the method proceeded by set-
ting up comparisons between new, unknown terms and the basic
relationships between the clear and distinct terms. The dis-
covery of the relationships linking new terms with clear and
distinct ideas was completely a function of natural reason.
The way in which Descartes dealt with relations between
clear and distinct ideas demonstrates that, while he considered
the structural relations between things as the key to knowing,
his mathesis universalis was not a purely abstract science of
structure, such as we find in the works of the 19th-century
algebraists. Descartes believed that the mind could be misled
if it paid attention only to symbols and relations between
symbols. Abstract symbolisms were completely lacking in content.
In all cases we should carefully observe that we use
the assistance of our imagination, because if our
mind pays close attention to words it can make in-
HM6 Descartes & the Geometrization of Thought 373
NOTES
1. This was the opinion in the 17th century at least. The
mistaken view originated with Pappus in Book VII of his Mathe-
matical Collection, where he reports: "Apollonius declared in
his third book that the loci of three and four lines had not
been treated completely by Euclid, but even he himself was un-
able to exhaust it, and no one else was able to do it, nor was
anyone else even able to add anything to what had already been
BM6 Descartes & the Geometrization of Thought 377
n2 - nl n2 - n1 b
b < seg < I
n2 nl
m m
- n2
--- nl n2 n1
b <seg< - --7 b.
"2 i m m
"1 m
I i 1
The result reported by Descartes follows immediately by allowing
m = 8 and taking successive values of n2 and nl. It is interest-
ing to note that Descartes'series approximation for the segment
y6 is equivalent to log n2/n1. Moreover, the form of his solu-
tion is quite similar to the approach taken by Napier [Whiteside
1960, 218-2191.
5. For an opposing view, see [Mahoney 1971bl. Mahoney
argues that Descartes' essential contribution to the development
of algebraic thought was to have abstracted mathematical opera-
tions from visual, physical space (p. 17). According to Mahoney,
Descartes' mathematics has no ontological foundation; it is
rather a science of pure structure (p. 29). It seems to me that
this interpretation is not fully "Cartesian" in spirit, for
while Descartes had most definitely separated his mathematics
from physical space, it was not on that account stripped of all
ontological foundations. As we shall see, Descartes' mathe-
matical thought was based on a visualist ontology which had its
roots in his philosophical method and his theory of mental
operations.
6. This connection has been suggested in several studies
of Renaissance works on method. Walter Ong [1958] suggests
that Descartes' Rules for the Direction of the Mind should be
378 Timothy Lenoir HM6
REFERENCES
Bayer, Carl. 1956. History of analytic geometry. New York: Scripta
Mathematics.
Descartes, R&e. 1897-1913. Oeuvres de Descartes, C. Adam and
P. Tannery eds., 13~01s. Leopold Cerf. Paris: Cited here
as Oeuvres.
1629. Regulae ad directionem ingenii, Vol. X (1908)
of Oeuvres. English translation by L. J. Lafleur. Indian-
apolis, Ind.: Bobbs-Merrill, 1964.
1637. La g&om&trie, Part III of Discours de la methode.
Leyden. English translation by D. Smith and M. Latham; re-
printed, New York: Dover, 1954.
Mahoney, Michael S. 1968. The royal road to geometrical analysis:
The mathematical career of Pierre de Fermat. Ph.D. disserta-
tion, Princeton University.
1971a. Descartes: Mathematics and physics. In Dictionary
of scientific biography, C. C. Gillispie. ed., Vol. 4, pp.
55-61. New York: Scribners.
1971b. Die Anfsnge der algebraischen Denkweise im 17.
Jahrhundert. Rete 1, 15-31.
1973. The mathematical career of Pierre de Fermat:
1601-1665. Princeton, N. J.: Princeton University Press.
Molland, Andrew G. 1976. Shifting the foundations: Descartes'
transformation of ancient geometry. Historia Mathematics
3, 21-49.
Ong, Walter J. 1958. Ramus method and the decay of dialogue.
Cambridge, Mass. : Harvard University Press.
Pappus. 1933. La collection mathkmatique. Paris: Bruges. French
translation by Paul Ver Eecke, 2 ~01s.
Ramus, Petrus. 1569. Scholarum mathematicarum, libri unus et
triginta. Basel.
HM6 Descartes f the Geometrization of Thought 379