1925年，阿尔弗雷德·塔斯基提出一个问题：将平面上的一个圆分割成有限多块，然后重新拼合成面积相同的正方形。1990年米可斯·拉兹柯维奇证明这是可行的。但他的分割方法大量使用了选择公理（axiom of choice），故该方法是不可构造的。这种分割方法至多将圆分割成约10块。2017年，Andrew Marks 和 Spencer Unger 使用博雷尔片给出了一个完全构造性的分割方法。拉兹柯维奇还证明了更多：该重新拼合的过程中只须移动即可；旋转并非必要。他随之而证明任何平面上的单纯多边形均可分割