About v. Staudt's computation method by throws and related questions. (Q1555804)

Mit Staudt's Wurfrechnung (Beitr. zur Geom. der Lage \(\S\) 19-21, 27-29) haben neuerdings Lüroth und der Referent in geometrischer Weise beschäftigt (Gött. Nachr. 1873 S. 767; Clebsch Ann. VIII. 1; IX. 333; cfr. Jahrb. V. 307, JFM 05.0307.01; VI. 301, JFM 06.0301.01; VII. 357, JFM 07.0357.01); der Verfasser behandelt dieselbe von der algebraischenSeite. Die homogenen Coordinaten der Punkte eines Kegelschnitts können als ganze rationale Functionen \(2^{\text{ten}}\) Grades eines Parameters dargestellt werden; wenn \(t_{0}, t_{1}, t_{\infty}\) die Parameter der festen drei ersten Punkte aller betrachteten Würfe, \(t_{a}, t_{b}, t_{ab}=t_{e}\) die der vierten Punkte von 3 Würfen, von denen der letzte das Product der beiden ersten ist, so besteht, wie Herr Schröder zeigt, die Relation \[ t_{c} = \frac{t_{a} t_{b}(t_{1} - t_{\infty} - t_{0}) + (t_{a} + t_{b}) t_{\infty} t_{0} - t_{0}t_{1} t_{\infty}}{- t_{a}t_{b} + (t_{a} + t_{b}) t_{1} - t_{1}t_{\infty} + t_{\infty} t_{0}}; \] woraus dann die Fälle der Addition und der inversen Operationen abgeleitet werden. Durch eine lineare gebrochene Substitution wird ein neuer Parameter \(\tau\) eingeführt (das Doppelverhältnis der vier Punkte \(t_{0}, t_{1}, t_{\infty}, t\)), für welchen \(\tau_{ab} = \tau_{a}\cdot \tau_{b}\) und \(\tau_{a + b} = \tau_{a} + \tau_{b}\), so dass also die symbolische Multiplication eine wirkliche wird. Schon aus der früheren Form leuchtet die Commutativität, aus dieser die Associativität und Distributivität ein. Zwei Determinanten-Operationen aus dem vorhergehenden werden hervorgehoben und verallgemeinert; die eine führt zu der Gleichung der linearen Mannigfaltigkeit \((n-1)^{\text{ter}}\) Stufe, welche im Raume von \(n\) Dimensionen \(n\) Punkte einer unicursalen Mannigfaltigkeit \(1^{\text{ter}}\) Stufe \(n^{\text{ten}}\) Grades verbindet; bei der andern werden \(n + 1\) Variabeln aus \(n + 1\) linearen Gleichungen in Determinantenform, welche sich nur durch die eine Colonne unterscheiden, derartig eliminrt, dass das Eliminationsresultat aus dem gemeinsamen Kern der gegebenen Determinanten durch Ränderung entsteht; der Verfasser erwähnt die Hülfe, die ihm Herr Voss hierbei geleistet. Im zweiten Theile bespricht er den Zusammenhang dieses Aufsatzes mit seinen formalen Untersuchungen, über welche er im Programm von Baden-Baden 1874 (cfr. Jahrb. VI. p. 55, JFM 06.0055.01) schon eine vorläufige Mittheilung gemacht. Irgend eine Function \(c=f(a,b)\) nennt er symbolisches Product von \(a\) und \(b\), und die Auflösungen nach \(a,b\) symbolische Quotienten \(a=\frac{c}{b},\; b=c:a\), was im Allgemeinen verschiedene Operationen sind: die Ausführbarkeit und Eindeutigkeit wird dabei vorausgesetz. Durch Gleichsetzung der Resultate der mit 2, bez. 3 Grössen vorgenomenen Operationen erhält man eine grosse Zahl von Gleichungen, die zum Theil von einander abhängen, wie z. B. aus \(a:b=ab\) folgt \(a:b=\frac{b}{a}=ab,\) oder durch gewisse Vertauschungprincipien auseinander abgeleitet werden können. Hieraus ergiebt sich eine Gruppirung dieser Gleichungen. Allen, die in einem logischen Zusammenhange stehen, entspricht dann stets ein Algorithmus; es ist nun wünschenswerth, Lösungen oder Beispiele für diese Algorithmen zu ermitteln. Der Verfasser giebt mehrere solche Lösungen und zeigt, wie sie die Wurfrechnung als Particularfall enthalten.