ÉQUATIONS TERNAIRES ET QUATERNAIRES

Les six premières sont résolues arithmétiquement et géométriquement; après quoi, l’auteur fait observer que les solutions géométriques des six autres exigent l'emploi des sections coniques, comme la troisième des binaires, et qu'il en est de même des sept quaternaires. Mais, avant de passer à la solution de ces quatorze équations, il donne celle des trois questions suivantes :

1° Insérer deux moyennes proportionnelles entre deux lignes données ns ba JS gta y Luolire de NT ag be.

2° Construire sur un rectangle donné un parallélipipède rectangle égal à un solide donné AE pohudl (sjloe Dur a aol de Jus) ou ss! pt Dole LIST.

3° Construire un solide dont la base soit un carré, et la hauteur égale à une ligne donnée, et qui soit en même temps égal à un solide donné La Jrulils pipe dseli use Less as ce ps L bus JS Dpsyill. |

1l reprend alors la troisième des binaires, à laquelle il applique la solution des deux moyennes proportionnelles par deux paraboles, et passe aux treize autres équations, lesquelles, ainsi que la

précédente, sont du troisième degré, et qu’il ne

(375 ) se propose de résoudre que géométriquement.

La première, qui est la septième des ternairés,

est de la forme LEMX—Nn—=0.

L'auteur la résout par une construction où il emploie le cercle et la parabole.

C'est à la fin de cette solution que la copie se trouve interrompue, n'ayant pas été achevée par le copiste , qui a même omis les figures des trois dernières constructions.

Quoi qu’il en soit, ce pelit traité montre d’une manière incontestable que les Arabes ont connu les équations cubiques, et l’art d’exprimer graphiquement les formules, art si beau et si précieux que Keppler regrettait de ne pas savoir (1).

On a prétendu que nous avions attribué aux Arabes la résolution algébrique des équations du troisième degré, et notre réponse ne s’est point fait attendre (2); nous n'avons rien eu à retirer de ce que nous avions avancé, et le savant géomètre, M. Chasles, dans son appréciation de notre travail, n’y a point vu les assertions qu’on nous prétait : « Montucla, dit-il, pensait que les Arabes « pouvaient bien avoir traité des équations du

(1) Voy. plus haut, p. 124.

(2) Comptes rendus des séances de l’Académie des sciences, 23 avril et 13 mai 1638.

« troisième degré; il se fondait sur le titre .4/- « gebra cubica seu de problematum solidorum reso- « lutione d’un manuscrit de la bibliothèque de « Leyde, attribué à Omar-ben-lbrahim (le même, « peut-être, qu'Omar - Alkheïami); le fragment «trouvé par M. Sédillot confirme encore à cet « égard la conjecture de Montucla, et en fait l’un « des points les plus importants et l’un des mo- « numents les plus précieux de l’histoire scienti- « fique des Arabes. »

On voit que les documents originaux que nous possédons sur cette branche des mathématiques se réduisent à bien peu de chose, si l’on considère combien les savants de l’école de Bagdadnous ont laissé de traités d'aloèbre (1).1l en est de même de l’arithmétique, qu'ils nous ont transmise avec nos chiffres modernes, et dont ils ont développé les éléments dans un nombre infini d'ouvrages spéciaux que personne n’a pris la peine de traduire. M. Chasles, qui a répandu dans ces derniers temps une si vive lumière sur l’origine de notre système de numération (2), a plusieurs fois exprimé le regret de n'avoir pu trouver une version authenti-

que d’un seul traité d'arithmétique arabe.

(1) Voy. notre Zntroduction aux tables d'Oloug-Beg, p. 54, 56, 62, etc.

(2) Voy. plus loin notre V° partie.

En géométrie, nous sommes un peu plus au courant des travaux de nos devanciers. Dès le règne d’Almamoun,, Euclide, Théodose, Apollonius, Hypsiclès et Menelaus avaient été traduits; le traité d’Archimède de sphærd et cylindro, et probablement ses autres ouvrages, étaient commentés, et les productions multipliées des géomèetres arabes prouvent que, pendant plusieurs siècles, ils s’occupérent des questions les plus ardues de la science; l'intérêt qu'ils attachaient aux discussions scientifiques, se révèle surtout dans leur correspondance mathématique, dont nous avons recueilli des fragments. L'auteur de la solution de ce problème : trouver sur un miroir sphérique le point de réflexion, le lieu de l'objet et celui de l'œil étant donnés, était évidemment un esprit d’un ordre supérieur.

On est bien obligé de reconnaitre que les Arabes ne se sont pas bornés à traduire les traités des Grecs; et si nous leur devons de la reconnaissance pour nous avoir conservé plusieurs livres d’Apollonius, d’Archimède, de Théodose , etc., la forme qu'ils ont donnée à la trigonométrie sphérique ne leur fait pas moins d'honneur. Ils substituèrent aux méthodes anciennes des résolutions plus simples, en proposant trois ou quatre

théorèmes qui sont le fondement de notre trigo-

nométrie moderne. Ils employèrent, au neuvième siècle, les sinus des arcs au lieu des cordes des arcs doubles, et, comme nous l’avons déjà rappelé, ils simplifièrent, un peu plus tard, par lintroduction des tangentes, l’expression des rapports circulaires , d’abord si longue et si embarrassée(x).

Le petit traité de géométrie spéculative de Hassan-ben-Haithem (2), que nous avons fait connaitre, donne une idée assez juste des considérations métaphysiques que les géomètres arabes ont répandues dans leurs écrits. On nous a reproché d'y avoir vu les principes d’une géométrie qu’on a nommée dans ces derniers temps géométrie de position; mais nous n'avons fait qu'émettre une idée partagée par nos plus habiles mathématiciens, et nous devons dire que, sur ce point encore, M. Chasles , analysant notre travail, n’en a fait l'objet d'aucune critique (3).

Hassan-ben-Haithem florissait vers lan /4oo de lhégire (1009 après 3. C.), et mourut au Caire en

430 (1038 après J. C.).

(1) Delambre, Hist. de l’astronomie au moyen äge, p. 151 et 152 : Analyse des travaux de mon père; Chasles, Aperçu des méthodes, etc., p. 494, et 495 , et plus haut, p. 27.

(2) Ms. ar. n° 1104, fol. 11; — Des connues géométriques, par Abou-Ali-al-Hassan-ben-al-Hassan-ben-al-Haithem.

(3) Journal asiatique, 1834; M. Chasles, loc: cit. ; Comptes rendus de l’Académie des sciences, 23 avril et 13 mai 1838.

Il a composé aussi un recueil d'observations astronomiques , un commentaire de l’Almageste, et un autre sur les définitions qui sont en tête des Éléments d’Euclide tri

La copie du traité des connues, qui se trouve dans le manuscrit 1104 de la Bibliothèque royale, est de l'an 539, le 9 de dzoulhiggeh(3 juin 1144).

Hassan-ben-Haithem était un astronome distingué, et l'attention qu’il accorde à des questions élémentaires de géométrie nous fait voir l'importance qu'il attachait aux principes de la science; ce qui caractérise l’esprit des érudits de son temps, el montre aussi qu'ils cultivaient les sciences pour elles-mêmes, et qu’ils cherchaient à découvrir tous les points de vue sous lesquels elles peuvent être considérées.

Les préliminaires du traité d’Hassan-ben-Haïthem permettent d'apprécier assez exactement la philosophie mathématique des Arabes ; quant à

(1) Le catalogue de la Bibliothèque bodleyenne porte, art. 908 : « Codex Bombycinus anno hegir. 987, Christ. 1579, «exaratus, ubi reperiuntur, 1° Ibn-al-Haithami geometræ ce. « leberrimi, in definitiones quæ elementis Euclidis præmit- «tuntur, commentarius, 71 fol. constans; mortuus autor « Cairi anno hegir. 430, Christ. 1038. » — On trouve dans l'ouvrage d’Abou-Ossaïbah la liste de quatre-vingt-huit de ses ouvrages; voyez le Mémoire que nous avons inséré dans le t. XIII des Motices et extraits des manuscrits, publiés par l’Académie des inscriptions et belles-lettres, p. 128.

( 380 ) l'ouvrage même, il est divisé en deux livres; l’auteur fait remarquer que « le premier comprend « des choses tout à fait neuves et dont le genre « même n'a pas été connu des anciens géome- «tres (1), et que le second contient une suite de « propositions anologues à celles qui ont été trai- « tées dans le livre des Data, mais qui ne se trou- « vent pas dans cet ouvrage d'Euclide. » Au reste, si Hassan-ben-Haithem marche sur les traces d'Euclide, il ne se montre pas inférieur à son modèle. Il commence ainsi : Prolégomènes : définition des

CONNUES, le Axll leurs divisions et subdivisions. , ke 5%

(1) Pappus d’Alexandrie a indiqué, dans le vrr* livre de ses Collections mathématiques, tout ce que ses devanciers avaient écrit de locis; en supposant que Hassan-ben-Haithem ait emprunté aux Grecs l’idée première de son travail, on doit toutefois reconnaître que par ses applications il est devenu auteur original. Voici ce que dit Pappus de ceux qui l’avaient précédé : « Librorum qui ad resolutum locum pertinent ordo «talis est : Euczinis datorum liber unus. APorLoni1 Àoyou

-« drorouñs, hoc est de proportionis sectione libri duo; yoptou « ärorouñs, hoc est de spatii sectione duo; éragüv, hoc est « tactionumauo. Euczipis porismatum tres. APOLLONII VEUGEUWY, « hoc est inclinationum duo. Ejusdem rônuv émimédov, hoc est « planorum locorum duo; conicorum octo. ARISTÆI Torwy « çepsüv, hoc est locorum solidorum quinque. Euczipis +orwy «mpès éripéviav, hoc est locorum ad superficiem duo. Era- « TOSTHENIS de medietatibus duo. Itaque omnes libri sunt nu- « mero triginta et unus. » — Voy. Papp., Collect, mathem, à Commandino in lat. cons. In-fol, Bononiæ, 1660.

La connaissance (1) Ji, sctentia, se compose d'opinions immuables, ps Lyb)l , et l’on entend par opiruon , uw , Un Jugement, sl&c|, porté sur une chose quelconque, mais un jugement immuable, tel que le Jugement exprimé par cette proposition : le tout est plus grand que sa partie.

Or, il ne peut y avoir de jugement, sans qu'il y ait une personne qui juge et une chose jugée ; et 1] ne peut y avoir de jugement immuable qu’autant que la chose jugée est elle-même immuable.

La connaissance est donc le jugement d’une chose immuable ; le connu est cette chose immuable en tant qu’elle est jugée; et le connaissant, celui qui juge une chose immuable, Carina pl à F° Je

Quant au jugement porté sur une chose mua-

ble ou sujette au changement , il ne peut être

(r) Le mot de science ou de connaissance renferme néces-— sairement deux choses : l’une est la vérité, et l’autre l’évidence. En effet, ce qui n’est pas ia vérité ne peut être connu, Qu'un homme nous dise tant qu’il voudra qu’il connaît très-— bien une chose; si ce qu'il dit se trouve faux par la suite, il sera forcé d’avouer qu'il n'avait pas une connaissance, mais une opinion. Pareillement si une vérité n’est pas évidente, la connaissance de l’homme qui la soutient, ne sera pas plus sûre que celle de ceux qui soutieunent le contraire, car si la vérité suffisait pour constituer la connaissance ou la science, toute vérité serait connue, ce qui n’est pas. Hobbes, De la nature humaine, ch. vi.

( 382 ) regardé comme connaissance, parce que la chose muable n'existe pas constamment sous la même forme; tel est le jugement que nous exprimons par cette proposition, Zéd est debout ; car il se peut que Zéid ne soit pas debout à l'instant du Jugement, mais qu'il y soit dans tout autre temps.

Néanmoins ce qui dépend du temps, comme l’objet de ce jugement, Zéid est debout, ou a été debout, peut donner lieu à un jugement vrai; et si l’on est assuré qu’il est vrai, il pourra être nommé connaissance, quoique par extension et parce qu’il ressemble à la connaissance, en ce que c'est un Jugement vrai, car, dans le sens propre et rigoureux du mot connaissance , la connaissance ne doit varier dans aucun temps Laxjt Léls FENTE TS year) 5 2 Y ait) DE (iiss de DEN Ai FRE

Observons encore que la connaissance étant un Jugement , et un Jugement ne pouvant avoir lieu sans une personne qui juge, il ne peut y avoir de connaissance sans qu'il ÿ ait une personne qui connaisse (aliquis noscens).

Le jugement porté sur une chose immuable est de deux espèces, selon que celui qui juge cette chose immuable sait ou ne sait pas qu’elle est telle ; car autre est le jugement d’une chose immuable, autre le jugement de son immuabilite.

De là, celui qui juge une chose immuable et qui sait que son jugement porte sur une chose telle, est savant non-seulement en cette chose, mais par la connaissance de son immuabilité il sait encore qu’il la connaît de science certaine, et c’est ce qui constitue le vrai connaissant (vere noscens).

Au contraire, celui qui juge une chose immuable sans savoir qu’elle est telle, peut bien être regardé comme savant en cette chose ; mais comme il ne sait pas s’il la connait de science certaine, parcequ'il ignore si elle est muable ou immuable, et qu'il juge sans l'évidence et non d’une manière absolue, mais par voie d'admission ou de confiance dans la bonté d’une opinion, ou seulement par convenance, il ne peut être appelé connaissant que relativement à la chose et non relativement à son immuabilité, ce qui, réuni, constitue la vraie connaissance.

La connaissance est aussi de deux espèces, connaissance de fait et connaissance virtuelle pli Bal pl 5 Jill.

La connaissance de fait est celle qui résulte du jugement de quelqu'un qui juge, et la connaissance virtuelle est celle qui aurait lieu si le Jugement était porté.

Et puisque la connaissance est un jugément, ét

qu'un jugement ne peut avoir lieu sans une per-

( 584) sonne qui juge et sans une chose jugée qui est le connu (zotum), et qu’en outre la connaissance est de deux espèces, connaissance de fait et connaissance virtuelle, le connu sera aussi de deux espèces : connu de fait et connu virtuellement BOL Loslee à Jaslls Loolas.

Le connu de fait (realiter notum) est celui qui est connu à celui qui peut juger, et le connu virtuellement (virtualiter notum) est celui qui peut Jui devenir connu.

Nous avons dit que le connu doit être une chose immuable; ainsi les choses immuables peuvent ètre considérées sous deux rapports, selon qu'elles sont ou peuvent être l’objet du jugement de celui qui juge.

D’après tout ce qui précède, le connu sera nécessairement une chose immuable, que cette chose soit ou ne soit pas encore jugée par celui qui juge.

Les connus se subdivisent encore en tant qu'ils ont ou n’ont pas pour objet la quantité, if ; nous ne nous ocCuperons ici que de ceux qui sont relatifs à la quantité.

Or il y a deux espèces de quantité : la quantité discrète où disjointe et la quantité continue LG art Leo , ilaif|.

La quantité discrète est de deux sortes; telles

( 385 ) sont pour la première les lettres qui composent les mots, el pour la seconde, /es nombres ; is Dos)t, HN

La quantité continue est de cinq sortes: savoir « ligne, la surface, le solide, le poids et le temps ou la durée, ete. Let, Ja, pas : En Lo,

Suivent des considérations très-étendues sur les divisions , subdivisions et propriétés de ces sortes de quantités.

L'auteur termine ces prolégomènes par la définition des rapports, à» ; il explique ce que l’on entend par lignes connues de grandeur et de posi- Lion JT ges) ds la Las, et passe aux propositions géométriques qui forment le corps de louvrage, divisé, comme nous l’avons dit, en deux livres.

Énoncés des propositions. — LIVRE PREMIER. — Prop. 1°. Lorsque d’un point connu de position on tire une droite de grandeur éonnue, l'extrémité de cette droite est sur la circonférence d’un cercle connu de position (1) &solne Lx DS HS à? DER 8,1 Le» jus ax Les Le pla nr Le E 1

Prop. 2. Lorsque du centre, ;$ UP) d'un cer-

(1) Les planches jointes à ce volume rectifieront suffisamment ce qu'il y a d’incomplet dans cette proposition et dans quelques autres.

cle connu de grandeur et de position, 6n mène une ligne droite à la circonférence et qu’ensuite on l’incline sous un angle connu, de Çshsl UE iles b,l) et que le rapport de la première ligne à la seconde est connu, A NEO ñus ut & ges SU l'extrémité de la seconde ligne est sur une circonférence de cercle connue. (Fig. 24.)

Prop. 3. Lorsque d’un point connu de position dans un cercle connu de grandeur et de position, le point connu étant autre que le centre du cercle, on mène une ligne droite à la circonférence et qu'on prolonge cette droite directement, si le rapport de la première ligne à la seconde est connu , l'extrémité de cette seconde ligne sera sur une circonférence de cercle connue de position. (Fig. 25 et 26.)

Prop. 4. Lorsque d’un point connu de position,

dans un cercle connu de grandeur et de position, le point étant autre que le centre, on mène une droite à la circonférence , et qu’ensuite on incline cette droite sous un angle connu, si le rapport de la première ligne à la seconde est connu, l'extrémité de cette seconde ligne sera sur une circonférence de cercle connue de position. (Fig. 57 ett291

Prop. 5. Lorsque d’un point connu de position

on mène à une droite connue de position une au-

( 387 ) tre ligne droite, et qu’ensuite on l'incline sous un angle connu, si le rapport de la première ligne à la seconde est connu, lextrémité de cette seconde ligne sera une ligne connue de position. (Fig. 20.)

Prop. 6, Lorsque de deux points connus de position on mêne deux lignes droites qui se coupent en un point où elles forment un angle connu , 5h AB} Le ÇLS ox LELAT, bé Je Last, isslse ce point sera sur une circonférence de cercle connue de grandeur et de position. (Fig. 30.)

Prop. 7. Lorsque de deux points connus de position on mène deux lignes droites qui se coupent en un point où elles forment un angle connu , et qu'ensuite on prolonge directement une des deux lignes, si le rapport de cette ligne à son prolongement est connu, son extrémité sera sur une circonférence de cercle connue de position. (Fig. 31.)

Prop. 8. Lorsque de deux points connus dé position on mène deux lignes droites qui se rencontrent en un point et qui sont égales entre elles, le point est une ligne droite connue de position. (fig. :32.)

Prop. 9. Lorsque de deux points connus de position on méne deux lignes droites qui se rencontrent en un point, et que le rapport de ces deux

( 388 ) lignes, savoir, celui de la plus grande à la plus petite, est connu, le point de rencontre est sur une circonférence de cercle connue de position. (Fig. 33.)

Prop. 10. Lorsque de deux points connus de position on mène deux lignes droites qui se rencontrent en un point, si l’on Joint ce point aux deux autres , et ceux-ci entre eux , par des lignes droites, et que le triangle qui en résulte soit connu de grandeur, le point de rencontre sera sur une quatrième ligne droite connue de position. (Fig. 34.)

Prop. 11. Si entre deux cercles égaux on mène une droite parallèle à la ligne qui joint les deux centres, et que les deux extrémités de la première ligne soient semblablement placées à l'égard des deux cercles, cette ligne sera égale à celle qui Joint les deux centres. (Fig. 35.)

Prop. 12. Lorsque entre deux cercles égaux, connus de grandeur et de position, on mêne une ligne droite parallèle à la ligne qui joint les deux centres, et qu’on prolonge directement la droite par l’une de ses extrémités, si le rapport de cette droite à son prolongement est connu, l’extrémité de ce prolongement sera sur une circonférence de cercle connue de grandeur et de position.(Fig. 56.)

Prop. 13. Lorsque d’un point connu de posi-

7 (389) tion on mène à une ligne droite connue de gran deur et de position, une ligne droite coupant la première et prolongée directement [de a r ill, si le rapport de cette ligne à son prolonsement est égal au rapport des deux parties de la ligne connue de grandeur et de position, l’extrémité du prolongement est sur une ligne droite connue de position. (Fig. 37.)

Prop. 14. Lorsque d'un point connu on mène à une ligne droite connue de grandeur et de position une autre droite qui la coupe, et qu’on prolonge cette droite directement, si le produit de cette droite parson prolongement est égal au produit des deux parties de la ligne pi) yo jLas JAY Hate sat LO)| re yo és SU ON connue de grandeur et de position, l'extrémité du prolongement de la seconde ligne droite se trouve sur une circonférence de cercle connue de position. (Fig. 38.) | |

Prop. 15. Lorsque de deux points connus on

mène à un cercle connu de grandeur et de position deux lignes qui se coupent dans l'intérieur du cercle, et que l’on prolonge ensuite jusqu'à la circonférence, si le produit des deux parties de l’une des deux lignes est égal au produit des deux parties de la seconde ligne, et que lon

joigne par une ligne droite les deux premiers points

( 386 ) ” de rencontre des deux lignes avec le cercle, cette droite sera parallèle à celle qui joint les deux points donnés. (Fig. 39.)

Prop. 16. Lorsque de deux points connus on mène à un cercle connu deux lignes droites qui se coupent dans l'intérieur du cercle; si, prolongées jusqu’à la circonférence, elles sont divisées par le point de rencontre en même rapport, les deux premiers points de rencontre des deux lignes avec le cercle sont sur une circonférence de cercle qui passe par les deux points connus. (Fig. 40.)

Prop. 17. Lorsque de deux points connus de position on mène à un cercle connu de grandeur et de position deux droites qui se coupent sur la circonférence du cercle, et que l’on prolonge jusqu’à ce qu'elles rencontrent de nouveau la circonférence, si ces deux lignes sont divisées en même rapport à leur point de rencontre, le rapport du produit de lune d’elles par sa partie comprise dans le cercle, au produit de la seconde aussi par sa partie comprise dans le cercle, est un rapport connu (Fig. 41.) |

Prop.18. Lorsque deux cercles connus de grandeur et de position sont tangents, et que l’un est dans l'intérieur de l’autre, si l’on méne une droite qui coupe les deux cercles d’une manière quel-

conque, et que l’on joigne par une ligne droite

( 591 ) | lun des points d’intersection du petit cercle avec le point de tangence, le rapport du produit des deux parties de la ligne qui coupe les deux cercles au carré de la droite qui joint le point de tangence au point d’intersection du petit cercle, est un rapport connu, (Fig. 42.)

Prop. 19. Lorsque deux cercles connus sont tangents et que l’un est dans l’intérieur de l'autre HD hys pral,to, si lon mène au petit cercle une tangente dont l'extrémité (autre que le point de tangence) soit terminée à la circonférence du grand cercle, et qu’on joigne par une ligne droite cette extrémité au point de tangence des deux cercles, le rapport de cette dernière ligne à la tangente est un rapport connu. (Fig. 43.)

Prop. 20. Les mêmes cercles étant donnés, si l’on prolonge la tangente des deux côtés du point de tangence jusqu’à la grande circonférence, la ligne menée du point de tangence des deux cercles au point de tangence du petit cercle et de la tangente coupera en deux parties égales l'arc de la grande circonférence sous-tendu par la tangente au petit cercle. (Fig. 44.)

Prop. 21. Lorsque deux cercles connus sont tangents et que l’un des deux est dans l'intérieur de l’autre, si l’on mène du point de tangence un

diamètre commun aux deux cercles, et que par

le point où ce diamètre coupe le petit on mène une droite qui coupe le petit cercle en un second point, cette droite sera divisée, en ce point, en deux parties telles que le rapport du produit de ces deux parties plus un carré, et du carré de la parle comprise dans le petit cercle, est un rapport connu. (Fig. 45.)

Prop. 22. Lorsque dans un cercle connu de grandeur et de position, on mène un diamètre connu de position et que sur ce diamètre on prend deux points également éloignés du centre: si de ces deux points on mène deux lignes qui se rencontrent en un point de la circonférence du cercle, les carrés de ces deux lignes seront connus, et ensemble égaux aux carrés des deux parties du diamètre (à partir d'un des deux points donnés). (Fig. 46.)

Prop. 23. Lorsque de deux points connus on mène deux lignes qui se rencontrent en un point où elles forment un angle aigu, et que la somme de leurs carrés est connue, le point de rencontre est sur la circonférence d’un cercle connu de grandeur et de position. (Fig. 47.)

Prop. 24. Lorsque dans un cercle connu de grandeur et de position on mène une corde, y: quelconque, et qu’on la divise en deux parties, si

le roduit de ces deux parties est connu, le point

( 395 ) de division &smiïlt iL5; est sur une circonférence de cercle connue de grandeur et de position. (Fig. 48.)

LIVRE SECOND. — Prop. 1. Lorsque d’un point connu on mène à un cercle connu de grandeur et de position une droite qui coupe le cercle; si le point donné est hors du cercle et si le rapport de la partie extérieure de la ligne à la partie qui est dans le cercle est un rapport connu, la ligne sera connue de position. (Fig. 49.)

Prop. 2. Lorsque d’un point connu on mène à un cercle connu de position une ligne droite qui sépare du cercle un segment connu, cette droite sera connue de position. (Fig. 5o.)

Prop. 3. Lorsque d’un point connu on mêne à une ligne droite connue de grandeur et de position une autre ligne droite dont le rapport à une des parties de la première est connu, la seconde droite est connue de position. (Fig. 51.)

Prop. 4. Lorsque d’un point connu on mène à deux lignes parallèles connues de grandeur et de position une ligne droite qui sépare des deux autres lignes deux parties quelconques, si le rapport de ces deux parties est connu, la ligne menée sera connue de position. (Fig. 52.)

Prop. 5. Lorsque d’un point connu on mène à une ligne droite connue de grandeur et de posi-

tion une autre ligne droite; si la somme de cette

ligne et de l’une des deux parties de la première est connue, la ligne menée sera connue de position. (Fig. 53.)

Prop. 6. Lorsque de deux points connus de position on mène à une droite connue de position deux lignes qui, se rencontrant sur cette droite, forment un angle connu, ces deux lignes sont connues de grandeur et de position, (Fig. 54.)

Prop. 7. Lorsque de deux points connus on mêne à une droite connue de position deux droites qui s’y rencontrent, si le rapport de ces deux droites entre elles est connu , ces deux droites sont connues de position. (Fig. 55.)

Prop. 8. Lorsque deux lignes droites parallèles sont connues de position, et que, prenant sur l’une d'elles deux points, on mêne par ces deux points deux lignes droites qui se rencontrent sur la seconde parallele, si le produit des deux lignes menées l’une par l’autre est connu, ces deux lignes sont connues de grandeur et de position. (Fig. 6.)

Prop. 9. Lorsqu'on a deux lignes droites parallèles connues de position , et qu’on prend sur l’une d'elles deux points quelconques, par lesquels on mene deux lignes qui coupent la seconde parallele et se rencontrent ensuite ; si le triangle

formé (par ces deux lignes et la partie interceptée

(395 ) de la première parallèle) est connu de grandeur, la partie interceptée de la seconde sera aussi connue de grandeur. (Fig. 55.)

Prop. 10. Lorsque des deux extrémités d’une ligne droite connue de grandeur et de position on mène deux droites sous des angles connus et qui se rencontrent, ibë (Le Lait, utiles ls (de z’ ces deux droites sont connues de grandeur et de position. (Fig. 58.)

Prop.11.Lorsqu’on prolonge l’un des côtés d’un triangle dont les côtés sont connus de grandeur et de position, et qu’on prend sur le prolongement un point connu par lequel on mène une droite qui coupe le triangle et sépare de ses deux côtés vers la base deux parties quelconques, si le rapport de ces deux parties est connu, la ligne menée sera connue de position. (Fig. 59.)

Prop. 12. Ayant un cercle connu de grandeur et de position et une droite connue de position, lorsqu'on mêne une tangente au cercle, qui se termine à la ligne connue de position, si cette tangente est connue de grandeur, elle le sera aussi de position. (Fig. 60.)

Prop. 13. Ayant un cercle connu de grandeur et de position et une ligne droite connue de position, lorsqu'on mène du cercle à la ligne une

droite qui fait avec celle-ci un angle connu, si la

( 396 ) droite menée est connue de grandeur, elle sera aussi connue de position. (Fig. 6r.)

Prop. 14. Étant donné entre deux lignées paralléles, y) Lx, connues de position, un point par lequel on mène une droite qui coupe les deux parallèles, si le produit des deux parties de cette droite (à partir du point donné) est connu, la droite sera connue de position. (Fig. 62.)

Prop. 15. Lorsqu'on a un triangle dont les côtés et les angles sont connus, et qu’on mêne une ligne du sommet à (un point quelconque de) la base, si le rapport du carré de la ligne au rectangle formé sur les deux segments de la base est un rapport connu, la ligne menée sera connue de position. (Fig. 63.)

Prop. 16. Lorsque deux lignes droites qui se rencontrent sont connues de position, et que, prenant un point entre ces deux lignes, on mène par ce point une droite qui coupe les deux lignes connues de position, si le rapport des deux par-

ties de la droite est un rapport connu, cette droite sera connue de grandeur et de position. (Fig. 64.)

Prop. 17. Lorsque deux lignes droites qui se rencontrent sont connues de position, et que, prenant un point entre ces deux lignes, on mène par ce point une droite qui coupe les deux lignes

counues de position, si le produit des deux par-

( 597 ) ties de la droite est connu, cette droite sera connue de grandeur et de position. (Fig. 65.)

Prop. 18. Lorsque dans un cercle connu de grandeur et de position on mène une corde qui sépare du cercle un segment connu, et qu’ensuite on prend sur lun des deux arcs un point autre que le médial, et que de ce point on mène une droite à l’autre segment (jusqu’à la circonférence), puis que des deux extrémités de la corde on tire à ce point deux lignes droites, si le rapport de la somme de ces deux lignes à la première est un rapport connu, cette première ligne sera connue de grandeur et de position. (Fig. 66.)

Prop. 19. Lorsqu'un des angles d'un triangle est connu, et que du sommet de cet angle on mêne une droite qui le divise en deux parties connues, si le rapport des deux segments de Ja base est égal au rapport de l’un des côtés de l’angle à la ligne, le rapport de cette ligne à l’autre côté sera connu. (Fig. 67.)

Prop. 20. Lorsque les trois angles d’un triangle sont connus, si de l’un des angles on mene une droite qui divise la base 55215 pis (ou côté opposé, en deux parties qui soient) dans un rapport connu, la droite sera connue de position. (Fig.

Prop. 21. Lorsque sur la circonférence d’un

cercle connu de grandeur et de position on prend deux points par lesquels on mène deux droites qui se rencontrent en un autre point de cette circonférence et qu’on joint aussi par une droite les deux points donnés, si le triangle formé est connu de grandeur, les deux lignes menées des deux points seront chacune connues de grandeur et de position. (Fig. 69.)

Prop. 22. Lorsque sur la circonférence d’un cercle connu de grandeur et de position on prend deux points par lesquels on mène deux droites qui se rencontrent en un autre point de cette circonférence, si le produit des deux droites est connu, chacune de ces droites sera connue de grandeur et de position. (Fig. 70.)

Prop. 23. Lorsqu'on a un cercle connu de grandeur et de position, et une droite connue de position; et qu'on mêne une autre droite qui coupe le cercle et aboutit à la ligne connue de position; si la droite menée est coupée par la circonférence en un rapport connu (celui de la partie comprise dans le cercle à la partie comprise entre la circonférence et la ligne), et que l’angle formé par cette droite et la ligne soit connu, la droite sera connue de grandeur et de position. (Fig. 71.)

Prop. 24 et 25. Lorsqu'on a deux cercles connus

de grandeur et de position, et qu'on mène üne

( 399 ) droite tangente aux deux cercles, cette droite est connue de grandeur et de position.

Premier cas où prop. 24. Si les deux points de tangence sont d’un même côté de la ligne qui joint les centres. (Fig. 72.)

Deuxième cas ou prop. 25. Si les deux points de tangence ne sont pas d’un même côté de la ligne qui joint les centres. ( Fig. 73.)

Telles sont, dit en terminant Hassan-ben-Haïthem, les choses que nous avions à dire; elles sont d’une utilité majeure pour la résolution des questions géométriques, et n'ont été dites par aucun des anciens géomètres, et, comme ce que nous en donnons suffit à notre dessein, nous finirons ici cet opuscule.

La proposition suivante se trouve placée à la suite de louvrage :

« Étant donné un quadrilatère incliné, recon- « naître si on peut y circopscrire un cercle où non.» (Fig. 74.)

Marquez les angles par les lettres ABCD, prolongez CD directement vers G, vous aurez l’angle GCA ; prenez sur CG la quantité CH et sur CA la quantité CT, puis sur BD prenez BK — CH, et sur BA, BI— CT; mesurez la distance de H à T, et si cette distance est égale à celle de Là K, on pourra inscrire le quadrilatèré dans un cercle ;

( 400 ) mais si elle est plus petite ou plus grande, on ne le pourra pas.

En effet, dans tout quadrilatère incliné, si deux angles opposés sont égaux à deux droits (comme ACD et ABD valent deux angles droits), les deux angles DCA et ACG valent aussi deux droits ; or, l'angle ACD étant adjacent, il reste ACG égal à ABD. Ajoutez : un cercle qui passera par trois des angles passera aussi par le quatrième.

En faisant suivre l'analyse que nous venons de donner du Traité des connues géométriques, de celle de quelques fragments compris dans le manuscrit arabe n° 1104, et intéressants à différents titres, nous montrerons que souvent les mathématiciens arabes ont émis les idées les plus ingénieuses. Trois sont du géomètre Al-Sindjiari (1), Ahmed-ben- Mohammed-ben-Abd-al-Gélil, que Montucla cite (2) sous le nom d’Æssinotari ou" Al-Sindeiar, comme

l'auteur d’un Traité sur les sections coniques(3), et

(1) D'Herbelot parle sans doute de cet auteur, lorsqu'il rapporte que Sandjiari est le surnom d’Abou-Said-Ahmedben-Abd-al-Gélil-Mohammed, auteur du livre intitulé : 4Akam alaschar men ketab alnogioum, et d’un autre qui porte le titre d’Ekhtiarat; ce sont, dit-il, deux manuscrits astrologiques. Biblioth. orient., p. 757.

(2) Montucla, Hist, des mathématiques, t.T, p. 374.

(3) La bibliothèque de Leyde possède le traité de Ahmedben-Gélil sur les sections coniques; il est intitulé : i)L.,

(4oï ) d’un manuscrit intitulé : Responsa mathematica. Dans l’un de ces trois opuscules, Règles géo- MÉITIQUES Sans SR) | WU LA Lis, AlSindjiari renvoie à deux ouvrages de sa composition, le premier

intitulé : Votes ou corollaires géométriques L,l& ss

io» (1), le second, Des propriétés de l'ellipse QDaUJ} eh) œlss & SES; les deux derniers sont : un 7raité des lignes menées d'un ou de plusieurs points donnés à des cercles donnés ; 2° une Réponse à des questions qui lui sont proposées sur

le livre des Lemmes d'Archimède (2).

ibosatl ALLi| rs) à = JS, Sa, Ahmed-ben-Ghalil-Sugiureus, De conicarum sectionum descriptione , n° 1098 du catalogue de 1716.

(1) Le sens du mot Die ou (als est expliqué dans les notes sur Abd-Allatif; il signifie proprement des notes mises par écrit à la hâte ; voyez Silvestre de Sacy, Relation de l'Égypte, p. 485. D'Herbelot dit (Bibl. orient., p. 848) qu'il y a plusieurs Tälikat, qui sont comme des suites et dépendances des matières déjà traitées par d’autres auteurs. Al-Sindyjiari renvoie souvent à 565 à kkD SIA ES pour les démonstrations, et nous avions cru devoir traduire ces deux mots par : Corollaires géométriques. |

(2) On ne peut guère douter aujourd'hui que le livre des Lemmes ne soit d’Archimède; MM. Greaves et Foster le firent counaître les premiers en 1659, sous le titre de Zemmata Archimedis, en le traduisant de larabe; et Alphonse Borelli le publia de nouveau en 1661, également d’après l'arabe et avec les notes de deux de ses commentateurs, l’un nommé Al- Mochtasso-Aboul-Hassan, et l’autre Abou-Sahal-al-Cuhi. Voy. Montucla, t. I, p.237. L'article suivant de la Bibliothèque

Vient ensuite un Chapitre de l’Epitome de l'imam Muzhaffer-al-Isferledi, sur les éléments d'Euclide, puis un Fragment qu’on peut supposer d’Averroës {Aboul-Walid:-Mohammed) sur la trigonométrie sphérique, assez important, en ce qu il peut donner l’époque de l’introduction des propositions qui y sont présentées. Averroës vivait en lan 1180

de J. C. (576 de l'hégire).

Réponse de Al-Sindyjiari aux demandes qui lui ont été faites sur la solution de propositions tirées

du livre des mp d'Ar ot ; Seal ÿLs ) ge RU in U 5 <U JR

Cet opuscule commence ainsi : « J'ai reçu votre lettre qui contient des questions sur des propositions dont vous me demandez la solution; j'aurais

beaucoup de plaisir à vous les expliquer, mais j'ai

orientale de D'Herbelot confirme cette dernière indication . « Ketab maakhoudhat fi ossoul al-hendassah li Arschemides : « titre d’un livre de géométrie d’Archimède, traduit du grec : «en arabe par Thabeth-ben-Corrah, avec un commentaire « d’Abou-Hassan-Ali-ben-Ahmed-al-Nessoui, avec 15 figures « qui ont été dressées par Nassir-eddin-al-Thousi. Il y a aussi « un discours sur le même ouvrage, de Sohaiïl-al-Caouni , in- « titulé : Teziün ketab Arschemides fil-maakhoudhat. » D'Herbelot, p. 977.

Thébit-ben-Corrah vivait au troisième siècle de l’hégire (221-288 de l’hégire, 835-900 ap. J. C.), et Nassir-eddin- Thousi au septième (597-672 de l’hégire, 1200-1273 après J. C.).

reconnu qu’elles sont tirées du livre d’Archimède intitulé : Des Lemmes, et que leurs démonstra. lions sont dans ce livre telles que les a données son auteur. Je puis cependant vous être à ce sujet de quelque utilité; car je me suis spécialement occupé de plusieurs propositions qu’Archimède n’a pas traitées complétement ; mais, pour toutes celles qu’il a développées, je vous renvoie à son livre, n'ayant rien de mieux à dire, etc.»

Voici l'énoncé des propositions : Prop. v'*, Étant donnés deux arcs de cercle tangents et deux lignes parallèles menées des deux centres à l’une des extrémités de chaque arc, les deux lignes menées du point de tangence à ces extrémités auront la même direction. (Fig. 75.)

Prop. 2. Étant donné un cercle ABD, si on mène le diamètre AB, la tangente BC, la ligne ADC, et la tangente DE, je dis que EB — EC.

(Fig. 769 011) «

Prop. 3. Etant donné l'arc S'SG, sur la corde S'G, je prends S'KS, que je.divise en deux parties égales en K ; je mene SK, KS, SG; je prends KA — KS', et je dis, comme l’auteur, AG— SG.

(Fig. 77.)

Prop. 4. Si dans un demi-cercle on construit deux demi-cercles tangents, on a la figure nommée

salianous (3.31. , laquelle est égale au cercle qui

( 404 ) a pour diamètre ,L3 la perpendiculaire menée du point de tangence (des deux demi-cercles inscrits) à la circonférence extérieure. (Fig. 78.)

Prop..5. Étant donné un demi-cercle GS’, je marque sur le diametre un point quelconque K,, et je trace sur le diametre les deux demi-cercles GK, KS'; cela étant, si l’on mène KK’ perpendiculaire au diamètre, et que l’on construise de chaque côté de cette ligne un cercle correspondant, les deux cereles ainsi décrits seront égaux. (Fig. 79.)

Prop. 6. Soit un demi-cercle GS’, et soit marqué sur son diamètre un point K, tel: que KS—E » Se ro 38p 5 3 sur les deux lignes GK et KS', décrivez deux demi-cercles,

et dans l’espace compris entre les trois circonférences, faites un cercle tangent à toutes trois, et menez le diamètre K’A parallèle à GS’ : on demande le rapport de K'A à GS. (Fig. 80.)

Prop. 7. Si dans un cercle donné on inscrit un carré et dans ce carré un autre cercle, le premier sera double du second. (Fig. 8r.)

Prop. 8. Sur la trisection de l’angle. ( Fig. 82.)

Prop. 9. Étant données deux cordes qui se coupent à angle droit dans un cercle, les sommes des arcs opposés sont égales. (Fig. 83.)

Prop. 10. Étant donné un cercle GAK', je mène

"O0ù,) les tangentes S'G, S'K et la sécante S'K., je mène K'A parallèle à S'K, je joins AG et je mène SH perpendiculaire sur AK’, et je dis que AH—HK!. (Fig. 84.)

Prop. 11. Lorsque deux cordes se coupent en un cercle dans un point autre que le centre, la somme des carrés des quatre segments est égale au carré du diamètre. (Fig. 85.)

Prop. 12. Étant donné un demi-cercle, sur son diamètre GK je mène du point S’ deux tangentes au cercle S'K”, S'A ; je joins K’K et AG qui se coupent au point B, et je mène S'BS, laquelle est perpendiculaire à KG. (Fig. 86 et 87.)

Prop. 13. Si dans un cercle on mène le diametre AB et la corde EG, et qu’on abaisse sur la corde les deux perpendiculaires AH et BT, les deux lignes EH et TG seront égales. (Fig. 88.)

Prop. 14. Étant donné un cercle ABC, menez les deux diamètres AC, BD qui se coupent à angle droit , décrivez autour du centre E le demi-cercle GAT; sur BG le demi-cercle BKG, et sur DT le demi-cercle DLT. Je dis que le cercle décrit sur CH ( comme diamètre) sera égal à la surface ABKGHTLDA, qu'on nomme salinoune sde).

(Fig. 80.) à : Prop. 15. Cette proposition est la dernière du

Traité ; Al-Sindjiari nous apprend qu'il l’a résolue

( 406 ) sur la demande de quelques géomètres du Khorasan Jtebé comdig Gen.

Étant donné un cercle DKS, je mène KG côté du pentagone inscrit ss, et KV côté du décagone inscrit ,&x)} y. ; je prolonge KV et S'G jusqu’à ce qu’ils se rencontrent en À, et je mène VS’ et SH perpendiculaire sur AS; je dis que AH est égale au rayon ,Lä)f | 55. (Fig. 90.)

Quelques règles géométriques par Al-Sindyiart. q EEE g L A (Gps) Los List Le

Ce petit traité comprend onze propositions.

Prop. v*. Étant donnée une ligne AB et décrits sur cette ligne un demi-cercle et deux arcs opposés (à deux angles dont lun soit obtus et l’autre aigu), savoir ACB, ADB et AEB ; les deux arcs étant tels que les deux angles opposés soient ensemble égaux à deux droits;

Prolongez le diamètre des deux côtés, de manière que AG— BH, et prenez aussi AT — BK; puis menez par les points GATKBH , à la demicirconférence ACB, les lignes GG, AC, TC, KC, BC, HC; prolongez HC vers E et menez AE, AD; je dis que la somme des deux carrés x} € 5" de AC et de BC sera égale au carré de AB, et que la somme des deux carrés de TC et KC sera égale

( 407) à la somme de deux lignes quelconques ménées des deux points T et K à la demi-circonférence ACB, et que la somme des deux carrés de GC et HC sera égale à la somme des carrés de deux autres lignes quelconques menées des points G et H à la demi-circonférence ACB; que la somme des carrés de AD et DB sera égale au carré de AB, moins le produit de BD par DE; et que la somme des carrés de AE et BE sera égale au carré de AB, plus le produit de BE par DE. Démonstration : Quant à l'égalité du carré de AB aux deux carrés de AC et BC, cela provient de ce que l’angle AGB est droit; quant à l'égalité des carrés des deux lignes TC et CK et de GC et CH aux carrés de deux autres lignes menées des points T et K, et G et H à la demi-circonférence, nous l'avons démontrée dans -nos Votes ou corollaires géométriques Lists #1 kms colle (3 (1); nous yavons aussi démontré que le carré de AB surpasse les deux carrés de AD, DB du produit de BD par DE, et que ce même carré de AB est moindre que la somme des carrés de AE et BE du produit de BE par ED. (Fig. 91.)

(x) Voy. ci-dessus, p. 407, note 1°°— On reconnaît par là, et par les autres démonstrations que l’auteur renvoie à plusieurs de ses ouvrages, que ce traité est vraiment, comme celui qui précède , une lettre adressée à quelques personnes qui lui demandaient la solution de ces diverses questions.

Prop. 2. Proportions remarquables qui résultent de la construction suivante :

Du point F, comme centre, décrivez les trois cercles ATB , EOG, CND, et le diamètre du plus grand cercle, AB; je dis que si les lignes menées de A et B àla circonférence du cercle ATB coupent la circonférence EOG , et si les lignes menées de D et C coupent la circonférence CND, comme par exemple si l’on mène BT, BH et DK, DL, on aura BO x OT—BS x SH et DL x LN—DK x KM. (F. 92.) | FE > J% 9 SG TE > dv Jos Louis

Prop. 3. Étant donnés sur la circonférence d’un cercle deux points A et B, joignez ces deux points par une droite ; par le point À menez AC tangente au cercle et AD, de manière que l'angle BAD égaie l'angle BAC; toute ligne menée de B sur AD sera coupée par l'arc AB, et le produit de la ligne entière par sa partie intérieure donnera toujours le même résultat etsera égal au carré de AB. (Fig. 93.)

Prop. 4. Le point A étant r° hors du cercle; 2° dans Îe cercle :

9 Les deux sécantes seront réciproquement proportionnelles à leur partie extérieure;

2° Les deux cordes se couperont en parties réciproquement proportionnelles. (Fig. 94 et 95.)

Prop. 5. Si deux cercles sont tangents en un

point À et que par ce point on mène deux lignes

( 409 ) dans les deux cercles, les parties de chaque ligne comprises dans ces deux cercles seront directement proportionnelles. (Fig. 96 et 97.)

Prop. 6. Si par un point donné hors d’un cercle on mène deux tangentes à ce cercle et qu’on joigne les deux points de tangence par une droite, toute ligne AD menée du point À donnera la proportion AD : AG: :DE : EG. (Fig. 98.)

Prop. 7. Si l’on divise le grand axe de lellipse DSL & JF JET, LS en trois parties telles que le produit de deux de ces parties contiguës par la troisième placée à l'extrémité du diamètre soit égal au carré du petit axe x! QUE es Er la somme des deux lignes menées de chaque point de division à un point quelconque de lellipse sera égale au grand axe. (Fig. 90.)

Prop. 8. Soit ACB une ellipse et un cercle dont le grand axe est AB et le petit axe CD; si lon prend AB : CD :: CD : BE, qu'on mène BE perpendiculaire à AB et qu’on joigne AE, toute perpendiculaire comme HT menée d’un point de la circonférence de l’ellipse ou du cercle sur le diamètre et prolongée jusqu’à la ligne AE en G, donnera TG x TB, et on aura TH: CL:: TG X TB:

LM x LB. Ceci se fonde sur les propriétés élémen-

taires de l’ellipse, et l'auteur ajoute qu'il en a

| (410 ) donné la démonstration dans la 72° proposition de son traité des propriétés de l’ellipse Lis 55, Qohes GLSLES pe (ynrnlle SU Ka} Jses ls El el (Fig. r00 et 101.)

Prop. 9. Trouver la circonférence d’un cercle lorsqu'on a deux droites menées de deux points donnés à un point quelconque de cette circonférence, et que le rapport de ces deux droites est connu (Fig. 102.)

Prop. 10. Étant donnés le cercle ACBD et les deux points À et B sur sa circonférence ; si l’on divise l’arc ADB en deux parties au point D, qu’on joigne AB et qu’on mène AC, BC, DC, le rappori de AC à BC sera égal au rapport de AE à BE, Cette proposition est incomplétement traitée dans Euclide. (Fig. 103.)

Prop. 11. Étant menées à un cercle donné deux tangentes parallèles et deux autres lignes des points de tangence à la circonférence du cercle, prolongées jusqu’à ce qu’elles rencontrent les deux tangentes , le diamètre sera moyen proportionnel entre les deux parties interceptées des tangentes; et si par un point quelconque d’une des tangentes on mène une autre tangente au cercle prolongée jusqu’à la seconde tangente pa-

rallele, le rayon sera moyen proportionnel entre

(41) les deux parties interceptées des tangentes parallèles et le diamètre.

L'auteur fait observer qu'il a démontré ces pro-

positions dans ses £ in Li (1).

Opuscule d'Al-Sindjiari sur les lignes menées dans des cercles donnés par des points donnés.

L,ba tal Mt ne sages et ble, bat} La} : iront 155) LL

Ce petit traité contient treize questions.

PrODIST. Étant donné un cercle dont le centre est connu et dans ce cercle un point, mener par ce point une droite terminée par les deux extrémités à la circonférence, et divisée au point donné en deux parties qui soient entre elles comme deux lignes données. (Fig. 105.)

Prop. 2. Par un point donné dans un cercle, faire passer une corde divisée en ce point, de manière que la somme des carrés de ses deux parties soit égale à une surface rectangulaire donnée. (Fig. 106.)

Prop. 3. Par un point donné dans un cercle , mener une corde égale à une ligne donnée plus petite que le diamètre. (Fig. 107.)

Prop. 4. Par un point donné dans un cercle,

(1) Voy. ci-dessus, p. 4o1, noté 1°°.

| (412) faire passer une droite telle que le rapport du carré de lune de ses parties au carré de lautre partie soit égal au rapport de deux lignes dônnées. (Fig. 108.) :

Prop. 5. Par un point donné hors d’un cercle, mener une droite divisée par la circonférence, de manière que le rapport de la partie extérieure à la partie intérieure soit égal à celui de deux lignes données. (Fig. 109.)

Prop. 6. Par un point donné hors d’un cercle, mener à ce cercle une droite telle que le carré de la ligne entiere et le carré de la partie extérieure égalent une surface donnée. (Fig. rT0.)

Prop. 7. Par un point donné hors d’un cercle, mener à ce cercle une droite qui soit divisée par la circonférence en deux parties telles que l'une de ces parties soit égale à une ligne donnée. (Fig. 114.)

Prop. 8. Par un point donné hors d’un cercle, mener une droite divisée par la circonférence en deux parties telles que leur produit &,,2 soit égal à une surface donnée. (Fig. 112.)

Prop. 9. Par les deux extrémités du diamètre d’un cercle donné, mener deux cordes qui se coupent respectivement selon deux rapports donnés (Fig. 113.)

Prop. 10. Etant donnés deux points sur la cir-

(413 ) conférence d’un cercle et deux rapports, mener par les deux points donnés deux lignes qui se rencontrent et soient coupées par la circonférence de ce cercle, suivant les deux rapports donnés.

Soit le cercle ABC, les deux points À et C sur la circonférence, les deux rapports DH : HZ et HT : TK , etc. (Fig. r14 et 115.)

Prop. 11. Mener de deux points donnés A et B sur la circonférence d’un cercle deux lignes qui se rencontrent en un point, et dont le rapport soit égal à un rapport donné; puis diviser la droite qui joint ces deux points en deux parties qui soient entre elles dans le même rapport. (Fig. 116.) |

Prop. 12. Mener de deux points donnés sur la circonférence d’un cercle deux lignes qui se rencontrent en un point de cette circonférence, et qui soient telles que leur produit soit égal à une surface donnée. (Fig. 117.)

Prop. 13. Mener par deux points donnés sur la circonférence d’un cercle deux lignes qui se rencontrent en un point de cette circonférence, et qui soient telles que la somme de leurs carrés

soil égale à une surface donnée (1). (Fig.118 et r19.)

(1) Le manuscrit porte que ces opuscules d’Ali-Sindjiari ont été achevés au mois de Schawal de l’année 539 de l’hégire (1144 de J. C.). C'est sans doute la date de la copie.

Ouatorzième livre de lEpitome de l'iman Mu-

zhaffer-al-Isferledi sur les Éléments d'Euclide. LG), sb] pl ja t pe jé PARU OS. JcY

Ce Mekalat comprend onze propositions et répond au 14° livre des Éléments d'Euclide, qui n'en contient que sept. Prop. x. Étant donné un cercle ABC, dont le centre est en D, ADG le diamètre, GB la corde du rot, BC la corde du 5°; je dis que la perpendiculaire DE est la moitié de la somme de DG+GB. (Fig. 120.)

Prop. 2. Les mêmes choses étant données, et de plus AB la corde d’un angle intérieur du pentagone Lx”; Je dis que la somme des carrés de AB et BC égale cinq fois le carré de DG (du rayon), (Fig. 121.) ;

Prop. 3. Soit AB le diamètre d’une sphère ÿ RE la base du dodécaëèdre inscrit 54 65 315 #15 ,&e le pentagone CDEGH; et la base de l'icosaèdre inscritioels 5 ,axlt 65 3515, Le triangle TKL; si l’on inscrit ces deux bases en deux cercles dont lun ait pour demi-diamèetre IC et l’autre pour demi-diamêtre OL, je dis que les deux cercles sont égaux. (Fig. 122, 123.)

Prop. 4. Le pentagone ABCDE,, l’une des bases (faces) du dodécaëdre étant inscrit en un cercle

(415 ) dont le centre psS est en G,et GT étant perpendiculaire sur CD; je dis que GT, multiplié par 30 fois CD 8,» y ds Gb), est égal à la surface du dodécaèdre. (Fig. 124.)

Prop. 5. Le triangle ABC, l’une des faces de l’icosaedre, étant inscrit à un cercle dont le centre est en D, et DE étant perpendiculaire sur BC; je dis que DE multiplié par 30 fois BC est égal à la surface de l’icosaèdre. (Fig. 125.)

Prop. 6. Le rapport de la surface du dodécaëdre à celle de l’icosaèdre est égal au rapport du côté cube L a€ fl ele au côté de l’icosaèdre, lorsqu'ils sont tous inscrits à la même sphère 15 Pers UE ESE, (Fig. 126.)

Prop. 7. Le pentagone régulier ABCDE étant inscrit à un cercle dont le centre est en L et dont le diamètre est ATG , je mène EB corde d’un angle intérieur du pentagone et EL (rayon). Soit de plus LH moitié de AL et TK égale à deux fois KB. Je dis que AH, qui est égale aux 3/4 du diamètre, multipliée par EK qui est égale aux 5/6 de EB, corde de l’angle du pentagone, est égale à la surface du pentagone. (Fig. 127.) |

Prop. 8. Le pentagone ABCDE et le triangle ATG étant inscrits à un même cercle dont le diamètre est ALK , et étant les deux faces des deux

solides inscrits à la même sphère ; je dis que le

(416) rapport du pentagone ABCDE, pris douze fois, au triangle ATG pris vingt fois, est égal au rapport de la ligne BE? qui est le côté du cube, à la ligne TG, qui est le côté de l’icosaèdre. (Fig. 128.)

Prop. 9. AB étant divisée en C en moyenne et extrême raison, G et T comprenant virtuellement de S5ë AB, AC? Je dis que Île rapport de G à Test comme le rapport du côté du cube au côté de l’icosaèdre inscrit à la même sphère. (Fig. 120.)

Prop. 10. Le rapport du dodécaèdre à l'icosaèdre est comme le rapport de la surface du dodécaëdre à celle de l’icosaèdre, lorsqu'ils sont inscrits à une même sphere.

Prop. 11. AB étant divisé en C en moyenne et extrême raison, et KL en F, et la plus grande des deux parties étant AC et KF; soit CE qui comprend virtuellement AE, AC; CH qui comprend BH, BC; FN qui comprend KN, KF; et FS qui comprend LS, LF, je dis que CE : CH : : FN :

FS. (Fig. 130—131.)

Opuscule relatif à la trigonométrie sphérique attribué à Aboul-Walid. Nous sommes porté à croire que cet Aboul-Walid SJ)! 21 sl est le même qu'Averroës, qui se nommait Aboul- Walid Mohammed-Ben-Roschd, et qui a composé un commentaire sur l’Almageste,

L'auteur commence ainsi : Ces propositions sont celles que j'ai ajoutées aux sphériques 1! JSY pour l'intelligence parfaite de lAlmageste; elles ont pour objet des triangles formés par des arcs dont chacun est plus petit que le demicercle, et qui appartiennent à de grands cercles qui se coupent sur la surface de la sphère, en quoi nous différons de Ptolémée, qui a considéré ces triangles comme s'ils étaient formés par des lignes droites, ainsi qu'il lui a plu de le faire.

Énoncé des propositions :

Prop. 1". Lorsque des cercles se coupent sur la sphère et qu’il en résulte trois arcs, chacun plus petit qu'un demi-grand cercle, si deux de ces arcs sont égaux, les deux angles adjacents à la base (le troisième côté) sont égaux. (Fig. 132.)

Prop. 2. Étant donnés deux triangles sphériques formés par des arcs de grand cercle, (he 1:55 Lys ei dont chacun est plus petit que le demi-grand cercle, si deux côtés de l’un de ces triangles sont égaux aux deux correspondants de l’autre, chacun à chacun, et que l’angle compris entre les côtés égaux soit le même dans chaque triangle, les bases sont égales et les triangles égaux; de plus, les deux autres angles sont aussi égaux, chacun à chacun, dans les deux triangles. (Fig. 133.)

Prop. 3. Étant donné un triangle 4 dont deux côtés sont égaux, les deux angles adjacents à la base 55:l5)| 3,5 seront égaux; et si l'on prolonge les deux côtés égaux au-dessous de la base, les angles formés au-dessous seront aussi égaux. (Fig. 134.)

Prop. 4. Lorsqu'un triangle a deux angles égaux, les côtés opposés à ces angles sont égaux entre eux. (Fig. 135.) f

Prop. 5. Lorsque des extrémités d’un arc plus petit qu'un demi-grand cercle on a mené deux arcs, chacun plus petit qu’un demi-grand cercle et qui se rencontrent en un point; je dis qu'on ne peut des mêmes points de départ mener du même côté deux arcs égaux aux deux premiers, chacun à chacun. (Fig. 136.)

Prop. 6. Lorsque deux triangles sphériques ont les trois côtés égaux chacun à chacun, les angles opposés aux côtés égaux sont égaux entre eux. (Fig. 137.)

Prop. 7. Étant donné un arc plus petit que le demi-grand cercle, et sur cet arc un point quelconque, mener par ce point un arc perpendiculaire à l’arc donné. (Fig. 156.)

Prop. 8. Tout arc élevé sur un autre arc |.5 K de 5 forme ou deux angles droits ou deux angles égaux à deux droits. (Fig. 139.)

(419 ) Prop. 9. Lorsque deux arcs se coupent, les angles opposés au sommet sont égaux. (Fig. 140.)

Nous pourrions faire suivre cette partie de notre travail d’une nomenclature des géomètres arabes dont les manuscrits n’ont point encore été l’objet d’une étude sérieuse, mais, comme le dit fort bien Montucla (1) : « L'histoire des sciences chez «un peuple consiste moins à accumuler des noms «d'écrivains et des titres d'ouvrages qu'a déve- «lopper les progrès qu’elles y ont faits; » nous nous contenterons donc de remarquer que le peu que nous connaissons des mathématiciens arabes doit nous donner de leurs travaux une opinion très-favorable; si l'on ne s'est pas encore occupé des traités qu’ils ont composés sur l’arithmétique , on ne peut douter que nous ne leur devions notre système de numération décimale. L'examen d’un assez grand nombre de manuscrits nous a montré que la forme des chiffres usités en Orient s'était altérée en Afrique et en Espagne, pour devenir insensiblement identique à celle de nos chiffres modernes, et l’explication de ces modifications succes-

sives pourrait être Pobjet d’un curieux mémoire.

(1) Montucla, Hist. des Sciences mathématiques, tome 1°", p. 375.— Voy. aussi nos Prolégoméenes d'Oloug-Beg, introd., p. LXXHN CE passim.

On a vu qu’en géométrie, les Arabes avaient porté leur attention sur des questions de l’ordre le plus élevé, et qu'ils avaient fait faire à la science de notables progrès; la substitution des sinus aux cordes, l'introduction des tangentes dans les calculs trigonométriques, l'application de Palgèbre à la géométrie, la recherche de la solution des équations cubiques, des idées justes sur la catoptrique, etc., prouvent que les savants de l’école de Bagdad se livraient aux spéculations les plus abstraites, et si l’on songe qu'ils ont cultivé les diverses branches de mathématiques avec une égale persévérance, on reconnaitra que, bien loin de mériter la qualification d’enmbelecadores falsarios y chimeristas, ils ont été véritablement doués du génie d'invention, et que, sous ce rapport, l’opinion des historiens de la science doit être réformée.