Mahāvīra (ou Mahaviracharya, «Mahavira le Maître») est un mathématicienjaïn du IXesiècle[1],[2],[3] qui a contribué de manière significative au développement de l'algèbre. Il est l'auteur du texte indien le plus ancien consacré aux mathématiques, rédigé en 850 après J.-C, le Gaṇitasārasan̄graha (Ganita Sara Sangraha ou Ganitasara sahgraha) ou «Compendium de l'essence des mathématiques».
Tout ce que l'on sait de la vie de Mahāvīra est qu'il était jaïn (il a peut-être pris son nom en l'honneur du grand réformateur du jaïnisme Mahavira [vers 599-527 avant J.-C.]) et qu'il a écrit l'ouvrage Gaṇita-sāra-saṅgraha («Compendium de l'essence des mathématiques») sous le règne d'Amoghavarsha (vers 814-878) de la dynastie des Rashtrakuta[4],[5],[4].
La paternité de l'ouvrage astronomique Jyotis-apatala est également attribuée à Mahāvīra. Quelques manuscrits de ce titre sont mentionnés dans le Jina-ratna-kosa et le New Catalogus Catalogorum, mais sans mention d'auteur. Un autre ouvrage qui lui est attribué est le Chattisu, mais il s'agit également d'une sorte d'élaboration d'une partie du Ganitasara sahgraha réalisée par Madhavacandra Traivi-dya (vers l'an 1000)[6]. En tout état de cause Gaṇita-sāra-saṅgraha reste sa grande œuvre.
Mahāvīra souligne l'importance des mathématiques dans la vie séculaire et religieuse et dans toutes sortes de disciplines, y compris dans l'amour et la cuisine. Il est le premier à séparer l'astrologie des mathématiques. Il a exposé les mêmes sujets sur lesquels Aryabhata et Brahmagupta se disputaient, mais il les a exprimés plus clairement. L'accent est mis, dans une grande partie de son texte, sur le développement des techniques nécessaires à la résolution des problèmes algébriques[7]. Il est très respecté parmi les mathématiciens indiens, en raison de sa définition d'une terminologie pour des concepts tels que le triangle équilatéral et isocèle, le losange, le cercle et le demi-cercle[8].
La notoriété de Mahāvīra s'est répandue dans toute l'Inde du Sud et ses livres se sont avérés être une source d'inspiration pour d'autres mathématiciens de l'Inde du Sud[9]. Il est traduit en langue télougou par Pavuluri Mallana sous le titre de Saara Sangraha Ganitamu[10],[6].
L'ouvrage comprend 1 131 règles ou versets et exemples versifiés répartis en neuf chapitres[11]:
Mahāvīra a fait une observation remarquable en ce qui concerne la racine carrée d'un nombre négatif. Il a dit: «Un nombre négatif n'est pas carré par nature, c'est pourquoi il n'y a pas de racine carrée (réelle) de ce nombre».
Opérations sur les fractions
Dans les temps anciens, les fractions unitaires étaient considérées comme très importantes. Le Ganitasara sahgraha contient des résultats intéressants à ce sujet.
Décomposition en fractions unitaires
Le Gaṇita-sāra-saṅgraha de Mahāvīra a donné des règles systématiques pour exprimer une fraction comme somme de fractions unitaires[12]. Cela fait suite à l'utilisation des fractions unitaires en mathématiques indiennes à l'époque védique, et aux Śulba Sūtras' donnant une approximation de équivalente à ,[12].
Dans le Gaṇita-sāra-saṅgraha (GSS), la deuxième section du chapitre sur l'arithmétique est nommée kalā-savarṇa-vyavahāra (lit. «l'opération de la réduction des fractions»). La section bhāgajāti (versets 55-98) donne les règles suivantes[12]: .
Pour exprimer 1 comme somme de n fractions unitaires (GSS kalāsavarṇa 75, exemples en 76)[12]:
«rūpāṃśakarāśīnāṃ rūpādyās triguṇitā harāḥ kramaśaḥ /dvidvitryaṃśābhyastāv ādimacaramau phale rūpe //»: «Lorsque le résultat est 1, les dénominateurs des quantités ayant 1 comme numérateurs sont [les nombres] commençant par 1 et multipliés par trois, dans l'ordre. Le premier et le dernier sont multipliés par deux et deux tiers [respectivement]».
Pour exprimer 1 comme la somme d'un nombre impair de fractions unitaires (GSS kalāsavarṇa 77)[12]:
Pour exprimer une fraction unitaire comme la somme de n autres fractions aux numérateurs donnés (GSS kalāsavarṇa 78, exemples en 79):
Pour exprimer toute fraction comme une somme de fractions unitaires (GSS kalāsavarṇa 80, exemples en 81)[12]:
Choisir un entier tel que est un entier, puis écrire
et répéter le processus pour le second terme, de manière récursive. Noter que si est toujours choisi pour être le plus petit de ces entiers, ceci est identique à l'algorithme glouton pour les fractions égyptiennes.
Pour exprimer une fraction unitaire comme la somme de deux autres fractions unitaires (GSS kalāsavarṇa 85, exemple en 86)[12] on pose:
où est choisi tel que est entier (donc doit être un multiple de ).
Pour exprimer une fraction unitaire comme somme de deux fractions unitaires:
Pour exprimer une fraction comme la somme de deux autres fractions dont les numérateurs et sont donnés (GSS kalāsavarṇa 87, exemple en 88)[12]:
avec tel que divise .
Quelques règles supplémentaires ont été données dans le Gaṇita-kaumudi de Narayana Pandit au 14esiècle[12].
Il a trouvé des méthodes pour calculer le carré d'un nombre et les racines cubiques d'un nombre.[13] Il a affirmé que la racine carrée d'un nombre négatif n'existe pas[14].
Règle de trois
Voici un exemple de problème qui se formule comme un système d'équations linéaires[2]:
Trois marchands trouvent une bourse sur la route. L'un d'eux dit: «Si je garde la bourse, j'aurai deux fois plus d'argent que vous deux réunis». Le deuxième marchand dit: «Donnez-moi la bourse et j'aurai trois fois plus d'argent». Le troisième marchand dit:«Je serai beaucoup plus riche que vous deux si je garde la bourse, j'aurai cinq fois plus d'argent que vous deux réunis». Combien d'argent y a-t-il dans la bourse? Combien d'argent possède chaque marchand?
Si le premier marchands possède , le deuxième , le troisième et si est le montant p est le montant de la bourse, alors
.
Il n'existe pas de solution unique, mais la plus petite solution en nombres entiers positifs est:
.
Toute solution en nombres entiers positifs est un multiple de cette solution comme le dit Mahavira.
Géométrie
Dans les problèmes de mensuration en géométrie, Mahāvīra donnait habituellement deux règles: l'une pour des résultats approximatifs et l'autre pour des résultats meilleurs ou plus précis. Il a traité toutes les figures planes habituelles. Pour le nombre , il s'est conformé aux valeurs approchées 3 («Jaina») et plus précise [11].
Cercle inscrit
Le rayon du cercle inscrit dans un triangle est égal à l'aire du trangle divisé par la moitié de son périmètre (GSS kalāsavarṇa VII 223 1/2).
Ellipses
Mahāvīra est le premier mathématicien indien à traiter des caractéristiques d'une ellipse qu'il appelle ayata-vrtta (cercle allongé), mais ses règles sont approximatives.
Pour une ellipse de grand rayon et de petit rayon , ses résultats «exacts» sont les suivants:
Aire =
Périmètre =.
Pour la calcul exact de l'ellipse, il a fallu attendre environ 800 ans pour acquérir le puissant outil qu'est le calcul intégral. Dans ce contexte, il convient d'apprécier la première tentative de Mahāvīra[11].
Figures rationnelles
La contribution de Mahāvīra à la formation des figures rationnelles est importante. Il appelle un triangle ou un quadrilatèrejanya (engendré) lorsque ses côtés, ses hauteurs et d'autres paramètres importants peuvent être exprimées en termes de nombres rationnels. Cette définition est la première reconnaissance claire des nombres irrationnels en mathématiques, dont la définition formelle a dû attendre encore plusieurs siècles[11].
Bibhutibhusan Datta et Avadhesh Narayan Singh, History of Hindu Mathematics: A Source Book(en), Asia Publishing House, , 610p. (lire en ligne). — réédition du livre de 1930.
Helaine Selin, Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures, Springer, (ISBN978-1-4020-4559-2, lire en ligne)
Robert E. Krebs, Groundbreaking scientific experiments, inventions, and discoveries of the Middle Ages and the Renaissance, Greenwood Publishing Group, (ISBN978-0-313-32433-8, lire en ligne)
T. K. Puttaswamy, Mathematical achievements of pre-modern Indian mathematicians, Elsevier Insights, , xxiii+743 (ISBN978-0-12-397938-4, zbMATH1263.01003, lire en ligne), chap.9 («Mahavira»), p.231-316.
Takanori Kusuba, «Indian rules for the decomposition of fractions», dans Charles Burnett, Jan P. Hogendijk, Kim Plofker, Michio Yano (éditeurs), Studies in the history of the exact sciences in honour of David Pingree, Éditions Brill, (ISBN9004132023, DOI10.1163/9789047412441_018), p.497-516
Clifford A. Pickover, The math book.: From Pythagoras to the 57th dimension. 250 milestones in the history of mathematics., New York, NY, Sterling Publishing, , 527p. (ISBN978-1-4027-5796-9, zbMATH1193.00011), p.88.
David E. Pingree, Pingree's Census of the Exact Sciences in Sanskrit, Philadelphie, American Philosophical Society, 1970-1994 (5 volumes) (lire en ligne), p.388