Professional Documents
Culture Documents
Bos
Abstract
SUMMARY. I explain the structure of the Gomtrie, and I defend the thesis that the aim of Descartes' s treatise was to
provide a method for the art of geometrical problem solving as it was practiced in his time. To illustrate this art I discuss the
solution by Clavius of a problem characteristic of the art. I then argue that geometrical problem solving required a twofold method.
On the technical level an analytical procedure was needed which would lead the geometer to the solution of a problem. On the
methodological side an answer was required to the question : which constructions were acceptable in geometry? Descartes
provided both the procedure and the answers. The structure of his treatise was largely determined by its aim as formulated
above.
Rsum
RSUM. J'explique la structure de la Gomtrie et soutiens la thse selon laquelle l'objet du trait de Descartes tait de
fournir une mthode de rsolution des problmes gomtriques, comme cela se faisait son poque. Pour illustrer cette
pratique, je discute la solution apporte par Clavius un problme caractristique de celle-ci. Ensuite je dmontre que la
rsolution de problmes gomtriques ncessitait une double mthode. Au niveau technique, on avait besoin d'une procdure
analytique qui conduirait le gomtre la solution du problme. Sur le plan mthodologique, il tait ncessaire de rpondre la
question suivante : quelles constructions sont acceptables en gomtrie? Descartes a fourni la fois la procdure et les
rponses cette question. La structure de ce trait fut largement dtermine par son objet, tel que nous l'avons expos ci-
dessus.
J. M. Bos Henk. La structure de la Gomtrie de Descartes/The structure of Descartes's Gomtrie. In: Revue d'histoire des
sciences. 1998, Tome 51 n2-3. pp. 291-318.
doi : 10.3406/rhs.1998.1324
http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1998_num_51_2_1324
La structure de la Gomtrie
de Descartes (*)
(*) Confrence donne au Convegno per il 350e anniversario dlia publicazione del
Discours de la mthode e degli Essais , Lecce (Italie), 1987. Le texte est publi en anglais
dans les actes de ce Colloque : The structure of Descartes' s Gomtrie, Descartes : il metodo
e i saggi; Atti del Convegno per il 35( anniversario dlia publicazione del Discours de la
mthode e degli Essais, d. Giulia Belgioioso et al., 2 vol. (Florence Armando Paoletti,
1990), 349-369.
(**) Professeur Henk J. M. Bos, Mathematical Inst. Utrecht Univ., P.O. Box, 80.010,
3508 TA Utrecht, Pays-Bas; trad. d'Anne Michel-Pajus, Inst. de recherche et d'enseignement
des mathmatiques, Univ. Paris VII, Tour 56-55, 2, place Jussieu, 75251 Paris Cedex 05.
Rev. Hist. ScL, 1998, 51/2-3, 291-317
292 Henk J. M. Bos
(1) R. Descartes, La Gomtrie [un des Essais du] Discours de la Mthode (Leiden,
1637), 297-413, et AT, VI, 369-485. Il existe un fac-simil de l'dition de 1637 accompagn
d'une traduction en anglais : D. E. Smith, M. L. Latham (eds), The Geometry of Ren Des
cartes (New York : Dover, 1954).
Note de la traductrice : pour les extraits du texte de Descartes, nous indiquons une double
rfrence : EO pour l'dition originale, et AT. Nous avons transcrit en franais contemporain
le texte cartsien.
(2) Pour plus de dtails et diverses opinions, voir H. J. M. Bos, On the representation
of curves in Descartes's Gomtrie, Archive for history of exact sciences, 24 (1981), 295-
338; id., Arguments on motivation on the rise and decline of a mathematical theory; the
Construction of equations, 1637-ca.l750, ibid., 30 (1984), 331-380; Carl B. Boyer,
History of analytical geometry (New York : Dover, 1956), 74-102; Pierre Costabel, Dmarc
hes originales de Descartes savant (Paris : Vrin, 1982), en particulier 27-37; Jean Dhom-
bres, Nombre, mesure et continu, epistemologie et histoire (Paris : Nathan, 1978), 134-143;
Emily R. Grosholz, Descartes's Unification of algebra and geometry, in S. Gaukroger (d.),
Descartes, philosophy, mathematics and physics (Brighton: Harvester, 1980), 156-169;
Joseph Ehrenfried Hofmann, Descartes und die Mathematik, in H. Scholz (d.), Descartes,
drei Vortrage (Miinster : Aschendorff, 1951), 48-73; Jean Itard, La Gomtrie de Descartes
(Paris : Univ. de Paris, 1956), Les Confrences du Palais de la dcouverte, sr. D.39 1-14;
Timothy Lenoir, Descartes and the geometrization of thought : the methodological bac
kground of Descartes's Gomtrie, Historia mathematica, 6 (1979), 355-379;
Michael S. Mahoney, The beginnings of algebraic thought in the seventeenth century, in
Descartes, philosophy, mathematics and physics, cf. ci-dessus, 141-156; Gaston Milhaud,
Descartes savant (Paris: Alcan, 1921), 124-148; A. George Molland, Shifting the
foundations : Descartes's transformation of ancient geometry, Historia mathematica, 3 (1976),
21-49; J. F. Scott, The Scientific Work of Ren Descartes, 1596-1650 (Londres : Taylor and
Francis, 1952, 1976) ; Jules Vuillemin, Mathmatiques et mtaphysique chez Descartes
(Paris : PUF, 1960).
La structure de la Gomtrie de Descartes 293
axy = x3 + y3
Figure 1
(3) La Gomtrie, EO, 327-328; A7V VI, 400; c'est la droite y = m x , que Descartes
ques sont les lieux du problme de Pappus quatre lignes (cf. n. 11 et 19).
(4) Par exemple la courbe qui rsout un cas particulier du problme de Pappus
cinq lignes (La Gomtrie, EO, 339; AT, VI, 409-410); cf. aussi H. Bos. On the representa
tion of Curves..., op. cit. in . 2, 316, . 21. Descartes n'utilise pas d'quations pour repr
senter les ovales optiques dans la section II-E (cf. tabl. 1).
294 Henk J. M. Bos
Figure 2
DF : = CG : CH.
(8) C. Clavius, Geometria practica, 1604, liber VI, prop. 12, probl. 2, Opera Mathema-
tica, (Mainz, 1611-1612), vol. 2, 159-160. Sur la familiarit de Descartes avec le travail de
Clavius, voir G. Milhaud, op. cit. in n. 2, 235.
298 Henk J. M. Bos
Figure 3
Figue 4
Figure 5
F
La structure de la Gomtrie de Descartes 299
comme demand.
D'o 1 = - parce que les aires de triangles qui ont un angle commun sont
dans le mme rapport que les produits des cts de cet angle.
(11) On remarque que Clavius a traduit toutes les relations, donnes et cherches, en
proportions de segments ports par une seule droite de la figure, en l'occurrence la droite AC.
Le problme est alors rsolu par les constructions standard pour trouver les segments vrifiant
ces proportions.
La structure de la Gomtrie de Descartes 301
(12) Se rapporter aux fig. 2 et 6. Il faut d'abord indiquer les segments donns et
inconnus ; on appelle donc les segments donns CA = b, CB = a, AB = c, FD = p, CF = q,
et les segments inconnus CI = z et CK = u. Il faut ensuite traduire en quations les relations
donnes et cherches. Les triangles semblables CKI et FDI donnent pz = u(q+z). La division
en parties gales conduit uz = - ha. L'limination de entre ces deux quations conduit
1 j. li
z2 = 2 +2 . Descartes donne (La Gomtrie, EO, 302-303; AT, VI, 375) une
P P
construction standard pour les racines de l'quation z2 = F z + G2 ; cette construction est en
fait exactement celle de l'item 4 de la construction de Clavius avec RM = - F et RO = G.
2
La structure de la Gomtrie de Descartes 303
IV. Mthodologie
Donc, afin d'utiliser cette construction standard, le gomtre cartsien doit construire les
2-ba il-baq i
segments de droite F = et G = = Fq, soit G = jFq . Cela est ralis par les
P P
constructions pour la multiplication, la division et l'extraction des racines carres que
Descartes a expliques dans les premires pages de son livre (La Gomtrie, EO, 297-298;
AT, VI, 370-371). Si l'on ralise ces constructions (en prenant p comme segment unit sur
la droite), on obtient prcisment les points 2 et 3 de la construction de Clavius. ( En fait,
Descartes prend un segment unit arbitraire; si l'on prend cette unit diffrente de p, la
construction devient plus complique que celle de Clavius, bien qu'elle conduise au mme
rsultat.)
(13) Le problme est le suivant : soient n droites L, donnes dans le plan, ainsi que n
angles , et un segment constant a. En tout point P du plan, on dfinit les distances obliques
d, aux droites : ce sont les longueurs des segments tracs de P vers L, faisant avec L,
l'angle ( . On demande de trouver le lieu du point P tel qu'une certaine proportion entre les
d,, qui dpend aussi du nombre de droites, soit constante. Les proportions sont
respectivement :
pour trois droites : d\ : d^d3
pour quatre droites : dtd2 : djd4
pour cinq droites : d,d^l3 : adjd5
pour six droites : d,d2d} : d^i^d6, etc..
La structure de la Gomtrie de Descartes 305
(14) II est significatif que le mme problme marque l'endroit o s'interrompent les
Rgulas ad directionem ingenii {AT, X, 351-469), inacheves, composes vers 1628, c'est--
dire prcisment au point o Descartes aurait d retraduire le rsultat de l'analyse algbrique,
c'est--dire l'quation, en construction gomtrique. Il semble qu'aux environs de 1628,
Descartes ne pouvait pas encore le faire.
306 Henk J. M. Bos
(15) Notamment F. Vite, qui a demand, dans son Supplementum geometries (Tours,
1593), l'introduction d'un nouveau postulat pour supplmenter la gomtrie et rendre
constructibles des problmes comme la duplication du cube ou la trisection de l'angle. Il
postulait la possibilit de la construction appele neusis, dj largement utilise dans la
gomtrie grecque. Dans une construction neusis, un segment de longueur donne est plac
entre deux droites ou cercles donns, de sorte que le segment (ou son prolongement) passe
par un point donn.
(16) La quadratrice (voir la figure) est la courbe AD, contenue dans le quadrant OAC,
qui est dcrite par l'intersection I d'une ligne horizontale et d'un rayon, si ces deux droites
La structure de la Gomtrie de Descartes 307
Ainsi, une quadratrice tant donne, un angle arbitraire COI peut tre divis en 2, 3 ou
n'importe quel nombre de parties gales en divisant le segment OK en autant de parties
gales (ce qui peut se faire la rgle et au compas) et en traant des horizontales par les
points de division. Ces horizontales coupent la quadratrice aux points J; les rayons OJ
divisent l'angle donn, comme demand.
308 Henk J. M. Bos
explique que les courbes acceptables sont celles qui sont traces par
des combinaisons de mouvements acceptables :
Et, considrant la gomtrie comme une science qui enseigne gn
ralement connatre la mesure de tous les corps, on n'en doit pas plus
exclure les lignes les plus composes que les plus simples, pourvu qu'on
puisse les imaginer dcrites par un mouvement continu, ou par plusieurs
qui se suivent et dont les derniers soient entirement rgls par ceux qui
les prcdent; car par ce moyen, on peut toujours avoir une connaissance
exacte de leur mesure (17).
Parabole
cartsienne
Figure 7
(19) Notamment les rgles 3 et 5-7 (AT, X, 336-370, 379-393); cf. aussi Ian Hacking,
Proof and eternal truths : Descartes and Leibniz, Stephen Gaukroger (d.), op. cit. in n. 2,
169-180.
310 Henk J. M. Bos
(23) Pour tre plus prcis : les sections HI-B, contiennent 21 sous-sections pour les
quelles Descartes donne en marge des titres spars. Elles ont presque toutes des objectifs
en relation avec la construction. Ces objectifs sont : [1] la rduction de l'quation (pour viter
la faute de la construction par des moyens inappropris) et [2] la transformation de
l'quation, principalement par la substitution x -* x + a, pour la mettre sous forme standard.
Pour les quations des troisime et quatrime degrs, [2.1] cette forme standard est une
quation du quatrime degr dans laquelle le coefficient de x3 est zro (Descartes donne la
construction des racines de cette quation standard en III-D, La Gomtrie, EO, 389-395;
AT, VI, 463-469; la construction utilise l'intersection d'une parabole et d'un cercle). Pour
les quations des cinquime et sixime degrs [2.2] la forme standard est une quation du
sixime degr dans laquelle les coefficients sont alternativement positifs et ngatifs (la
construction de ses racines, par intersection de la parabole cartsienne et d'un cercle, est
donne en III-E, La Gomtrie, EO, 402-411; AT, VI, 476-484). Pour indiquer les effets de
ces objectifs sur la thorie des quations chez Descartes, je dresse la liste ([a], [b],...) des
sujets des sous-sections de III-B, C, et j'indique entre crochets comment ils sont relis l'un
des objectifs [1], [2.1] et [2.2] :
[a] Nombre de racines d'une quation (prliminaire);
[b] racines ngatives (prliminaire);
[c] abaissement du degr d'une quation par division par (* *0) ([1]);
[d] examiner si xQ est racine ([1] via [c]);
[e] nombre de racines positives d'une quation, rgle des signes ([2.2] via Q]);
[f] transformation par x > - x (prliminaire [g]) ;
[g] transformation x > x + a ([2]);
[h] effet de la transformation sur les racines ngatives ([2.2]);
[i] pour enlever le second terme ([2.1]);
[j] utilisation de x > x + a pour rendre positives toutes les racines relles ([2.2]);
[k] idem pour rendre tous les coefficients diffrents de zro ([2.2]);
[1] transformation x - ex ou x -> x/c (simplifier les coefficients, ce qui est utile pour
simplifier les constructions);
[m] liminer les fractions dans les coefficients (idem);
[n] rendre un coefficient gal une valeur donne (objectif peu clair);
[o] racines relles et imaginaires ([2.2] via [j]);
[p] rductibilit des quations cubiques ([1]);
[q] division par x x0 ([1]);
[r] irrductibilit des quations cubiques ([1]);
[s] rductibilit et irrductibilit des quations bicarres ([1]);
[t] exemple ([1]);
[u] mthode gnrale pour tester la rductibilit ([1]).
314 HenkJ.M.Bos
(24) La construction gomtrique des racines des quations de degr plus lev devint
une partie de la thorie appele construction des quations, voir mes Arguments..., op.
cit. in n. 2.
(25) Van Heuraet, Fermat, et Neil trouvrent indpendamment de telles rectifications
autour de 1658. Cf. Margaret E. Baron, The Origins of infinitesimal calculus (Oxford :
Pergamon, 1969), 223-228.
La structure de la Gomtrie de Descartes 315
(26) En particulier l'hyperbole : La Gomtrie, EO, 322; AT, VI, 394-395, et la parabole
cartsienne, ibid., 337; AT, VI, 408-409.
(27) A. B. Kempe, On a general method of describing plane curves of the -th degree
by linkwork, Proceedings of the London mathematical Society, 7 (1876), 213-216.
(28) Pour une analyse des arguments de Descartes, voir mon article On the representation
of Curves..., op. cit. in n. 2, 323-324.
(29) Cf. mon Arguments..., op. cit. in n. 2, 355-371.
(30) Sur cette thorie, cf. mon Arguments..., op. cit. in n. 2.
316 Henk J. M. Bos
VIII. Conclusion
Isis
Margaret
AN
DEVOTED
SCIENCE
INFLUENCES
concludes
of
research
largest
reviews
Individual
are
annual
and
helps
history
Isis
please
purchase
telephone
Annual
$174.00
of science.
Science
concurrent.
reduced
surface
INTERNATIONAL
support
Dept.
reviewing
Current
of
add
assessing
subscription
notes,
Institutions.
Rossiter,
science.
order,
each
subscriptions
no.
Society
Each
7%
registration
postage
Visit
SF8SA,
aand
AND
documents,
Bibliography,
number
volume.
When
GST.
or
TO
Credit
year
The
service
our
books
signature)
complete
editor.
are
and
rates/membership
Journals
Individual
THE
website
subscribers
you
Visa
ITS
concurrent.
of
card
University
to
fees
Isis
from
airmail
inHSS
Isis
subscribe
Published
discussion,
and
the
charge
orders
CULTURAL
is
at
to
HISTORY
around
the
at
Division,
the
and
regional
field,
programs
the
MasterCard
subscriptions
delivery
http://www.journals.uchicago.edu/Isis/
quarterly
REVIEW
receive
oldest
membership
address
Outside
may
card
towith
quarterly;
the
and
Isis,
dues:
and
be
P.O.
information
world.
of
and
of
to
some
review
news
HSS
faxed
below.
the
your
advance
North
annual
accepted.
OF
Chicago
largest
Box
$57.00
toNewsletter.
800
Newsletter,
the
in
Isis
of
HSS
to
essays
America,
37005,
the
the
meetings.
annual
pages
(773)
circulating
research
and
(account
Individuals;
History
membership
To
profession.
and
membership
Chicago,
featuring
order,
753-0811.
Press
Current
membership
please
Canadian
some
and
Your
no.,
of
journal
send
Science
teaching
$28.00
300
expiration
Isis
add
also
IL
Bibliography
scholarly
membership
check,
in
residents,
60637
shorter
offers
$1
of
includes
the
directory,
Students;
1.00
Society
the
inHistory
the
date,
articles,
the
history
for11/97
the