Congruence by dissection of topological discs --- an elementary approach to Tarski's circle squaring problem (Q1849449): Difference between revisions

Let \(G\) be the group of affine transformations of the plane \(\mathbb{R}^2\), and let \({\mathcal F}\) be the family of all topological discs with piecewise \(C^1\) boundaries. It is proved that any two members \(D\), \(E\in {\mathcal F}\) are congruent by dissection with respect to \(G\) such that all pieces in the corresponding dissections of \(D\) and \(E\) belong to \({\mathcal F}\). \((S\subset\mathbb{R}^2\) is `dissected' into topological discs \(D_1,\dots, D_n\) if \(S=\bigcup^n_{i=1} D_i\) and \(\text{int} D_i\cap\text{int} D_j= \emptyset\) for \(1\leq i<j\leq n.\)) An example shows that \(C^1\) cannot be replaced by \(C^2\). With respect to either the group of equiaffine transformations or the group of similarities, it is proved that congruence by dissection of two convex discs \(D\) and \(E\) is essentially equivalent to congruence by dissection of the boundaries of \(D\) and \(E\).