Professional Documents
Culture Documents
5391
doi:10.1017/S0957423909990087 2010 Cambridge University Press
Abstract. Between 9th and 11th centuries, the geometrical transformations gave to
the mathematicians a method more and more fertile, leading them to modify their
modes of apprehension of the geometrical figures. This article aims to highlight
al-Sijzs contribution to this change by setting two tasks: first, to precisely understand what al-Sijz means by transformation (he is one of the first to recognize
explicitly a method in their use); and secondly, to give an account of his research on
geometrical invariants, obtained by a variation of some elements of a figure. The use
of transformations and the search for invariants seem to be the two faces of the same
tendency, that to break with an Euclidean manner to consider the figures in a way
isolated and static for better exploiting the common properties which can link them.
The article is completed by the edition and the translation of a small treatise devoted
to invariants.
Rsum. En offrant une mthode de plus en plus fconde, les transformations
gomtriques conduisent les mathmaticiens, entre les IXe et XIe sicles, modifier
leurs modes dapprhension des figures gomtriques. Le prsent article voudrait
mettre en vidence la contribution dal-Sijz cette mutation en se fixant deux tches:
en premier lieu, comprendre prcisment ce qual-Sijz entend par transformation (il
est lun des premiers y reconnatre explicitement une mthode); et en second lieu,
rendre compte de ses recherches sur les invariants gomtriques, obtenus en faisant
varier certains lments dune figure. Lusage des transformations et la recherche
dinvariants apparaissent comme les deux volets dune mme tendance, celle de
rompre avec une manire euclidienne de considrer les figures de faon isole et
statique pour mieux exploiter les proprits communes qui peuvent les unir. Larticle
sachve par ldition et la traduction dun petit trait consacr la mise en vidence
dinvariants.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
54
PASCAL CROZET
Roshdi Rashed, Les mathmatiques infinitsimales du IXe au XIe sicle, vol. IV: Mthodes
gomtriques, transformations ponctuelles et philosophie des mathmatiques (Londres,
2002), pp. 111. Louvrage comprend en outre ldition critique, la traduction et un commentaire dtaill des traits dIbn al-Haytham relatifs aux transformations et aux mthodes gomtriques.
Il faut noter qual-Sijz nest pas le premier utiliser ce terme dans un contexte
gomtrique: un sicle avant lui, Thabit ibn Qurra utilisait le mot naql pour dsigner
dabord un dplacement pour superposer deux figures, puis pour signifier le dplacement
dune grandeur par mouvement continu (voir Rashed, Les mathmatiques infinitsimales,
IV, 696, n. 14). Comme nous allons le voir, le sens en est ici inflchi puisquil dsigne aussi des
transformations plus gnrales comme des similitudes.
Trait dit, traduit et comment par Roshdi Rashed, Les mathmatiques infinitsimales,
IV, 690735 et 766825. Nous nous rfrerons cette dition dans ce qui suit. Ce texte
important avait dj fait lobjet de deux publications: une dition provisoire par Ah.mad
Sadan (Rasail Ibn Sinan [Koweit, 1983], pp. 33972) et une reprise de cette mme dition
agrmente de traductions et de commentaires par Jan Hogendijk [Al-Sijzs Treatise on
Geometrical Problem Solving, translated and annotated by Jan P. Hogendijk, with the
Arabic text and a Persian translation by Mohammad Bagheri (Thran, 1996)].
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
55
Que recouvre alors une telle mthode et, au-del, quel sens donner au
mot transformation ds lors que lon entend rendre compte par ce biais
de la pratique mathmatique de lpoque? Al-Sijz ne donnant en ralit
aucune explication gnrale, nous sommes donc conduit revenir de
faon dtaille tant sur les exemples quil fournit lui-mme dans ce
trait que sur dautres rsolutions situes ailleurs dans ses crits.
1. Premier exemple
Notre premier exemple est prcisment celui sur lequel sappuie le
mathmaticien pour illustrer sa mthode.5 Il est ainsi introduit:
Comment trouver deux droites proportionnelles deux droites donnes dont
lune est tangente un cercle donn et lautre rencontre le cercle, et telle que
si on la mne dans le cercle, elle passe par son centre? Supposons la figure
construite selon la voie de lanalyse afin de chercher ses lemmes; exemple:
supposons le rapport, le rapport de A B et le cercle, le cercle CD, et les deux
droites GE et GC dans le rapport de A B ce sont celles que nous cherchons;
comme si la figure tait construite et trouve et comme si nous avions sa
construction daprs ce que nous avons expos, savoir que si on mne GC
dans le cercle jusqu D, CD sera un diamtre de celui-ci.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
56
PASCAL CROZET
Fig. 1.
Fig. 2.
Ibid., p. 776.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
57
Ibid., p. 699.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
58
PASCAL CROZET
Fig. 3.
Livre de Ah.mad ibn Muh.ammad ibn Abd al-Jall sur une anthologie des problmes qui ont
t soulevs entre lui et les gomtres de Shraz et du Khurasan, et ses commentaires, MS
Dublin, Chester Beatty 3652/7, fol. 35r52v, dition, traduction et commentaires paratre
dans Roshdi Rashed & Pascal Crozet, uvre mathmatique dal-Sijz, vol. II. Ce trait est
cit dans Pour aplanir les voies sous son nom abrg de Commentaires gomtriques. Il est
galement cit dans une lettre du mathmaticien son pre, date du 12 fvrier 972 (voir
Roshdi Rashed, uvre mathmatique dal-Sijz, vol. I: Gomtrie des coniques et thorie des
nombres au Xe sicle, Les Cahiers du MIDEO 3 [Louvain / Paris, 2004], p. 208).
Nous voquerons plus loin le caractre suffisant de cette condition (voir note 11). Notons que
ce problme est trs vraisemblablement issu du livre I du trait des Inclinaisons
dApollonius, aujourdhui perdu: en premier lieu parce quil correspond bien lnonc
gnral fourni par Pappus pour rendre compte de ce trait; en second lieu parce qual-Sijz
lui-mme fait suivre sa propre rsolution dune rsolution toute diffrente quil attribue
Apollonius; enfin parce que Pappus donne, propos du 9e problme de ce livre, le mme
diorisme que nous venons de citer (Pappus, La collection mathmatique, uvre traduite
pour la premire fois en franais, avec une introduction et des notes par Paul Ver Eecke, 2
vol. (Paris / Bruges, 1933; nouveau tirage, Paris, 1982), vol. II, pp. 60810).
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
59
Fig. 4.
Il dmontre alors que LM est gal BD. En effet, les triangles HGL
et HMG tant semblables, le rapport de LH HG est gal au rapport
de HG HM et donc HG2 = HM HL. Or HG2 = KD' KB' = HM KB'.
Donc HL = KB', ce qui assure le rsultat, savoir que ML = BD. Puis
il conclut:
10
11
Al-Sijz nomme ces deux points D et B. Nous ne faisons cette modification que pour plus de
clart.
Pour dterminer le point M, on peut tracer un cercle de centre H et de rayon KD'. Comme le
remarque al-Sijz, KD' est ncessairement plus petit que KI et donc que HG; si donc le cercle
de centre H coupe la droite GE, ce ne pourra tre quentre les points G et E. Par contre, le
mathmaticien nassure pas que ce cercle coupe bien la droite GE. Cette intersection existe
bien nanmoins si lon satisfait au diorisme du problme, qui fournit ds lors une condition
suffisante. Considrons en effet la mdiatrice HM'L' du segment EG.
Il est clair que la condition stipule par al-Sijz conduit M'L' > BD. Or on a la fois
HG2 = HM' HL' et HG2 = KD' KB'.
Donc
HM'2 + HM' M'L' = KD'2 + KD' D'B' = KD'2 + KD' BD < KD'2 + KD' M'L'.
Par consquent, (HM' KD')(HM'+ KD'+ M'L') < 0 et donc HM' < KD', ce qui assure
lexistence dune intersection. Notons que deux points sont solutions, ce qui donnera deux
solutions au problme de dpart, symtriques par rapport la bissectrice BD.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
60
PASCAL CROZET
Pour mieux comprendre encore les ressorts dune telle dmonstration, tentons de reconstituer lanalyse qui a pu y conduire. Supposons
donc le triangle ABC construit, menons-en le cercle circonscrit,
appelons H' lintersection de ce cercle avec la droite BD et joignons AH'.
Fig. 6.
H' est alors le milieu de larc AC et, pour les mmes raisons que
celles expliques plus haut, on a: AH'2=H'DH'B. Des quatre points
intervenant dans cette galit, B et D sont connus, et A et H' sont
inconnus. Or cette galit serait plus simple traiter si lon avait
linverse, cest--dire si, toutes choses restant gales par ailleurs
(langle en B et la distance BD notamment), on avait A et H' connus et
B et D inconnus: en traant un cercle de diamtre connu BD et en en
considrant une tangente de grandeur AH', on pourrait en effet
aisment dterminer H'D et H'B.
Tout conduit donc chercher construire une autre figure, qui sera
au bout du compte identique la premire mais en tant dfinie
autrement; cest bien ce que ralise al-Sijz dans sa synthse, et lon
retrouve bien la mme fonction logique que dans le premier exemple,
reposant de la mme faon sur une inversion des donnes. Le passage
dune figure lautre peut tre ralis par une isomtrie directe qui,
pas plus que prcdemment, nest ici explicite.13
12
13
Nous traduisons ici par transporter plutt que par transformer en raison de la spcification
du lieu darrive et des usages de la langue. Mais il sagit bien du mme verbe arabe et du
mme sens que plus haut. Dautre part, ce mme verbe recouvre bien dans ce trait un sens
plus tendu que celui dun simple dplacement, puisquil sapplique une similitude dans la
proposition 135.
tant donn que les deux solutions du problme sont symtriques lune de lautre, ce
pourrait tre du reste une isomtrie quelconque, mais cela ne correspond pas ce qucrit
al-Sijz.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
61
3. Troisime exemple
Notre dernier exemple est constitu de la proposition 143 de
lAnthologie de problmes. Il diffre des prcdents sur deux points: en
premier lieu parce que le mathmaticien ny a pas recours au verbe
naqala, et ensuite parce quil y fait usage dune transformation que
lon peut cette fois prciser, puisquil sagit dune homothtie dont le
centre et le rapport sont dtermins.
On se donne un triangle ABC, et on veut y inscrire le carr GHIJ tel
que lun de ses cts soit sur lun des cts du triangle et les deux
sommets opposs sur les deux autres cts.
Fig. 7.
Remarquons demble que le problme pourrait tre trait exactement de la mme faon que dans les deux exemples prcdents. On
pourrait en effet rsoudre le problme obtenu en inversant les donnes de dpart, savoir en se donnant un carr totalement arbitraire
G'H'I'J' et en cherchant un triangle circonscrit semblable au triangle
donn ABC; la solution en est immdiate puisque les angles en H' et en
G' sont connus, et il suffit alors dutiliser une similitude pour revenir
dans la configuration dorigine.
Quoiquil nous semble douteux qual-Sijz nait pas envisag une
solution aussi simple alors quil use de cette mthode dans le mme
trait et quil en souligne ailleurs tout lintrt pour le gomtre, la
synthse quil propose est, du moins sur un plan formel, lgrement
diffrente. Le fond en est cependant fort voisin. Le mathmaticien
considre en effet un point D arbitraire sur le segment AB, il abaisse
en E la perpendiculaire BC passant par D, et construit DF perpendiculairement DE en posant DF = DE. Il mne ensuite BF, quil
prolonge jusqu ce quelle rencontre AC en G, achve la construction
du rectangle GHIJ et dmontre, au moyen dgalit de rapports, que
ce rectangle est bien un carr.
La construction est donc obtenue en considrant les lments dun
carr judicieusement choisi et en en transportant les proprits par
une homothtie de centre B. Que le mathmaticien nutilise pas ici le
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
62
PASCAL CROZET
Fig. 8.
mot transformation tient essentiellement ce que cette transformation est contenue dans la figure quil construit. En utilisant un tel
carr plutt quun carr totalement arbitraire, il exploite cependant
les mmes potentialits logiques que prcdemment et sa solution y
gagne de surcrot en lgance.
4. Conclusion
Que sont alors les transformations pour al-Sijz? Il ne sagit sans
doute pas ou du moins pas encore dun objet mathmatique en tant
que tel, dans le sens o il pourrait tre tudi pour lui-mme. Le mot
renvoie simplement, nous semble-t-il, au lien qui existe entre deux
figures, sans que soient jamais exploites les proprits qui relvent
du processus mathmatique de passage de lune lautre. Mme dans
notre troisime exemple, o lon peut clairement identifier lhomothtie qui est en jeu, la dmonstration repose sur des galits de
rapports et non sur les proprits de la transformation, qui pourraient
assurer en lespce que la transforme dun carr est un carr. On
comprend alors pourquoi, dans les deux premiers exemples, la transformation nest pas mme explicite: de telles proprits ne sont pas
disponibles ni mme penses. Roshdi Rashed a sans aucun doute
raison lorsquil voit dans le trait dIbn al-Haytham Sur les proprits
du cercle la premire tude connue de certaines proprits de
lhomothtie, comme: la figure homothtique dun arc est un arc, celle
dun rayon un rayon, celle dun angle de deux droites langle des deux
droites homologues, les tangentes deux arcs homothtiques aux
points homologues sont parallles, etc.14 Chez al-Sijz en effet, rien de
tel: les transformations y demeurent cantonnes lusage qui en est
fait; elles renvoient essentiellement une mthode.
Il nen reste pas moins que reconnatre et nommer une telle mthode, de mme quen dgager toutes les potentialits logiques, constitue un acte essentiel. Si lutilisation de cette mthode nassure pas
encore vritablement aux transformations dexistence en tant que
telles, elle ne peut en effet quattirer bien plus quauparavant
lattention sur les proprits communes entre les figures. Ds lors, il
14
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
63
nest gure surprenant de retrouver chez le mme auteur non pas une
tentative de dgager les proprits des transformations ce qui aurait
suppos quelles fussent saisies en tant quobjet mais un mode
dapprhension des figures qui, de faon explicite et dlibre, rompt
avec une manire euclidienne de les considrer de faon isole et
statique.
II. VARIATIONS ET INVARIANTS
Comme le remarque fort justement Roshdi Rashed dans son commentaire,15 lide de variation constitue lun des thmes rcurrents du
trait Pour aplanir les voies. On trouve en effet dans ce texte aussi
bien une tude des variations dun lment dune figure, que des
variations de mthodes de rsolution dun mme problme, des variations des lemmes par lesquels on peut mener une dmonstration,
etc. Il y a l un procd heuristique dont le mathmaticien souligne
tout lintrt, en particulier pour la recherche des proprits des
figures.16 Prenant un exemple simple, il crit ainsi:
Nous supposons un triangle ABC et nous cherchons la proprit de ses
angles, savoir: la somme des trois angles est gale la somme des angles
dun triangle donn, avant de savoir quelle est gale deux angles droits. La
mthode pour notre recherche dans cette premire vise est de supposer que
lun de ses angles reste dans ltat et de faire varier (nukhalifu) ses cts afin
que la somme des deux angles qui restent soit plus grande ou plus petite que
celle des deux premiers ou leur soit gale.
Fig. 9.
Ibid., p. 697.
Ibid., p. 782.
Ibid., p. 784.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
64
PASCAL CROZET
Le mot ashkal, qui est utilis ici, peut dsigner aussi bien des propositions que des figures.
Ibid., pp. 81821.
Voir notre article Al-Sijz et les lments dEuclide: commentaires et autres dmonstrations des propositions, dans A. Hasnawi, M. Aouad, A. Elamrani-Jamal (ds), Perspectives
mdivales (arabes, latines, hbraques) sur la tradition scientifique et philosophique
grecque (Louvain / Paris, 1997), pp. 6177.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
65
21
Fig. 10.
Fig. 11.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
66
PASCAL CROZET
Fig. 12.
Fig. 13.
Cette proprit fait lobjet de deux dmonstrations dans lAnthologie de problmes (propositions 7 9), lune attribue al-Quh et une autre par al-Sijz lui-mme. Ce rsultat tait
dj nonc la proposition III.38 des Coniques dApollonius, mais les dmonstrations de
lAnthologie sont, notre connaissance, les premires tre ralises dans le contexte dune
gomtrie la rgle et au compas.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
67
Fig. 14.
Pour Ibn al-Haytham, le connu est la notion qui nadmet pas le changement (Rashed, Les
mathmatiques infinitsimales, IV, 446).
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
68
PASCAL CROZET
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
69
25
Une erreur de reliure fait que les pages doivent tre lues dans lordre suivant: 4v, 3r, 3v, 5r,
la page 4r tant relative un autre trait.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
70
PASCAL CROZET
Livre dAh. mad ibn Muh. ammad ibn Abd al-Jall sur
lobtention de lois gomtriques dtermines
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
71
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
72
PASCAL CROZET
26
27
28
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
73
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
74
PASCAL CROZET
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
75
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
76
PASCAL CROZET
29
Ibid., problme 4 (proposition 10). Le rsultat signifie que le cercle et la droite AD sont des
images rciproques par une inversion de centre B. La mme inversion est mise en vidence
dans la proposition 12 de ce trait, la droite AD tant alors dfinie, ce qui est quivalent,
comme la perpendiculaire passant par A au diamtre du cercle passant par B.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
77
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
78
PASCAL CROZET
Supposons le point A dans deux <cas de> figure, quil soit <dans>
lun des deux lextrieur et <dans> lautre lintrieur, que le cercle
soit BC et le centre H, on a men du point A deux droites vers la
circonfrence du cercle, soit BCA et DEA; je dis que le rapport de AB
AD est gal au rapport de AE AC.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
79
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
80
PASCAL CROZET
Que les deux cercles tangents soient dans les deux <cas de> figures,
quils soient AB [R-71v] et AC et leur point de tangence A. On a men
les deux droites BAC et DAE, le rapport de AB AC alors produit est
gal au rapport de AD AE; nous avons dmontr cela dans la
premire proposition de notre livre Sur les cercles.30
6) Du fait de mener, dun point donn, deux droites tangentes un
cercle donn, de leur jonction par une ligne droite, et du fait de mener
les droites du point donn vers la circonfrence du cercle donn, dans
son intrieur, il se produit une proportion trs tonnante.
Que le point A soit donn et que le cercle BCD soit donn, on a men
AB et AC tangentes au cercle en C et en B, et on a joint CB par une
ligne droite; je dis que les droites menes du point A vers larc CDB,
comme la droite AD, sont partages par larc CGB et la droite EB
30
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
81
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
82
PASCAL CROZET
31
32
33
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
83
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
84
PASCAL CROZET
Supposons que ACB soit une ellipse ou un cercle, que son grand
diamtre soit AB et le petit CD. Posons le rapport de AB CD gal au
rapport de CD BE. Menons BE slevant [R-72r] sur la droite AB
selon des angles droits et joignons AE; je dis que la perpendiculaire
mene de la circonfrence de lellipse ou du cercle vers le diamtre de
lellipse ou du cercle, comme IH, prolonge jusqu la droite AE,
comme IG, je veux dire que IH peut le rectangle IG par IB, cest--dire
IK dans le cercle. Quant lellipse, le rapport du carr de IH au carr
de CL est gal au rapport du rectangle IB par IG au rectangle LB par
LM; nous avons dmontr cela dans les Proprits de lellipse; ce quil
fallait dmontrer.
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
85
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
86
PASCAL CROZET
Soit le cercle ACBD, et que les deux points donns sur sa circonfrence soient A et B, partageons larc ADB en deux moitis en D,
joignons AB et menons AC, BC et DEC, il sensuit que le rapport de AC
CB est gal au rapport de AE EB. Ceci a t dmontr dans le
sixime <livre> des lments et dans nos Dmonstrations de louvrage
34
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
87
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
88
PASCAL CROZET
35
35
36
lments, VI.3.
Anthologie de problmes, problmes 42 et 43, propositions 63 et 64. Dans le manuscrit B, on
trouve : Euclide a dmontr cela dans son livre sur les Donnes (Donnes, proposition 94).
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
89
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
90
PASCAL CROZET
37
38
39
40
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
91
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087
Downloaded from http:/www.cambridge.org/core. IP address: 37.98.74.32, on 14 Dec 2016 at 08:31:16, subject to the Cambridge Core terms of use, available at
http:/www.cambridge.org/core/terms. http://dx.doi.org/10.1017/S0957423909990087