Über Zerlegungen von Rechtecken in inkongruente Quadrate. (Q2590693)

Die Zerlegung eines Rechtecks in endlich viele (mindestens zwei) Quadrate wird dann am interessantesten, wenn man Kongruenz zweier Quadrate verbietet (``zulässige Zerlegung''). Die Theorie solcher Zerlegungen wird hier insbesondere nach der Methode des ``Anlegens'', d. h. der Erweiterung eines zulässig zerlegten Rechtecks mit den Seiten \(a\) und \(b\) (\(a \leqq b)\) durch Anlegen eines Quadrats mit der Seite \(b\), zugänglich gemacht. Bei Iteration des Anlegeprozesses strebt das Seitenverhältnis gegen \(\alpha=\dfrac{1+\sqrt 5}{2}\). Es zeigt sich: Ist \(q \geqq 0\), \(\varepsilon > 0\), \(\eta > 0\) und zu endlich vielen Primzahlen \(p\) je eine \(p\)-adische Zahl \(\beta_p\) gegeben, so gibt es ein zulässig zerlegtes Rechteck, für dessen Seitenlängen \(a\) und \(b\), wenn \(c\) die Seite des größten Teilquadrats bedeutet, \[ \begin{matrix} \dfrac{c}{\operatorname{Min}(a,b)}<\eta,\\ \biggl|\dfrac{b}{a}-q\biggr|<\varepsilon \end{matrix} \] ist und \(\dfrac{b}{a}\) überdies für jede der gegebenen Primzahlen \(p\) von \(\beta_p\) im \(p\)-adischen Sinne um weniger als \(\varepsilon\) entfernt ist. Die obere Grenze des Seitenverhältnisses \((\leqq 1)\) zweier Teilquadrate, die bei einer nicht notwendig zulässigen Zerlegung eines Rechtecks mit dem Seitenverhältnis \(\varkappa(\gtreqqless 1)\) in endlich oder unendlich viele Quadrate auftritt, hängt natürlich von der besonderen Zerlegung, ihre untere Grenze jedoch nur von \(\varkappa\) ab. Für \(\varkappa \neq 1\) erweist sich diese untere Grenze durchweg als positiv. Sie wird dann durch bekannte Funktionen von \(\varkappa\) nach unten abgeschätzt, und das Entsprechende geschieht unter den Zusatzvoraussetzungen, daß die kleinste Seite des zerlegten Rechtecks als Seite eines Teilquadrates auftritt (``reduzible'' Zerlegung) bzw. nicht auftritt (``irreduzible'' Zerlegung). Für reduzible Zerlegungen ist insbesondere \(\alpha-1\) der kleinste vorkommende Wert jener unteren Grenze; erreicht wird er nur für \(\varkappa = \alpha\) und für \(\varkappa=\dfrac{1}{\alpha}\). (Vgl. die späteren Arbeiten von \textit{R. Sprague}, J. reine angew. Math. 182 (1940), 60-64; Math. Z. 46 (1940), 460-471; F. d. M. 66.)