IX. I

Indépendamment de cette différence partielle, Tou- i

vrage d'Aboul-Wéfa se sépare essentiellement, quant au plan et aux procédés de démonstration, de VAlmageste de Ptolémée.

(1) M. Biot, dans un article du Journal des savants, intitulé : Sur un exposé de la théorie de la lune, rédigé par un auteur arabe du X^ siècle, a donné une traduction complète de celte partie de Touvrage d'Âboul-Wéfà, que nous appelons ici la seconde partie de la théorie de la lune, laquelle est en onze chapitres. (Voir Journal des savants, année 1845, p. 151-166.)

En effet, Ptolémée procède progressivement aux différentes parties de l'édifice qu'il élève, tandis qu'Aboul- Wéfà montre tout d'abord l'édifice construit complètement, et prouve ensuite l'exactitude et la convenance de chacune de ses parties.

Cette marche régressive est l'inverse de celle de l'au. teur grec. Celle-ci, toute synthétique, est plus conforme à l'esprit d'invention; l'autre, empreinte des progrès de la science dus à une longue culture, émane d'un auteur familiarisé avec son sujet. Âboul-Wé(â la suit avec beaucoup d'ordre, de logique et de méthode. Elle suffirait, indépendamment de la troisième inégalité qu'il a introduite dans la théorie lunaire, pour le justifier d'avoir annoncé, au commencement de son ouvrage, qu'il a suivi une voie nouvelle qu'aucun des aiiciens et Plolémée lui-^même n^avaient mentionnée.

Mais il existe beaucoup d'autres différences entre la marche d'Aboul-Wéfâ et celle de Ptolémée. Ainsi, dans certains détails, il emploie d'autres démonstrations, parce qu'il a à sa disposition un plus grand nombre d'observations qui lui fournissent sans calcul les éléments de sa démonstration. Par exemple, pour déterminer la première inégalité (celle des syzygies), il n'a pas besoin de recourir au problème des trois éclipses résolu par Hipparque, et reproduit par Ptolémée, solution fort belle en théorie, et qui atteste la sagacité d'Hipparque comme géomètre, mais qui assurément est d'une exactitude plus que douteuse dans l'application, puisqu'elle fait dépendre tous les éléments d'une théorie aussi compliquée de trois seules observations qu'on peut présumer entachées d'erreurs, Aboul-Wéfâ,