En mathématiques, et plus précisément en géométrie plane, le problème de quadrature du cercle de Tarski, posé par Alfred Tarski en 1925, consiste à déterminer s'il est possible de découper un disque du plan en un nombre fini de morceaux et de les réassembler pour obtenir un carré d'aire égale. En 1990, Miklós Laczkovich montra que c'était possible si ces morceaux sont non mesurables; la décomposition utilise l'axiome du choix et est donc non-constructive, de plus la décomposition de Laczkovich nécessite environ 1050 ensembles distincts.

Property Value
dbo:abstract
  • En mathématiques, et plus précisément en géométrie plane, le problème de quadrature du cercle de Tarski, posé par Alfred Tarski en 1925, consiste à déterminer s'il est possible de découper un disque du plan en un nombre fini de morceaux et de les réassembler pour obtenir un carré d'aire égale. Il est impossible de réaliser une telle dissection formée de pièces qui pourraient être découpées avec des ciseaux (idéaux), c'est-à-dire dont la frontière serait une courbe de Jordan : il a été démontré en 1963 qu'un disque ne pouvait être transformé en aucune autre surface convexe par découpage aux ciseaux . En 1990, Miklós Laczkovich montra que c'était possible si ces morceaux sont non mesurables; la décomposition utilise l'axiome du choix et est donc non-constructive, de plus la décomposition de Laczkovich nécessite environ 1050 ensembles distincts. Laczkovich montra d'autre part que la recomposition peut être faite en n'utilisant que des translations ; les rotations des pièces ne sont pas nécessaires. Au passage, il montra également que n'importe quel polygone du plan peut être décomposé de même en pièces réarrangeables par des translations seules pour former un carré de même aire. Le théorème de Wallace-Bolyai-Gerwien est un résultat analogue beaucoup plus simple, affirmant que cette dissection peut être réalisée avec des morceaux de forme polygonale, si on autorise également la rotation des pièces lors de la recomposition. Il résulte des travaux de T. Wilson qu'il est même possible de choisir les pièces de telle sorte qu'elles ne se rencontrent pas au cours de ces translations, considérées comme des mouvements continus. Ces résultats doivent être comparés aux décompositions bien plus paradoxales fournies dans l'espace par le paradoxe de Banach-Tarski : ces dernières peuvent même modifier le volume de l'ensemble initial. De telles décompositions sont impossibles dans le plan, en raison de l'existence dans R2 d'une mesure de Banach, c'est-à-dire d'une fonction simplement additive et invariante par translation, définie sur tous les sous-ensembles. (fr)
  • En mathématiques, et plus précisément en géométrie plane, le problème de quadrature du cercle de Tarski, posé par Alfred Tarski en 1925, consiste à déterminer s'il est possible de découper un disque du plan en un nombre fini de morceaux et de les réassembler pour obtenir un carré d'aire égale. Il est impossible de réaliser une telle dissection formée de pièces qui pourraient être découpées avec des ciseaux (idéaux), c'est-à-dire dont la frontière serait une courbe de Jordan : il a été démontré en 1963 qu'un disque ne pouvait être transformé en aucune autre surface convexe par découpage aux ciseaux . En 1990, Miklós Laczkovich montra que c'était possible si ces morceaux sont non mesurables; la décomposition utilise l'axiome du choix et est donc non-constructive, de plus la décomposition de Laczkovich nécessite environ 1050 ensembles distincts. Laczkovich montra d'autre part que la recomposition peut être faite en n'utilisant que des translations ; les rotations des pièces ne sont pas nécessaires. Au passage, il montra également que n'importe quel polygone du plan peut être décomposé de même en pièces réarrangeables par des translations seules pour former un carré de même aire. Le théorème de Wallace-Bolyai-Gerwien est un résultat analogue beaucoup plus simple, affirmant que cette dissection peut être réalisée avec des morceaux de forme polygonale, si on autorise également la rotation des pièces lors de la recomposition. Il résulte des travaux de T. Wilson qu'il est même possible de choisir les pièces de telle sorte qu'elles ne se rencontrent pas au cours de ces translations, considérées comme des mouvements continus. Ces résultats doivent être comparés aux décompositions bien plus paradoxales fournies dans l'espace par le paradoxe de Banach-Tarski : ces dernières peuvent même modifier le volume de l'ensemble initial. De telles décompositions sont impossibles dans le plan, en raison de l'existence dans R2 d'une mesure de Banach, c'est-à-dire d'une fonction simplement additive et invariante par translation, définie sur tous les sous-ensembles. (fr)
dbo:namedAfter
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 6674101 (xsd:integer)
dbo:wikiPageLength
  • 4785 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 171460583 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1925 (xsd:integer)
  • 1990 (xsd:integer)
  • 1994 (xsd:integer)
  • 2003 (xsd:integer)
  • 2005 (xsd:integer)
prop-fr:auteur
prop-fr:collection
  • Progress in Mathematics (fr)
  • Progress in Mathematics (fr)
prop-fr:doi
  • 10.151500 (xsd:double)
  • 10.217800 (xsd:double)
prop-fr:journal
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:lieu
  • Bâle (fr)
  • Bâle (fr)
prop-fr:mathReviews
  • 1037431 (xsd:integer)
  • 1341843 (xsd:integer)
  • 1990983 (xsd:integer)
  • 2155273 (xsd:integer)
prop-fr:nom
  • Richter (fr)
  • Hertel (fr)
  • Richter (fr)
  • Hertel (fr)
prop-fr:numéro
  • 1 (xsd:integer)
  • 3 (xsd:integer)
prop-fr:numéroDansCollection
  • 120 (xsd:integer)
prop-fr:page
  • 159 (xsd:integer)
  • 381 (xsd:integer)
prop-fr:pages
  • 47 (xsd:integer)
  • 77 (xsd:integer)
  • 946 (xsd:integer)
prop-fr:prénom
  • Christian (fr)
  • Eike (fr)
  • Christian (fr)
  • Eike (fr)
prop-fr:titre
  • Paradoxical decompositions: a survey of recent results (fr)
  • Problème 38 (fr)
  • Squaring the circle by dissection (fr)
  • A continuous movement version of the Banach–Tarski paradox: A solution to De Groot's problem (fr)
  • Equidecomposability and discrepancy: a solution to Tarski's circle squaring problem (fr)
  • Paradoxical decompositions: a survey of recent results (fr)
  • Problème 38 (fr)
  • Squaring the circle by dissection (fr)
  • A continuous movement version of the Banach–Tarski paradox: A solution to De Groot's problem (fr)
  • Equidecomposability and discrepancy: a solution to Tarski's circle squaring problem (fr)
prop-fr:titreOuvrage
  • Proc. First European Congress of Mathematics, Vol. II ) (fr)
  • Proc. First European Congress of Mathematics, Vol. II ) (fr)
prop-fr:url
prop-fr:volume
  • 7 (xsd:integer)
  • 44 (xsd:integer)
  • 70 (xsd:integer)
  • 404 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdfs:comment
  • En mathématiques, et plus précisément en géométrie plane, le problème de quadrature du cercle de Tarski, posé par Alfred Tarski en 1925, consiste à déterminer s'il est possible de découper un disque du plan en un nombre fini de morceaux et de les réassembler pour obtenir un carré d'aire égale. En 1990, Miklós Laczkovich montra que c'était possible si ces morceaux sont non mesurables; la décomposition utilise l'axiome du choix et est donc non-constructive, de plus la décomposition de Laczkovich nécessite environ 1050 ensembles distincts. (fr)
  • En mathématiques, et plus précisément en géométrie plane, le problème de quadrature du cercle de Tarski, posé par Alfred Tarski en 1925, consiste à déterminer s'il est possible de découper un disque du plan en un nombre fini de morceaux et de les réassembler pour obtenir un carré d'aire égale. En 1990, Miklós Laczkovich montra que c'était possible si ces morceaux sont non mesurables; la décomposition utilise l'axiome du choix et est donc non-constructive, de plus la décomposition de Laczkovich nécessite environ 1050 ensembles distincts. (fr)
rdfs:label
  • Problema de quadrar el cercle de Tarski (ca)
  • Quadrature du cercle de Tarski (fr)
  • Tarski's circle-squaring problem (en)
  • Квадратура круга Тарского (ru)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of