塔斯基分割圓問題

hbghlyj

Tarski's circle-squaring problem：將平面上的一個圆分割成有限多塊，然後重新拼合成面積相同的正方形。

1990年米可斯·拉茲柯維奇證明這是可行的。但他的分割方法大量使用了選擇公理（axiom of choice），故该方法是不可构造的。这种分割方法至多將圓分割成約1050塊。

2017年，Andrew Marks 和 Spencer Unger 使用博雷尔片给出了一个完全构造性的分割方法。[1]