Le geste gomtrique, ou lacte de dmontrer

Jean-Claude Duperret

0 - Avant-propos, ou la gense dun article.

La gomtrie du collge (et maintenant de la seconde) me semble un lieu privilgi pour rendre les mathmatiques vivantes auprs de nos lves : avec peu doutils, pour la plupart hrits des Grecs, on peut proposer nos lves de vritables problmes 1, les resituer dans un contexte historique qui en montre les enjeux. Cette rflexion a t lorigine de la premire version de cet article. Celle-ci a suscit de nombreuse ractions : au-del de la quantit, je tiens souligner la qualit des critiques que jai reues. Jai pris le maximum de lapport de chacun, et cet article est maintenant un peu celui de ces collgues qui mont fait avancer dans ma rflexion. Cest une chance que nous avons dans les Irem que ces dbats dides, malheureusement rservs trop peu denseignanst. .En guise de bibliographie, jai tenu les citer pour les remercier de leur apport . Quant donner de faon prcise les rfrences de tous ceux qui mont au cours des annes fait avancer dans ma rflexion, jen tais incapable ; je me suis donc contenter de flcher au fil du texte des contributions directes. Je vais cependant me permettre den mettre deux en avant. Tout dabord Rudolf Bkouche 2, qui ma envoy un texte dune grande profondeur : il ma permis de corriger certaines erreurs historiques, mais surtout de relier des gestes que je propose dans cet article : loutil formidable que sont les cas dgalit et de similitude des triangles, qui ont t le fondement de mon apprentissage de la gomtrie en tant qulve, la force des transformations, que jai dcouvert en tant quenseignant avec les nouveaux programmes de 1986, la richesse de la mthode des aires. Ensuite Daniel Perrin3, qui ma permis de faire le lien avec une vision plus moderne de la gomtrie, celle de Flix Klein dans le programme dErlangen : une gomtrie est un ensemble muni dun groupe de transformations. Je navais ni la place, ni la comptence pour dvelopper ici cet apport, et je renvoie le lecteur au Rapport dtape sur la gomtrie de la CREM (commission de rflexion sur lenseignement des mathmatiques. Une critique que la plupart mont faite tait quemport par une certaine passion, javais tendance dans cette premire mouture privilgier des dmarches qui mapparaissaient naturelles au dtriment dautres qui leur semblaient plus pertinentes. Cette critique justifie faisait que mon article allait lencontre de son objectif, car apprendre nos lves faire des mathmatiques, cest leur apprendre se dplacer pour voir la mme chose de plusieurs faons. Il ny a pas de chemins privilgis, et, comme dit le proverbe russe, le chemin le plus court est celui que tu connais. Nos lves peuvent-ils dcouvrir seuls ces diffrents chemins ? Il y a, je crois, une certaine forme de compagnonnage avoir avec eux pour les leur montrer (je prend le risque dune leve de bouclier en employant ce terme). Je suis profondment persuad que llve est tout aussi sensible au rapport qua le professeur avec lobjet quil veut lui enseigner qu cet objet lui-mme. Limportant est dclairer sans blouir, de faire en sorte que llve comprenne la fois comment lenseignant procde et pourquoi il a fait ce choix, mme si dans un premier temps il se sent incapable de mener tout seul le travail.

1 Au fil des annes, jai propos mes lves de collge la plupart des activits de ce texte, mais jamais sous cette forme brute destine des enseignants. 2 Au-del du texte priv que jvoque ci-dessus, je tiens signaler sa brochure Autour du thorme de Thals et son article dans la brochure Autour de Thals de la commission 1er cycle. 3 Au-del du rapport dtape de la CREM que je cite, je renvoie son article dans le bulletin de lAPMEP de novembre 2000. 1

Lobjectif est que llve puisse terme, devant un nouveau problme, prendre seul une dcision raisonnable pour sa rsolution. Je rejoins ici Jean-Pierre Kahane, qui je dois aussi beaucoup : Rien nest plus beau en mathmatiques quune belle dmonstration, rien nest plus bouleversant que de dcouvrir une dmonstration par ses seules forces. Je souhaite que nous ayons en vue un objectif inaccessible : que chaque enfant, que chaque adulte, ait prouv au cours de sa vie la joie de la contemplation et de la dcouverte mathmatique.

1 - Les enjeux dun enseignement de gomtrie lmentaire pour tous La dmonstration : objet de luxe pour nantis des mathmatiques. Cest ainsi quelle est trop souvent perue par beaucoup de nos lves. Cest le souvenir quelle laisse chez la plupart des adultes. Alors faut-il renoncer faire des dmonstrations ? Mais faire des mathmatiques sans dmontrer, est-ce encore faire des mathmatiques ? Quelle vision nos lves ont-ils de la dmonstration, quelle image en garderont-ils plus tard ? Une forme dcrit, intimement lie la gomtrie, excroissance sans enjeu dun problme quon a dj rsolu ? Une explication canonique, dont le rituel est de partir des hypothses pour aller vers la conclusion, en utilisant des donc et des do ?4 Sils ne gardent que ce ct assez rducteur de cette forme de raisonnement hypothtico-dductive comme image de la dmonstration, on comprendra leur rticence, voire leur refus dy adhrer. Si le souvenir quils garderont des mathmatiques est cette vision, on comprendra que tant dadultes nous renvoient une image aussi ngative de notre discipline. Mais leur a-t-on donn conscience que ds quils sattaquent un problme, ils raisonnent, et que sils en trouvent une issue, ils ont fait acte de dmontrer 5 ? Un enfant de CM2 qui, devant le dessin dun carr, prend sa rgle et mesure les quatre cts et dclare quils sont gaux, prend son querre et mesurant un des quatre angles dclare quil est droit, et affirme alors : cest bien un carr , a fait acte de dmontrer . Il la fait avec son niveau de conceptualisation, de traitement, et de validation. Mais ne nous interdisons-nous pas dans notre enseignement de mathmatiques de flcher cette action comme une forme, encore nave, de dmonstration ? Nattendons-nous pas trop laccs une figure idelle et une argumentation uniquement discursive pour oser dclarer : voil vraiment ce quest une dmonstration ? Cela conduit beaucoup de nos lves, qui ont pourtant maintes fois fait cet acte de dmontrer quitter lenseignement des mathmatiques avec le sentiment profond quils ne savent pas et ne sauront jamais dmontrer. Dmontrer, cest un geste, ou une succession de gestes, et en aucun cas une contemplation passive dune figure. Le caractre spcifique de la gomtrie est quon peut voir ces gestes. Apprendre dmontrer en gomtrie, cest apprendre le geste gomtrique . Ce geste gomtrique nest pas unique, et chaque problme rencontr pourra fournir diffrents chemins daccs vers la comprhension et la validation : le meilleur pour chacun dentre nous est li notre exprience et lexpertise que nous avons dveloppe ; mais il ne sera pas forcment le meilleur pour dautres. Cest ce que je vais essayer dillustrer dans ce texte.

4 Voir Jean Houdebine in Repres-Irem 1. 5 Jemploie cette expression Claudine Ruget, car je la trouve trs signifiante. 2

Quel va donc tre ce long cheminement qui va conduire la matrise de ce geste gomtrique. Lorsque lenfant entre lcole trois ans, il y entre avec sa perception du monde physique 6 : il y a appris trs tt percevoir des objets (boules, balles,). Certains objets vont alors acqurir un statut plus particulier : ce sont les objets de la gomtrie lmentaire, objets plans comme le carr, le rectangle, le disque, objets de lespace comme le cube, la boule. Quelle perception premire a-t-il de ces objets ? La ligne qui entoure et/ou la surface elle-mme pour les objets plans, la surface qui enveloppe et/ou la portion despace pour les objets de lespace ? Cest en tout cas une premier niveau dabstraction quil va alors raliser avec la reconnaissance de ces formes : jappelle ici forme le couple objet gomtrique contour (ce qui ne pose aucune ambigut pour les objets de la gomtrie lmentaire). Le second niveau dabstraction sera le dessin de ces formes, avec une apprhension squentielle des gestes accomplir pour le raliser (je reviendrai plus loin sur la spcificit de la reprsentation plane des objets de lespace). Pour entrer pleinement dans le monde mathmatique , une dernire abstraction sera ncessaire : cest le passage du dessin la figure . Tant de choses ont dj t crites sur ce statut de la figure 7 que je prfre en donner une dfinition simpliste : cest pour moi le couple dessin - regard mathmatique . Le carr que reconnat lenfant de trois ans est le mme que celui quil construira en cycle III ou que celui sur lequel il tentera une dmonstration au collge, et ces trois carrs sont pourtant profondment diffrents. Ce qui change , cest le regard quon porte sur cet objet, et jutilise ici le mot regard non pas comme contemplation, mais comme action possible et gestes associs. Quand un lve de quatrime prend sa rgle pour vrifier que cest un carr, son geste traduit quil ne voit pas le carr que nous aimerions quil voie. Cest par sa capacit avoir une action raisonne sur la figure que nous saurons quil est pleinement entr dans le monde des mathmatiques. Vous allez trouver ces derniers propos en contradiction avec mon introduction. Il nen est rien, car pour moi, le raisonnement se fait aussi bien sur la forme, sur le dessin que sur la figure, et lacte de dmontrer est un constant aller-retour entre ces trois niveaux. Du reste, devant lnonc soit ABCD un carr , lequel dentre nous se contentera de placer les quatre points : nous tracerons le carr sur notre feuille ou dans notre tte, mme si notre action est purement mathmatique, pour voir la fois le polygone plein, le contour et les sommets. Le geste gomtrique va associer regard , actions , et acte de dmontrer . Quelles sont donc ces actions ? Je vais essayer den lister un certain nombre, en les sparant de faon artificielle car elles sont toujours en interaction. Jai fait le choix de ne pas dvelopper celle qui consiste algbriser la gomtrie (le reprage, le vectoriel, ). Pour illustrer ces actions, je vous propose quelques balades gomtriques, et vous les ferez votre guise, en flnant ou en vous htant selon que vous les connaissiez dj ou non : vous trouverez en annexe les raccourcis (#) de ces promenades.

6 Je resterai volontairement trs ambigu sur ce que je mets sous ce vocable monde physique , laissant au contexte le soin de lclairer : monde sensible, monde concret, monde rel, ralit abstraite sur laquelle les mathmatiques peuvent raisonnablement sexercer 7 Voir en particulier Raymond Duval in Repres-Irem 17. 3

2 - Connaissance, reconnaissance et comparaison des formes, des grandeurs et des mesures Connatre une forme est la premire action ncessaire pour travailler dessus : cette connaissance peut se faire soit au premier niveau de la perception purement visuelle (voire gestuelle), soit au second niveau physique du dessin, soit au troisime niveau mathmatique des proprits. Reconnatre une forme, cest pouvoir la discerner des autres . L encore ce peut tre purement visuel ; physique en utilisant une caractrisation , qui ce niveau peut tre encore redondante et quon validera avec des instruments comme la rgle ou lquerre ; mathmatique avec une proprit caractristique et une hirarchisation de cette forme par rapport dautres. Mais comparer des formes, cela a til un sens ? Cela peut se faire tant de niveaux : galit de deux formes, diffrenciation primaire : un triangle et un carr nont pas le mme nombre de cts, diffrenciation au niveau des grandeurs : longueur, aire, volume, angle, diffrenciation numrique par la mesure. Attacher une forme une ou des grandeurs, ces grandeurs des mesures, ces mesures des nombres en passant par lunit est un apprentissage long, difficile et indispensable pour amener changer le premier regard naf de llve vers une forme porteuse de plusieurs attributs sur lesquels vont sexercer les mathmatiques. Il est donc indispensable de sonder rgulirement les lves sur quels attributs ils fondent leur diffrenciation ou leur comparaison de deux formes. Prenons les exemples suivants pour clairer mon propos :
A C D B

Si lon demande des lves en dbut de collge quel est le plus grand de ces deux segments, tous rpondront sans hsiter [AB]. Cest videmment au niveau de la longueur quils auront effectu cette comparaison, de faon purement perceptive.
A C B D

Devant ces deux segments, ils seront amens utiliser un geste gomtrique, ici celui du report (avec un compas, une rgle, et pourquoi pas une ficelle). Dclarer quils sont gaux relvera alors dune convention tacite qui prend en compte lapproximation du geste physique ( lpaisseur de la mine prs, au mm prs,). La grandeur dun segment est donc naturellement la longueur, et lgalit , qui ne peut tre ici que de lordre du physique , est lie aux limites de leur perception ou de leurs instruments de mesure.

D E

F A C

Si maintenant on leur demande quel est le plus grand des deux triangles ci-dessus, leur hsitation sera beaucoup plus grande. Mais, exprience faite, jai toujours constat que la majorit choisissait le triangle EDF. Et si on leur fait expliciter leur choix, cest en gnral parce quil tient plus de place . Nous les attendons sur primtre et aire, et ils sont sur le registre de lencombrement . On peut du reste parfaitement donner un sens mathmatique cet encombrement avec la notion de diamtre dune partie. En labsence de toute donnes, comparer leur primtres et leurs aires sera l encore du domaine du physique, mais avec un passage mathmatique par report, mesure et formule.
A D

Prenons le dernier exemple ci-dessus, o lgalit des angles est indique. Devant la mme question, aucun lve nhsitera, et tous dclareront que le plus grand des deux triangles est EDF. Ils sont donc tous sensibles la notion de mme forme (selon la terminologie du nouveau programme de seconde, laquelle je prfrerai semblable lorsquon est dans le registre des mathmatiques), et intuitivement ils comprennent que les trois grandeurs ci-dessus auront des mesures qui conduiront la mme rponse pour la comparaison.

3 - Oprations sur les formes Je parle doprations sur les formes, et non sur les figures, car ces oprations sont la fois associes des gestes physiques et des gestes mathmatiques. Je les rangerai en quatre catgories :

Transformation isomtrique : Trs tt un enfant utilise de telles transformations dans lespace sur des puzzles o trs vite il comprendra que telle pice doit aller telle place : ce geste raisonn repose sur deux informations, lgalit reconnue a priori de deux formes, le mouvement qui permettra de valider ce choix. Cela nous renvoie au dbat actuel sur les cas dgalit des triangles qui apparaissent comme un choix contre les transformations. Il ny a pas lieu dopposer ces deux approches, mais den montrer la complmentarit : avec une isomtrie, je suis sr dobtenir une copie conforme de mon objet. Si jai les moyens daffirmer que deux objets sont copie conforme , je sais quil y a une isomtrie qui me permet de passer de lun lautre. Il faut du reste distinguer le mouvement qui permet de dfinir lgalit des figures et la notion disomtrie. Le geste gomtrique se constitue de ces diffrents aspects. Agrandissement, rduction : On retrouve dans cette seconde action les aspects vus ci-dessus : agrandir ou rduire un objet, acte qui en prserve les proportions , pouvoir justifier que deux objets sont semblables (la caractrisation de deux triangles semblables par lgalit de leurs angles est mon sens tout fait la porte dlves de collge). Cette seconde action est lie au numrique avec le modle de la proportionnalit et va pleinement devenir un geste gomtrique avec Thals . Pliage, dcoupage, puzzle : Il sagit l de manipulations physiques auxquelles nous allons donner un statut mathmatique. Dcoupage et puzzle nous rapprochent des mathmatiques chinoises, avec leur technique de rapiage . Toutes les activits que lon peut faire avec le Tangram sont extrmement formatrices. Ces actions sont au centre de la premire balade que je vous propose. Le mouvement pliage est intimement li lisomtrie symtrie axiale , et pourtant ils sont deux actes profondment diffrents, mme si leur conclusion est la mme : la symtrie axiale est une isomtrie indirecte du plan, le pliage est un mouvement de lespace qui se traduit mathmatiquement par une isomtrie directe de lespace. Mais ce passage physique dans lespace claire pleinement laction mathmatique dans le plan. La combinaison des deux participent l encore lacquisition du geste gomtrique. Dformation Dformer, cest modifier la forme, tout en en gardant des caractristiques et en sattachant certains invariants. Cest par dformation que lenfant va construire de nouvelles formes partir danciennes : partant de la figure quilibre quest le carr, il va la dsquilibrer pour en faire un rectangle : il constatera quil a gard les quatre angles droits, lgalit des longueurs des diagonales, donc la cocyclicit, et quil a perdu la symtrie par rapport ces diagonales, cest dire une possibilit de pliage. A cet instant de son apprentissage, un carr ne peut tre un rectangle, et ce nest que plus tard quil apprendra rorganiser toutes ces nouvelles formes (rectangle, losange, paralllogramme) pour y rintgrer le carr. Cest certainement un des gestes les plus difficiles, mais les plus porteurs de la gomtrie : passer du cercle lellipse, du triangle quilatral au triangle isocle par affinit orthogonale, et sassurer ainsi de linvariance des rapports daire par cette dformation ; dformer un triangle en sattachant conserver son aire,

Premire baladedans les aires8 Jai plus avant pos la question de comparer deux triangles ABC et DEF. Je vais prciser maintenant que je souhaite comparer leurs aires. Pour cela, revenons la mthode des aires qui permet, via le dcoupage des figures et leurs recombinaisons , de comparer les aires de deux formes diffrentes. Cest cette mthode qui permet dtablir les formules usuelles. On la trouve dans les Elments dEuclide. Je vous propose comme premire promenade de dcouper un triangle pour en faire un carr de mme aire. Cela illustrera certaines actions dont jai parl dans le paragraphe prcdent, lobligation des diffrentes actions tant de conserver laire.
Du triangle au paralllogramme :
A

# Dcouper le triangle ABC pour en faire un paralllogramme de base [BC] de mme aire.
B C

Du paralllogramme au paralllogramme :
D F G C E J I

# Les paralllogrammes ABCD et BHIJ ont deux bases de mme longueur (AB = BH). Le paralllogramme ABCD a t dcoup en 4 pices en utilisant la direction de (BJ) : ABE, AEF, EGC, DCGF. Reconstituer le paralllogramme BHIJ avec ces quatre pices. Du paralllogramme au rectangle : Cest videmment un cas particulier de ce qui prcde, une des directions de dcoupage sen trouvant simplifie .
A B G E F

8 Les # renvoient une solution propose en Annexes Premire balade . 8

D C

Du rectangle au carr # Il faut dj construire un tel carr BEFG qui ait mme aire que le rectangle ABCD. # Il faut ensuite trouver un dcoupage du rectangle qui permette de reconstituer le carr

Du polygone au carr : # Nous savons maintenant dcouper un triangle pour en faire un carr ; tout polygone se dcoupe en triangles. Le problme devient donc comment, partir de deux carrs faire un carr, et comment dcouper ces carrs pour reconstituer ce troisime carr. A vous de jouer ! Bilan des oprations : Le problme que nous venons de rsoudre est pour moi un vrai problme, o prend pleinement sa dimension le geste gomtrique : que doprations, que daller-retour entre figure et dessin, entre coups de ciseaux physiques et coups de ciseaux mathmatiques. La dmarche a t double : dabord construire les objets convoits , en utilisant et validant par Thals pour le passage du rectangle au carr, par Pythagore pour le passage de deux carrs un troisime carr ; ensuite imaginer les dcoupages. Pour ce second travail la prise dinformation sur le dessin est absolument ncessaire, car ce sont les bords qui vont guider notre action : recherche simultane de pices isomtriques et du dplacement correspondant. Les mathmatiques nous garantissent alors que le dcoupage que nous avons effectu est un bon puzzle , cest--dire quil ne laissera pas de vide ni de superposition entre les pices lorsque nous retournerons dans le dcoupage physique. Le rsultat mathmatique est dune grande force : deux polygones de mme aire sont puzzle-quivalents (thorme de Bolyai9). Mener une telle activit avec des lves de collge ncessite de revenir effectivement au problme physique, et procder au dcoupage10. Thals, Pythagore, cest qui ? Je ne peux ici mempcher une petite pause, en laissant la parole Denis Guedj, qui, dans son livre Le thorme du perroquet , fait dire, dans le chapitre 3 Thals, lhomme de lombre , un de ses jeunes hros, Jonathan : Comme tous les lves du monde, Jonathan avait crois Thals plusieurs reprises. Chaque fois, le professeur leur avait parl du thorme, jamais de lhomme. Dailleurs, en cours de maths, on ne parlait jamais de personne. De temps en temps, un nom tombait, Thals, Pythagore, Pascal, Descartes, mais ctait seulement un nom. Comme celui dun fromage ou dune station de mtro. On ne parlait pas non plus de o ni de quand a stait fait. Les formules, les dmonstrations atterrissaient sur le tableau. Comme si personne ne les avait crs, comme sils avaient t l de tout temps, comme les montagnes ou les fleuves. Encore que les montagnes, elles, navaient pas t l de tous temps. Et lon arrivait ceci que les thormes avaient lair plus intemporels que les montagnes ou les fleuves ! Les maths, ce ntait ni lhistoire, ni la gographie, ni la gologie. Ctait quoi au juste ? La question nintressait pas grand monde.

9 Ce rsultat ne subsiste pas dans lespace : on ne peut pas dcouper un ttradre rgulier pour en faire un cube. 10 Jai souvent propos cette activit mes lves, mais jamais dun bloc : en quatrime, ctaient les passages triangle-paralllogrammes-rectangle ; en troisime le passage rectangle-carr. 10

Faire Pythagore sans en parler, faire Thals sans en parler, faire les quations sans parler dAl Khwarizmi, faire des mathmatiques sans jamais leur redonner leur consistance historique, cest enlever au geste mathmatique beaucoup de sa lgitimit, et perdre loccasion den faire une matire vivante auprs de nos lves. Au del des aspects anecdotiques, ce sont les aspects problmatiques auxquels rpondent ces thormes qui permet de donner du sens leurs enjeux. Thals, Pythagore, cest quoi ? Je les ai employs sans aucune prcision. Le thorme de Pythagore apparat trs souvent dans notre enseignement comme un lien entre le gomtrique (le triangle rectangle) et le numrique (la relation liant la longueur de lhypotnuse et celles des cts de langle droit). Cette seule vision ne permet pas de trouver le passage ci-dessus de deux carrs un troisime. Il faut donc revenir lenjeu historique de ce thorme, qui est celui de la quadrature de la figure forme par deux carrs, et la configuration associe. Le thorme de Thals nonce lui, soit des galits de rapports de longueur (nonc gomtrique), soit des galits de rapports de mesures de longueurs (nonc numrique). Audel de son nonc, Thals pose un certain nombre de questions denseignement : Est-ce une configuration ? Oui, dans la mesure o cest une figure prototypique dclenchant un rflexe de reconnaissance. Est-ce un thorme ? Oui, pourvu quon puisse sappuyer sur des rsultats dj tablis, et avec une mthode de dmonstration reconnue. Est-ce un modle ? Oui, ou plutt Thals recouvre un certain nombre de modles : le modle gomtrique (affine, vectoriel, transformations....) ; le modle proportionnalit linarit avec la formalisation du lien entre paralllisme et galit de rapports ; le modle des grandeurs, avec le passage du commensurable lincommensurable ; le modle numrique, avec le passage du rationnel au rel Est -ce un concept ? Oui, un concept fdrateur de tous ces modles : la perception du monde et la gomtrie lmentaire sont fortement lies la notion de figures semblables : que la notion vague de mme forme conduise des relations de proportionnalit est un des points fondamentaux de lenseignement de la gomtrie au collge. Voil ce qui va tre le fil conducteur de la suite de ce texte. 4 - La vision gomtrique Cest un des points les plus dlicats. Comment savoir ce quun lve voit ? Nous pouvons le deviner en partie en le regardant agir : se contente-t-il de regarder, prend-il un instrument de traage ou de mesure, est-il dj en train d crire les proprits de la figure, par exemple en la codant ? Existe til des moyens pour aider llve acqurir ce regard mathmatique qui va transformer son dessin en figure ? Je crois que oui, et je vais essayer den cibler trois ici.

11

Les configurations : Je viens den donner une dfinition : figure prototypique dclenchant un rflexe de

reconnaissance. Illustrons cela avec trois exemples :

Voil deux droites parallles

En y ajoutant une scante, on cre une configuration, porteuse dgalits dangles.

B C B C

Voil un triangle

En y ajoutant un demi-cercle de diamtre [BC], on cre une configuration lie au triangle rectangle.
A

12
B C B C

Voil un triangle

En y ajoutant une parallle (BC) Cest Thals !

Mais rester ce stade de la reconnaissance est insuffisant : il faut arriver au stade de laction, avec la mise en uvre des proprits portes par la configuration. Et l intervient un ordre : qui tait le premier ? Dans la premire configuration , tait-ce la parallle ou les galits dangle ? Dans la seconde, tait-ce le triangle rectangle ou le demi-cercle ? Pour que ces configurations aident vraiment llve dans son regard, il faut quelles deviennent dynamiques : il faut lui apprendre retrouver la suite des gestes qui lont amen cette configuration. Un regard dynamique : Avoir un regard dynamique sur une figure ou une configuration, cest en voir les genses possibles : cela permet la meilleure expertise des problmes rencontrs, en choisissant la meilleure stratgie. Illustrons cela avec la troisime configuration, celle de Thals11 :
laspect projection : Cet aspect met en vidence le passage de la droite (AB) la droite (AC) dans la direction de (BC). Il donne lgalit de rapports :
A

= Cest le rapport de projection, qui donnera le cosinus. Du point de vue de la proportionnalit, cest un rapport externe .
laspect homothtie : Cet aspect met en vidence le passage du triangle ABC au triangle ADE. Il donne lgalit de rapports :

D A B

= Cest le rapport dhomothtie. Du point de vue de la proportionnalit, cest un rapport interne . Cet aspect permet une action sur le troisime ct de ces deux triangles, et au niveau de la trigonomtrie, il donnera le sinus et la tangente.

B Avoir cette double vision dynamique de Thals 12 permet de choisir la mieux adapte dans un problme. Ajoutons que si ces deux aspects sont quivalents dans le plan, il nen est plus de mme dans lespace. En prenant trois plans parallles, et deux droites scantes ces plans, on retrouve la conservation des rapports : cest laspect projection . Mais si ces deux droites

11 Voir Jean-Claude Duperet in Repres-Irem 20. 12 Ce double regard conduit deux configurations de Thals (pour autant quelles appartiennent Thals, ce qui semble douteux) ; mais laspect projection sclaire bien mieux avec la configuration de deux droites dcoupes par des segments parallles . 13

sont non coplanaires, il ny a pas dhomothtie ! Il est dommage que les nouveaux programmes de troisime aient vacu cet aspect projection, le seul qui rsiste dans lespace. Une aide possible, les logiciels de gomtrie : Les logiciels de gomtrie sont un outil particulirement formateur ce regard mathmatique dont je parle. Leurs possibilits dynamiques permettent de multiplier les exemples, de sintresser aux cas particuliers, et, par l, de conjecturer en situation de rsolution de problme. Et pour construire les quelques figures de ce texte, il valait mieux que je connaisse un peu de gomtrie ! Mais ce nest quun outil, et le retour au papier-crayon est souvent indispensable pour la validation. Cest l que peuvent arriver les difficults : lmergence trop rapide et sans rflexion dune conjecture peut tre un obstacle sa validation. Prenons lexemple suivant, bien classique pour les gomtres : soit (Cc) un cercle de centre O, B et C deux points fixes de ce cercle, A un point variable de ce cercle ; soit H lorthocentre du triangle ABC. Quel est le lieu de H quand A dcrit (Cc) ? Devant le dessin de cette figure, diffrentes gestes gomtriques peuvent nous guider vers une solution, ceux-ci tant lis notre habitus, notre intuition (au sens cartsien du terme), notre plus ou moins longue pratique. Pour moi, ma pratique me conduit, par la prsence du cercle, mintresser au point A diamtralement oppos A , et alors voir un paralllogramme : ABHC. Ma conclusion est que le lieu cherch est le cercle symtrique de (Cc) par rapport au milieu I de [BC]. La fonction lieu de certains logiciels de gomtrie permet davoir instantanment le lieu cherch. Quavons-nous alors devant les yeux : deux cercles scants en B et C. Le geste gomtrique naturel pour valider (en tout cas chez les lves de collge) sera la symtrie axiale par rapport (BC) : me voil bien loign de ma dmarche, alors que ceux qui auront comme pratique langle inscrit sy retrouveront sans problme. Utilisons alors la fonction trace (bien meilleure par son ct dynamique) : le mouvement nous fait alors penser une translation, mais comment reprer son vecteur . Ayant rsolu le problme, je sais que jai effectu une double symtrie centrale pour aller de A H, et la rponse est donc 2 . Mais il est plus facile de composer deux symtries centrales (cest au programme de troisime) que de dcomposer de faon intressante une translation ! On peut cependant alors sen tirer avec le thorme des milieux . Seconde baladedans lespace13 Une des principales difficults de la vision dans lespace, est que justement on ne peut voir entirement lobjet ! Il faut donc, soit le faire tourner si cest possible, soit tourner autour. La connaissance de lobjet va nous permettre dconomiser nos mouvements en imaginant ce qui est cach. Cest un des apprentissages fondamentaux du dbut de la scolarisation. La seconde tape va tre la reprsentation plane des objets de lespace : cest un apprentissage auquel nous ne consacrons pas assez de temps, et nous considrons trop souvent la perspective cavalire comme naturelle chez nos lves de collge. Lutilisation de logiciels de gomtrie est l sans conteste un outil daide la vision de lespace, par la possibilit quil donne de faire tourner les objets, ou plus exactement leurs reprsentations planes.

13 Les # renvoient une solution propose en Annexes Seconde balade . 14

De lespace au plan : lombre Une des spcificits de la gomtrie de lespace , est que le raisonnement prcde le dessin, que lacte de dmontrer est souvent ncessaire la ralisation de la figure. Pour illustrer cela, je vous propose lactivit suivante, certainement classique pour beaucoup dentre vous.

# ABCDEFGH est un cube. Une lampe est situe en L. P est la projection orthogonale de L sur le plan ABCD Dessiner lombre du cube sur le plan ABCD. Quel est le problme : comment construire les intersections de (LE), (LF), (LG), (LH), avec le plan ABCD.
B P C F G

# Mais au fait, quelle est la forme de cette ombre ? Du plan lespace : les trois cercles En duquant la vision plane des objets de lespace, on peut avoir une apprhension particulirement dynamique de problmes de gomtrie plane. Par exemple la transitivit de lquipollence sclaire avec la vision dun prisme droit :
E

# Soient trois cercles de mme rayon, de centres respectifs A, B, C, et qui sont scants en un point D. Soient E, F, G les autres points dintersection de ces cercles. Montrer quil existe un cercle passant par E, F, G (, ce nest pas un scoop) de mme rayon que les trois autres. Oubliez les trois cercles, et regardez bien les points . Faites apparatre des losanges : vous voyez mieux. Plongez alors dans lespace la recherche du point cach. Ramenez-le dans votre plan, et dmontrez !

A D F

15

Ces deux exemples supposent que lon sait voir dans une figure plane la projection dune figure de lespace. Ils illustrent deux proprits de Desargues : La configuration dfinie par la donne de deux paralllogrammes contigus est la projection dun prisme. La configuration dfinie par les trois losanges DAEB, DBGC, DFCA est la projection dun cube.

5 - Dmontrer : convaincre ou clairer ? Convaincre ou clairer14 : voil un vieux dbat du 17me sicle, mais qui me parat toujours dactualit dans notre enseignement. Cest en tout cas une question qui est loin dtre simple. Tout dpend en effet du regard que lon porte sur la situation que lon tudie, autrement dit le regard mathmatique est multiple, ce qui laisse entendre que les modes de comprhension dune situation gomtrique sont multiples. Parler de dmonstrations clairantes nous renvoie donc au problme suivant : la source do jaillit la lumire nest pas la mme pour tous. Au-del de convaincre ou clairer, pour moi dmontrer cest avant tout donner du sens. Je vais essayer dillustrer cela avec les thormes de Pythagore et Thals. Ces deux thormes ont pour support la forme-cl de la gomtrie plane lmentaire : le triangle. Cette prsence constante peut se rsumer avec le constat suivant : donnez moi trois points, et je vous tiens le plan. Pour dmontrer, il faut des outils, et jen vois trois fondamentaux pour le collge, que je vais aller chercher dans Euclide. Ces outils permettent une action de comparaison entre deux triangles placs dans une position particulire. Des outils et des positions Outil 1 : les cas dgalit des triangles. Jai dj dit que je ne les opposais pas aux transformations, mais que je les mettais en interaction. Il est souvent plus facile de montrer que deux triangles sont isomtriques que dexhiber lisomtrie qui permet de passer de lun lautre. On peut mme aller jusqu parler dunicit dune forme triangulaire une isomtrie prs (passage la classe dquivalence). Je dirai que deux triangles gaux sont en position 1 : cette position me garantit lidentit des triangles un dplacement15 prs. Outil 2 : la proposition 38 du livre I dEuclide. Les triangles construits sur des bases gales et entre les mmes parallles sont gaux entre eux .
14 Jai choisi de ne pas dvelopper laspect historique de ce dbat : je renvoie aux travaux dEvelyne Barbin, qui ont donn lieu plusieurs articles dans la revue Repres-Irem et dans le bulletin de lAPMEP. 15 Je nemploie pas ici le mot dplacement dans sons sens mathmatique. 16

A C

AC

D D

ga

D B

B A

C BEE

F F

ux sentend ici au sens des aires ! Le mouvement A B E F qui permet C D de passer aire (ABC) = aire (DEF) dun triangle un autre est une dformatio n qui A B conserve les aires. (Dun aire (ABC) = aire (ABD) point de vue actuel, cest linvariance de laire par une transvection). Je dirai que deux tels triangles sont en position 2 : cette position me garantit lgalit des aires. Outil 3 : la proposition 1 du livre VI dEuclide. Les triangles qui ont la mme hauteur sont entre eux comme leurs bases .
A D

Cet outil permet de passer des rapports daires aux rapports des longueurs. (Dun point de vue actuel, cest une dilatation). Je dirai que deux tels triangles sont en position 3.

B A

C E

Il y a un quatrime outil fondamental : les cas de similitude. Lun deux est revenu en classe de seconde, mais il me semble que cet outil aurait sa place en collge, avec la position de triangles semblables. Comme tout outil, il faut sen servir rgulirement, sinon on est oblig de revenir la

17

 notice demploi et focaliser sur loutil et non sur son utilisation dans un problme qui le ncessite16. Dmonstrations du thorme de Pythagore : Dmontrons le thorme dit direct : Dans un triangle rectangle, le carr de lhypotnuse est gal la somme des carrs des deux autres cts . Dmonstration 1 Cest la dmonstration classique quon trouve dans la plupart des manuels : En disposant quatre fois le triangle rectangle comme ci-contre, on montre quon obtient deux carrs, et on calcule laire du grand de deux faons . La mthode usuelle pour arriver la relation de Pythagore est alors de passer par lalgbre. Jy vois trois inconvnients : Pour pouvoir la rdiger sans avalanche dcriture, on est amen appeler a la longueur de lhypotnuse, et b et c les longueurs des cts de langle droit, et la relation obtenue a = b + c loigne dfinitivement du triangle, les noms des sommets napparaissant plus. La relation de Pythagore sobtient par un tour de passe-passe algbrique : la disparition du double produit. Cette dmonstration est certes convaincante, mais elle loigne du sens profond de Pythagore, savoir son aspect gomtrique que jai rappel plus avant. Mais si partir du dcoupage ci-dessus, on va jusquau bout de la dmonstration indienne, on peut par un nouveau dcoupage , en dcomposant et recomposant les figures, montrer que laire du carr de ct a est gale la somme des aires des carrs dont les cts ont pour longueur respective b et c. Cette lecture gomtrique rend cette dmonstration tout fait clairante. Dmonstration dEuclide en quatre mouvements H et K sont les projections orthogonales de A sur (BC) et (IJ) Premier mouvement : dcoupage. En dcoupant le carr BCIJ en deux rectangles BHKJ et HCIK, le problme se ramne dformer le carr ABDE en le rectangle BHKJ avec conservation de laire. Avec un nouveau dcoupage, le problme se ramne dformer le triangle ABD en le triangle BHJ avec conservation de laire.
D A G H B E F

16 Ces outils sont un hritage des grecs : le fondement de la mtaphysique grecque est de mettre en place la ncessaire harmonie entre le discours rationnel et le monde rel. 18
J K I

Second mouvement : dformation. Avec loutil 2, je dforme ABD en CBD : ces deux triangles sont en position 2, donc ils ont mme aire. Troisime mouvement : quart de tour. Par un quart de tour autour de B, BDC se transforme en BAJ : ces deux triangles sont en position 1, donc a fortiori ont mme aire. Quatrime mouvement : dformation. Avec de nouveau loutil 2, je dforme ABJ en HBJ : ces deux triangles sont en position 2, donc ont mme aire.

19

Jutilise dans cette dmonstration des quarts de tour l o Euclide utilise les cas dgalits des triangles. Voil un exemple o lisomtrie peut tre explicite : lavantage est quon voit ces deux carrs se fondre dans le troisime. En utilisant rtroprojecteur et couleurs, ou la dynamique de lordinateur, on donne toute sa vie cette dmonstration auprs des lves. N M N M N Elle mapparat plus clairante que la prcdente, mais lest elle pour tous ? Cela renvoie de nouveau au regard que lon porte sur la figure.
C B C B C

Dmonstrations du thorme de Thals : Dmontrons le thorme dit direct : Dans un triangle, toute parallle un ct dcoupe les deux autres en segments proportionnels . Dmonstration dEuclide en trois mouvements Dans le triangle ABC, M [AB], N [AC], (MN) // (BC) Cette dmonstration est convaincante, clairante pour des mathmaticiens, car ils savent quils y a eu un lourd tribu payer avant dy arriver, sur lequel je reviendrai un peu plus loin. Mais est-elle clairante pour des lves, qui auront limpression que ce passage par A Mouvement 2 Mouvement 3 On passe du ct [AB] au ct [AC]
M N

On passe dun rapport daires un rapport de longueurs

B Mouvement 1

On passe dun rapport de longueurs un rapport daires Les triangles BMN et CMN A sont en position 2, donc : aire(NMB) = aire(MNC)
M N A Les triangles MNA et MNC sont en position 3, donc : = M N

Les triangles NMA et NMB sont en position 3, donc : =

les aires est un tour de passe-passe qui les loigne du sens de leur Thals : relation entre paralllisme et proportionnalit de longueurs ?

20

Dmonstration de Clairaut (17me sicle) : Abandonnons Euclide, et faisons un saut de 20 sicles, et suivons Clairaut dans ses Elemens de Gomtrie , o il reprend pour Thals une argumentation dArnault (Nouveaux lments de gomtrie) :

21

A A

N Notre thorme des milieux :

M P

M'

M est le milieu de [AB], (MN) // (BC) N' On construit (NP) // (AB) P Par paralllisme : = = ; = En utilisant milieu et paralllogramme : AM = MB = NP Les triangles AMN et NPC sont en position 1 (on a mme de P' C faon vidente le dplacement : une translation) Donc AN = NC, do N est le milieu deB [AC]

B C

Au del du fait que cette dmonstration mapparaisse comme particulirement clairante pour des lves de collge, Clairaut vient de se construire une procdure autoreproductible, et donc une mthode. Suivons le plus avant : Je
A

viens de rsumer, avec une adaptation trs M N moderne, et P sans les nombreuses justifications de Clairaut, les pages 42 et 43 de ses Elemens B de Gomtrie . Notre thorme des tiers A partir de A ces trois exemples, Clairaut laisse M N imaginer la
M' P N'

Deux fois et demi

P'

gnralisation du procd, et considre acheve cette dmonstration de Thals. Clairaut a des doutes :

22

Retrouvons Clairaut la page 98 : Mais de ce que plusieurs lignes sont incommensurables avec dautres, peut-tre pourrait-il natre quelque soupon sur lexactitude des propositions qui nous ont servi constater la proportionnalit des figures semblablesIl faut donc que nous revenions sur nos pas .

23

Clairaut prend alors lexemple suivant : soit un triangle ABC o AB = , soit b le point de [AB] tel que Ab = 1, et c le point de [AC] tel que (bc) // (BC). Il fait alors le raisonnement suivant : Supposons Ab divis en 100 parties ; ce que AB contiendra de ces parties se trouvera entre 141 & 142. Contentons nous donc de 141 et ngligeons le petit reste. Il est clair que AC contiendra aussi 141 des parties de Ac . Jai exemplifi avec le dessin ci-dessus o jai choisi un partage en 10 parties. Les historiens noteront dautre part que je nai pas comme Clairaut fait la distinction entre A et a, cela pour que ce soit clair aux non spcialistes. Clairaut recommence alors en divisant Ab en 1000 parties, et dit alors : De plus, ces restes comme nous venons de lobserver, seront de part & dautre dautant plus petits que le nombre des parties de Ab sera plus grand. Donc il sera permis de les ngliger, si on imagine la division de Ab pousse jusqu linfini. Nous venons de passer dans le monde de lanalyse. Nous venons de passer du commensurable lincommensurable, du rationnel au rel. Nous venons surtout de changer notre regard sur Thals : Les pages 42 et 43 sont pour le collge et la seconde, les pages 98, 99, 100 et 101 sont pour les classes suivantes, car Clairaut claire ici autre chose que Thals ! Mais o est passe lincommensurabilit : Mais alors pourquoi la dmonstration dEuclide est-elle aussi simple ? O est passe lincommensurabilit ? En mathmatiques, il faut toujours payer quelque part, et le vrai nud du problme est la proposition suivante : Deux rectangles de mme hauteur sont entre eux comme leurs bases . Si la dmonstration de cette proposition est simple dans le cas commensurable, elle est plus sophistique si les bases sont incommensurables. On peut comparer les textes dEuclide et de Legendre (1823) : ce dernier utilise la double rduction labsurde qui est lautre aspect de la thorie des proportions dEudoxe, utilise par Euclide et plus tard par Archimde. La formule de laire du rectangle est alors consquence de lutilisation combine de la

24

mthode des aires et de la thorie des proportions. Finalement, tablir laire du rectangle : aire du rectangle = longueur largeur Et le reste vient tout seul ! Mais laire du rectangle est une telle vidence dans nos programmes ! Quoique !

Troisime baladedans lirrationnel17 est irrationnel : comment le montrer nos lves ? Deux problmes a priori distincts surgissent : un problme gomtrique, celui de doubler un carr, un problme arithmtique, celui de trouver une fraction dont le carr vaut 2. Un problme gomtrique qui amne Prenons un carr de ct 2. Son aire est 4. Plions le comme ci-contre ; on obtient un nouveau carr daire moiti du prcdent, cest dire 2. Le ct de ce carr est donc un nombre dont le carr est 2. Ecrivons le . Ce ct est aussi la diagonale dun carr de ct 1. Lirrationalit de : La mthode la plus pratique est la dmonstration arithmtique par le pair et limpair. Cest une dmonstration exemplaire pour les questions dirrationalit numrique. Mais celle-ci loigne alors du problme gomtrique ci-dessus. Adaptons une ide quon pouvait trouver de faon dynamique sur le site du colloque de Grenoble EM 2000. Supposons que soit rationnel, alors = avec p et q entiers. Agrandissons alors le carr de ct 1 avec un rapport q. On obtient un carr ABCD de ct entier q et de diagonale entire p.

17 Les # renvoient une solution propose en Annexes Troisime balade . 25

Faisons alors les pliages ci-dessus : deux pliages par rapport (AF) et (AG) ramenant les cts [AB] et [AD] sur la diagonale [AC], puis un pliage par rapport (FG). Dplions tout, revenons dans le monde des mathmatiques et examinons la figure obtenue : # Montrez que le carr EFCG est aussi ct et diagonale entiers. Une descente infinie finie : Le procd est auto-reproductible : on a donc une descente infinie de carrs de plus en plus petits. Mais les cts de ces carrs sont des entiers naturels. Une suite strictement dcroissante dentiers naturels est finie. Cest absurde !
A D G B F C

Une seule marche :

26

Pour ceux qui craignent les trop grandes descentes, ils peuvent se contenter dune seule tape, en choisissant irrductible. Ils obtiennent alors une contradiction dans le carr EFCG de ct entier p< p et de diagonale q< q et qui vrifient = = Dveloppement de en fraction continue : La descente infinie me parat plus clairante que la seule marche. Pour des lves de collge, on peut exemplifier la dmarche : partant dun nombre entier q (par exemple 48), on peut leur faire constater quau bout de n+1 pliages maximum (49) le carr nexiste plus, alors quil existe toujours ! Cet algorithme est rapprocher de lanthyphrse qui conduit au dveloppement de en fraction continue. # Soit un carr de ct q et de diagonale p ( nest pas rationnel daprs ce qui prcde). En reprenant les notations ci- dessus, et en posant p= EC et q= FC, montrer que : = 1+ En dduire le dveloppement en fraction continue de (ritrer le procd). En conclusion : Laccs lirrationnel passe par labsurde et/ou linfini

6 - Une configuration europenne Cosinus ou Thals, lequel choisir ? Enseigner le cosinus avant Thals est un contre-sens historique, et dmontrer Thals avec le cosinus devient un contre-sens pistmologique. Mais lorsque les deux sont en place, ce choix devient-il important ? Considrons pour commencer cet exercice propos dans un manuel de troisime au chapitre trigonomtrie : ABC est un triangle isocle en A. AB = AC=10 ; BC=8. K est la projection orthogonale de B sur (AC), H celle de A sur (BC). Que vaut KC ? Que font la plupart des lves : ils calculent le cosinus de dans le triangle ACH, quils trouvent gal 0,4 ; puis prenant leur calculatrice, un petit coup de shift cos (ou inv cos, ou 2nd cos) leur permet davoir accs la mesure de cet angle quil arrondissent 66 ; travaillant alors dans le triangle BKC, ils en dduisent la longueur de KC en multipliant 8 par cos(66), ce qui leur donne environ 3,25.
A

Cette dmarche nest pas inintressante, car elle suppose un enchanement dactions et

27

de validations. Mais ce passage cosinus-inverse du cosinus a un double inconvnient : faire jouer la calculatrice le rle dune boite noire ; ne pas obtenir le rsultat exact . Ce peut tre loccasion dun travail sur la calculatrice pour garder la prcision maximale.

28

Le vritable enjeu de cet exercice est dcrire le cosinus de de deux faons sans calculer cet angle pour arriver lgalit des rapports : = qui donne CK = 3,2 Avec les nouveaux programmes de seconde, cette galit sobtient en montrant que les triangles ACH et BCK ont A mme forme . Mais on peut ds le collge illustrer cette galit en dplaant 18 le triangle BKC pour lamener en ABK ( la validation du K' B' mouvement se fait par constat de lgalit des deux B C H triangles). La configuration qui apparat est celle de Thals ; elle amne lgalit : = . Un tel geste demande une pratique que nont pas les lves. Son seul objectif est de leur permettre de faire le lien entre Thals, trigonomtrie et triangles de mme forme pour les lves de seconde. Thals en Europe : Revenons alors sur notre premire balade. Pour dcouper un rectangle pour en faire un carr, jai utilis le rsultat : dans un triangle rectangle, le carr de la hauteur relative lhypotnuse est gale au produit des longueurs des segments quelle dtermine sur cette hypotnuse, et jai dit : cest Thals . Promenons-nous en Europe19 : En Angleterre : Theorem of Thales An angle inscribed in a semi-circle is a right angle En Allemagne : Ders Satz des Thales Jedes Dreieck ber einem Durchmesser in einemHalbkreis ist reictwinklig En Suisse : cest la proprit de la hauteur que jai nonc ci-dessus. Une configuration europenne : Si lon veut montrer le thorme suisse , cest dire lgalit AH2 = BHCH, on peut utiliser le fait que les tangentes des angles et sont inverses lune de lautre. Soyons dynamiques, et faisons tourner le triangle ACH dun quart de tour autour du point H . Il devient le triangle HAC, et nous retrouvons notre
18 L encore, je nemploie pas ce terme dans son sens mathmatique. 19 Avec Henry Plane in Brochure Autour de Thals dj cite. 29
B A' O A

C'

 Thals franais , celui des lignes proportionnelles . Lgalit ci-dessus se dduit alors de lgalit des rapports : = = = Nos amis doutre Manche et doutre Rhin retrouveront aussi dans cette configuration leur Thals. Encore une fois il ne sagit pas ici de nier la force de la trigonomtrie, et sa facilit daccs aux lves, mais de montrer la complmentarit que peut apporter laspect dynamique du mouvement lclairage du problme20. Mais on peut rver en multipliant les occasions de cette gomtrie de mouvement dinstaller chez les lves des gestes qui peuvent devenir des mthodes. Cest ce que je vous propose dillustrer dans la quatrime balade.

Quatrime baladedans le triangle rectangle21 Une configuration porteuse de suite : Lorsque llve dcouvrira les suites gomtriques, et quil comprendra que tout terme est moyenne gomtrique de celui qui le prcde et de celui qui le suit, peut-tre se souviendra-t-il de la configuration ci-dessus, qui fait voir cette moyenne gomtrique. Connaissant U0 et U1, il pourra alors positionner HC = U0 et HA = U1 comme dans la configuration prcdente, et construire HB = U 2 . Utilisant alors la combinaison de cette configuration et la rptition de notre Thals, il pourra construire des suites gomtriques connaissant les deux premiers termes sans connatre la raison de cette suite : cest ce que je vous propose de faire. # Construire la suite gomtrique de premier terme U0 et U1.

U0

U1

20 On peut aussi montrer ce rsultat avec Pythagore ! 21 Les # renvoient une solution en Annexes Quatrime balade . 30

Il y a moyenne et moyenne : Moyenne arithmtique, la plus simple et la plus classique, lie aux phnomnes de progression arithmtique , et base des indicateurs statistiques ; moyenne gomtrique, lie tous les phnomnes de progression gomtrique , et si prsente dans notre quotidien (qui na pas un prt en cours ?) ; moyenne harmonique, lie linverse proportionnalit , et qui nous fait maudire les bouchons sur lautoroute lors de nos dparts en vacances qui rduisent tant notre vitesse moyenne : comment sont-elles lies ? Replongeons dans notre triangle rectangle :

Considrons le triangle rectangle ABC ci-contre. Soit H la projection orthogonale de A sur (BC), K celle de H sur (OA). Soit HB = a et HC = b OA reprsente la moyenne arithmtique de a et b. AH reprsente la moyenne gomtrique de a et b. # Montrez que AK reprsente la moyenne harmonique de a et b.

Cette configuration nous permet daffirmer : moyenne harmonique moyenne gomtrique moyenne arithmtique la double galit ayant lieu si et seulement si a = b . On peut videmment montrer ces ingalits par lalgbre, mais la configuration cidessus lie troitement ces trois moyennes, et nous permet de visualiser pour a+b constant la sensibilit de chacune de ces moyennes lcart entre a et b. 7 - Un thorme extrmement simplificateur Je vais terminer ce parcours gomtrique par un thorme fondamental : Tout triangle est isocle Un corollaire immdiat est : A Tout triangle est quilatral Vous ne me croyez pas ! En voici une dmonstration :
Le triangle ABC ci-contre est a priori quelconque. I est le point dintersection de la bissectrice issue de A et de la mdiatrice 31
H I B C K

de [BC]. H et K sont les projections orthogonales de I sur (AB) et (AC).

I tant sur la bissectrice, IH = IK. Les triangles rectangles AIH et AIK sont donc gaux . Donc AH = AK. I tant sur la mdiatrice de [BC], IB = IC. Comme IH = IK, les triangles rectangles IBH et ICH sont donc aussi gaux . Donc HB = HC. On en dduit : AB = AH+HB = AK+KC = AC. Donc le triangle est isocle en A. Vous ne connaissiez pas ce rsultat, et vous avez repris la dmonstration, sans y trouver de faille . Votre inquitude grandit lide davoir balancer tous votre cours de gomtrie, ainsi que cet article qui na plus lieu dtre ! Rassurez vous : refaites un dessin et vous verrez la supercherie. Ce que jai en fait montrer ici par labsurde , cest que si le triangle nest pas isocle en A, ce point I est lextrieur du triangle (H et K sont lun lintrieur du ct, lautre lextrieur). Jai souvent entendu que le propre des mathmatiques tait de pouvoir raisonner juste sur une figure fausse : oui, mais pas trop fausse ! Cela mamne deux points de rflexion que je trouve fondamentaux : Une dmonstration na pas pour objectif de prouver quune chose est vraie , mais de vrifier que le cheminement qui a conduit la conclusion partir des hypothses est valide. On vacue presque toujours les notions particulirement dlicates dintrieur et dextrieur, de convexit, de connexit, en les gommant par une prise dinformation sur le dessin. 8 - La maison des mathmatiques Nous avons suivi des chemins qui proposent un aller-retour constant entre le monde physique et le monde mathmatique, entre la forme et lobjet mathmatique, entre le dessin et la figure, entre la connaissance naturelle et la connaissance volue . Cest vers la maison des mathmatiques que conduisent ces diffrents chemins. Mais y sommes nous vraiment entrs ? Prenons lactivit suivante :
D C

Considrons le carr ABCD ci-contre, la rampe [AC], et lescalier qui va de A C avec des marches de pas 1/n. Notre intuition, notre perception nave, nous font penser que : ( escalier ) = rampe . Mais pour tout n, la longueur de lescalier est 2. Donc ( longueur de lescalier ) = 2 = longueur de la rampe .

Reprenons notre exemple de dcoupage dun triangle

32

pour en faire un carr, et posons-nous la question : peut-on reconstituer un cercle partir dun carr par dissection et dplacements . Le problme ainsi pos dans les annes 1920 par Banach et Tarski sappelle la quadrature gomtrique du cercle. Naturellement, dans ce dernier cas, on ne peut pas esprer faire des partitions laide de ciseaux car un disque a une frontire bombe que ne possde pas le carr ! Laczkovitch, mathmaticien hongrois, a donn une rponse positive cette question : il a montr que de telles partitions du carr et du disque taient possibles et que lon pouvait passer des morceaux du disque aux morceaux du carr par des translations22 .

Les mathmatiques cet autre niveau vont donc aller contre notre intuition, contre notre perception : cest Cantor qui, venant de construire une bijection de sur 2, crit Dedekind : Je le vois, mais je ne peux le croire . De manire plus gnrale, la science peut aller contre notre intuition, et je laisse le soin Rudolf Bkouche dexemplifier cela : Toute la science moderne sest construite autour de cette vrit paradoxale : la terre tourne autour du soleil.. On ne la jamais expriment mme si on sait lexpliquer ; en fait cest bien plus lharmonie qui se dgage de lhliocentrisme qui a fait la force cette thorie, ce qui nempche pas de considrer la terre comme notre repre naturel et de vivre comme si elle ne se mouvait pas. Exhiber les exemples mathmatiques ci-dessus nos lves est sans doute prmatur si lon considre que lenseignement scientifique est moins de raconter la modernit que den donner les cls daccs, mais leur donner la possibilit daller plus loin chaque fois que loccasion sen prsente peut donner certains lenvie de mieux connatre cette maison des mathmatiques : cette curiosit peut tre le dbut dune vocation scientifique . Mais revenons dans le cadre de notre texte, cest dire celui dun enseignement pour tous : son objectif est de tracer des chemins qui mnent cette maison des mathmatiques ; libre alors chacun de vouloir la visiter plus fond, ou au contraire de ne pas la trouver son got. Limportant est que tous en connaissent des accs, et soient capables de les retrouver un jour sil en ont besoin. Ces chemins ne sont pas faciles, et il est important de les baliser rgulirement par une hirarchisation progressive des niveaux de conceptualisation, de traitement, de validation. Ceux de la gomtrie lmentaire que jai essay dexplorer ici reposent sur la conviction suivante : le voir, le croire et le savoir se construisent ensemble dans la plus grande intimit.

Un grand merci : Evelyne Barbin, Rudolf Bkouche, Franoise Chamontin, Marie-Claire Combes, JeanPierre Kahane, Marc Legrand, Madeleine Marot, Ren Mulet-Marquis, Daniel Perrin,
22 Voir Jean-Pierre Kahane in Repres-Irem 29. 33

Mireille Sauter, pour leurs contributions ce texte.

Annexes Premire balade

A

Du triangle au paralllogramme : Une symtrie centrale vient aisment au bout du problme

B

D F G

C E

Du paralllogramme au paralllogramme :

On utilise la direction de (BC) et des translations immdiates.

34

Du rectangle au carr : On construit sur (AB) le point M tel que BM = BC et B appartienne [AM]. On construit le demi-cercle de diamtre [AM] Soit E lintersection de ce demi-cercle avec la droite (BC). Le triangle (AEM) est donc rectangle, et [EB] est la hauteur relative lhypotnuse. Daprs Thals (voir plus loin), on a donc : BE = AB x BM = AB x BC [BE]est donc le ct dun carr de mme aire que le rectangle. Do la fin de la construction
E F

B M

35

Pour le dcoupage : On construit le triangle AND avec AN = EF On construit le triangle EPF avec EP = AD On est ainsi assur davoir construit deux triangles gaux qui se dduisent lun de lautre par une translation. On fait de mme avec les triangles BQC et BRG. Il ne reste plus qu montrer que BNDQ et BPFR sont deux paralllogrammes ayant mme base et mme hauteur, ce qui nous ramne au dcoupage prcdent. De deux carrs un troisime : Merci Pythagore Le dcoupage ci-contre est li aux bords du triangle rectangle, donc des trois carrs.

R P A N B G

On passe l encore des deux petits carrs au grand carr par translation des pices. On peut trouver ce puzzle dans le livre de Steinhaus Les instantans mathmatiques (voir larticle de Jean-Pierre Kahane dans le Repres 29 ). Il existe de nombreux autres puzzles de Pythagore

Seconde balade
L

Lombre : Les droites (AE) et (PL) tant toutes deux orthogonales au plan ABCD sont parallles. Les points A, E, P, L sont donc coplanaires. Les droites (PA) et (LE sont donc scantes, et leur intersection A est lintersection de (LE) et du plan ABCD On obtient de mme les points B, C, D

E B' B P

H C' C

A'

36

D'

La forme de lombre ABCD est un carr, car homothtique du carr ABCD. Peut-tre avez-vous hsit sur cette forme. Rassurez-vous, cest le cas de la plupart, qui pensent que pour que ce soit un carr, il faut que P soit centre du carr ABCD. Seule la dmonstration peut ici nous permettre daffirmer cela. Je vous laisse admirer lomniprsence de Thals.

Les trois cercles :

O D F G B

On fait apparatre un paralllpipde rectangle en perspective cavalire. Le sommet cach O est le centre du quatrime cercle, et le rayon de ce cercle OE a la mme longueur que les trois autres cercles.

Troisime balade Lirrationalit : En utilisant les symtries axiales, on montre aisment que EFCG est un carr. Par symtrie, AI = AB = q ; donc IC = p - q ; donc EC est un entier. Par symtrie, BF = FI ; or FI = IC = p q ; donc BF est un entier, donc FC est un entier Le dveloppement en fraction continue : On a : = = = 1+ = 1+ Or = = ; donc = 1+ = 1+ = 1+ = 1+ ; do le rsultat.. On a de mme : = 1+ , et ainsi de suite, Do le dveloppement en fraction continue de .

37

Quatrime balade

Moyenne harmonique : Avec Thals, ou le cosinus, on montre : = ; do = = = ( + ) Do le rsultat.

Construction dune suite gomtrique

U3

U2

U1

U0

U0

U1

U2

U3

U4

38