Regularization of polygons (Q1385063)

In der mit \(\mathbb{C}\) identifizierten reellen euklidischen Ebene \(\mathbb{R}^2\) sei ein Polygon \(x=(x_0, x_1, \dots, x_{n-1})\) als geordnetes \(n\)-tupel seiner \(n\) Ecken \(x_i\in \mathbb{C}\) gegeben. Die ``Standardkonstruktion'' \(D(\alpha, \alpha)\) errichtet auf jeder Seite \((x_j, x_{j+1}) \) des Polygons \(x\) ein gleichschenkliges Dreieck, welches die Basiswinkel \(\alpha\) und folglich die Spitze \(y_j= (x_{j+1}+ k\cdot x_j)/(1+k)\) mit \(k= \cos 2 \alpha+ i\sin 2 \alpha\) besitzt. Eine weitere Konstruktion \(P(\rho, \varphi)\) ordnet der Ecke \(x_j\) von \(x\) die vierte Ecke \(y_j\) eines Parallelogramms zu, dessen 2. und 3. Ecke durch Drehung der beiden von \(x_j\) ausgehenden Seiten des Polygons \(x\) um den Winkel \(\varphi\) bzw. \(-\varphi\) und Streckung mit dem Faktor \(\rho\) entstehen. Die so erzeugten Punkte \(y_j\) bilden dann jeweils die Ecken eines neuen Polygons \(y\). Im Regularisierungssatz wird gezeigt, daß sich jedes ebene Polygon \(x\) jeweils mit einer endlichen Sequenz von Konstruktionen vom Typ \(D (\alpha, \alpha)\) und \(P (\rho, \varphi)\) in ein reguläres oder auch ein affin-reguläres Polygon überführen läßt. Dabei erscheint etwa das reguläre Polygon nach \((n-2)/2\) \((n\) gerade) bzw. \((n-1)/2\) \((n\) ungerade) Schritten. Zur Konstruktion derjenigen Polygone, die keine Konstruktion mit Zirkel und Lineal zulassen, wird ein beliebig genaues iteratives Näherungsverfahren angegeben. Kernpunkt des analytisch geführten Beweises ist die Fourieranalyse der ebenen Polygone, d.h. ihre Zerlegung bezüglich der mittels der \(n\)-ten Einheitswurzeln gebildeten ``symmetrischen Polygone''. Die Regularisierung wird am Beispiel der Fünf-, Sechs-, Sieben- und Achtecke auch explizit vorgeführt.