No label defined (Q5522907)

In Platons Dialog Theātet ist davon die Rede, daß Theodoros die Irrationalität von \(\sqrt 3\), \(\sqrt 5,\ldots\), \(\sqrt {17}\) bewiesen habe. Warum hat er \(\sqrt 2\) ausgelassen? Wenn man die Irrationalität nach dem Verfahren der wechselseitigen Subtraktion (dem ,,Eukli\-dischen Teilerverfahren'') beweisen will, muß man zeigen, daß der Rest schließlich kleiner als eine vorgegebene Größe wird. Dazu braucht man den Satz Euklid X, 1, der besagt, daß dieses eintritt, wenn man jeweils mehr als die Hälfte wegnimmt. Der Beweis dieses Satzes beruht auf der Definition 4 von Euklid V (dem sogenannten Archimedischen Axiom). Diese Definition homogener Größen ist aber erst sinnvoll, wenn man schon weiß, daß es inkommensurable Größen gibt, sonst könnte man homogenene Größen z. B. als ,,Menge von Teilen voneinander'' kenn\-zeichnen, wie es in Euklid VII für Zahlen geschieht. Also muß der erste Irrationalitätsbeweis (wohl der von \(\sqrt 2\)) auf einem anderen Wege gefunden worden sein als durch wechselseitige Subtraktion. Übrigens stützt diese Überlegung die Vermutung, daß Theodoros die Irrationalität von \(\sqrt 3, \sqrt 5,\ldots\), wirklich durch wechselseitige Subtraktion bewiesen habe.