Generalization of a fundamental theorem of analysis.
Wenn \(\varphi (t)\) eine reelle Function der reellen Variabeln \(t\) bezeichnet, welche nebst ihrer ersten Ableitung innerhalb des Intervalls \(t_1 \ldots t_2\) eindeutig, endlich und stetig ist, so besteht der Satz, dass \(\frac{\varphi (t_2)-\varphi (t_1)}{t_2-t_1}\) nicht grösser als der grösste und nicht kleiner als der kleinste unter den Werten ist, welche \(\varphi'(t)\) innerhalb des Intervalles \(t_1 \ldots t_2\) annimmt. In vorliegender Note wird die folgende Verallgemeinerung dieses Satzes aufgestellt und bewiesen: ``Es seien \(f_1(t),f_2(t), \ldots f_n(t)\;n\) Functionen derselben stetig veränderlichen Grösse \(t\), welche nebst ihren Ableitungen bis zur \((n-1)^{\text{ten}}\) einschliesslich für alle in Betracht kommenden Werte des Argumentes \(t\) endlich, stetig und eindeutig sind. Sowohl die Grösse \(t\), als auch die betrachteten Functionen nehmen nur reelle Werte an. Unter diesen Voraussetzungen ist, wenn \(t_1,t_2, \ldots t_n\;n\) von einander verschiedene, dem Intervalle \(a\ldots b\) angehörende Werte des Argumentes \(t\) bezeichnen, der Wert des Quotienten \[ \left| \begin{matrix} \l & \quad\l & \quad\l\\ f_1(t_1) & ,\;f_2(t_1)& ,\;\ldots\;f_n(t_1) \\ f_1(t_2) & ,\;f_2(t_2)& ,\;\ldots\;f_n(t_2) \\ \hdotsfor3\\ \hdotsfor3\\ \hdotsfor3\\ f_1(t_n) & ,\;f_2(t_n)& ,\;\ldots\;f_n(t_n) \end{matrix} \right| : \left| \begin{matrix} \l\;&\l\;& \l & \l\\ 1, & t_1, & \ldots & t^{n-1}_1 \\ 1, & t_2, & \ldots & t^{n-1}_2 \\ \hdotsfor4 \\ \hdotsfor4 \\ \hdotsfor4 \\ 1, & t_n, & \ldots & t^{n-1}_n \end{matrix} \right| \] nicht grösser als \(\frac{g}{1!2!3! \ldots (n-1)!}\) und nicht kleiner als \(\frac{k}{1!2!3! \ldots (n-1)!}\), wo \(g\) den grössten, \(k\) den kleinsten unter denjenigen Werten bezeichnet, welche die Determinante \[ \left| \begin{matrix} \l & \l & \l & \l\\ f_1(t') &,\;f_2(t') &,\;\ldots &\;f_n(t') \\ f'_1(t) &,\;f'_2(t) &,\;\ldots & \;f'_n(t) \\ \hdotsfor4 \\ \hdotsfor4 \\ \hdotsfor4 \\ f^{(n-1)}_1(t^{(n)}) &,\;f^{(n-1)}_2(t^{(n)}) &,\;\ldots &\;f^{(n-1)}_n(t^{(n)}) \end{matrix} \right| \] in dem Gebiete \[ a \leqq t' \overset{=}{<} b,\quad t' \leqq t \overset{=}{<} b,\quad t \leqq t \overset{=}{<} b,\;\ldots t^{(n-1)} \leqq t^{(n)} \overset{=}{<} b \] annimmt. Von diesem Satze werden zwei geometrische Anwendungen gemacht, welche eine fundamentale Eigenschaft der Schmiegungsebenen und Schmiegungskugeln einer Raumcurve ergeben.
This page was built for publication: Generalization of a fundamental theorem of analysis.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1549198)
