Ueber rectificirbare Curven. (Q1538630)

Herr G. Humbert hat im Journ. de Math. (4) IV. 133 (vgl. das vorige Referat (JFM 20.0717.01)) in der Arbeit ``Sur les courbes algébriques planes rectifiables'' den Satz bewiesen, dass der Bogen einer rectificirbaren ebenen algebraischen Curve stets einer quadratischen Gleichung genügt, deren Coefficienten rationale Functionen der Coordinaten sind, und dass ferner notwendige und hinreichende Bedingung hierfür sei, dass der Differentialquotient des Bogens rational durch die Coordinaten ausdrückbar sei. Der Herr Verfasser weist nach, dass diese Eigenschaft nicht mit der speciellen Form des Bogendifferentials zusammenhängt, und stellt eine allgemeinere Definition der rectificirbaren Curven auf. Ist \(y\) eine durch die Gleichung \(f(x,y)=0\) definirte algebraische Function, und ist \[ S=\int\sqrt{\omega(x,y,y',\dots)}dx=F(x,y,y',\dots), \] worin \(\omega\) eine rationale, \(F\) eine algebraische Function bedeutet, so folgt nach einem Satze von Abel: \[ S=R_1(x,y,y',\dots)+R_2(x,y,y',\dots)\sqrt{\omega(x,y,y',\dots)}, \] wo \(R_1\) und \(R_2\) rationale Functionen bedeuten. Da nun, wegen \(f(x,y)=0, y',y'',\dots\) rational durch \(x\) und \(y\) ausdrückbar sind, so ist \(S\) durch eine quadratische Gleichung mit rationalen Coefficienten ausdrückbar. Bildet man nun \(\frac{dS}{dx}=\sqrt{\omega(x,y,y',\dots)}\), so erhält man im allgemeinen eine Gleichung, durch welche sich \(\sqrt\omega\) rational darstellt. Ist umgekehrt \[ S=R(x,y,y',\dots), \] so ist \(\frac{dR}{dx}=\sqrt\omega\) rational dargestellt. Nennt man das Integral \(S=\int\sqrt{\omega(x,y,y',\dots)}dx\) algebraisch reducirbar, wenn es sich algebraisch durch \(x,y,y',\dots\) darstellen lässt, so genügt \(S\) einer Gleichung \[ (S-c)^2=r^2(x,y,y',\dots)\;\omega(x,y,y',\dots), \] worin \(c\) eine Constante bedeutet. Aehnliche Sätze könnten auch für höhere Wurzelexponenten aufzustellen sein. Der Herr Verfasser wendet sich nun zur Betrachtung transcendenter Curven, die er rectificirbar nennt, wenn der Bogen sich als algebraische Function der Coordinaten ausdrücken lässt. Er gelangt für diese zu dem interessanten Resultat: Jede rectificirbare transcendente Curve ist das Integral einer algebraischem Differentialgleichung erster Ordnung, und ihr Bogen \(s\) genügt einer quadratischen Gleichung von der Form \[ (s-c)^2=\varrho_1^2(x,y,y'):(1+{y'}^2), \] worin \(c\) eine Constante und \(\varrho_1\) eine rationale Function bedeutet. Die notwendige und hinreichende Bedingung dafür, dass der algebraisch rectificirbare Bogen rational sei in \(x,y,y'\), ist die, dass \(\sqrt{1+{y'}^2}\) rational in denselben Grössen ausdrückbar ist.