Sur les repères mobiles attachés à une courbe gauche. (Q560134)

\(z^i(u)\) \((i=1,2,3)\) seien die inhomogenen Koordinaten einer Raum\-kurve \(\varGamma \). Wählt man als Bezugssystem einen Punkt \(x\) auf \(\varGamma \), \(x_1\) auf der Tangente an \(\varGamma \) in \(x,x_2\) in und \(x_3\) außerhalb der Schmiegebene, so stellt sich \(\varGamma \) in der Form dar: \[ \begin{gathered} z^2=\frac 12(z^1)^2+a_3(z^1)^3+\cdots,\\ z^3=\frac 16(z^1)^3+b_4(z^1)^4+\cdots. \end{gathered} \] Untersucht werden diejenigen Bazugssyteme, für die \(a_3=a_4=b_4=b_5=0\) ist. Wenn man \(x_1\) auf der Tangente beliebig wählt, so ist durch diese Forderung \(x_2\) und die Richtung von \(xx_3\) bestimmt. \(x_3\) läßt sich so wählen, daß\ \(a_5=b_6=\dfrac {\nu }{60}\) wird, und heißt dann Koizidenzpunkt. Die Ableitungen nach \(u\) lassen sich nun schreiben: \[ \begin{aligned} x'&=x_1.\\ x_1'&=3kx+hx_1+x_2, \tag{11}\\ x_2'&=\nu x+4kx_1+2hx_2+x_3,\\ x_3'&=\varrho x+\nu x_1+3kx_2+3hx_3. \end{aligned} \] durch geeignete Parameterwahl kann \(h=k=0\) gemacht werden. \(\nu du^3\) und \(\varrho du^4\) sind parameterinvariant und werden projektive Bogenelemente erster und zweiter Art genannt. Zu einer geometrischen Deutung für sie gelangt man auf folgende Weise: \(K\) sei die Schnittkurve der Tangentenfläche von \(\varGamma \) mit der Schmiegebene, \(K_2\) ihr oskulierender Kegelschnitt, \(M_1\) ein Nachbarpunkt von \(x\) auf der Tangente an \(\varGamma,M, M_2\) die Schnittpunkte von \(M_1x\) mit \(K\) und \(K_2\). Dann ist \[ d_1=(x_2MM_1M_2)=\frac {1}{30}\nu du^3+\cdots. \] \(L\) sei die Projektion von \(\varGamma \) von einem Punkt \(Q\) auf \(xx_3\) aus auf \(x_1x_2x_3, L\) der Schmiegkegelschnitt, \(N_1,N, N_2\) seien analog definiert wie oben. Wenn \(Q\) der Koinzidenzpunkt ist, ist \[ d_2=(x_2NN_1N_2)=\frac {1}{30}\nu du^3+\cdots \quad \text{und} \quad d_2-d_1=\frac {2}{63}\varrho du^4+\cdots. \] \(\varGamma \) wird von einer Raumkurve dritter Ordnung dann und nur dann in sechster Ordnung berührt, wenn \(\nu =\varrho =0\) ist. Dann ist \(\varGamma \) selbst von dritter Ordnung. Die Projektionen von \(x_2\) aus auf \(x,x_1,x_3\) und ihre Schmiegkurven dritter Ordnung werden in ähnlicher Weise untersucht.