Vous êtes sur la page 1sur 40

Arabic Sciences and Philosophy, vol. 20 (2010) pp.

5391
doi:10.1017/S0957423909990087 2010 Cambridge University Press

DE LUSAGE DES TRANSFORMATIONS


GOMTRIQUES LA NOTION DINVARIANT:
LA CONTRIBUTION DAL-SIJZI
PASCAL CROZET
Centre dhistoire des sciences et des philosophies arabes et mdivales,
CNRS Universit Paris-Diderot UMR 7219, 5 rue Thomas Mann,
Btiment Condorcet, Case 7093, 75205 Paris Cedex 13
Email: crozet@paris7.jussieu.fr

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.

Lutilisation de plus en plus frquente des transformations


homothties, affinits orthogonales ou similitudes constitue sans
aucun doute lun des faits les plus marquants de lhistoire de la
gomtrie entre les IXe et XIe sicles. Parce quune telle utilisation sest
tendue des chapitres de plus en plus nombreux, parce quelle

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

incitait sintresser aux relations entre les figures plus qu les


considrer isolment, parce quelle interrogeait ds lors la lgitimit
du recours au mouvement et, par l, faisait surgir la question des
fondements, elle a pu conduire en effet inflchir la nature mme de
lobjet de la discipline. Roshdi Rashed a bross ailleurs les grandes
lignes de cette volution qui, partant de luvre des Banu Musa en
passant par celles de Thabit ibn Qurra, de son petit-fils Ibrahm ibn
Sinan et de bien dautres, aboutit notamment la remise en ordre
dIbn al-Haytham dans ses traits sur les Connus et sur le Lieu.1
De cette histoire, le moment qui correspond la contribution
dal-Sijz, la fin du Xe sicle, est lun des plus importants. On ne
trouve certes rien dans cette uvre qui invite repenser les
fondements de la gomtrie: contrairement son successeur Ibn
al-Haytham, al-Sijz ne cherche pas, du moins explicitement,
dpasser le cadre lgu par Euclide. Pourtant, deux points particulirement remarquables suffisent distinguer les crits dal-Sijz
de ceux de ses prdcesseurs: en premier lieu, le fait quon y trouve le
premier texte connu o non seulement les transformations sont
dsignes par un terme gnrique, mais encore o lon reconnat
explicitement dans leur usage une mthode (t. arq); et en second lieu,
la recherche auquel il se livre explicitement pour dgager des invariants gomtriques en faisant varier certains lments dune figure.
Cest expliciter le premier point et mettre en vidence le second
que nous voudrions nous consacrer ici.
I. LES TRANSFORMATIONS COMME MTHODE GOMTRIQUE

Cest dune faon pour le moins succincte qual-Sijz introduit le mot


transformation (naql).2 Dans son trait intitul Pour aplanir les voies
en vue de dterminer les propositions gomtriques,3 o il entreprend
1

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

55

dune faon gnrale de prsenter lensemble des mthodes dont


dispose le gomtre, il crit en effet simplement:
Peut-tre apparatra-t-il au chercheur une mthode grce laquelle il lui
sera facile de dterminer de nombreuses propositions difficiles, qui soit la
transformation (naql) que nous allons expliquer et dont nous donnerons des
exemples.4

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.

Les seules donnes du problme sont donc le cercle et le rapport de


A B. Al-Sijz remarque quon ne connat ni langle en G ni larc EC. Si
lon nomme H le centre du cercle, on connat par contre langle GEH,
gal un droit. Pour dterminer langle en G, il suffit donc de
connatre la forme du triangle rectangle GEH. Le problme pourrait
donc tre pos de faon lgrement diffrente: EH tant connue,
comment trouver le triangle rectangle GEH, sachant que le rapport de
GE, lun des cts de langle droit, lhypotnuse diminue de EH,
lautre ct de langle droit, soit gal un rapport donn. Toutefois,
puisque lon cherche dterminer en premier lieu la forme du triangle
GEH, lusage de la transformation permet de se ramener un problme plus simple. En effet, ne chercher que la forme du triangle
permet de sabstraire des dimensions de la figure dorigine en considrant une figure semblable; ds lors, on va pouvoir changer les
donnes de dpart: si, plutt que se donner le ct soustraire de
lhypotnuse, on se donne lautre ct de langle droit, le problme est
effectivement plus ais rsoudre. Cest bien ce que propose al-Sijz,
4
5

Rashed, Les mathmatiques infinitsimales, IV, 770.


Ibid., pp. 77482.

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.

en signalant quil va procder la construction de la figure par la


transformation.6
On se donne donc un segment IK arbitraire et on cherche le triangle
IMK, rectangle en K, tel que si N est le point de lhypotnuse vrifiant
MN = KM, alors le rapport de IK IN est gal au rapport connu de A
B.

Fig. 2.

Pour rsoudre ce nouveau problme, le mathmaticien conduit une


analyse classique: supposant la figure construite, il trace le cercle de
centre M. La puissance du point I par rapport ce cercle est alors
connue puisque IK est connue. Si lon appelle S lintersection du
prolongement de IM et du cercle, on aura donc IN IS connu. Mais
puisque le rapport de IK IN est connu, IN est connue et IS est
6

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

57

connue. Par consquent, NS et MK sont connues, et donc le triangle


IMK est connu. Al-Sijz peut alors conclure:
Nous avons construit cette figure comme nous le voulions. Nous la transformons (nanquluhu) ensuite dans le cercle donn par la similitude et le
rapport, et nous le dmontrons. Ce quil fallait dmontrer.

Cet exemple appelle demble plusieurs remarques. En premier


lieu, il faut noter que les mots transformation et transformer sont
utiliss ici dans un contexte particulier qui est celui de lanalyse. Tel
quil est prsent dans ce trait, le recours la transformation constitue donc une mthode qui sinscrit au sein dune mthode de rsolution plus vaste et plus gnrale, la mthode analytique, quelle vient
enrichir de faon substantielle. Comme le note Roshdi Rashed, la
transformation ponctuelle a une double fonction: mathmatique
(transformation dune figure) et logique (rduction un problme plus
facile).7 Ainsi quil est apparu, la fonction logique repose sur une
inversion des donnes de lanalyse: des grandeurs connues du premier
problme sont inconnues dans le second et dautres qui taient inconnues y deviennent connues. Or cette inversion nest permise que par la
prise en considration explicite dune proprit commune deux
figures ici la forme autrement dit en faisant abstraction de la
position et de la dimension de la premire figure. Ces deux fonctions
de la transformation sont donc indissociables, et le mathmaticien en
a bien peru tous les enjeux.
En second lieu, il faut remarquer que le mot transformation ne
dsigne pas ici une transformation particulire, mme si en lespce il
ne peut sagir que dune transformation qui conserve la forme, savoir
une similitude directe. Lorsque al-Sijz utilise plus haut le mot similitude, il veut simplement signifier le fait que les triangles IMK et GEH
sont semblables et que lon peut ds lors construire la figure demande. La position et la grandeur de IM tant arbitraires, on ne peut
dfinir ici pour cette similitude aucun centre et aucun angle de
rotation, ce qui nest du reste nullement ncessaire pour mener bien
lanalyse. Le mot transformation renvoie donc au lien existant entre
deux figures, plus quau processus gomtrique prcis par lequel on va
pouvoir passer de lune lautre. Ce qui ne veut pas dire quon ne
puisse trouver ailleurs la description dun tel processus.
Aussi, avant daller plus loin, donnons encore quelques exemples.
2. Deuxime exemple
la diffrence de lexemple prcdent, notre deuxime exemple prend
place dans le cadre dune synthse et met en uvre une isomtrie et
non plus une simple similitude; il permet nanmoins de confirmer nos
premires conclusions. En outre, il permet galement de dater plus
7

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

prcisment lusage du mot transformation par le mathmaticien: ce


deuxime exemple est en effet issu de son Anthologie de problme, un
texte compos vers 970 qui est cit dans le trait que nous venons
dvoquer et se trouve donc antrieur lui;8 or on trouve dans cette
Anthologie, en plusieurs endroits, une utilisation du verbe naqala
semblable celle dont que nous venons de dcrire. Cest le cas en
particulier de la proposition 119 de ce trait, o al-Sijz rsout un
problme que lui a soumis lun de ses correspondants, Abu al-Jud.
Soit donc deux demi-droites Bx et By, se rencontrant en B selon un
angle donn. On considre sur la bissectrice de langle B un point D
donn, et lon veut construire une droite passant par D et coupant Bx
et By en A et C de sorte que AC soit gal une grandeur EG donne.
Lauteur impose en outre une condition dont il est ais de se rendre
compte du caractre ncessaire: EG doit tre plus grand que la
distance entre les deux points dintersection de la perpendiculaire
BD passant par D avec les deux demi-droites Ax et By.9

Fig. 3.

Pour rsoudre ce problme, al-Sijz se place dlibrment sur le


segment EG. Il y construit un cercle passant par E et G tel que lun des
deux arcs EG soit capable dun angle gal langle donn en B, puis il
partage lautre arc en deux moitis selon le point H et joint HG. Il
8

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

59

mne ensuite un cercle de diamtre gal BD, trace un segment IK de


longueur HG qui lui est tangent en I, et mne depuis K la droite
passant par le centre du cercle et le coupant en D' et B'.10 Il dtermine
enfin un point M sur le segment GE tel que HM gale KD',11 et
prolonge HM jusqu ce quil coupe le cercle en L.

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

Si nous transportons (naqalna)12 la figure du triangle vers les droites AB et


BC, en menant DA gale MG et en le faisant parvenir de lautre ct
jusquen C, alors le triangle ABD est semblable au triangle LMG et, de mme,
le triangle CBD est semblable au triangle ELM. Or la droite LM est gale la
droite BD, donc la droite AC est gale la droite EG; ce quil fallait
dmontrer.

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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

Rashed, Les mathmatiques infinitsimales, IV, 21.

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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.

Laissant langle A inchang, il fait ainsi varier le ct oppos en en


maintenant fixe lextrmit B. Lorsque lun des deux autres angles
augmente, alors le troisime diminue. Si nous trouvons que laugmentation compense la diminution, alors nous aurons trouv une proprit pour les triangles, absolument.17 Il ny a plus alors, explique
al-Sijz, qu soumettre ce rsultat la mthode de lanalyse pour le
dmontrer ou linfirmer. Et il ajoute plus loin:
15
16
17

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

lexamen de la nature des figures18 et de leurs proprits en elles-mmes ne


manque pas de se faire de lune de ces deux manires: ou bien nous imaginons
la ncessit de leurs proprits en faisant varier leurs espces, imagination
qui puise la sensation ou ce qui est commun aux sens; ou bien nous posons
ces proprits et aussi les lemmes quelles ncessitent, successivement, par
une ncessit gomtrique []. Quant limagination de la ncessit de leurs
proprits par la variation de leurs espces grce ce qui est commun aux
sens, cest comme ce dont nous avons prcdemment donn un exemple: pour
tout triangle, les sommes des angles sont gales les unes aux autres.19

Une telle dmarche ne pouvait que conduire faire surgir la notion


dinvariant, savoir une proprit commune entre figures de mme
genre comme ici la somme des angles dun triangle. Cest bien ce quoi
al-Sijz consacre un petit trait, dont nous donnons plus loin une
dition et la traduction franaise.
Ce texte, vraisemblablement contemporain de lAnthologie de problmes, porte un titre qui pourrait paratre premire vue nigmatique: Sur lobtention de lois gomtriques dtermines (F tah.sl
al-qawann al-handasiyya al-mah.duda). Le mot dtermin sapplique
habituellement en effet des objets gomtriques ou des problmes
rsoudre, mais il semble peu adapt dsigner une classe de
thormes ou de lois gomtriques. Pour mieux comprendre
lintention dal-Sijz, il nous faut donc dcrire plus prcisment le
texte lui-mme.
Celui-ci comprend douze propositions, ou plutt douze noncs
puisque la plupart ne sont pas accompagns de dmonstration, le
mathmaticien se contentant en effet le plus souvent de renvoyer ses
traits antrieurs: son Anthologie de problmes, dsigne sous son
nom abrg de Commentaires gomtriques; ses traits, aujourdhui
perdus, sur les Proprits de lellipse et sur les Cercles tangents; le
texte quil consacre des dmonstrations alternatives dun certain
nombre de propositions des lments dEuclide.20 Il ne peut donc
sagir de signaler des rsultats nouveaux. Si ces propositions sont
ainsi rassembles par al-Sijz, ce ne peut donc tre que parce quil
tient en souligner la proximit, comme si elles relevaient dun mme
ordre dintention.
Or lexamen de ces noncs montre quils mettent tous en uvre des
figures dans lesquelles certains lments sont fixes, et dautres variables ou, du moins, quelconques. Dans la premire proposition, se
superposent ainsi deux rsultats issus de lAnthologie de problmes.
Le premier qui, notons-le, fera lobjet de la proposition 22 du livre I des
18
19
20

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

65

21

Connus dIbn al-Haytham, envisage un demi-cercle de diamtre AB


et un couple de points de ce mme diamtre, symtriques par rapport
au centre, et situs soit lextrieur du cercle (H et G), soit
lintrieur (K et I); si lon appelle C un point quelconque (ou variable)
du demi-cercle, alors HC2 + GC2 (ou KC2 + IC2) est gal une
constante indpendante de C.

Fig. 10.

Dans le second, qui est une sorte de gnralisation du thorme de


Pythagore, on considre trois arcs sur le segment AB, lun capable
dun angle droit et les deux autres capables de deux angles supplmentaires, lun aigu et lautre obtus. Puis on mne partir de B une
droite quelconque coupant les trois arcs successivement en D, C et E.
On obtient alors deux quantits invariables, indpendantes de la
droite issue de B:

Fig. 11.

La deuxime proposition du trait fait galement apparatre des


quantits invariables. On considre deux cercles concentriques de
diamtres EG et AB, o AB > EG, et lon mne du point B la corde HB,
coupant le cercle intrieur en deux points dont le plus proche de H est
nomm S. Le produit BS SH est alors une constante indpendante de
la corde mene de B.22
21
22

Rashed, Les mathmatiques infinitsimales, IV, 5303.


La proposition fait galement apparatre un troisime cercle, intrieur au cercle de diamtre EG. Le rsultat obtenu tant similaire, nous lomettons ici par souci de simplification.

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.

Certains rsultats faisant apparatre des quantits invariables sont


bien connus, comme la proprit bifocale de lellipse (proposition 7).
Dautres font apparatre des transformations. Ainsi la proposition 5
met en uvre deux cercles tangents, intrieurement ou extrieurement, et signale linvariance du rapport de lhomothtie qui fait de lun
le transform de lautre. De mme, la proposition 12 dgage linvariance du produit de linversion qui change un cercle et une droite;
si une droite DL est perpendiculaire au diamtre AB dun cercle,
toute droite issue de B rencontrant le cercle et la droite DL
dfinit deux segments dont le produit des longueurs est constant:
BI BG = BM BL = BC2.

Fig. 13.

Dans certaines propositions toutefois, ce ne sont pas des quantits


qui sont invariables, mais des proprits, comme des proportions.
Cest le cas, par exemple, pour la proposition 6, o al-Sijz donne la
proprit ple/polaire dans le cercle.23 Si A est un point extrieur un
cercle, on appelle B et C les points du cercle appartenant aux deux
tangentes issues de A, on mne la polaire BC puis une droite quelconque issue de A et coupant le cercle en G et D et la polaire en E; on
a alors, quelle que soit cette droite: AD/AG = DE/EG.
23

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

67

Fig. 14.

Le dessein dal-Sijz est donc parfaitement clair: faire apparatre


des quantits ou des proprits invariables alors mme que les lments qui les dfinissent sont soumis la variation. Dans ce sens, ces
quantits ou ces proprits sont parfaitement dtermines malgr
cette variabilit. Tel est selon nous le sens quil faut donner au titre
mme du trait: par lois gomtriques dtermines, dune manire
peut-tre maladroite, le mathmaticien nous semble ne pas vouloir
dsigner autre chose que des proprits invariantes.
En cela, ce texte annonce le trait des Connus dIbn al-Haytham, o
celui-ci explore lui aussi ce qui est invariant et donc connu24 dans
une figure dont certains lments sont mobiles. Les projets sont certes
diffrents: outre que celui dIbn al-Haytham est sans aucun doute plus
ambitieux et plus matris le mathmaticien redfinit une notion de
connu reste fige depuis les Donnes dEuclide, il met en uvre des
transformations de faon beaucoup plus nette que son prdcesseur
immdiat il faut en effet remarquer qual-Sijz ninterprte pas ses
rsultats en termes de connus et que, du reste, une proprit comme la
proprit ple/polaire peut difficilement ltre dans le sens que donne
Ibn al-Haytham au mot connu. Mais on ne peut que relever une
communaut de proccupations qui est bien le signe dune inflexion de
la rationalit gomtrique.
Cest bien cette inflexion qui nous semble se trouver au cur de
lactivit gomtrique dal-Sijz, tant dans la reconnaissance de
lusage des transformations que dans la recherche de proprits
invariantes. Car les deux sujets entretiennent bien videmment des
rapports troits: ne cherche-t-on pas des invariants parce que lon
transforme une figure? et dautre part, ne voit-on pas apparatre de
faon toute naturelle, parmi les lois gomtriques dtermines, les
proprits de transformations comme lhomothtie ou linversion? Ces
rapports ne sont certes pas toujours immdiats: ainsi, il serait difficile
de dcrire, au moyen dune transformation simple, les variations de la
24

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

figure luvre dans la proposition 2 du trait Sur lobtention de lois


gomtriques dtermines; en outre, le fait que les transformations
napparaissent pas encore en tant quobjets dtude ne pouvait que
gner un rapprochement plus explicite. Il reste que cest bien lusage
des transformations, parce quil ouvrait sur une apprhension dsormais non statique des figures et donc sur lide de variation, qui a
permis, en quelque sorte, que puisse tre conu le projet dont rend
compte le trait que nous ditons plus loin.
III. CONCLUSION

Ibn al-Haytham ne cite pas al-Sijz, de sorte quil serait hasardeux


daffirmer en toute certitude quil ait eu connaissance des travaux de
son prdcesseur. Le fait quon ne retrouve dans les Connus que
certaines propositions du trait Sur lobtention de lois gomtriques
dtermines tendrait mme suggrer le contraire, tant il est vrai que
des rsultats comme la proprit de linversion, pour ne prendre quun
exemple, avaient de quoi sduire Ibn al-Haytham tout en sinsrant
parfaitement dans le cadre de son tude. Toutefois, la comparaison
entre les deux textes permet de mesurer la distance parcourue et
dapprcier toute la nouveaut de la contribution de ce dernier: dbut
de ltude des transformations ponctuelles pour elles-mmes, fondements thoriques renouvels pour prendre acte des nouveaux modes
dapprhension des figures. En cette fin de Xe sicle, lheure nest sans
doute pas de tels dveloppements programmatiques, mme si peut
se manifester, comme chez al-Sijz, un souci de tenter de penser
autrement lactivit du gomtre, de chercher des raisons plus profondes derrire la saisie premire des faits gomtriques et de dpasser une manire strictement euclidienne denvisager figures et
propositions. Il sagit alors plutt de multiplier les exemples et de
dployer une activit en quelque sorte exploratoire qui, nous semblet-il, trouve tout naturellement son expression dans les anthologies de
problmes qui fleurissent lpoque.
La contribution dal-Sijz est ainsi le tmoin dun moment particulirement riche de lhistoire des mathmatiques, de ces moments
de bascule o lon commence mettre des mots transformation, lois
gomtriques dtermines sur des pratiques antrieures pour faire
surgir de faon explicite de nouvelles ralits ou de nouveaux objets,
permettant ainsi aux successeurs de mieux les penser et de sen saisir
de faon plus ample.
IV. TEXTE ET TRADUCTION

Le trait Sur lobtention de lois gomtriques dtermines nous est


parvenu sous la forme de deux manuscrits:

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES


r

69

Paris, Bibliothque nationale 2458/3, fol. 3 -5 , copi en 539 de

lHgire (11441145), not B;25


Istanbul, Reit 1191, fol. 70r-72v, copi avant le milieu du XVIIIe
sicle, not R. Ce manuscrit fait partie dun recueil copi partir
dun volume consacr aux uvres gomtriques dal-Sijz et conserv la bibliothque Chester Beatty Dublin sous la cte 3652. Ce
dernier volume, dont la copie a t acheve le vendredi matin 7
ramad.an de lanne 611, soit le 9 janvier 1215, comprend des textes
copis partir de loriginal; certains feuillets en ont t arrachs
puis perdus aprs la copie de R et contenaient, comme le montre
lindex en dbut de volume, le texte qui nous intresse ici.
Ces deux manuscrits offrent quelques diffrences: B ne contient pas
la douzime et dernire proposition, consacre la proprit de
linversion et qui est issue de lAnthologie de problmes; dans la
proposition 10, B renvoie aux Donnes dEuclide alors que R renvoie
notre livre sur les Commentaires gomtriques, autrement dit encore lAnthologie de problmes. Ces diffrences ne sont pas assez
nombreuses pour conclure de faon certaine, mais elles suggrent que
ces deux manuscrits puissent tre issus de deux versions successives
du mme texte. En effet, les renvois des propositions 10 et 12 dans le
manuscrit R ciblent des propositions qui se trouvent plus en aval dans
le texte de lAnthologie que les renvois prcdents; dautre part,
quelques propositions encore plus loignes de lAnthologie pourraient trouver leur place dans le trait qui nous occupe. Al-Sijz
pourrait ainsi avoir voulu amender et tendre son texte selon le
dernier tat davancement de la composition de son Anthologie, ce qui
ferait du trait Sur lobtention de lois gomtriques dtermines un
contemporain de cette dernire.

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

Au nom de Dieu Clment et Misricordieux

Livre dAh. mad ibn Muh. ammad ibn Abd al-Jall sur
lobtention de lois gomtriques dtermines

1) La droite AB est donne, nous lui appliquons un demi-cercle et deux


arcs capables de deux angles, aigu et obtus, soit ACB, ADB et AEB, et
posons les deux arcs capables de deux angles dont la somme gale
deux droits. Menons le diamtre des deux cts de sorte que AG soit
gale BH et posons galement AI gale BK. Menons des points G,
A, I, K, B et H des droites vers la circonfrence du demi-cercle ACB,
soit GC, HC, AC, BC, IC et KC. Prolongeons BC jusquen E, et joignons
AE et AD; je dis que la somme des carrs de AC et de BC gale le carr
de AB, que la somme des carrs de IC et de CK gale la somme des
carrs des deux droites menes des deux points I et K vers la circonfrence du demi-cercle ACB et de mme que la somme des carrs de
GC et de HC gale la somme des carrs des deux droites menes des
deux points G et H vers la circonfrence du demi-cercle ACB, que la
somme des carrs de AD et de DB est infrieure au carr de AB du

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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

produit de BD par DE, et que la somme des carrs de [R-70v] AE et EB


excde le carr de AB du produit de BE par ED.

Dmonstration. Pour lgalit du carr de AB et de <la somme des>


deux carrs de AC et de CB: puisque langle ACB est droit, alors <la
somme des> deux carrs de AC et de CB est gale au carr de AB. Pour
lgalit <de la somme> des deux carrs de IC et de CK, de GC et de CH
et <de la somme> des deux carrs de deux droites quelconques menes
des deux points I et K ou G et H vers la circonfrence du demi-cercle
ACB: nous avons dmontr cela dans notre livre sur les Commentaires
gomtriques.26 Pour <le fait que> le carr de AB excde <la somme
des> deux carrs de AD et de DB du produit de BD par DE: <cela> a
galement t dmontr dans ce mme livre.27 De mme <pour> le
dfaut du carr de AB sur <la somme des> deux carrs de AE et de EB
du produit de BE par EB: <cela> a galement t dmontr dans ce
livre;28 ce quil fallait dmontrer.
2) Dans la construction de trois cercles de mme centre, le fait de
mener le diamtre, de la position des points sur les extrmits des
deux diamtres du cercle intrieur et <du cercle> extrieur, et le fait
de mener les droites des points vers les deux circonfrences du petit
cercle et du moyen et vers les deux circonfrences du cercle moyen et
du grand, il se produit une proportion trs tonnante.

26
27
28

Anthologie de problmes, problme 5 (propositions 11 16).


Ibid., problme 21 (proposition 32).
Ibid.

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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

Traons, autour du centre P, les cercles AIB, EOG et CND, le


diamtre du grand cercle tant AB; je dis que les droites menes de A
et de B vers la circonfrence du cercle AIB sont partages par le cercle
EOG selon la proportion inverse, et que les droites menes de C et de
D vers la circonfrence du cercle EOG sont partages par le cercle
CND selon la proportion inverse. Menons BI, BH, DL et DK. Il faut
que nous dmontrions que BO par OI est gal BS par SH, et que DL
par LN est gal DK par KM.

Dmonstration. Menons CN, CM, AO et AS. Puisque le carr de CD


est infrieur <la somme des> deux carrs de DK et de CK du double
de DK par KM, que le carr de CD est galement infrieur <la somme
des> deux carrs de DL et de LC du double de DL par LN, et que <la
somme des> deux carrs de DK et de KC gale <la somme des> deux
carrs de DL et de LC, alors le double de LD par LN gale le double de
DK par KM. Donc DL par LN gale DK par KM. De mme, toutes les
droites menes du point C vers le cercle EOG et que coupe le cercle
CND sont coupes par lui selon ce rapport. [R-71r]
galement, puisque le carr de AB excde <la somme des> deux
carrs de AO et de BO du double de BO par OI, que le carr de AB
excde galement <la somme des> deux carrs de BS et de AS du

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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

double de BS par SH, et que <la somme des> deux carrs de BO et de


AO gale <la somme des> deux carrs de BS et de AS, alors le double
de BO par OI gale le double de BS par SH, donc BO par OI gale BS
par SH; ce quil fallait dmontrer. [B-3r]
3) Si lon suppose, sur la circonfrence dun cercle quelconque
comme le cercle AB, deux points comme A et B, que lon mne du point
A vers B la ligne droite AB, que lon mne du point A la droite AC
tangente au cercle, et que lon mne AD de sorte que langle BAD gale
langle CAB, alors toute droite mene du point B vers la droite AD est
partage par larc AGB selon la proportion inverse; ainsi de BD et de
BE: BD par BG gale BE par BH et gale le carr de AB. Cela a t
dmontr dans nos Commentaires gomtriques;29 ce quil fallait dmontrer.

4) Dans la position du point lintrieur et lextrieur du cercle, le


fait de mener deux lignes droites vers la circonfrence du cercle et leur
intersection ou de leur jonction au point donn, il se produit une
proprit <relevant> de la proportion et de la proportion inverse.

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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.

Dmonstration. Puisque AB par AC est gal AD par AE, alors le


rapport de AB AD est gal au rapport de AE AC.
Je dis que si lon mne, du point A vers la circonfrence du cercle,
une droite qui entoure, avec la droite mene de G vers le centre dans
le premier <cas de figure>, ou avec la droite mene de A vers le centre
dans le second, un angle droit, alors le rapport de AE AG est gal au
rapport de AG AD.
Dmonstration. Puisque AE par AD gale le carr de AG, alors le
rapport de AE AG est gal au rapport de AG AD; ce quil fallait
dmontrer.
5) Dans la tangence des deux cercles en un point et le fait de mener
les lignes droites vers les deux circonfrences des deux cercles, il se
produit galement une proportion.

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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

Al-Sijz a compos un livre, aujourdhui perdu, sur les cercles tangents.

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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

selon un mme rapport, cest--dire que le rapport de AD AG est gal


au rapport de DE EG; nous avons dmontr cela dans nos Commentaires gomtriques.31
7) Parmi les consquences de ce paragraphe,32 on trouve une proprit sur lellipse quil convient dadjoindre aux proprits du cercle,
qui est que toute ellipse, si son grand diamtre est divis en trois
parties de sorte que le produit de <la somme de> deux parties quelconques des trois par lautre qui est adjacente lextrmit gale le
carr de la moiti de son petit diamtre, alors <la somme des> droites
menes des deux points qui sont le lieu du partage du grand diamtre
vers la circonfrence de la section et qui se rencontrent sur sa circonfrence en un mme point, considre comme une mme ligne droite,
gale le diamtre de lellipse.
Que lellipse soit DCE, et que son grand diamtre soit DE. Posons
DB [B-3v] par BE gal au carr de la moiti du petit diamtre, avec DA
gal BE. Menons les deux droites AC et BC vers la circonfrence de
la section. Alors <la somme des> deux droites AC et BC gale la droite
DE. Nous avons dmontr cela dans la soixante-douzime proposition
de notre livre sur les Proprits de lellipse;33 ce quil fallait dmontrer.

8) On trouve sur lellipse et le cercle une proportion inverse du point


de vue de la proportion des diamtres.

31
32
33

Anthologie de problmes, problme 3, en particulier les propositions 7 9.


Cest--dire la proposition prcdente.
Livre aujourdhui perdu, o al-Sijz semble avoir dduit les proprits de lellipse de ltude
des sections du cylindre.

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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.

9) Il y a galement une circonfrence de cercle telle que si lon mne


de deux points donns deux droites vers elle, alors le rapport de lune
delles lautre est gal un mme rapport donn.

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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

Supposons H et B et joignons H et B par la ligne droite HB, le


rapport de HD DB tant donn. Partageons HB en deux moitis en
C, posons le produit de HD par DB gal AD par DC et traons sur AD
le demi-cercle AGD, alors les deux droites menes des deux points H et
B vers la circonfrence du demi-cercle AGD sont selon le rapport de
HD DB, <cela> a t dmontr dans notre livre sur les Commentaires gomtriques;34 ce quil fallait dmontrer.
10) Il reste galement une proprit du fait de mener deux lignes
droites de deux points donns sur la circonfrence du cercle se rencontrant galement sur la circonfrence en un mme point.

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

Anthologie de problmes, problme 2, proposition 4.

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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

des lments. Il sensuit galement que le produit de la somme de


AC et de CB par ED est gal au produit de <la somme> des deux
droites menes des deux points A et B vers la circonfrence du cercle
par la droite qui est mene du point D vers la droite AB et dont le
complment prolong <aboutit> au <point de> rencontre des deux
droites menes des deux points A et B vers la circonfrence du cercle.
Il sensuit galement que le rapport de la somme de BC et de CA CD
est gal au rapport <de la somme> des deux droites menes de A et B
vers la circonfrence du cercle la droite mene du lieu de leur
rencontre vers le point D, nous avons dmontr cela dans notre livre
sur les Commentaires gomtriques;36 ce quil fallait dmontrer. [R72v]
11) Il peut tre produit, du fait de mener deux droites tangentes
un cercle donn et parallles entre elles, du fait de mener deux autres
droites des deux points de tangence vers la circonfrence du cercle,
leur rencontre tant sur la circonfrence, et de leur sparation de par
ce quelles rencontrent les deux droites tangentes, une proportion
entre le diamtre et les deux droites qui sparent les deux droites
menes des deux droites tangentes. De mme, du fait de mener une
droite tangente au cercle dont les deux extrmits sont sur les deux
droites tangentes [B-5r] parallles entre elles, il se produit une proportion entre elles deux et entre le demi-diamtre du cercle.

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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

Soit le demi-cercle AIB, et que AD et BC lui soient tangentes, on a


men AGC et BGE. Alors le rapport de BC AB est gal au rapport de
AB AE. Nous avons dmontr cela dans notre livre sur les Commentaires gomtriques.37 galement, menons DIH tangente au cercle
AIB au point I et menons du centre K la droite KI. Il se produit de cela
que le rapport de AD IK, qui est le demi-diamtre du cercle, est gal
au rapport de IK BH. Nous avons galement dmontr cela dans ce
mme livre;38 ce quil fallait dmontrer.
12)39 On peut trouver une proprit en menant, du milieu de larc
CBD, qui est le point B, des droites comme les droites BEA, BIG, BC,
BKH et BML: alors BA par BE est gal BG par BI, au carr de BC,
BH par BK et BL par BM. On trouve une autre proprit: si nous
menons les droites BG, GD, CA et AD, alors le rapport de BA AG est
gal au rapport de la somme de CA et de AD la somme de BG et de
GD, nous avons dmontr cela dans le livre des Commentaires
gomtriques;40 ce quil fallait dmontrer.

Lptre est acheve, grce Dieu.

37
38
39
40

Anthologie de problmes, problme 1, propositions 1 3.


Ibid., problme 6, proposition 17.
Proposition absente du manuscrit B.
Anthologie de problmes, problmes 41 et 42, propositions 62 et 63.

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

DE LUSAGE DES TRANSFORMATIONS GOMTRIQUES

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