A proof for Theodorus' theorem by drawing diagrams (Q1321684)

Nach Plato hat Theodorus die Irrationalität von \(\sqrt n\) für alle nichtquadratischen \(n\), \(3\leq n\leq 17\), mit der Zeichnung von ``Diagrammen'' bewiesen. Platos Aussage hat eine Reihe von Vorschlägen für den nicht überlieferten Beweis von Theodorus veranlaßt. Die Arbeit enthält einen neuen, der einmal sehr einfach ist und zum anderen innerhalb der von Plato überlieferten Grenzen funktioniert, für \(n = 19\) versagt, aber für unendlich viele andere \(n\) verwendbar ist. Der vorgeschlagene Beweis stützt sich ausschließlich auf Kenntnisse, die sich in den Elementen Euklids finden. Da Euklid, wie immer man ihn datiert, beträchtlich später als Theodorus gelebt hat, bedarf es einer zusätzlichen Stütze, um zumindest wahrscheinlich zu machen, daß Theodorus über die für den Beweis erforderlichen Kenntnisse verfügte. Die Stütze besteht aus einer Reihe Sätzen über Rechtecke, die als eine ``sehr frühe geometrische Theorie'' (S. 31) propagiert werden. Als Argument für das beanspruchte Alter einer solchen Theorie wird eine Strukturähnlichkeit zu der lange vor Euklid entwickelten arithmetischen Theorie von geraden und ungeraden Zahlen ins Feld geführt. Der Autor vergißt bei allem Überzeugungsaufwand nie, daß jeder solche Vorschlag angesichts des verfügbaren Quellenmaterials nur hypothetisch sein kann, und kann so wegen seiner unprätentiösen Darstellung neben Plausibilität noch Sympathie für sich beanspruchen.