IV% V*^ ET VI® ÉQUATIONS

x^ — mx=:o x^ — mx^z=:o x^ — ma:=:o arithmétiquement et géométriquement.

JÉQITATIONS TEHNA.IIIES ET QUATERl^AIRES.

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 ^j^ tj^^ ^^^ m^ ^H^H îL»»Lx^ Jjijj^t J,tyJ e^^'

Q? Construire sur un rectangle donné un parallélipipède rectangle égal à un solide donné

Jii -.^^1 ^jiy^ U*aar^ -. ^ «J^Lî ^ J^ J ^J^y

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é

J» tf JjU AfrUij! j *Jj^ J^li Lv**«^ J-dUfcJ ^\ ^j^

Il reprend alors la troisième des binaires, à la* quelle 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é, ^1 qu'il n^

(375) se propose de résoudre que géométriquement La première, qui est la septième des ternaires, est de la forme

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

Cest à 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 petit traité montre d'une manière incontestable que les Arabes ont connu les équations cubiques, et Fart d'exprimer graphiquement les formules , art si beau et si précieux queKeppler regrettait de ne pas savoir (i).

On a prétendu que nous avions attribué aux Arabes là résolution algébrique des équations du troisième degré, et notre réponse ne s'est point fait attendre (a); 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

(i) Yoy. plus hauty p. 124.

(a) Comptes rendus des séances de VAc£idémie des sciences, i3 avril et x3 mai i838.

( 376 ) • « troisième degré; il se fondait sur le titre Ala gebra cubica seu de problematum soUdoruni reso- « lutione d'un manuscrit de la bibliothèque de tt Leyde, attribué à Omar-beo-lbrahim (le même, «peut-être, qu'Omar - Âlkheiami ) ; le fragment <c trouvé par M. Sédillot confirme encore à cet a égard la conjecture de Monlucla, et en fait l'un a des points les plus importants et l'un des moa numents les plus précieux de l'histoire scientia 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 algèbre ( i ). Il 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 (a), a plusieurs fois exprimé le regret de n'avoir pu trouver une version authentique d'un seul traité d arithmétique arabe.

(i) Voy. notre Introduction aux tables d'Oloug'Beg, p. S49 5d, 6a, etc.

(a) Voy, plus loin noire 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 , Euclîde y Théodose , Apollonius, Hypsiclèset Menelaus avaient été traduits; le traité d' krchimède de sphœrd et cylindw^ et probablement ses autres ouvrages, étaient commentés, et les productions multipliées des géomètres 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 cotrespondance mathématique, dont nous avons recueilli des fragments. L'auteur de la solution de ce problème : trouifer sur un miroir sphérique le point de réflexion, le lieu de F objet et celui de Vœil étant donnés y était évidemment un esprit d'un ordre supérieur.

On est bien obligé de reconnaître 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 jlhéorèmes qui sont le fondement de notre trigo-

( 37« ) 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 Tavons déjà rappelé, ils simplifièrent, un peu plus tard, par l'intro* duction des tangentes, l'expression des rapports circulaires , d'abord si longue et si embarrassée (i).

Le petit traite de géométrie spéculative de Hassan-ben-Haithem (2), que nous avons fait connaître, 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 l'an 4oo de l'hégire ( 1009 après J. C), et mourut au Caire en 43o ( io38 après J. G).

(1) Del ambre, Hist, de V astronomie au moyen âge, p, i5i et i5a : Analyse des travaux de mon père; Chasles, Aperçu des méthodes, etc., p. 494» et 495 , et plus haut, p. 27.

(a) Ms. ar. n* 1104, fol. xi ; — Des connues géométriques, par Abou-Ali -ai-Hassan- ben-al-Hassan-ben-al-Haithem.

(3) Journal asiatique, i834; M. Chasles, loc, cit. , Comptes rêltdus dé l'Académie dê$ sciences, a 3 avril et i3 inai i538.

Il a composé aussi un recueil d'observations astronomiques , un commentaire de FAlmageste, et tin autre sur les définitions qui sont en tête des Éléments d'Euclide(i).

La copie du traité des connues , qui se 'trouve dans le manuscrit i io4 de la Bibliothèque royale, est de Tan 539 ? 1© 9 de d20ulhîggeh(3 juin 1 144)-

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

Les préliminaires du traité d'Hassan>-ben-*Haithem permettent d'apprécier assez exactement la philosophie mathématique des Arabes ; quant à

(i) Le catalogue de la Bibliothèque bodleyenne porte , art. 908 : « Codex Bombycinus anno hegir. 987, Christ. 1579, « exaratus, ubi reperiuntur, i*' Ibn-al-Haithami geometrae ce» «leberrimi, in definitioues quae elementis Euclidis praemitft tuntur, commentarius , 71 fol. conslans; mortuus autor « Cairi anno hegir. 43o, Christ. io38. » — 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 Notices et extraits des manuscrits^ publiés par rAcadémie des inscriptions et belles-lettres , p. xa8.

Fouvrage même, il est divise en deux livres; Fauteur fait remarquer que a le premier comprend « des choses tout à fait neuves et dont le genre « même n^a pas été connu des anciens géomè- « très (i)y et que le second contient une suite de ce propositions anologues à celles qui ont été traia 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 4'£uclide, il ne se montre pas inférieur à son modèle. Il commence ainsi : Pwlégomènes : définition des CONNUES, oL» jMl leurs divisions et subdivisions.

(i) Pappus d'Alexandrie a indiqué, dans le vu® 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 : Euclidis datorum liber unus. Apollonii Xoyoo « àTroTOfx^ç, hoc est de proportionis sectione libri duo; yip^ion <c à7uoTO(x^ç , hoc est de spatii sectione duo ; liraopbîv , bac est « tactionumduo. Euclidis porismatum très. Apollonii veudstov, « hoc est inclination II m duo. Ejusdem totccov èrcvKi^ta^, hoc est « planorum locorum duo; conicorum octo. Abistai toitiov « ç-epe(î5v, hoc est locorum soUdorum quinque. Euclidis toiciov <t TTpoç iTTicpaviav, hoc est locorum ad superficiem duo. £raft TOSTHENis de medietatibus duo. Itaque omnes libri sunt nu- « mero triginta et unus. » — Voy. Papp. , Collect, mathem, à Commandino in lat conp. In-fol. Bononiae, 1660.

La connaissance (r) JLJ), scientiuj se compose ai opinions immuables , jSii^t -^t3l , et Ton entend "p^T opinion, ^, wn jugement ^ jU;:»), 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 il 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, ,:-ju^

Quant au jugement porté sur une chose muable ou sujette au changement , il ne peut être

(i) Le mot de science ou de connaissance renferme nécessairement deux choses : Tune est la vérité , et Tautre l'évidence. En effet, ce qui n'est pas la vérité ne peut être connu. Qu'un homme noi|s dise tant qu'il voudra qu'il connaît trèsbien 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 soutiennent 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.

(38a ) 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éid 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 y peut donner lieu à un jugement vrai; et si Ton 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 JLjJI iJli

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 y 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 immuabilité.

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 {yere noscens).

Au contraire, celui qui juge une chose immuable sans savoir qu'elle est telle, peut bien être regardé comme savant en cette chose 5 mais comme il ne sait pas s'il la connaît 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é connais^ sant 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 ^JLJt

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 jugement, et qu'un jugement ne peut avoir lieu sans une per-

( 384 ) sonne qui juge et sans une chose jugée qui est le connu {notant)^ 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

Le connu de fait {realiter notum) est celui qui est connu à celui qui peut juger, et le connu virtuellement [yirtualiter notum) est celui qui peut lui devenir connu.

Nous avons dit que le connu doit être une chose immuable ; ainsr 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é , L^^JÎI î 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 ou disjointe et la quantité continue S^j-^Jj I

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

( 385 ) sont pour la première les lettres qui composent les motSj et pour la seconde, les nombres; v^j/shI

La quantité continue est de cinq sortes: savoir /a ligne y la surface y le solide, le poids et le temps ou la durée y etc. ^j^)3l ^ J^' j mt*^^ j J^\ j iadr^t.

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

L'auteur termine ces prolégomènes par la définition des rapports y *r^ ; î' explique ce que l'on entend par lignes connues de grandeur et de posi" to/^J^'J^y^^^ ^y et passe aux propositions géométriques qui forment le corps de l'ouvrage, divisé, comme nous l'avons dit, en deux livres.

Énoncés des propositions. — livrk premier. — Prop. i*"®. Lorsque d'un point connu de position on tire une droite de grandeur connue, l'extrémité de cette droite est sur la circonférence d'un cercle connu de position (i) Ia^ jJsi! ^ ^^ bt

^^|(Fig.23.)

Pwp. 1. Lorsque du centre, *^y ^, d'un cer-

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

( 386 ) cle connu de grandeur et de position^ on mène une ligne droite à la circonférence et qu'ensuite ou rincline sous un angle connu , i^ s„j)a9i\ J ^ î>jU^ ijj\j et que le rapport de la première ligne à la seconde est connu, J,l J^'ilJL^I Lw o^U^ i^j^ ^^' rextrémité de la seconde ligne est sur une circonférence de cercle connue. (Fig. a4.)

Prop. 3. Lorsque d'un point connu de position dans un cercle connu de grandeur et dé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 iseconde est connu , l'extrémité de cette seconde ligne sera sur une circonférence de cercle connue de position. (Fig. a5 et a6.)

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 i/ne circonférence de cercle connue de position. (Fig. a^ et 28. )

Prop. 5. Lorsque d'un point connu de position on mène à une droite connue de position une au-

( 387 ) trc ligne droite, et qu'ensuite on l'incline sous liri angle connu, si le rapport de la première ligne à la seconde est connu, l'extrémité de celle seconde ligne sera une ligne connue de position.

(Fig- 29.)

Pivp. 6. Lorsque de deux points connus de po' sition on mène deux lignes droites qui se coupent en un point où elles forment un angle connu ^^JP IoaJi y^^Xxli oja Uo[a.\^ UsA) ^JL& LaJlJI j à^j)^ ce point sera sur une circonférence de cercle connue de grandeur et de position. (Fig. 3o.)

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 oti prolonge directement une des deux lignes, si le rapport de cette ligne à son prolongement est connu, ison extrémité sera sur une circonférence de cercle connue de position. (Fig. 3i.)

Prop. 8. Lorsque de deux points connus de 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. 3a.)

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

( 388 ) lignes 9 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. lo. Lorsque de deux points connus de position on mène deux lignes droites qui se rencontrent en un point, si Ton 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, 1 1. 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 à Fégard des deux cercles, cette ligne sera égale à celle qui joint les deux centres. (Fig. 35.)

Prop, 1*1. 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 Tune 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. 36.)

Prop. i3. Lorsque d'un point connu de posi-

(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 v^ '^^ fJ t»U;i^} , si le rapport de celle ligne à son prolongement 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 di;pite par son prolongement est égal au produit des deux parties de la ligne /^t ^yojLûJ

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.)

Pmp. i5. 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 l'on joigne par une ligne droite les deux premiers points

( 390 ) 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 Fintérieur du cercle; si^prolon* gé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. 4o.)

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 Ton prolonge jus* qu'à 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 l'une 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. 4i-)

Prop.iS. 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 quelconque, et que l'on joigne par une ligue droite

(39«) l'un 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 cer* clés au carré de la droite qui joint le point de tangence au point d'intersection du petit cercle, est un rapport connu. (Fig. 4^)

Prop, 19. Lorsque deux cercles connus sont tangents et que l'un est dans l'intérieur de l'autre Jô.b ^ ^r^L^, si l'on mène au petit cercle une tangente dont l'exlré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, ao. 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 y 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. 440

Pix)p. 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

(39») le point où ce diamètre coupe le petit on mène une droite qui coupe le petit cercle en un second point 9 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 par lie comprise dans le petit cercle, est un rapport connu. (Fig. 45.)

Prdp. aa. 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. a3. 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-)

Pfvp. îi4« Lorsque dans un cercle counu de grandeur et de position on mène une corde , yj quelconque, et qu'on la divise en deux parties , si le produit de ces deux parties est connu , le point.

de division I^^t SlJu est sur une circonférence de cercle connue de grandeur et de position. (Fig. 48.) Livre second. — Prop. i. 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. a. Loi*sque 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. 5i.)

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. 5a.)

Pmp. 5. Lorsque d'un point connu on mène à une ligne droite connue de grandeur et de position une autre ligne droite; si la somme de cette

(894) ligne et de Tune des deux parties de la première est connue y la ligne menée sera connue de position. (Fig. 53.)

Pmp. 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 dmites qui s'y rencontrent, si le rapport de ces deux droites entre elles est connu , ces deux droites sont connues de position. (Fig. 55.)

Prvp, 8. Lorsque deux- lignes droites parallèles sont connues de position , et que, prenant sur Tune d'elles deux points , on mène par ces deux points deux lignes droites qui se rencontrent sur la seconde parallèle, 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. 56.)

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 mène deux lignes qui coupent la seconde parallèle 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. 57.)

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, ikiii ^ Lidlj ^j^^ [j-i^i^^j ^ ^jj ces deux droites sont connues de grandeur et de position. (Fig. 58.)

Prop. 1 1 . 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. la. 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. i3. Ayant un cercle connu de grandeur et de position et une ligne droite connue de position , lorsqu'on mèpe du cercle à la ligne une droite qui t'ait avec celle-ci un angle connu ^ si la

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

Pmp, 14. Étant donné entre deux lignes parallèles, ^jl^y 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. i5. 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.)

Pmp, 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 parties de la droite est un rapport connu, cetle droite sera connue de grandeur et de position. (Fig. 64.)

Pfvp, 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 connues de position , si le produit des deux par-

( 397 ) ties de la droite est connu , cette droite sera con- «ue de grandeur et de position. (Fig. 65.)

Prop. i8. 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 l'un 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 poiut 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. &^^

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 la 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. ao. Lorsque les trois angles d*un triangle sont connus, si de l'un des angles on mène une droite qui divise la base ijxli >v**Xi (ou côté opposé, en deux parties qui soient) dans un rapport connu, la droite sera connue de position. (Fig. 68.)

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

(398) 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 y les deux lignes menées des deux points seront chacune connues de grandeur et de position. (Fig. 69.)

Prop. aa. 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 9 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 une

(399) droite tangenle aux deux cercles, cette droite efti connue de grandeur et de position.

Premier cas ou prop. a4. Si les deux points de tangence sont d'un même côté de la ligne qui joint les centres. (Fig. 7a.)

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

Telles sont, dit en terminant Hassan-ben-Haithem , les choses que nous avions à dire; elles sont d'une utilité majeure pour la résolution des questiens 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 l'ouvrage :

a Étant donné un quadrilatère incliné, recon- « naître si on peut y circonscrire un cercle ou non.»

(Fig- 74.)

Marquez les angles par les lettres ABCD, prolongez CD directement vers G, vous aurez Tangle GCA ; prenez sûr 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 I à K , en pourra inscrire le quadrilatère dans un cercle ;

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

En eKeif dans tout quadrilatère incliné, si deux angles opposés sont égaux à deux droits (comme A CD et ABD valent deux angles droits), les deux angles DCA et ACG valent aussi deux droits; or, Tangle 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 j de celle de quelques fragments compris dans le manuscrit arabe n° iio4, 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 (i), Ahmed-ben- Mohammed-ben-Abd-al-Gélil, que Montuclacite('j) sous le nom d^^ssingiari ovT Al-Sindgiar^ comme Fauteur d'un Traité sur les sections coniques (^)y et

(i) D'Herbelot parle sans doute de cet auteur, lorsqu'il rapporte que Sandjiari est le surnom d'Abou-Said-Ahmedhen'khà'^X-GQXW'Mohammedy auteur du livre intitulé : Ahkam alaschar men Aetab alnogioum, et d'un autre qui porte le titre à*Ekhtiarat; ce sont, dit-il, deux manuscrits astrologiques. Biblioth, orient, y p. 757.

(a) Montucla, Hist, des mathè-natiques, t. I, p. 374.

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

(4oi )

d'un manuscrit intitulé : Resporisa mathematica. Dans l'un de ces trois opuscules , Règles géo^ métriques 3L-^I ^^|^t Jr^^*» AlSindjiari renvoie à deux ouvrages de sa composition , le premier intitulé : Notes ou corollaires géométriques oUlUï L— jJLft (i), le second. Des propriétés de V ellipse ^LJI JaiO! ^J>^ys>. ^ s-^b:^; les deux derniers sont : un Traité des lignes menées d*un ou de plu^ sieurs points donnés à des cercles donnés ; a® une Réponse à des questions qui lui sont proposées sur le liifre des Lemmes dArchimède (2).

med-ben-Ghalil-Sugiureus, De conicarum sectionum descriptione, n® 1098 du catalogue de 17 16.

(i) Le sens du mot s^UJUi* ou i^JLaJ 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'Egypte, 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-Sindjiari

renvoie souvent à ses iL^ Jjj» vJI^UJLu pour les démonstrations, et nous avions cru devoir traduire ces deux mots par : Corollaires géométriques,

(a) On ne peut guère douter aujourd'hui que le livre des Lemmes ne soit d'Archimède; MM. Greaves et Foster le firent connaître les premiers en 1669, sons le titre de Lemmata Archimedisy en le traduisant de l'arabe; 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-Cnhi. Yoy. Montucla, 1. 1, p. 287. L'article suivant de la Bibliothèque

( 4oa ) Vient ensuite u n C/iapitre de VEpilome de timam Muzhaffer-al'lsferledi, 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 l'an 1180 de J. C. (576 de l'hégire).

Réponse de AUSindjiari aux demandes qui lui ont été faites sur la solution de propositions tirées du lii>re des Lemmes d Archimède ^ j^-^a.t SJL-.

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

orientait de D'Herbelot confirme cette dernière indication . « Keiah maakhoudhat fi ossoul al^IundasscJi li Arsekemides : « titre d'un livre de géométrie d'Archimède, traduit du grec « en arabe par Thabeth-ben-Corrah, avec un commenuire « d*Abou-Ha6san-A]i-beii-Ahfli«d-aUNes6oui, avec i5 figures « qui ont été dressées par JNassir-eddin-al-Thousi. Il y a aussi « un discours sur le même ouvrage, de SohaïUal-Caouni , in- « titulé : Teziin ketab Jnchemides fil'-maakhoudkaL » D'Herbelot, p. 977.

Thébit-ben-Corrah vivait au troisième siècle de l'hégire (lai-aSd de l'hégire, 835-900 ap. J. C), et Nassir-eddin- Xhousi au septième (597«67a de l'hégire, i%oo^i%']^ après J, C).

reconnu qu'elles sont tirées du livre d*Archimèdc intitulé : Des Lemmes, et que leurs dérnonstra* tions 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. \^. É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. 76. )

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

(Fig. 76.)

Prop. 3. Etant donné Tare S'SG, sur la corde S'G, je prends S'KS, que je divise en deux parties égales en K ; je mène S'K , KS, SG ; je prends KA = KS', et je dis, comme l'auteur, AG= SG.

(ï^ig- 77-)

Prop. 4« Si dans un demi-cercle on construit deux demi-cercles tangents, on a la figure nommée salianous /r-yJLw , laquelle est égale au cercle qui

a pour diamètre ^i 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 diamètre un point quelconque K , et je trace sur le diamètre 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 cercles 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' = ^jr3?jju ,^^^ j iy ^j jl^ ; 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 KA 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. 8f .)

Prop. 8. Sur la trisection de l'angle. (Fig. 8a.)

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. f o. Étant donné un cercle GAK', je mène

(4o5) les taugentes S'G , S'K et la sécante S'K , je mène k'A parallèle à S'K, je joins AG et je inène SH perpendiculaire sur AK', et je dis que AH=HK'. (Fig. 84.)

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

Prop. \i. É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, i3. Si dans un cercle on mène le diamètre 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 GHT; 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 saliiwune j^:-lJt.

(Fig. 89.)

Prop. i5. Cette proposition est la dernière du Traité ; Al-Sindjiari nous apprend qu'il Fa résolue

(4o6) sur la demande de quelques géotnètrea du Khordian ^L.!^ ^^Jo^ ^jm.

Étant donné un cercle DKS'^je mène KG c6té du pentagone inscrit ,j*^ty^ et RV côte du décagone inscrit jiijJI^^ ; je prolonge KV et S'G jusqu'à ce qu'ils se rencontrent en A , et je mène V8' et SH perpendiculaire sur AS' ; je dis que AH est égale au rayon Jai)| ,^^^. (Fig. 90.)

Quelques règles géométriques par Al-Sindjiari.

{-ri "^ ij} ^x.fS^ o^juac^l 3wj**jj^l i^lyiîi Jr*^

Ce petit traité comprend onze proportion»* Prop. i'®. Étant donnée une ligne AB et décrits sur cette ligne un deoii-cercle et deux, arcs opposés (à deuxi angles dont l'un soit obtus et l'autre aigu), savoir ÀCB , ÂDB et ÂËB; les deux arcs étant leU que les deux angles opposés soient ensemble égaux à deux droits ^

Prolongez le diamètre des deux cotés ^ de manière que AG==BH,et prenez aussi AT = Bit; puis menez par les points GATKBH , à la demicirconférence ACB, les lignes GC, AG, TC, KC> BC, HC ; prolongez HC vers E et menez AE , AD; je dis que la somme des deux carrés ^j^ f\p*^ de AC et de BC sera égale au carré de AB , et que là somme dea deux carrés de TC et KG sera égale

( 4o7 ) à la somme de deux lignes quelconques menées des deux points T et K à la demî^irconférence ACB, et que la somme des deux carrés de GC et HC sera égale à ta- somme des carrés de deux antres lignes quelconques menées des points 6 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émonstratian : Quant à Fégalité du carré de AB aux deux carrés de AC et BC , cela provient de ce que l'angle ACB 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 Notes ou corollaires géométriques LujLjL/ ^ i^jja» v^Liulju j (i) ; nous y avons aussi démontré que le carré de AB surpasse les deux carrés de AD9DB 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.)

(i) Voy. ci-dessus, p. 401, noie i'*— 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. a. 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 G coupent la circonférence CND, comme par exemple si l'on mène BT, BH et DR, DL, on aura BO X OT= BS X SH et DL x LN=zDK x RM. ( F. 9a.)

.^ Jâa ^ J^, cP J J^ j ^ J ^ J»^ ^^sj^

Prop. 3. Etant donnés sur la circonférence d'un cercle deux points A et B, joignez ces deux points par une droite ; par le point A menez ÂC tangente au cercle et AD, de manière que l'angle BAD égale 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 et sera égal au carré de AB.(Fig. 93.)

Prop. 4- Le point A étant i® hors du cercle?

n^ dans le cercle :

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

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

Prop. 5. Si deux cercles sont tangents en un point A et que par ce point on mène deux lignes

( 4o9 ) dans les deux cercles , les parties de chaque ligne conaprises dans ces deux cercles seront directement proportionûelles. (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 A donnera la proportion AD : AG : : DE : EG. (Fig. 98.)

Prop. 7. Si l'on divise le grand axe de l'ellipse ^jûSLJl aIa)! J^t^ 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 ail carré du petit axe^^^l ^j^ wi^ ^-^^ ^^ somme des deux lignes menées de chaque point de division à un point quelconque de l'ellipse sera égale au grand axe. (Fig. 99.)

Prop. 8. Soit ACB une ellipse et un cercle dont le grand axe est AB et 1^ petit axe CD; si l'on 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 TGxTB, et on aura TH : CL : : TGxTB :

LM X LB. Ceci se fonde sur les propriétés élémentaires de l'ellipse, et l'auteur ajoute qu'il en a

(4io) donné la démonstration dans la 7a* proposition de son traité des propriétés de l'ellipse L;,L> jJ|^

^LJI aiiil (Fig. 100 et 1 01.)

-Pro/;. 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 A 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 rappoil de AC à BC sera égal au rapport de AE à BE. Cette proposition est incomplètement- traitée dans Euclide. (Fig. io3.)

Prop. II. Étant menées à un cercle donné deux tangentes parallèles et deux auti-es lignes des points de tangence à la circonférence du cercle ^ prolongées jusqu'à ce qu'elles rencontrent le« 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^ rallèle, le rayon sera moyen proportionnel entre

(4ii) tet deux parties interceptées des tangenta» parallèles et le diamètre*

L'auteur fait observer qu'il a démontre ces propositions dans ses 'L^X^ c^UlLu* (i).

Opuscule (£ AUSindjiari sur les lignes menées dans des cercles donnés par des points donnés.

Ce petit traité contient treize questions.

Prop. I. Etant 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 à ïa circonférence, et divisée au point donné en deux parties qui soient entre elles comme deux lignes données. (Fig. io5.)

'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. io6.)

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

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

(i) Voy« eî-deasHSy^ p. 4of ^ note 1

faire passer une droite telle que le rapport du carré de l'une de ses parties au carré de l'autre partie soit égal au rapport de deux lignes données. (Fig. io8.)

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 entière et le carré de la partie extérieure égalent une surface donnée. (Fig. 1 10.)

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 Tune de ces parties soit égale à une ligne donnée. (Fig. m.)

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 ^yo soit égal à une surface donnée. (Fig. i f a.)

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. ri 3.)

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

( 4i3 ) 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 A et C sur la circonférence, les deux rapports DH : HZ et HTrT'KSetc. (Fig. ii4et ii5.)

Prop. 1 1 . 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. II 6.)

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. i3. 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. 11 8 et 1 1 9.)

(i) Le manuscrit porte que ces opuscules d*Ali-Sindjiari ont été achevés au mois de Schawal de l'année $89 de Thégire (1144 de J. G.). C'est sans doute la date de la copie.

Quatorzième lii^re de CEpitome de Viman Muzhaffer^aUlsferlcdi sur les Éléments dEuclide.

Ce Mekalai comprend onze propositions et répond au i4® livre des Éléments d'Ëiidide^ qui n'en contient que sept. Prop. i. Étant donné un cercle ÂBC, dont le centre est en D, AD6 le diamètre ^ GBla corde du io«, BC la corde du 5^; je dis que la perpendiculaire DE est la moitii de la somme deDG-«-GB. (Fig. 120.)

Prop. a. Les mêmes choses étant données, et de plus AB la corde d'un angle intérieur du pentagone yj**^\ je dis que la somme des carrés de ÀB et BC égale cinq fois le carré de DG (du rayon). (Fig. lai.)

Prop. 3. Soit AB le diamètre d'une sphère j^ Vi^; la base du dodécaèdre inscrit uîl ^S ïj*li •«•vpliyup le pentagone CDËGH; et la base de Ticosaèdre inscrit il j^U ^.y^H ^3 îf^L*, le triangle TKL; si Ton inscrit ces deuK bases en deux cercles dont Tun ait pour demi*diamètre IC et l'autre pour demi-diamètre OL, je dis que les deux cercles sont égaux. (Fig. 122, laS.)

Prop. 4. Le pentagone ABCDE, lune des bases {faces) du dodécaèdre étant inscrit en an œrdb

( 4.5 ) dont le centre j^y est en G, et GT étant peipendiculaire sur CD; je dis que GT, multiplie par 3o fois CD if* (^^r^ *^^ vi-fj, est égal à la surface du dodécaèdre. (Fig. i24-)

Pmp, 5. Le triangle ABC, l'une des faces de Picosaèdre, étant inscrit à tin cercle dont le centre est €0 D," et DE étant perpendiculaire sur BC ; je dis que DE multiplié par 3o fois BC est égal à la surface de l'icosaèdre. (Fig. 12 5.)

Prop. 6. Le rapport de la surface du dodécaèdrfiL à celle de l'icosaèdre est égal au rapport du coté cubes.;^Aadt JU?, au côté de l'icosaèdre , lorsqu'ils sont tous inscrits à la même sphère t^i ïj^t^ï/ JL^CJI^. (Fig. 126.)

Pnop. 7. Le pentagone régulier ABCDE étant inscrit à un cercle dont le centre est en L et dont le diamètre est AÏG, 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 pir EK qui est égale aux 5/6 de EB , corde de l'angle du pentagone , est égale à la surface du pentagone. (Figi 127.)

Prop. S, Le pentagone ABCDE et Je 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

( 4i6 ) rapport du pent«'igone ÂBCDE , pris douze fois, au triangle ATG pris \ingt 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 élant divisée en G eu moyenne et extrême raison, G et T comprenant virtuellement y^ 3:h AB, AG? je dis que le rapport de G à T est comme le rapport du côté du cube au côté de Ticosacdre inscHt à la même sphère. (Fig. 129.)

Prop. 10. Le rapport du dodécaèdre à Kcosaèdre est comme le rapport de la surface du dodécaèdre à celle de l'icosaèdre , lorsqu'ils sont ins* crits à une même sphère.

Prop. 1 1. AB élant divisé en C en moyenne et extrême raison, et KL en F, et la plus grande des deux parties élant 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. i3o— i3i.)

Opuscule relatif à la trigonométrie sphérique attribué à AbouUfValid. .Nous sommes porté à croire que cet Aboul-Walid ^1^'^' ft^^ 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 J,! S^ pour l'intelligence parfaite de l'Almageste ; 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 :

iFro/?7 7'^. 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. i32.)

Prop. a. Étant^ donnés deux triangles sphériques formés par des arcs de grand cercle, ^^ Aià& jA^^ ^ ^Ji dont chacun est plus petit que le demi-grand cercle, si deux cotés de l'un de ces triangles sont égaux aux deux correspondants de l'autre, chacun à^hacun, et que l'angle compris entre les côtés égaux soit le même dans chaque triangle, les bases sont égales et les trian-' gles égaux; de plus, les deux autres angles sont aussi égaux, chacun à chacun, dans les deux trian-

gles. (Fig. i33.)

( 4^o ) 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, Tapplication de l'algèbre à la géométrie, la recherche de la solution des équations cubiques 9 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 reconnaîtra que, bien loin de mériter la qualification d'embelecadores falsarios y chimeristas y 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.