L'histoire des mathmatiques au service de lenseignement : Exemple de larithmtique vue par les mathmaticiens arabes

Mahdi Abdeljaouad1 (Universit de Tunis) Rsum : En gnral, lhistoire des mathmatiques ne fait pas partie des disciplines enseignes dans les facults des sciences et pourtant sa connaissance pourrait aider le professeur de collge et de lyce changer lattitude des lves face aux mathmatiques. Larithmtique se prtant bien un va et vient entre ce qui est aujourdhui enseign et ce que les Anciens ont crit son sujet, nous nous proposons de passer en revue larithmtique enseigne dans nos collges et lyces et de prsenter pour chaque thme les contributions des mathmaticiens arabes, soit indirectes travers leurs traductions et commentaires des Elments dEuclide ou directes travers les concepts nouveaux ou les techniques originales quils ont introduits. Premire partie
L'histoire des mathmatiques peut tre prsente de diffrentes manires, et chaque prsentation rpond un besoin souvent diffrent et claire l'objet d'tude d'une manire spcifique. Prsentons donc les diffrentes manires d'aborder l'histoire des mathmatiques. 1 . L'histoire chronologique Il s'agit de prsenter l'histoire des mathmatiques travers les ges, en respectant la chronologie. On commence l'Age de Pierre, dans les grottes du Sahara et on cherche les traces des mathmatiques sur leurs murs, jusqu' la dernire mdaille Fields , en passant bien entendu par les Babyloniens, les Egyptiens, les Chinois, les Indiens, les Grecs, les Arabes, les Europens , les Japonais et les Amricains Mayas. C'est l'approche traditionnelle depuis Montucla (XVIIIme sicle) et qu'on retrouve dans la monumentale Histoire gnrale des sciences, crite sous la direction de Ren Taton (1965) ou History of mathmatics, de D.E. SMITH (1923). L'utilit de ces ouvrages tient leur caractre synthtique. La ncessit de ne pas dpasser un certain nombre de pages obligent les auteurs rduire les informations et n'en prsenter que celles qui apparaissent essentielles par rapport aux protagonistes de l'poque et
1

Confrence prsente au sminaire des Rgionales de lATSM du grand Tunis en mars 2009.

pour les auteurs eux-mmes. Souvent subdiviss selon les champs de savoir, ils se ramnent la catgorie que nous allons tudier maintenant.

2 . L'histoire par champs de savoir Dans ces ouvrages, l'histoire des mathmatiques est prsente par champ de savoir: histoire de : la numration, l'arithmtique, la gomtrie, l'algbre, l'analyse, la topologie, la thorie des nombres, etc. Dans cette approche, le champ de savoir balbutie dans la tte de certain gnie ou pendant quelques sicles, avant de natre et franchement prendre son envol : la gomtrie avec Euclide, l'algbre avec alKhawarizmi, la thorie des nombres avec Fermat, l'analyse avec Euler, etc. Souvent peu de place est laisse aux hsitations, aux incursions dans les autres champs, aux obstacles pistmologiques, aux retours en arrires. Et pourtant, la lecture des ouvrages consacrs aux champs de savoir sont passionnants et aident sans aucun doute l'enseignant qui enseigne cette discipline comprendre la gense de ses concepts. Parmi les ouvrages de cette catgorie, signalons l'Abrg dhistoire des mathmatiques : 1700 - 1900, de Jean Dieudonn, l'Histoire universelle des chiffres, de Georges Ifrah, Une introduction l'histoire de l'algbre de Jacques Ssiano, A History of Algebra de B.L. Van der Warden, Mathmatiques au fil des ges, publi sous la direction de Jean DHOMBRES. Les grandes encyclopdies et les grands dictionnaires [Universalis - Larousse - Encyclopdie de l'Islam - ] sont la source d'informations prcieuses dans leurs rubriques rserves aux diffrents champs du savoir mathmatique. 3 . L'histoire par les "grands noms" L'histoire des mathmatiques peut tre aborde par la connaissance de ceux qui l'on produite : les mathmaticiens. Les biographies permettent de mieux connatre les hommes et les femmes qui ont aid les mathmatiques se dvelopper, elle peut les replacer dans la socit qui les a vu natre, grandir, se former et inventer. L'art de la biographie est trs ancien, en particulier chez les Arabes de la grande poque : Tarikh al-Hukama de Jamal ed-Din al-Qifti ou le Fahras d'Ibn Nadhim. Mais, rares sont les mathmaticiens qui sont connus en tant qu'hommes, la plupart ont laiss des travaux et ont peu fait parler d'eux. On ne connat presque rien sur Euclide, Diophante, Brahmagupta ou al-Khawarizmi, on connat mieux les mathmaticiens plus proches de nous tels que Fermat, Euler ou Lebesgue. Nombreux sont les livres qui racontent la vie et l'uvre de mathmaticiens, citons titre d'exemple Les mathmaticiens, dit en 1996 par la revue Pour la Science. Les dictionnaires et les encyclopdies offrent des biographies prsentant les mathmaticiens de toutes les poques, ainsi que leurs travaux. Il est vrai que souvent ces notices rsument plutt que dtaillent les travaux des personnes concernes. Signalons Des mathmaticiens de A Z, de HAUCHECORNE. INTERNET permet d'accder des biographies plus ou moins dtailles de mathmaticiens et les relier, grce aux liens hypertextes, des thmes, des concepts ou des dveloppements mathmatiques.

Nous proposons deux adresses lectroniques susceptibles de vous aider vous aider vous familiariser avec un mathmaticien ou son uvre: http://serge.mehl.free.fr/ http://www-history.mcs.st-and.ac.uk/history/Indexes/HistoryTopics.html 4 . L'histoire par rfrence aux rgions ou aux civilisations De nombreux historiens se spcialisent dans l'tude des mathmatiques produites dans une rgion donne ou par une civilisation prcise: les mathmatiques babyloniennes, gyptiennes, chinoises, indiennes ou arabes par exemple. Ces ouvrages sont souvent trs instructifs condition qu'ils ne tombent dans le pangyrique ethnique, nationaliste ou religieux. Citons, titre d'exemples, l'ouvrage gnraliste de YOUSCHKEVITCH: Les mathmatiques arabes (VIII - XV sicles), le livre de BERGGEN: Episodes in the Mathematics of Medieval Islam, ou l'article de BENOIT, Lintermdiaire arabe? http://aleph0.clarku.edu/~djoyce/mathhist/mathhist.html 5 . L'histoire par les "grands problmes" Des problmes apparaissent au cours de l'Histoire soit la demande de la Socit , soit issus de la curiosit de certains. Des gnrations de savants essayent de bien comprendre ces problmes, crent puis dveloppent des outils mathmatiques pour les rsoudre. Souvent ils contournent le problme de dpart, rpondent partiellement la demande initiale, rencontrent des obstacles insurmontables, inventent de nouveaux concepts ou de nouveaux outils de calcul et souvent se posent ou posent de nouvelles questions. L'ensemble des questions relatives un mme problme est appel un "grand problme" . Parmi les grands problmes on connat le problme de l'infini et la naissance de l'Analyse, le cinquime postulat d'Euclide et la naissance des gomtries non euclidiennes, la rsolution des quations et l'extension du concept de nombres, . Comme disait Gaston Bachelard, "Pour un esprit scientifique, toute connaissance est la rponse une question". L'tude des grands problmes permet d'aborder les concepts et les techniques scientifiques modernes en explicitant les questions auxquelles ils rpondent et en dcrivant les processus qui les ont amen leur forme actuelle. On vite ainsi l'approche par priode historique qui claire un pass peuttre rvolu ou l'approche par champ de savoir qui risque de ngliger les interactions souvent nombreuses entre champs distincts. Cette lecture par "grands problmes" se trouve dans de nombreux ouvrages. Signalons en particulier: Histoire de problmes, histoire des mathmatiques" de la Commission inter-IREM de France ou Elments d'histoire des sciences, l'imposant ouvrage crit sous la direction de l'acadmicien Michel Serres.

6 . L'histoire par les textes d'origine Certains ouvrages offrent la possibilit de lire des extraits de textes mathmatiques dans leur rdaction dorigine. Leur tude permet de tenter de comprendre la logique utilise par leurs auteurs et de bien cerner les contraintes dans lesquels ils taient placs et les obstacles qu'ils devaient franchir. Mathmatiques au fil des ges, publi par Dhombres propose plusieurs courts textes originaux comments. La disponibilit et la varit de ces textes (manuscrits ou imprims) sest accrue depuis quil est possible de les trouver sur diffrents sites internet comme par exemple : http://gallica.bnf.fr/

Deuxime partie : Lhistoire des mathmatiques dans les programmes et manuels

La lecture des programmes ne permet dy trouver aucune allusion lhistoire des mathmatiques. Par contre, certains auteurs de manuels de mathmatiques introduisent une page dhistoire des sciences au dbut dun chapitre (8e anne de base) ou dhistoire des mathmatiques en fin de chapitre (1e anne secondaire), comme un complment culturel offert llve. Les associations de professeurs de mathmatiques et le ministre de lducation sur leurs sites internet ou dans leurs revues priodiques contribuent populariser auprs des professeurs et des lves quelques lments dhistoire des mathmatiques. 1 Lhistoire des sciences dans le manuel de 8e anne de base :

5 16 30 42 55 69 78 89 105 127 150 165 182 202 215

: ( ( ( ( ( ( ( ( ) ( ( ( ( ( ( ) )

( ) ) ) ) ) )

) ) ) ) )

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

Nous constatons que ces quinze fiches :

1. traitent dune manire extrmement sommaire de personnages ayant une renomme dans un domaine scientifique quelconque, 2. nont aucun rapport direct avec les thmes tudis dans le chapitre. 3. sont recopies partir de la mme source al-majallah al-ilmya al-arabya li al-sibyn (Revue scientifique arabe pour les jeunes), Ces capsules dont la vocation nest pas historique, mais plutt hagiographique laissent une impression de volont de remplissage et non un dsir de formation ou de motivation ou daide la lecture des mathmatiques prsentes dans le chapitre. 2 Lhistoire des mathmatiques dans le manuel de 1e anne secondaire
Chap. 1 2 3 titre du chapitre Angles Thorme de Thals Rapports trigonomtriques. Relations mtriques dans le triangle rectangle Vecteurs et translations Contenu de la page dhistoire Eratosthne (vignette + 1 photo) + 1 exercice sur le drapeau tunisien 5 branches Thals (vignette + 1 image pyramide) + une construction de Descartes Les tables trigonomtriques (vignette + photo) + Ebauche dhistoire du sinus (pas de source) Les 7 groupes de frises (vignette + photo) (source Autodidactique Quillet) + Court historique du terme vecteur + dessin dEscher Chasles (vignette et photo) + Le mouvement dun voilier en mer + vignette courte sur les navigateurs arabes Descartes (vignette + photo) + vignette courte sur la gomtrie analytique Motifs gomtriques dans les dcors musulmans (vignette et 4 photos). Photos des 5 polydres convexes et courte vignette. Enonc du thorme dEuler. 4 vignettes (lapport des mathmatiques arabes Thabit ibn Qurra exercice utilisant lalgorithme dEuclide Citation en arabe dIbn Khaldoun) + 1 photo de ce dernier. 2 vignettes (Ibn al-Haytham al-Kashi) 1 photo dune bibliothque arabe du 11e sicle 1 photo dun dessin du thm de Pythagore. 3 vignettes (Linvention de lalgbre al-Khwarizmi Omar al-Khayyam) + 1 photo 4 vignettes (Euclide la proportion le partage des successions lquilibre des poids) + 2 photos. 5 vignettes (Les six formes dquations dal-Khwarizmi Sharaf al-Din al-Tusi al-Qalasadi la terminologie algbrique arabe) 4 vignettes (Fonctionnalit mouvement et trajectoires les lois de Kepler) + 6 images (ellipsoides et paraboloides) 3 vignettes (Diophante un problme dge une photo de Page n22 n36 n50

n68

5 6 7 8 9

Somme de 2 vecteurs Activits dans un repre Quart de tour Sections planes dun solide Activits numriques 1

n81 n100 n116 n132 n152

10

Activits numriques 2

n168

11 12 13

Activits algbriques Fonctions linaires Equations de degr 1 et inquations Fonctions affines Systmes de 2 quations 2

n184 n196 n212

14 15

n226 n240

inconnues 16 Exploitation de linformation

lUnesco montrant la sciences est produite successivement par diffrentes civilisations) 4 vignettes (Babylone coefficient multiplicateur les piges de la moyenne Moyenne et mdiane) + 1 photo.

n267

Nous constatons que les auteurs de ce manuel ont fait un effort particulier pour que les vignettes historiques ou culturelles soient en rapport avec le contenu mathmatique du chapitre. Toutes ces vignettes sont brves et sont correctes, mais ne se rapportent aucune source particulire. 3 Le site edunet : On y trouve une chronologie des mathmatiques mal rdiges, visiblement recopies partir du web et surtout non signe et jamais mise jour. 4 LATSM a fait un effort considrable pour offrir aux enseignants et aux lves des confrences et des textes crits portant sur lhistoire des mathmatiques. 4. Lorganisation des colloques maghrbins sur lhistoire des mathmatiques arabes et la publication des actes de ces colloques ont servi diffuser des connaissances souvent rcemment dcouvertes sur les mathmatiques enseignes au Maghreb depuis le 9e sicle. Des domaines ont pu tre bien explors, en particulier larithmtique, lalgbre et la gomtrie, ainsi que lastronomie. 5. Lors de la plupart des Journes nationales de lATSM, un spcialiste est invit prsenter une confrence portant exclusivement sur lhistoire des mathmatiques ou animer un atelier sur ce type de thme. 6. LATSM a publi une dition critique dun manuscrit dcouvert Djerba, Sharh al-urjza alyasminya crite par un grand mathmaticien gyptien du 13e sicle, Ibn al-Him. 7. La revue Omar al-Khayyam a publi de nombreuses articles destins aux lves des lyces et portant sur lhistoire des mathmatiques, comme par exemple : Archimde Euclide Diophante Brahmagupta Al-Khwarizmi Al-Birni Abu Kamil rsout un problme doiseaux Ibn al-Ysamin Les fractions gyptiennes La numration indienne. La numration alphabtique des Arabes (hissab al-jummal) Les fractions dans les mathmatiques arabes. La mthode des deux erreurs (hissab al-khataayn) Les symboles mathmatiques maghrbins Le triangle 13 14 15 Histoire des coefficients du binme et du triangle de Pascal . Petite histoire du nombre pi.

Troisime partie : L'histoire des mathmatiques au service de lenseignement ; lexemple de larithmtique vue par les mathmaticiens arabes.

1. Les programmes darithmtique enseigns dans nos collges et lyces

7e anne de base : Les entiers naturels. Les puissances dun entier naturel. Les diviseurs et les multiples dun entier naturel. Les nombres premiers. Le crible dEratosthne. Dcomposition en facteurs premiers. PGCD et PPCM de deux entiers naturels. 8e anne de base : Division euclidienne. Diviseur dun entier naturel. Multiple dun entier naturel. Divisibilit par 4 , 25 et 8. Les entiers relatifs. 9e anne de base : Lemme de Gauss. Divisibilit par 6, 12 et 15. 1e anne secondaire : Dcomposition en facteurs premiers PGCD PPCM. Nombres premiers. Nombres premiers entre eux. Forme irrductible dune fraction. Cardinal dun ensemble fini. 2e anne secondaire : Reste de la division euclidienne dun entier par 2 , 3 , 4 , 8 , 9 , 11 et 25. Critres de divisibilit. 3e anne secondaire : Divisibilit dans N. Le principe de rcurrence. Division euclidienne dans N. PGCD dans N. Nombres premiers entre eux. Lemme de Gauss. PPCM dans N. Les nombres premiers. Le petit thorme de Fermat. 4e anne secondaire : Divisibilit dans Z. Division euclidienne dans Z. Congruences modulo n. PGCD dans Z. Lemme de Gauss. PPCM. Thorme de Bzout. Rsolution dans Z dquations du type : ax + by = c.

2. Des textes anciens qui donnent un clairage diffrent des concepts tudis
Lessentiel des connaissances darithmtiques enseignes au collge et au lyce se trouve dabord chez Euclide (v. 3e s. avant J.C.), les no-pythagoriciens (en particulier Nicomaque de Grase vers lan 100) et bien plus tard Gauss (1801). Une grande partie de lhritage grec a t sauvegard par les mathmaticiens arabes qui ont commenc par traduire les grandes uvres, puis se sont atteles les faire voluer. La dcouverte de lcriture dcimale de position, invente en Inde, transforme compltement larithmtique science du nombre reprsent par des segments chez les Grecs en une science du nombre crit avec dix chiffres et permettant deffectuer beaucoup plus rapidement les oprations classiques sur les entiers naturels (addition, soustraction, multiplication, division, racine carre). Les textes arabes qui nous sont parvenus, traductions ou crits originaux, montrent lvolution des concepts, de la terminologie, des techniques et la naissance des thories nouvelles partir de larithmtique : dabord lalgbre avec al-Khwarizmi (m. 850), puis une thorie des fractions considrs comme nombres et enfin une thorie des polynmes inspire de lcriture des nombres dcimaux. La dcouverte des nombres ngatifs est par contre trs tardive, des sicles pour les dcouvrir, des sicles pour les accepter (Stella Baruk : Dictionnaire de mathmatiques lmentaires, pages 750 754), il faut attendre la fin du 18e sicle, pour que ces nombres sont enfin accepts avec leurs significations actuelles. Voir par exemple sur INTERNET : Larticle Ngatif crit par le mathmaticien DAlembert (1784 1789)

http://portail.atilf.fr/cgi-bin/getobject_?a.80:310./var/artfla/encyclopedie/textdata/IMAGE/ Nous ne pourrons pas dvelopper tous ces thmes dans cette confrence ; les dtails les concernant vont paratre dans un ouvrage que Mohsen Allani et moi-mme prparons et qui contiendra un trs grand nombres de textes anciens traduits en langue arabe ou crits directement dans cette langue. Nous proposons six textes que nous commenterons : 1. 2. 3. 4. 5. 6. Nicomaque de Grase et le raisonnement par induction Lalgorithme dEuclide et les nombres premiers entre eux Ibn al-Haytham critique Euclide Ibn al-Banna propose une autre approche de lalgorithme dEuclide Ibn al-Ysamin nonce les conditions de divisibilit par un nombre entier Ibn al-Banna explique la multiplication de deux nombres composs

1. Nicomaque de Grase et le raisonnement par induction Pour les premiers arithmticiens, comme Pythagore, les premires notions sont traites concrtement ; ce sont vraiment des cailloux quon place sur le sol, do le nom calcul . Plusieurs proprits des nombres entiers ont t ainsi dcouvertes, par induction ; cest dire qu partir de nombres petits des gnralisations ont t faites. Dans larithmtique de Nicomaque de Grase, on trouve ces rsultats sous la forme dnoncs accepts. Dans http://www.chronomath.com/ , on lit dans la rubrique Nicomaque ceci : On trouve l'tude des nombres figurs, c'est dire que l'on peut reprsenter par des figures gomtriques : triangulaires (fig.1), carrs (fig.2), pentagonaux (fig. 3), etc.

Si on note Tn le nombre triangulaire de rang n, on a T1 = 1, T2 = 3, T3 = 6 et, d'une faon gnrale : T1 = 1 et Tn = Tn-1 + n . Donc Tn n'est autre que la somme des n premiers entiers naturels.

Si Cn dsigne maintenant le nombre carr de rang n, on constate la rcurrence : C1 = 1 et Cn = Cn-1 + (2n - 1)

Quant aux nombres pentagonaux, on prouvera facilement que leur nombre Pn vrifie la relation : P1 = 1 et Pn = Pn-1 + 3n 2

Thabit ibn Qurra (m. 901) a traduit lIntroduction arithmtique de Nicomaque de Grase (vers 100) et a rvis lune des traductions des Elments dEuclide. Sa connaissance de ces deux textes fondamentaux lui a permis dnoncer et dmontrer un thorme sur les nombres amiables que lon retrouve aujourdhui dans tous les manuels darithmtique. 2. Lalgorithme dEuclide et les nombres premiers entre eux (le raisonnement par induction) En gnral, on croit que les Elments dEuclide ne traitent que de gomtrie du plan et de lespace. En fait, cet ouvrage compos de 13 parties contient un chapitre (le 5e) sur les proportions, le 10e sur les nombres irrationnels et les chapitres 7 8 9 sur les entiers naturels. Cest dans ces chapitres quest introduite et traite larithmtique. Euclide commence par les dfinitions de base :
DEFINITIONS2. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14.
2

Lunit est ce selon quoi chacune des choses existantes est dite une. Un nombre est un assemblage compos dunits. Un nombre est une partie dun nombre, le plus petit du plus grand, lorsque le plus petit mesure le plus grand. Un nombre est parties dun nombre, quand il ne le mesure pas. Un nombre est multiple dun nombre, le plus grand du plus petit, quand il est mesur par le plus petit. Le nombre pair est celui qui peut se partager en deux parties gales. Le nombre impair est celui qui ne peut pas se partager en deux parties gales, ou bien celui qui diffre dune unit du nombre pair. Le nombre pairement pair est celui qui est mesur par un nombre pair multipli par un nombre pair. Le nombre pairement impair est celui qui est mesur par un nombre pair multipli par un nombre impair. Le nombre impairement pair est celui qui est mesur par un nombre impair, multipli par un nombre pair. Le nombre impairement impair est celui qui est mesur par un nombre impair multipli par un nombre impair. Le nombre premier est celui qui est mesur par lunit seule. Les nombres premiers entreux sont ceux qui ont lunit seule pour commune mesure. Le nombre compos est celui qui est mesur par quelque nombre.

Ces dfinitions sont recopies partir du site : http://jfgilles.club.fr/mathematiques/bibliotheque/euclide/index.html

10

15. Les nombres composs entreux sont ceux qui ont quelque nombre pour commune mesure. 16. Un nombre est dit multiplier un nombre, lorsque le multipli est ajout autant de fois quil y a dunits dans celui qui le multiplie, et quun nombre est produit. 17. Lorsque deux nombres se multipliant font un nombre, celui qui est produit se nomme plan ; et les nombres qui se multiplient, se nomment les cts de ce produit. 18. Lorsque trois nombres se multipliant entreux font un nombre, celui qui est produit est appel solide ; et les nombres qui se multiplient, se nomment les cts du produit. 19. Le nombre quarr est celui qui est galement gal, ou celui qui est contenu sous deux nombres gaux. 20. Le nombre cube est celui qui est galement gal galement, ou bien celui qui est contenu sous trois nombres gaux. 21. Des nombres sont proportionnels, lorsque le premier est le mme multiple du second que le troisime lest du quatrime, ou lorsque le premier est la mme partie ou les mmes parties du second que le troisime lest du quatrime. 22. Les nombres plans et solides semblables sont ceux qui ont leurs cts proportionnels. 23. Le nombre parfait est celui qui est gal ses parties.

Une fois ces dfinitions prcises, Euclide nonce et dmontre immdiatement une premire proposition concernant les nombres premiers entre eux.
Deux nombres ingaux tant proposs, le plus petit tant toujours retranch du plus grand, si le reste ne mesure celui qui est avant lui que lorsque lon a pris lunit, les nombres proposs seront premiers entreux3.

Nous proposons la traduction arabe de cette proposition que nous commenterons : Livre 7 : (voir en annexe 1) On remarque : - lallure gomtrique de la dmonstration : des segments sont dessins et servent dans la dmonstration, - des lettres surmontes de traits sont incluses dans le texte, (retrancher) revient souvent. - le verbe - Considrant deux entiers naturels quelconques, Euclide commence par une procdure de soustractions successives et annonce tre arriv un dernier reste gal 1. Il dmontre alors que les deux nombres de dparts taient premiers entre eux. - Noublions pas que cest la premire proposition darithmtique.

3. La raction dIbn al-Haytham la lecture de cette proposition : Dans un trait iconoclaste " " , Ibn al-Haytham remet en question plusieurs vrits nonces par Euclide et discute mme certaines dmonstrations. La proposition 1 du Livre 7 le gne et il le dit clairement : On remarque : - Il conteste que cette premire proposition ne soit pas prcde dune proposition prliminaire

Mme source

11

Il considre quEuclide considre implicitement quil existe deux nombres premiers entre eux, mais quil ne la pas montr. Il nonce que deux nombres quelconques successifs sont premiers entre eux. Il dmontre ce thorme en utilisant un raisonnement pas labsurde. (voir ci-dessous annexe 2) 4. La proposition 2 des Elments dEuclide (livre 7) :

Deux nombres non premiers entre eux tant donns, trouver leur plus grande commune mesure.
On remarque : - lallure la dmarche reste gomtrique : des segments sont dessins et des lettres surmontes de traits sont incluses dans le texte,
-

le verbe , (mesurer) revient souvent (terminologie essentiellement gomtrique). Nous disons aujourdhui diviser , cest dire un terme arithmtique . Ainsi, la plus grande commune mesure est videmment appel aujourdhui le pgcd . Euclide utilise ici un raisonnement par labsurde. Il commence par une procdure de soustractions successives et annonce tre arriv un dernier reste gal 1. Il dmontre alors que les deux nombres de dparts taient premiers entre eux. Le thorme dexistence de la dcomposition en facteurs premiers. Ce thorme, dmontr par Gauss, est aussi appel le thorme fondamental de larithmtique . (voir ci-dessous annexe 1) 5. Ibn al-Banna propose une autre approche de lalgorithme dEuclide :

On remarque : - lallure la dmonstration reste gomtrique : des segments sont dessins et servent dand la et des lettres surmontes de traits sont incluses dans le texte, - le verbe , (mesurer) revient souvent (terminologie essentiellement gomtrique). Nous disons aujourdhui diviser , cest dire un terme arithmtique . - Euclide commence par une procdure de soustractions successives et annonce tre

arriv un dernier reste gal 1. Il dmontre alors que les deux nombres de dparts taient premiers entre eux. (voir annexe 4)
6. Nusair al-Din al-Tsi nonce les preuves par 9 et par 11 On remarque :

12

lallure de la dmonstration reste gomtrique : des segments sont dessins et servent dans la et des lettres surmontes de traits sont incluses dans le texte, le verbe , (mesurer) revient souvent (terminologie essentiellement gomtrique). Nous disons aujourdhui diviser , cest dire un terme arithmtique .

Euclide commence par une procdure de soustractions successives et annonce tre arriv un dernier reste gal 1. Il dmontre alors que les deux nombres de dparts taient premiers entre eux. (voir annexe 3)
7. Ibn al-Banna explique la multiplication de deux nombres

On remarque : -

lallure la dmonstration reste gomtrique : des segments sont dessins et servent dand la et des lettres surmontes de traits sont incluses dans le texte, le verbe , (mesurer) revient souvent (terminologie essentiellement gomtrique). Nous disons aujourdhui diviser , cest dire un terme arithmtique .

Euclide commence par une procdure de soustractions successives et annonce tre arriv un dernier reste gal 1. Il dmontre alors que les deux nombres de dparts taient premiers entre eux.

Le thorme dexistence de la dcomposition en facteurs premiers. Ce thorme, dmontr par Gauss, est aussi appel le thorme fondamental de larithmtique . (voir annexe 4)

13

ANNEXE 1 :

: .( 2 ) ( ) .

. . . . . ( 62 - 61 ). . .

PROPOSITION II. Deux nombres non premiers entre eux tant donns, trouver leur plus grande commune mesure. COROLLAIRE. Il suit videmment de l, que si un nombre en mesure deux autres, il mesure aussi leur plus grande commune mesure.

14

Annexe 2 :
4

. .

. .

. .

. .

.1985

"

":

15

Annexe 3 : :5

. . . ...

(147 .

) . ...

) .1967 2

20

"

" (148-147 .

16

Annexe 4 : : (1321 . ) "6 . . . . : (85-84 . ). : "7 " . "

. . . (123 . ).

.1984 1

"

" .

6 7

17