Tarski's circle-squaring problem
- Tarski's circle-squaring problem
Tarski's circle-squaring problem is the challenge, posed by Alfred Tarski in 1925, to take a disc in the plane, cut it into finitely many pieces, and reassemble the pieces so as to get a square of equal area. This was proven to be possible by Miklós Laczkovich in 1990; the decomposition makes heavy use of the axiom of choice and is therefore non-constructive. Laczkovich's decomposition uses about 1050 different pieces.
In particular, it's impossible to dissect a circle and make a square using pieces that could be cut with scissors (i.e. having Jordan curve boundary). The pieces used in Laczkovich's proof are non-measurable subsets.
Laczkovich actually proved the reassembly can be done "using translations only"; rotations are not required. Along the way, he also proved that any simple polygon in the plane can be decomposed into finitely many pieces and reassembled using translations only to form a square of equal area. The Bolyai-Gerwien theorem is a related but much simpler result: it states that one can accomplish such a decomposition of a simple polygon with finitely many "polygonal pieces" if both translations and rotations are allowed for the reassembly.
These results should be compared with the much more paradoxical decompositions in three dimensions provided by the Banach-Tarski paradox; those decompositions can even change the volume of a set. Such decompositions cannot be performed in the plane, due to the existence of a Banach measure.
See also
* Squaring the circle, a different problem: the (proved to be impossible) task of constructing, for a given circle, a square of equal area with straightedge and compass alone.
References
* Miklos Laczkovich: "Equidecomposability and discrepancy: a solution to Tarski's circle squaring problem", Journal fur die Reine und Angewandte Mathematik 404 (1990) pp. 77-117
* Miklos Laczkovich: "Paradoxical decompositions: a survey of recent results." First European Congress of Mathematics, Vol. II (Paris, 1992), pp. 159-184, Progr. Math., 120, Birkhäuser, Basel, 1994.
Wikimedia Foundation.
2010.
Look at other dictionaries:
Squaring the circle — Squaring the circle: the areas of this square and this circle are equal. In 1882, it was proven that this figure cannot be constructed in a finite number of steps with an idealized compass and straightedge … Wikipedia
Tarski's problem — Alfred Tarski asked several mathematical questions: *For Tarski s problem about the elementary theory of free groups see free group. *Tarski s circle squaring problem *Tarski s plank problem *Tarski s exponential function problem *Tarski monster… … Wikipedia
Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… … Wikipedia
List of circle topics — This list of circle topics includes things related to the geometric shape, either abstractly, as in idealizations studied by geometers, or concretely in physical space. It does not include metaphors like inner circle or circular reasoning in… … Wikipedia
Banach–Tarski paradox — The Banach–Tarski paradox is a theorem in set theoretic geometry which states that a solid ball in 3 dimensional space can be split into several non overlapping pieces, which can then be put back together in a different way to yield two identical … Wikipedia
Paradoxe de Banach-Tarski — En mathématiques, et plus précisément en géométrie, le paradoxe de Banach Tarski est un théorème, démontré en 1924 par Stefan Banach et Alfred Tarski, qui affirme qu il est possible de couper une boule de l espace usuel en un nombre fini de… … Wikipédia en Français
Area of a disk — Part of a series of articles on the mathematical constant π … Wikipedia
Quadratur des Kreises — Das Quadrat und der Kreis haben den gleichen Flächeninhalt. Die Quadratur des Kreises ist ein klassisches Problem der Geometrie. Die Aufgabe besteht darin, aus einem gegebenen Kreis in endlich vielen Schritten ein Quadrat mit demselben… … Deutsch Wikipedia
List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie … Wikipedia
Парадокс Банаха — Тарского — Шар можно «разбить» на куски и собрать из них два таких же шара. Парадокс Банаха Тарского, или парадокс удвоения шара, говорит, что трёхмерный шар равносоставлен двум своим копиям. Два подмножества евклидова пространства называются… … Википедия
