# Equidecomposability and discrepancy; a solution of Tarski's circle-squaring problem

@article{Laczkovich1990EquidecomposabilityAD, title={Equidecomposability and discrepancy; a solution of Tarski's circle-squaring problem}, author={Mikl{\'o}s Laczkovich}, journal={Journal f{\"u}r die reine und angewandte Mathematik (Crelles Journal)}, year={1990}, volume={1990}, pages={117 - 77} }

Tarski's circle-squaring problem asks whether a disc is equidecomposable to a square; that is, whether a disc can be decomposed into finitely many parts which can be rearranged to obtain a partition of a square [16]. The problem was motivated by the well-known Banach-Tarski theorem stating that in /S* any two sets are equidecomposable provided that they are bounded and have non-empty interior. In particular, any ball is equidecomposable to any cube. On the other band, the existence of a Banach…

## 98 Citations

### Paradoxical decompositions and the Axiom of Choice

- Philosophy
- 2010

The Banach-Tarski Paradox is probably the most counter-intuitive theorem in any field of mathematics. It states, in layman's terms, that a solid ball in R[real numbers]?? can be split into finitely…

### The Banach-Tarski theorem on polygons, and the cancellation law

- Mathematics
- 1990

It is shown that if two polytopes in Rd are equidecomposable under a finite set of isometries which generates a discrete group, then they are equidissectable using the same isometricries.

### Borel Circle Squaring

- Mathematics
- 2016

We give a completely constructive solution to Tarski's circle squaring problem. More generally, we prove a Borel version of an equidecomposition theorem due to Laczkovich. If $k \geq 1$ and $A, B…

### A continuous movement version of the Banach–Tarski paradox: A solution to de Groot's Problem

- MathematicsJournal of Symbolic Logic
- 2005

If n > 2, any two bounded sets in Rn that are equidecomposable with proper isometries are continuously equideComposable in this sense and it is shown that there is a paradoxical decomposition of B in which the pieces move continuously while remaining disjoint to yield two copies of B.

### Circle Squaring with Pieces of Small Boundary and Low Borel Complexity

- Mathematics
- 2022

. Tarski’s Circle Squaring Problem from 1925 asks whether it is possible to partition a disk in the plane into ﬁnitely many pieces and reassemble them via isometries to yield a partition of a square…

### The Circle-Squaring Problem Decomposed

- Mathematics
- 2009

Mikl6s Laczkovich, however, shocked mathematicians around the world with an affirmative response to Tarski's question. In 1990, Laczkovich proved that any circle in the plane is equidecomposable with…

### Congruence by Dissection of Topological Discs—An Elementary Approach to Tarski's Circle Squaring Problem

- MathematicsDiscret. Comput. Geom.
- 2002

If G is either the group of equiaffine transformations or thegroup of similarities, then congruence by dissection of two convex discs D and E turns out to be essentially equivalent to congruent by dissections of the boundaries bd(D) and bd (E).

### Measurable circle squaring

- Mathematics
- 2015

Laczkovich proved that if bounded subsets $A$ and $B$ of $R^k$ have the same non-zero Lebesgue measure and the box dimension of the boundary of each set is less than $k$, then there is a partition of…

### Equidecomposability of Polyhedra: A Solution of Hilbert’s Third Problem in Kraków before ICM 1900

- MathematicsThe Mathematical Intelligencer
- 2018

D uring the International Congress of Mathematicians in Paris in 1900, David Hilbert gave a talk on the problems that, in his opinion, would influence mathematics in the 20th century. Later, in the…

### On the equality of periods of Kontsevich–Zagier

- MathematicsJournal de théorie des nombres de Bordeaux
- 2022

Effective periods are defined by Kontsevich and Zagier as complex numbers whose real and imaginary parts are values of absolutely convergent integrals of Q-rational functions over Q-semi-algebraic…

## References

SHOWING 1-10 OF 16 REFERENCES

### Convex bodies equidecomposable by locally discrete groups of isometries

- Mathematics
- 1985

We show that if a polytope K 1 , in ℝ d can be partitioned into a finite number of sets, and these sets can be moved by isometries in a locally discrete group to form a convex body K 2 , then K 2 is…

### Distinct representatives of subsets

- Mathematics
- 1948

If we make this assumption it follows that 2JÎ annuls dA/dyir, where r is the order of A in yx. Let s be the order of A in y%. We form the resultant R of A and dA/dyir, considered as algebraic…

### On the product of three homogeneous linear forms and indefinite ternary quadratic forms

- MathematicsPhilosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences
- 1955

Isolation theorems for the minima of factorizable homogeneous ternary cubic forms and of indefinite ternary quadratic forms of a new strong type are proved. The problems whether there exist such…

### Elementarer Beweis einer isoperimetrischen Ungleichung

- Mathematics
- 1950

Es sei bemerk t , dass bei dem tJbergang yon einem nicht konvexen Gebiet zur konvexen Hiille L verkleinert , F vergrtissert wird, wiihrend R unveriinclert bleibt. Daher geniigt es die Ungleichung (2)…

### Geometric Measure Theory

- Mathematics
- 1969

Introduction Chapter 1 Grassmann algebra 1.1 Tensor products 1.2 Graded algebras 1.3 Teh exterior algebra of a vectorspace 1.4 Alternating forms and duality 1.5 Interior multiplications 1.6 Simple…

### Scissor congruence

- Education
- 1963

It is shown that certain simple figures can not be cut by scissors into pieces that can be reassembled to form certain other simple figures.

### The Banach-Tarski paradox, Cambridge 1986. Department of Analysis, E tv s Lorand University, Muzeum krt

- Budapest, Hungary Eingegangen 22. Dezember
- 1988