Ibn Ghazi

Entre 1437 et 1513, Ibn Ghāzī travaille dans la tradition mathématique arabe médiévale tardive. Face à un problème de nombres, il ne cherche pas seulement la réponse par essais successifs. Il traduit la situation en une équation : une quantité inconnue prend une place précise, puis les relations du problème déterminent sa valeur.

Ce passage du récit au calcul algébrique est l'idée essentielle. Le problème particulier devient une relation formelle que l'on peut transformer de manière organisée jusqu'à obtenir la solution.

Ibn Ghāzī (1437–1513) est un mathématicien d'origine égyptienne rattaché à la tradition arabe médiévale tardive. La source le caractérise par sa manière de résoudre des problèmes arithmétiques : il représente formellement les quantités et leurs relations au moyen d'équations, puis déduit la solution de ces équations.

Cette démarche est algébrique parce qu'elle traite une quantité encore inconnue à travers les opérations qui la relient aux données connues. Elle se distingue du tâtonnement, qui essaie des valeurs jusqu'à en trouver une convenable, et d'un traitement uniquement numérique, qui n'explicite pas nécessairement la relation générale. Une équation formelle donne au contraire un modèle du problème avant sa résolution.

Dans l'histoire décrite par la source, ce travail prolonge l'évolution de la pensée algébrique arabe depuis Al-Khwārizmī. Il témoigne, au XVe siècle, d'un mouvement vers une algèbre plus abstraite et plus symbolique dans le monde mathématique arabo-méditerranéen. Il ne faut pas en conclure que toute l'algèbre du temps emploie les symboles modernes : le trait décisif présenté ici est la mise en équation formelle.

Voici une reconstruction pédagogique de la démarche, et non un problème attribué à Ibn Ghāzī. On cherche un nombre qui, augmenté de son tiers, donne 20. La donnée connue est le total 20 ; la quantité inconnue est le nombre cherché.

1. Appelons x le nombre cherché.
2. Son tiers vaut x/3.
3. La phrase du problème devient l'équation $x+\frac{x}{3}=20x+\backslash frac\{x\}\{3\}=20$.
4. En réunissant les deux termes, on obtient $\frac{4x}{3}=20\backslash frac\{4x\}\{3\}=20$.
5. En multipliant par 3 puis en divisant par 4, on trouve x = 15.

Le résultat est donc le nombre 15. Le contrôle se refait dans l'énoncé initial : le tiers de 15 vaut 5, et 15 + 5 = 20. L'équation a remplacé la recherche par essais par une suite d'opérations vérifiables.

Pour lire un problème arithmétique à la manière décrite dans la source, on commence par séparer les données connues de la quantité cherchée. Le geste utile consiste ensuite à écrire la relation qui les unit, avant de calculer.

Lorsque plusieurs essais seraient possibles, la mise en équation rend chaque transformation contrôlable. Dans l'exemple du nombre augmenté de son tiers, elle montre immédiatement que le total 20 correspond à quatre tiers de l'inconnue.

Le tâtonnement reste un moyen de vérifier une petite réponse entière, mais il explique moins bien pourquoi cette réponse convient. L'équation est préférable dès que l'on veut exposer la relation et justifier la déduction.

Mise en équation et tâtonnement. Le critère est la place donnée à l'inconnue. Essayer 12, 15 puis 18 est un tâtonnement ; écrire que le nombre plus son tiers vaut 20 formalise d'abord la relation, puis conduit à 15.

Approche algébrique et notation symbolique moderne. Une démarche est algébrique lorsqu'elle organise formellement les relations entre quantités. La présence de lettres et de signes tels qu'on les écrit aujourd'hui n'est donc pas, à elle seule, le critère historique retenu ici.

Ne pas attribuer l'exemple à l'auteur. Le calcul sur un nombre augmenté de son tiers illustre la méthode décrite par la source. Il ne documente ni un énoncé précis ni une notation effectivement employés par Ibn Ghāzī.

Ne pas transformer une tendance en rupture absolue. La source situe Ibn Ghāzī dans une évolution engagée depuis Al-Khwārizmī. Elle oppose son approche à celle d'autres auteurs, pas à toutes les mathématiques antérieures ou contemporaines.

Ne pas réduire le contexte à une origine. « D'origine égyptienne » qualifie le mathématicien ; la tradition évoquée est plus largement arabe et le cadre décrit est arabo-méditerranéen au XVe siècle. Ces indications ne sont pas interchangeables.

Al-Khwarizmi. Situer le prédécesseur auquel la source rattache l'évolution de la pensée algébrique arabe.

algèbre. Approfondir le langage qui formalise les inconnues, les opérations et les relations.

arithmétique. Revenir au domaine des nombres et des problèmes auxquels s'applique la mise en équation décrite.