Trisection du carr

Christian Blanvillain - blanvillain@gmail.com Lausanne, septembre 2011

La question que nous abordons aujourdhui fait partie des problmes pouvant tre compris par les plus jeunes enfants, tout en ayant le pouvoir de priver les mathmaticiens les plus ttus de quelques nuits de sommeil ! C'est ce qui la rend si intrigante... Papier, crayon, rgle, compas, ciseaux, vous voil parfaitement quip pour dcouper un carr en plusieurs carrs identiques !

1. Introduction
Comment dcouperiez-vous un carr en quatre carrs identiques ? Une ide ? Oui, c'est simple : il suffit de tracer une croix dont chaque segment passe par les milieux de deux cts opposs (fig. 1).

Fig. 1 - Dcouper un carr en quatre.

Comment dcouperiez-vous un carr en deux carrs identiques ? Impossible ? Pas si vous vous autorisez le dcouper le carr en plusieurs petits morceaux de tailles et de formes non forcment identiques qui, correctement r-assembls, constitueront deux carrs. Vous n'avez pas encore trouv ? Cherchez bien... Bon, je vais vous donner un indice : il existe deux solutions triviales qui dcoupent le carr soit en quatre, soit en cinq morceaux. Dans la solution quatre morceaux, chacun des petits carrs finaux utilise deux pices. Dans la solution cinq morceaux, un petit carr final est entier, et l'autre utilise quatre pices.

Vous n'avez toujours pas trouv ? Alors voici les deux solutions. Pour la premire tracez les deux diagonales du carr. En assemblant deux deux les triangles isocles obtenus, le long de leur grand ct, nous obtenons bel et bien deux carrs identiques (fig. 2).

Fig. 2 - Dcouper un carr en deux avec quatre pices.

Pour la seconde, il suffit d'extraire un petit carr dont les sommets sont les milieux des cts du carr de dpart. Il ne reste plus qu' assembler les quatre triangles des quatre coins du grand carr, le long de leur petit ct pour obtenir le deuxime petit carr (fig. 3). De ces deux solutions on prfrera la premire, car elle utilise un nombre minimal de morceaux.

Fig. 3 - Dcouper un carr en deux avec cinq pices.

Passons maintenant au problme qui nous proccupe aujourdhui. Comment dcouperiez-vous un carr en trois carrs de mmes surfaces et en un nombre minimal de morceaux ? Nous vous recommandons trs fortement de rflchir ce problme avant de vous prcipiter sur les solutions qui suivent. Arrtez de lire cet article et prenez le temps qu'il vous faut pour chercher. Si d'aventure vos nuits s'en trouvaient courtes, alors vous n'aurez qu' reprendre votre lecture ici....Vous l'avez compris, la dissection d'un carr en trois carrs identiques est un problme difficile.

2. Origine du problme
Ce problme de gomtrie remonte l'poque o la civilisation islamique et le monde arabomusulman taient dans leur ge d'or. Il a t pos par les artisans qui matrisaient l'art du zellige, un composant caractristique de l'architecture islamique. C'est un carreau d'argile maille dont l'assemblage produit de somptueuses mosaques aux motifs gomtriques complexes (fig. 4).

Fig. 4 - Lart du zellige. Pavages de Girih. Plafond du mausole du pote perse Hafiz de Shiraz en Iran. CC:by Pentocelo Wikimedia.

Les artisans utilisaient la dissection de la figure 5 qui semble minimale en nombre de pices, mais qui, hlas, n'est pas correcte. Saurez vous dmontrer pourquoi ? Indice :

Fig. 5 - Dissection incorrecte.

Ces artisans n'avaient pas tous une culture mathmatique trs pousse. Certains ne connaissaient pas le thorme de Pythagore. Or ici lerreur peut tre rduite l'paisseur d'une lame de scie ou d'un trait de crayon seulement, cest dire que pour la pire des coupes (la partie hachure du carr a1 a2 a3) lerreur est 1/20me de la taille attendue, soit 5mm pour un carr de dpart de 10cm comportant deux joints ! Mme si certains ralisaient que cette dissection tait fausse, quelle autre dissection utiliser la place ?

Cest pour discuter de ce genre de problmes que les artisans se runissaient rgulirement avec les savants gomtres. Hlas les gomtres ne purent leur proposer quune construction de racine carre de trois la rgle et au compas ce qui ne leur tait pas trs utile... La figure 6 prsente galement la spirale de Thodore de Cyrne qui permet de construire la racine carre de petits nombres entiers.

Fig. 6 - Racine carre de deux, de trois et des quatorze entiers suivants dans la spirale.

Le mathmaticien Perse Muhammad ibn Muhammad ibn Yahya ibn Isma'il ibn al-'Abbas Abu'lWafa' al-Buzajani (940998), pre de la trigonomtrie, proposa une superbe dissection en neuf pices (fig. 7).

Fig. 7 - La trisection dAbul-Wafa (Xme).

Abul-Wafa consigna cette trisection dans un ouvrage "Kitb fm yahtju ilayhi al-sni` min a`ml al-handasa" qui signifie "Constructions gomtriques l'usage des artisans" (chapitre sur comment diviser et assembler un carr). On peut y lire son tmoignage : J'tais prsent une runion laquelle un grand nombre de gomtres et d'artisans participaient. On leur avait demand de construire un carr partir de trois carrs gaux. Les gomtres pouvaient aisment construire une ligne telle que son carr tait gale la surface des trois carrs, mais aucun des artisans n'tait satisfait. Ils souhaitaient diviser ces carrs en morceaux pouvant tre rassembls en un grand carr. [...] Certains artisans positionnaient un des carrs au milieu, divisaient le second par la diagonale et divisaient le troisime carr en un triangle rectangle isocle et deux trapzodes congruents qu'ils assemblaient ensemble. Vous savez maintenant comment dcouper un carr en trois carrs identiques, mais il vous faut actuellement neuf pices. Saurez vous trouvez une solution utilisant moins de pices ?

3. Les trisections du carr au fil de lhistoire.

Pendant 400 ans environs, la trisection d'Abu'l-Wafa' est reste l'unique trisection du carr connue. Il a fallut attendre le XIVme sicle pour que le mathmaticien Abu Bakr al-Khalil, propose deux nouvelles solutions : lune utilisant neuf pices (fig. 8) et lautre utilisant huit pices (fig. 9).

Fig. 8 - Trisection en neuf pices dAbu Bakr al-Khalil (XIVme).

Fig. 9 - Trisection en huit pices dAbu Bakr al-Khalil (XIVme).

Vers la fin du XVIIme sicle, les mathmaticiens franais Jacques Ozanam (16401717) et Jeantienne Montucla (17251799) se penchrent nouveau sur ce problme. On trouve dans l'dition de 1778 de leur ouvrage "Rcrations mathmatiques et physiques" une mthode gnrale de transformation d'un rectangle quelconque en un carr de mme surface. Applique trois petits carrs identiques colls les uns aux autres, cette mthode donne des solutions utilisant huit morceaux. Cent ans plus tard, en 1873, le Chevalier Paul-Jean Busschop (17991877) propose une nouvelle solution en huit pices. En 1877, M. de Coatpont, Colonel du Gnie Rennes, propose une solution en sept pices (fig. 10), trs similaire la solution en neuf pices dAbu Bakr al-Khalil (fig. 8).

Fig. 10 - Trisection en sept pices du Colonel M. de Coatpont (1877).

En 1883 le mathmaticien franais douard Lucas (18421891) propose une autre solution en sept pices (fig. 11).

Fig. 11 - Trisection en sept pices dEdouard Lucas (1883).

Il a fallut attendre 1891 pour que Henry Perigal (18011898) publie une solution suppose minimale, utilisant six morceaux seulement (fig. 12) et trs similaire la solution en huit pices dAbu Bakr al-Khalil (fig. 9). Henry Perigal a fait l'ensemble de ses principales dcouvertes entre les annes 1835 et 1840, mais ne les a publies que trs tard. Voir la biographie dHenry Perigal en appendice de la publication1 de Leonard James Rogers (1897).

Fig. 12 - Trisection en six pices dHenry Perigal (1891).

L. J. Rogers (1897) On certain Regular Polygons in Modular Network. Voir la biographie dHenry Perigal en appendice. Proceedings London Mathematical Society. Volume s1-29, p. 732-735.

De nos jours de nouvelles trisections continuent dtre dcouvertes. Greg N. Frederickson propose en 2002 une solution qui pave le plan (fig. 13 et 14), semblable celle ddouard Lucas (fig. 11) mais symtrique : si lon regarde bien la figure 14, on voit quen dplaant un des deux maillages (sans le tourner) on retrouve la solution ddouard Lucas ainsi quune infinit dautres !

Fig. 13 - Trisection en sept pices de Greg N. Frederickson (2002).

Fig. 14 - Pavage du plan laide de la trisection de Greg N. Frederickson (2002).

Nobuyuki Yoshigahara (19362004) publie en 2004 une solution extraordinaire en sept ou neuf pices, ayant pour caractristique1 que chacun des trois carrs finaux a la mme coupe (fig. 15) !

Fig. 15 - Trisection en sept ou trois fois trois pices identiques de Nobuyuki Yoshigahara (2004).

Quentin Donner fait remarquer que la dissection de Greg N. Frederickson (fig. 13) a galement cette caractristique : il suffit en effet de diviser le carr c1 de la mme manire que les carrs a et b.

En 2010, Christian Blanvillain et Jnos Pach publient1 une nouvelle famille de solutions symtriques en six morceaux. Cette solution permet den obtenir une infinit dautres par glissement de la frontire entre a1 et a2 ou de la frontire entre b1 et b2. La position prsente dans la figure 16 a pour caractristique que les six pices ont toutes exactement la mme surface ! Les plus curieux pourront trouver dans la publication en rfrence lide qui a conduit cette tonnante dissection. Larticle contient galement une liste de rfrences trs complte sur le problme de la trisection du carr.

Fig. 16 - Trisection en six pices de mme surfaces, Christian Blanvillain (2010).

Toutes les solutions connues ne sont pas prsentes ici. Nous avons en effet slectionn les plus importantes dun point de vue historique et les plus lgantes dun point de vue gomtrique. Dautre part, la conjecture comme quoi six serait le nombre minimal de pices pour dcouper un carr en trois carrs identiques, nest toujours pas dmontre. Oserez vous chercher un contreexemple ?

Christian Blanvillain, Jnos Pach (2010). Square Trisection. Bulletin d'Informatique Approfondie et Applications N86 Juin 2010. galement disponible en ligne lEPFL [oai:infoscience.epfl.ch:161493]

4. Du dcoupage du carr Pythagore !

Comment dcouperiez-vous un carr en cinq carrs identiques ? La figure 17 prsente la solution propose par Abul-Wafa dans son ouvrage lattention des artisans1. Nous allons voir que cette dissection peut tre vrifie de plusieurs manires diffrentes.

Fig. 17 - Variations autour de la dissection du carr en cinq carrs identiques, Abul-Wafa (Xme).

Alpay zdural (2000) Mathematics and Arts: Connections between Theory and Practice in the Medieval Islamic World. Historia Mathematica, Volume 27, Issue 2, note 11 p.167.

Pour justifier la figure 17., Abul-Wafa propose lenrichissement prsent dans la figure 18. Le petit carr central est entour de huit carrs entiers qui sont deux deux coups en deux. Ce qui donne 8/2 = 4 carrs, plus 1 petit carr central. Cette dissection dcoupe donc bien un carr en 4+1=5 carrs identiques.

Fig. 18 - Preuve de la dissection du carr en cinq carrs identiques, Abul-Wafa (Xme).

Dans la figure 19, on a spar la figure initiale 17. en deux carrs : dune part le petit carr central de surface 1/5me, et dautre part les quatre angles restants rassembls en un grand carr de surface 4/5me. Si lon coupe maintenant le carr de surface 4/5me en quatre selon les traits blancs, on obtient 4 carrs de surface 1/5me chacun ! Cette dissection dcoupe donc bien un carr en 4+1=5 carrs identiques.

Fig. 19 - Dissection du carr en 5 carrs identiques. Technique de la trisection. Abul-Wafa (Xme). Dmonstration gomtrique du thorme de Pythagore par Henry Perigal (1875).

Henry Perigal a redcouvert cette dissection vers 1835 et la propose comme preuve gomtrique pour dmontrer le thorme de Pythagore. Il a constat que si lon change la taille du triangle rectangle central de la figure 19, la dissection fonctionne toujours (voir fig. 20). Il tait tellement fier de ce rsultat, qu'il a souhait quil soit grav sur sa tombe !

Si l'on observe encore plus attentivement cette dissection, on s'aperoit, toujours sur la figure 20, qu'en rduisant la surface du petit carr zro, on retrouve comment dcouper un carr en quatre. Si on agrandit la surface du petit carr jusqu' ce qu'il occupe exactement la moiti de la surface disponible, on retrouve alors la seconde solution propose pour dcouper un carr en deux. De plus, pour une surface du petit carr gale 1/3 de la surface totale, on obtient la trisection du carr : il suffit en effet de couper en deux le carr obtenu par assemblage des quatre angles. Cest bien la mme solution que celle propose par Abul-Wafa dans la figure 7 !

Fig. 20 - Dcoupage en deux, trois, quatre, cinq.

Il est remarquable de constater que cette dissection permet de dcouper un carr en N carrs identiques. Il suffit en effet de supprimer un carr de surface 1/N au centre du carr et de rassembler les quatre angles en un carr de surface N - 1/N. Ensuite nous navons plus qua ritrer le processus sur ce nouveau carr, ceci N fois. Cette rcurrence nest certes pas trs pratique, mais en utilisant cette ide de manire un peu plus astucieuse, on peut par exemple dcouper en seulement trois itrations un carr en sept carrs identiques ! Nous laissons au lecteur le soin dy rflchir. Indice : 7 = 4 + 3.

Pour terminer nous allons voir que la dernire figure 17. permet elle aussi de dmontrer le thorme de Pythagore1. Partons du carr initial 17. et nommons, pour les quatre triangles rectangles, h lhypotnuse, a la longueur du petit ct et b la longueur du grand ct (fig. 21). Abul-Wafa enrichi sa dissection en rpliquant les quatre triangles rectangles dans les quatre angles du carr. Le ct du grand carr ainsi obtenu a pour longueur a+b et pour surface (a+b)2.

Fig. 21 - Dissection du carr en cinq carrs identiques. Abul-Wafa (Xme). NB: le second dessin est lgrement inclin par rapport au premier.

Notons que cette figure est similaire lune des plus ancienne preuves connue du thorme de Pythagore (alors nomm Gnomon de Zhou), retrouve dans le plus vieux texte de mathmatique chinoise : Zhou Bi Suan Jing (1046 BC - 256 BC).

Dans la figure 22, on voit que la surface (a+b)2 du grand carr est gale la somme des surfaces des quatre triangles rectangles, plus la surface h2 du carr central. Lorsque lon regroupe les quatre triangles rectangles deux deux, de manire faire apparatre deux carrs de surfaces respectives a2 et b2, on voit que la surface (a+b)2 du grand carr est gale la somme des surfaces des quatre triangles rectangles, plus les surfaces a2 et b2. Ainsi, si lon limine les surfaces des quatre triangles rectangles communes ces deux dessins, on obtient bien h2 = a2 + b2 cest dire que le carr de ct h a la mme surface que la somme des surfaces des carrs de ct a et b.

Fig. 22 - Preuve du thorme de Pythagore par soustraction daire. Abul-Wafa (Xme).

Cette dmonstration visuelle par soustraction daire sera choisie1 par Abul-Wafa pour expliquer le thorme de Pythagore aux artisans. Les artisans lapprcirent beaucoup, tant pour son aspect didactique que pour sa valeur ornementale, et dcidrent de mettre la figure 21 l'honneur en de multiples lieux de la Grande Mosque du Vendredi Isfahan (fig. 23).

Fig. 23 - Mosaque de la dissection dAbul-Wafa pour prouver le thorme de Pythagore. Iwan ouest de la mosque du Vendredi Isfahan CC:by Alex O. Holcombe Wikimedia (retravaill).

Alpay zdural (1995). Omar Khayyam, Mathematicians, and conversazioni with Artisans. Journal of the Society of Architectural Historians, Vol. 54, No. 1, pp. 54-71.

5. Conclusion
Nous avons prsent le problme de la trisection du carr et ses origines. Puis nous avons pass en revue les plus belles solutions trouves au fils de lhistoire : 10th 14th 1778 1873 1877 1883 1891 2002 2004 2010 Abu'l-Wf Abu Bakr al-Khalil J-E. Montucla Paul Busschop M. de Coatpont Edouard Lucas Henry Perigal Greg N. Frederickson Nobuyuki Yoshigahara Christian Blanvillain 9 pices 9 & 8 pices 8 pices 8 pices 7 pices 7 pices 6 pices asymtriques 7 pices basculables 3x3 pices identiques 6 pices de mme surface

Nous avons ensuite tudi la dcoupe dun carr en 5 carrs identiques et vu comment utiliser la dissection dAbul-Wafa pour dcouper un carr en N carrs identiques. Finalement, nous avons vu comment on pouvait en dduire deux lgantes dmonstrations gomtriques du thorme de Pythagore. Lapproche visuelle des dmonstrations prsentes dans ces pages rend ces mathmatiques accessibles aux plus jeunes. En effet, une fois dpasse la barrire du formalisme mathmatique, on se rend compte que les ides sont souvent simples et accessibles. Si lenseignement des mathmatiques pouvait tre systmatiquement abord dun point de vue ludique, alors beaucoup dcouvriraient la beaut intrinsque de cet univers.

Informaticien autodidacte depuis l'ge de 11 ans, Christian Blanvillain a toujours t passionn par la rsolution de problmes. 19 ans aprs avoir interrompu ses tudes universitaires en mathmatiques pour se dvouer sa famille, il intgre l'EPFL avec son fils. Profitant de cette parenthse dans sa vie active, il tudie la trisection du carr et trouve une nouvelle solution ce problme.

Christian Blanvillain Ing. Info. Dipl. EPFL blanvillain@gmail.com

Encadr Le thorme de Pythagore exprime le rapport qui existe entre les longueurs des trois cts dun triangle rectangle : l'hypotnuse h et les deux cts a et b (fig. A). Il sexprime ainsi : le carr de lhypotnuse h est gal la somme des carrs des cts a et b opposs. Ce qui donne : h2 = a2 + b2.

Fig. A - Triangle rectangle

Pour reprsenter gomtriquement cette formule, dessinons un carr sur chaque ct du triangle. Le thorme de Pythagore nous dit que la surface h2 du carr de ct h est gale la somme des surfaces a2 et b2 des deux carrs de cts respectifs a et b (fig. B).

Fig. B - Reprsentation gomtrique du thorme de Pythagore