Tarski's circle-squaring problem (source code)

= Tarski's circle-squaring problem
{wiki=Tarski's_circle-squaring_problem}

Tarski's circle-squaring problem is a famous problem in the field of geometry and mathematics, proposed by the logician and mathematician Alfred Tarski in 1925. The problem involves the task of transforming a circle into a square (or vice versa) with the same area, using only a finite number of straightedge and compass constructions. Specifically, the question is whether it is possible to construct, with traditional geometric methods (i.e.