Fermat's spiral and the line between Yin and Yang

Taras Banakh, Oleg Verbitsky, Yaroslav Vorobets

Let $D$ denote a disk of unit area. We call a subset $A$ of $D$ perfect if it has measure 1/2 and, with respect to any axial symmetry of $D$, the maximal symmetric subset of $A$ ha…