On a theorem concerning the theory of envelopes (Q1559232)

Bezeichnen \(p_1,p_2,p_3,\dots\) die normalen Abstände einer ebenen \(P\) von festen Flächen \(S_1,S_2,s_3,\dots\) und hat man unter den Grössen \(p_1,p_2,\dots\) die Relation \(f(p_1,p_2,\dots)=0\), so wird die Ebene \(P\) im Allgemeinen eine Fläche einhüllen. Es sei \[ P=ax+by+cz-\delta=0 \qquad (a^2+b^2+c^2=1) \] die Gleichung von \(P\), ferner seien \((x_iy_iz_i)\) die Coordinaten des Punktes, in welchem die gemeinschaftliche Normale von \(P\) und \(S_i\) die Ebene \(P\) trifft, dagegen \((\xi_i \eta_i \zeta_i)\) die des Schnittpunktes derselben Geraden mit \(S_i\); dann ist \[ p_i= a\xi_i+ b\eta_i+ c\zeta_i-\delta. \] Da nun \(\Xi_i \eta_i \zeta_i\), und somit auch \(p_i\) als Functionen von \(a,b,c,\delta\) anzusehen sind, so gilt das Gleiche von \(f(p_1,p_2,\cdots)\). Die Ebenen \(P\) hängt aber schliesslich nur von 2 Variablen \(s\) und \(t\) ab, von denen wieder \(a,b,c,\delta\) Functionen sind. Die Gleichungen \[ P=0, \quad \frac{\partial P}{\partial s}=0, \quad \frac{\partial P}{\partial t}=0 \] bestimmen daher den Punkt, in welchem \(P\) seine Enveloppe berührt. Nun ist \[ \frac{\partial P}{\partial s}=x \frac{\partial a}{\partial s}+y \frac{\partial b}{\partial s}+z \frac{\partial c}{\partial s}- \frac{\partial\delta} {\partial s}=0, \] \[ a\frac{\partial a}{\partial s}+b \frac{\partial b}{\partial s}+c \frac{\partial c}{\partial s}=0, \] \[ \frac{\partial p_i}{\partial s}=a \frac{\partial\xi_i}{\partial s}+\Xi_i \frac{\partial a}{\partial s}+b \frac{\partial\eta_i}{\partial s}+\eta_i \frac{\partial b}{\partial s}+c \frac{\partial\zeta_i}{\partial s}+\zeta_i \frac{\partial c}{\partial s}- \frac{\partial\delta} {\partial s}. \] Da die Richtung \((a,b,c)\) zu derjenigen \[ \biggl( \frac{\partial\xi_i}{\partial s},\frac{\partial\eta_i} {\partial s},\frac{\partial\zeta_i} {\partial s} \biggr) \] senkrecht ist, so wird die letzte Gleichung: \[ \frac{\partial p_i}{\partial s}=\xi \frac{\partial a}{\partial s}+\eta_i\frac{\partial b}{\partial s}+\zeta_i\frac{\partial c}{\partial s}-\frac{\partial\delta}{\partial s}. \] Differentiirt man aber die erste Gleichung und benutzt die letzte, so ist \[ \begin{multlined} \frac{\partial a}{\partial s}\biggl(\xi \frac{\partial f}{\partial p_1}+\xi_2 \frac{\partial f}{\partial p_2}+\cdots \biggr)+ \frac{\partial b}{\partial s} \biggl(\eta_1 \frac{\partial f}{\partial p_1}+\eta_2 \frac{\partial f}{\partial p_2}+\cdots \biggr)\\ +\frac{\partial c}{\partial s}\biggl(\zeta_1 \frac{\partial f}{\partial p_1}+\zeta_2 \frac{\partial f}{\partial p_2}+\cdots \biggr)= \frac{\partial\delta}{\partial s}\biggl( \frac{\partial f}{\partial p_1}+\frac{\partial f}{\partial p_2}+\cdots \biggr). \end{multlined} \] Analoge Formeln ergeben sich bei der Differentiation anch \(t\). Mach man \(P\) zur Ebene der \(xy\), so ist \[ x_i=\xi_i, \quad y_i=\eta_i, \quad z_i=0, \quad a=0, \quad b=0, \quad, \delta=0. \] Also wird: \[ x\frac{\partial a}{\partial s}+y \frac{\partial b}{\partial s}- \frac{\partial\delta}{\partial s}=0, \quad \frac{\partial c}{\partial s}=0, \] \[ \biggl(x_1 \frac{\partial f}{\partial p_1}+x_2 \frac{\partial f}{\partial p_2}+\cdots\biggr) \frac{\partial a}{\partial s}+\biggl(y_1 \frac{\partial f}{\partial p_1}+y_2 \frac{\partial f}{\partial p_2}+\cdots \biggr) \frac{\partial b}{\partial s}- \biggl( \frac{\partial f}{\partial p_1}+ \frac{\partial f}{\partial p_2}+\cdots \biggr) \frac{\partial\delta}{\partial s}=0, \] und ebenso in \(t\). Sind nun \(a\) und \(b\) als die unabhängingen Variabeln gewählt, so hat man: \[ x-\frac{d\delta}{da}=0, \quad y-\frac{d\delta}{db}=0, \] und \[ \sum x+i\frac{\partial f}{\partial p_i}=x\sum \frac{\partial f}{\partial p_i}=0, \quad \sum y_i \frac{\partial f}{\partial p_i}- y\sum \frac{\partial f}{\partial p_i}=0. \] Die beiden letzten Gleichungen drücken aus, dass der Punkt \((xy)\), welcher der Berührungspunkt der Ebene \(P\) mit ihrer Enveloppe ist, der Schwerpunkt der Massen \(\frac{\partial f}{\partial p_1}, \frac{\partial f}{\partial p_2} \dots\) ist, die in \((x_1y_1), (x_2y_2),\dots\) angebracht sind. Zu diesem Satze werden noch drei Corollarien gegeben, in denen auch seine Bedeutung für die Planimetrie hervorgehoben wird. Es folgen dann zwei Beispiele, und zum Schluss wird erwähnt, dass der angeführte Satz in gewisser Hinsicht das Gegenstück zu dem von Poinsot gegebenen ist. Sind \(p_1,p_2\dots\) die Abstände eines beweglichen Punktes von festen Flächen, so ist die Normale an die Fläche, deren Gleichung \[ f(p_1,p_2\dots)=0 \] die Resultante aus den Längen \(\frac{\partial f}{\partial p_1}, \frac{\partial f}{\partial p_2}\dots\), die längs der Strahlen \(p_1,p_2\dots\), angebracht sind.