En mathématiques, et plus précisément en géométrie, une équidissection d'un polygone est un découpage de celui-ci en triangles d'aires égales. L'étude des équidissections commença vers la fin des années 1960 avec le théorème de Monsky, affirmant qu'un carré (ou plus généralement un parallélogramme) ne peut être ainsi décomposé en un nombre impair de triangles. Au demeurant, la plupart des polygones n'admettent aucune équidissection[1].

Une équidissection d'un carré en 6 triangles

La plupart des résultats de la littérature sur cette question sont des généralisations du théorème de Monsky à des classes de figures plus vastes, la question principale étant : quels polygones peuvent être ainsi décomposés, et en combien de triangles ? En particulier, cette question a été résolue pour les trapèzes, les cerfs-volants, les polygones réguliers, les polygones admettant une symétrie centrale, les polyominos, et (en remplaçant les triangles par des simplexes) les hypercubes[2].

Il y a peu d'applications directes des équidissections[3]. Elles sont néanmoins vues comme intéressantes parce que les résultats semblent à première vue contraires à l'intuition, et parce qu'il est étonnant que pour un problème géométrique d'énoncé aussi simple, la théorie réclame des outils algébriques aussi sophistiqués : de nombreux résultats demandent l'utilisation de valuations p-adiques étendues aux nombres réels, et le prolongement du lemme de Sperner à des graphes colorés plus généraux[4].

Généralités

modifier

Définitions

modifier

De manière générale, une dissection est un découpage d'une figure en « morceaux », généralement de forme simple. Dans le contexte de cet article, on appellera dissection d'un polygone P un ensemble fini de triangles ne se recouvrant que par leurs côtés, et dont la réunion est P. Une dissection en n triangles est appelée une n-dissection, et est classée en dissection paire ou dissection impaire selon la parité de n[4].

Une équidissection est une dissection dans laquelle chaque triangle a la même aire. Pour un polygone P, l'ensemble des n pour lesquels il existe une n-équidissection de P s'appelle le spectre de P, et se note S(P). Un des objectifs de la théorie est de déterminer le spectre d'un polygone donné[5].

Une dissection est dite simpliciale si les triangles qui la composent ne se rencontrent que le long de côtés communs (et non de segments inclus dans ces côtés) ; elles sont souvent plus simples à étudier (par exemple, le lemme de Sperner sous sa forme usuelle ne s'applique qu'à des dissections simpliciales).

Plus généralement, cette terminologie s'étend à des polytopes de dimension arbitraire n : une équidissection d'un polytope P est une partition de P en un ensemble de simplexes ayant le même n-volume[6].

Préliminaires

modifier

Il est facile de trouver une n-équidissection d'un triangle pour tout n, en découpant la base du triangle en n segments de même longueur. Il en résulte que si un polygone P admet une m-équidissection, il admet aussi une mn-équidissection pour tout n. En fait, il est fréquent que le spectre d'un polygone soit exactement constitué des multiples d'un certain entier m ; dans ce cas, le spectre et le polygone sont dits principaux, et on note le spectre par  [1]. Ainsi, le spectre d'un triangle est  ; un exemple de polygone non principal est le quadrilatère de sommets (0, 0), (1, 0), (0, 1), (3/2, 3/2) ; son spectre contient 2 et 3, mais n'est évidemment pas principal[7], puisqu'il ne contient pas 1.

Les transformations affines du plan (comme les translations et les rotations, mais aussi les homothéties, etc.) sont des outils d'étude utile des équidissections, puisqu'elles conservent les alignements et les rapports d'aires, ce qui permet de remplacer un polygone par un autre ayant une forme plus simple. Ainsi, il est fréquent de choisir des coordonnées telles que trois sommets consécutifs du polygone soient (0, 1), (0, 0), et (1, 0)[8]. De même, les résultats obtenus pour les carrés sont valables pour tous les parallélogrammes, ceux correspondant à des coordonnées des sommets entières s'appliquent aussi à des coordonnées rationnelles, etc.[9]

Meilleurs résultats

modifier

Le théorème de Monsky affirme qu'un carré n'a pas d'équidissections impaires, et donc que son spectre est  [10]. Plus généralement, aucun polygone centralement symétrique et aucun polyomino n'admet d'équidissection impaire[11]. Une conjecture de Stein[12] est qu'aucun polygone spécial n'admet d'équidissection impaire, un polygone spécial étant tel que, pour chaque direction, la somme vectorielle de ses côtés parallèles à cette direction est nulle, ce qui est en particulier le cas des carrés, des polygones centralement symétriques et des polyominos.

Pour n > 4, le spectre d'un polygone régulier à n côtés est  [13]. Pour n > 1, le spectre d'un hypercube de dimension n est   (où n! est la factorielle de n)[14].

Soit T(a) un trapèze, où a est le rapport des longueurs des côtés parallèles[15]. Si a est un nombre rationnel, T(a) est principal ; plus précisément, si r/s est une fraction irréductible, alors  [16]. Plus généralement, tous les polygones convexes à coordonnées rationnelles possèdent une équidissection[17], mais ils ne sont pas tous principaux, comme le montre l'exemple donné plus haut du cerf-volant ayant un sommet en (3/2, 3/2).

Au contraire, si a est un nombre transcendant, alors T(a) n'a pas d'équidissection. Plus généralement, un polygone dont les coordonnées des sommets sont algébriquement indépendantes n'a pas d'équidissection[18]. Cela implique que la plupart des polygones (ayant plus de trois côtés) ne peuvent être équidissectés ; en revanche, tous les polygones peuvent être décomposés en une réunion de quadrilatères de même aire[19].

Le cas où a est un nombre algébrique irrationnel est plus délicat. Si le polynôme minimal de a est de degré 2 ou 3, et que les conjugués de a sont tous de partie réelle positive, alorsS(T(a)) contient tous les n assez grands pour que n/(1 + a) soit un entier algébrique[20]. On conjecture qu'une condition analogue faisant intervenir des polynômes de Hurwitz permettrait de déterminer ce qu'il en est pour des nombres a algébriques de degré supérieur à 3[21].

Historique

modifier

La notion d'équidissection semble être le genre d'idée géométrique élémentaire qui devrait être fort ancienne. Ainsi, Aigner et Ziegler disent du théorème de Monsky que « l'on s'attendrait à ce que la réponse soit connue depuis longtemps, ou même depuis les Grecs »[22]. Mais en fait, l'étude des équidissections ne commença qu'en 1965, alors que Fred Richman préparait un examen de maîtrise universitaire à la New Mexico State University.

Le théorème de Monsky

modifier

Richman voulait inclure une question de géométrie dans cet examen, et remarqua qu'il était difficile de trouver un découpage d'un carré en un nombre impair de triangles de même aire. Il obtint quelques résultats partiels (comme l'impossibilité d'une 5-équidissection[23]), mais ne parvint pas à démontrer que c'était impossible, et n'utilisa pas la question pour l'examen. Un ami de Richman, John Thomas, s'intéressa à ce problème ; d'après lui, « tous les gens à qui l'on montrait le problème (moi y compris) disaient quelque chose comme "ce n'est pas mon domaine, mais la question doit sûrement avoir déjà été étudiée, et la réponse est sans doute bien connue". Certains pensaient avoir déjà vu le problème, mais ne se rappelaient pas où. Quant à moi, cela m'intéressa parce que j'avais l'impression d'une ressemblance avec le lemme de Sperner, qui possède une preuve astucieuse utilisant un argument de parité. »[24].

Thomas démontra qu'une équidissection impaire était impossible si les coordonnées des sommets étaient des rationnels de dénominateurs impairs. Il proposa cette démonstration au Mathematics Magazine, mais elle fut mise en réserve : « Le referee, comme on pouvait s'y attendre, estima que le problème semblait assez facile (bien qu'il n'ait pas pu le résoudre) et était sans doute bien connu (bien qu'il n'ait pu en trouver de référence) »[25].

La question fut finalement publiée comme un « problème difficile » dans le American Mathematical Monthly [26]. Personne n'ayant envoyé de solution, la démonstration de Thomas fut alors publiée dans le Mathematics Magazine[27], trois ans après sa première rédaction. Paul Monsky (en) s'appuya alors sur les idées de Thomas pour démontrer le résultat en toute généralité[28].

La démonstration de Monsky s'appuie sur deux idées essentielles : un résultat combinatoire généralisant le lemme de Sperner, et un résultat d'algèbre, l'existence d'un prolongement de la valuation 2-adique des rationnels à l'ensemble de tous les nombres réels[29]. Une coloration du plan astucieusement choisie permet alors de montrer que l'un des triangles au moins de l'équidissection envisagée est d'aire « paire » (au sens de la valuation), et donc que le nombre de triangles est pair. Si l'essence de cet argument apparaissait déjà chez Thomas, la démonstration de Monsky est la première à utiliser une valuation pour traiter le cas de dissections à coordonnées quelconques[30].

Généralisations

modifier

La première généralisation du théorème de Monsky fut donnée par Mead en 1979, montrant que le spectre d'un hypercube de dimension n est  [31].

En 1985, une généralisation à tous les polygones réguliers fut obtenue lors d'un séminaire de géométrie dirigé par G. D. Chakerian à l'Université de Californie à Davis. Une étudiante, Elaine Kasimatis, « cherchait un sujet algébrique qu'elle puisse glisser dans le séminaire »[5]. Sherman Stein lui suggéra l'étude des dissections du carré et du cube, « un sujet que Chakerian fut bien obligé d'admettre être géométrique »[5]. Après son exposé, Stein demanda ce qu'il en était des autres polygones réguliers ; Kasimatis y répondit en montrant que pour  , le spectre d'un polygone régulier à n côtés est  [13]. Sa démonstration s'appuie sur les idées de Monsky, en étendant la valuation p-adique aux nombres complexes pour tous les p premiers divisant n, et en utilisant quelques résultats élémentaires de la théorie des corps cyclotomiques (ainsi que des transformations affines explicites pour se placer dans un système de coordonnées adapté)[32]. En 1990, Stein et Kasimatis définirent alors le cadre général du problème[1], introduisant les termes de spectre et de polygone principal[5]. Ils démontrèrent que presque aucun polygone n'admet d'équidissection, et qu'il existe des polygones non principaux ; ils commencèrent également l'étude des spectres des trapèzes et des cerfs-volants[1].

Les trapèzes furent ensuite étudiés par Jepsen et Monsky[33], et les cerfs-volants par Jepsen, Sedberry et Hoyer[34]. Des résultats plus généraux sur les quadrilatères ont été obtenus par Ding Ren et ses étudiants à la Hebei Normal University (en)[35].

Tentant de généraliser les résultats obtenus sur les polygones réguliers, Stein conjectura qu'aucun polygone centralement symétrique n'admettait d'équidissection impaire[36], ce qu'il démontra pour les polygones à 6 ou 8 côtés ; ce résultat fut démontré dans le cas général par Monsky en 1990[37]. Dix ans plus tard, Stein obtint ce qu'il qualifia d'« avancée surprenante », conjecturant qu'aucun polyomino n'admettait d'équidissection impaire, et le démontrant dans le cas d'un nombre impair de carrés[38] ; la conjecture complète fut démontrée par Praton en 2002[39].

Le sujet des équidissections a été récemment popularisé par plusieurs publications, dont une étude dans The Mathematical Intelligencer [2], et la quatrième édition de Proofs from THE BOOK[40].

Problèmes reliés

modifier

Une variante du problème, étant donné un polygone convexe K, est de déterminer quelle proportion de son aire peut être recouverte par n triangles intérieurs à K, ne se recouvrant pas, et d'égales aires[41] ; cette proportion est notée tn(K). Si K admet une n-équidissection, tn(K) = 1. On démontre que pour un quadrilatère K, tn(K) ≥ 4n/(4n + 1), et que t2(K) = 8/9 si et seulement si K peut être transformé affinement en trapèze T(2/3). Pour un pentagone, t2(K) ≥ 2/3, t3(K) ≥ 3/4, et tn(K) ≥ 2n/(2n + 1) pour n ≥ 5.

Günter M. Ziegler a posé en 2003 le problème réciproque : étant donné une dissection d'un polygone en n triangles, jusqu'où les aires de ces triangles peuvent-elles être proches, et en particulier, quelle est la plus petite différence possible entre les aires du plus petit et du plus grand triangle ? Notant cette différence par M(n) pour un carré et M(a, n) pour le trapèze T(a), on a M(n) nul pour n pair et non nul sinon. Mansow a donné la borne asymptotique supérieure M(n) = O(1/n2)[42], que Schulze a améliorée en 2011, obtenant[43] M(n) = O(1/n3) ; il a également montré qu'il existe des valeurs de a pour lesquelles M(a, n) décroit avec n aussi vite que l'on veut[44].

Notes et références

modifier
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Equidissection » (voir la liste des auteurs).
  1. a b c et d Kasimatis et Stein 1990
  2. a et b Stein 2004
  3. Stein et Szabó 2008, p. 108-109
  4. a et b Stein 2004, p. 17
  5. a b c et d Stein et Szabó 2008, p. 120
  6. Mead 1979, p. 302
  7. Stein et Szabó 2008, p. 126
  8. Stein et Szabó 2008, p. 121, 128, 131
  9. Stein 2004, p. 12-20
  10. Monsky 1970.
  11. Monsky 1990 ; Praton 2002.
  12. Stein 2000.
  13. a et b Kasimatis 1989.
  14. Mead 1979.
  15. À transformation affine près, ce nombre a caractérise le trapèze.
  16. Stein et Szabó 2008, p. 122.
  17. Su et Ding 2003.
  18. Voir Su et Ding 2003 pour des énoncés plus précis de ce principe.
  19. Hales et Straus 1982, p. 42.
  20. Jepsen et Monsky 2008.
  21. Stein 2004, p. 21 ; Jepsen et Monsky 2008, p. 3.
  22. Aigner et Ziegler 2010, p. 131 : « one could have guessed that surely the answer must have been known for a long time (if not to the Greeks). »
  23. Thomas 1968, p. 187
  24. Stein et Szabó 2008, p. 107
  25. Stein et Szabó 2008, p. 108
  26. Richman et Thomas 1967
  27. Thomas 1968
  28. Monsky 1970 ; Stein et Szabó 2008, p. 108
  29. Ce résultat nécessite l'axiome du choix, mais ce dernier n'est pas nécessaire pour démontrer le théorème de Monsky, car il suffit en fait de prolonger la valuation aux coordonnées de l'équidissection étudiée, ce qui ne demande qu'un nombre fini de choix.
  30. Monsky 1970, p. 251; Bekker et Netsvetaev 1998, p. 3492
  31. Mead 1979. Voir aussi Bekker et Netsvetaev 1998 pour une démonstration simplifiée
  32. Stein 2004, p. 18
  33. Jepsen 1996, Monsky 1996, Jepsen et Monsky 2008
  34. Jepsen, Sedberry et Hoyer 2009
  35. Su et Ding 2003 ; Du et Ding 2005
  36. Stein 1989
  37. Monsky 1990
  38. Stein 1999
  39. Praton 2002
  40. Aigner et Ziegler 2010
  41. Sakai, Nara et Urrutia 2005
  42. Mansow 2003
  43. Schulze 2011, p. 2
  44. Schulze 2011

Bibliographie

modifier

Sources secondaires

Sources primaires

  • (en) B. M. Bekker et N. Yu. Netsvetaev, « Generalized Sperner lemma and subdivisions into simplices of equal volume », Journal of Mathematical Sciences, vol. 91, no 6,‎ , p. 3492-3498 (DOI 10.1007/BF02434927, zbMATH 0891.51013)
  • (zh) Yatao Du, « 多边形的等积三角剖分 (Nouveaux résultats sur les équidissections impaires) », Journal of Hebei Normal University (Natural Science Edition), vol. 27, no 3,‎ , p. 220-222 (zbMATH 1036.52019, lire en ligne)
  • (en) Yatao Du et Ren Ding, « More on cutting a polygon into triangles of equal areas », Journal of Applied Mathematics and Computing, vol. 17, nos 1-2,‎ , p. 259-267 (DOI 10.1007/BF02936053, zbMATH 1066.52017, lire en ligne)
  • (en) A. W. Hales et E. G. Straus, « Projective colorings », Pacific J. Math., vol. 99, no 2,‎ , p. 31-43 (MR 651484, zbMATH 0451.51010, lire en ligne)
  • (en) Charles H. Jepsen, « Equidissections of Trapezoids », Amer. Math. Month., vol. 103, no 6,‎ , p. 498-500 (DOI 10.2307/2974717, zbMATH 0856.51007, lire en ligne)
  • (en) Charles H. Jepsen et Paul Monsky, « Constructing Equidissections for Certain Classes of Trapezoids », Discrete Math., vol. 308, no 23,‎ , p. 5672-5681 (DOI 10.1016/j.disc.2007.10.031, zbMATH 1156.51304, lire en ligne)
  • (en) Charles H. Jepsen, Trevor Sedberry et Rolf Hoyer, « Equidissections of kite-shaped quadrilaterals », Involve, vol. 2, no 1,‎ , p. 89-93 (DOI 10.2140/involve.2009.2.89, zbMATH 1176.52003, lire en ligne)
  • (en) Elaine A. Kasimatis, « Dissections of regular polygons into triangles of equal areas », Discrete Comput. Geom., vol. 4, no 1,‎ , p. 375-381 (DOI 10.1007/BF02187738, zbMATH 0675.52005, lire en ligne)
  • (en) Elaine A. Kasimatis et Sherman K. Stein, « Equidissections of polygons », Discrete Math., vol. 85, no 3,‎ , p. 281-294 (DOI 10.1016/0012-365X(90)90384-T, zbMATH 0736.05028)
  • (de) K. Mansow, Ungerade Triangulierungen eines Quadrats von kleiner Diskrepanz, Allemagne, TU Berlin,
  • (en) David G. Mead, « Dissection of the hypercube into simplexes », Proc. Amer. Math. Soc., vol. 76,‎ , p. 302-304 (DOI 10.1090/S0002-9939-1979-0537093-6, zbMATH 0423.51012)
  • (en) Paul Monsky, « On Dividing a Square Into Triangles », Amer. Math. Month., vol. 77, no 2,‎ , p. 161-164 (DOI 10.2307/2317329, zbMATH 0187.19701), réimpr. dans (en) Raymond W. Brink selected mathematical papers, vol. 3 : Selected Papers on Algebra, MAA, (ISBN 978-0-88385-203-3), p. 249-251
  • (en) Paul Monsky, « A conjecture of Stein on plane dissections », Mathematische Zeitschrift, vol. 205, no 1,‎ , p. 583-592 (DOI 10.1007/BF02571264, zbMATH 0693.51008, lire en ligne)
  • (en) Paul Monsky, « Calculating a Trapezoidal Spectrum », Amer. Math. Month., vol. 103, no 6,‎ , p. 500-501 (DOI 10.2307/2974718, zbMATH 0856.51008)
  • (en) Iwan Praton, « Cutting Polyominos into Equal-Area Triangles », Amer. Math. Month., vol. 109, no 9,‎ , p. 818-826 (DOI 10.2307/3072370, zbMATH 1026.05027)
  • (en) Fred Richman et John Thomas, « Problem 5471 », Amer. Math. Month., vol. 74, no 3,‎ , p. 329 (DOI 10.2307/2316055)
  • (en) Daniil Rudenko, « On equidissection of balanced polygons », arXiv,‎ , arXiv:1206.4591
  • (en) T. Sakai, C. Nara et J. Urrutia, « Equal Area Polygons in Convex Bodies », dans Jin Akiyama, Edy Tri Baskoro, Mikio Kano, Combinatorial Geometry and Graph Theory: Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers, Springer, coll. « Lecture Notes in Computer Science » (no 3330), (ISBN 3-540-24401-8, DOI 10.1007/978-3-540-30540-8_17, zbMATH 1117.52010, lire en ligne), p. 146-158
  • (en) Bernd Schulze, « On the area discrepancy of triangulations of squares and trapezoids », Electronic Journal of Combinatorics, vol. 18, no 1,‎ , p. 137 (zbMATH 1222.52017, lire en ligne)
  • (en) Sherman K. Stein, « Equidissections of centrally symmetric octagons », Aequationes Mathematicae, vol. 37, nos 2-3,‎ , p. 313-318 (DOI 10.1007/BF01836454, zbMATH 0681.52008)
  • (en) Sherman K. Stein, « Cutting a Polyomino into Triangles of Equal Areas », Amer. Math. Month., vol. 106, no 3,‎ , p. 255-257 (DOI 10.2307/2589681)
  • (en) Sherman K. Stein, « A Generalized Conjecture about Cutting a Polygon into Triangles of Equal Areas », Discrete Comput. Geom., vol. 24, no 1,‎ , p. 141-145 (DOI 10.1007/s004540010021, zbMATH 0968.52011)
  • (zh) Su Zhanjun, « 关于Stein猜想的局部证明 (Une démonstration locale de conjectures de Stein) », Journal of Hebei Normal University (Natural Science Edition), vol. 26, no 6,‎ , p. 559-560 (zbMATH 1038.52002, lire en ligne)
  • (zh) Zhanjun Su, « 关于一类特殊梯形的等面积三角形划分 (Découpage d'une famille de trapèzes particuliers en triangles d'aires égales) », Mathematics in Practice and Theory, vol. 34, no 1,‎ , p. 145-149
  • (zh) Zhanjun Su, Xinke Wang et Huizhu Tian, « 关于Stein猜想的研究 (Étude d'une conjecture de Stein) », Journal of Hebei Normal University (Natural Science Edition), vol. 26, no 4,‎ , p. 341-342 (zbMATH 1024.52002, lire en ligne)
  • (zh) Zhanjun Su et Xinke Wang, « 关于多边形三角划分中的一个逼近问题 (Un problème d'approximation dans le découpage de polygones en triangles) », Journal of Hebei Normal University (Natural Science), vol. 30, no 4,‎ , p. 95-97 (zbMATH 1040.52002, lire en ligne)
  • (zh) Zhanjun Su, Xianglin Wei et Fuyi Liu, « 关于Stein猜想的推广 (Une généralisation d'une conjecture de Stein) », Journal of Hebei Normal University (Natural Science Edition), vol. 27, no 3,‎ , p. 223-224 (zbMATH 1036.52020, lire en ligne)
  • (en) Zhanjun Su et Ren Ding, « Dissections of polygons into triangles of equal areas », Journal of Applied Mathematics and Computing, vol. 13, nos 1-2,‎ , p. 29-36 (DOI 10.1007/BF02936072, zbMATH 1048.52011, lire en ligne)
  • (en) Zhanjun Su et Ren Ding, « Cutting a Hyperpolyomino into Simplexes », Southeast Asian Bulletin of Mathematics, vol. 28, no 3,‎ , p. 573-576 (zbMATH 1067.52017)
  • (zh) Zhanjun Su et Ren Ding, « 四边形的等积三角剖分 (Dissections de quadrilatères en triangles de mêmes aires) », Acta Mathematica Scientia, vol. 25, no 5,‎ , p. 718-721 (zbMATH 1098.52004, lire en ligne)
  • (en) John Thomas, « A Dissection Problem », Mathematics Magazine, vol. 41, no 4,‎ , p. 187-190 (DOI 10.2307/2689143, zbMATH 0164.51502)

Voir aussi

modifier

Articles connexes

modifier

Liens externes

modifier