2018
Nov
22

# Colloquium: Spencer Unger (HUJI) - A constructive solution to Tarski's circle squaring problem

2:30pm to 3:30pm

## Location:

Manchester Building (Hall 2), Hebrew University Jerusalem

In 1925, Tarski asked whether a disk in R^2 can be partitioned into finitely many pieces which can be rearranged by isometries to form a square of the same area. The restriction of having a disk and a square with the same area is necessary. In 1990, Laczkovich gave a positive answer to the problem using the axiom of choice. We give a completely explicit (Borel) way to break the circle and the square into congruent pieces. This answers a question of Wagon. Our proof has three main components. The first is work of Laczkovich in Diophantine approximation.