Mechanische ebene Kurven/Stangenkoppelung/Bemerkung

Es seien $B_1$ und $B_2$ zwei ebene algebraische Kurven, die durch die Gleichungen $F_1=0$ und $F_2=0$ beschrieben werden,  $F_1,F_2\in K[X,Y]$.  Es sei $S$ eine „bewegliche Gerade“ (eine Stange) mit zwei Punkten $P_1,P_2\in S$, $P_1\ne P_2$, die voneinander den Abstand $d$ haben. Das mechanische System, das durch alle Lagen von $S$ in der Ebene gegeben ist, bei denen gleichzeitig $P_1\in B_1$ und $P_2\in B_2$ ist, wird folgendermaßen beschrieben.

Eine Lage der Stange in der Ebene ist eindeutig bestimmt, wenn für die beiden Punkte die Lage festgelegt ist (dies berücksichtigt noch nicht die Abstandsbedingung), also durch vier Variablen  $(P_1,P_2)=(x_1,y_1,x_2,y_2)$.  Eine erlaubte Konfiguration muss dann die folgenden drei algebraischen Bedingungen erfüllen.

1.  $F_1(x_1,y_1)=0$ 
2.  $F_2(x_2,y_2)=0$ 
3.  $(x_2-x_1{)}^2+(y_2-y_1{)}^2=d^2$ (Abstandsbedingung)

Es handelt sich somit um drei algebraische Gleichungen in vier Variablen, als Lösungsmenge erwartet man also eine Kurve im ${𝔸}_K^4$. Ein Punkt  $P\in S$  wird durch den Abstand zu $P_1$ bzw. $P_2$ beschrieben. Da sich diese Punkte im mechanischen System bewegen, setzen wir die Koordinaten für den mitbewegten Punkt $P$ als

$P=P_1+u(P_2-P_1)$

an (der Abstand von $P$ zu $P_1$ ist also $\Vert u(P_2-P_1)\Vert =|ud|$) und schreiben seine Koordinaten als

$(x,y)=(x_1,y_1)+u(x_2-x_1,y_2-y_1)=(u{x}_2+(1-u)x_1,u{y}_2+(1-u)y_1)$

Man kann dann das gesamte mechanische System (durch eine lineare Transformation) in den vier Variablen $x_1,y_1,x,y$ ausdrücken, indem man bei ($u\ne 0$)

$x_2=\frac{x-(1-u)x_1}{u}\text{ und }{y}_2=\frac{y-(1-u)y_1}{u}$

in den Gleichungen ersetzt. In den neuen Variablen erhält man die drei Gleichungen

1.  $F_1(x_1,y_1)=0$, 
2.  $F_2(\frac{x-(1-u)x_1}{u},\frac{y-(1-u)y_1}{u})=0$, 

3. $(x-x_1{)}^2+(y-y_1{)}^2=u^2{d}^2.$

Die zu $P$ gehörende Trajektorie kann man grundsätzlich dadurch erhalten, dass man aus diesem Gleichungssystem die Variablen $x_1$ und $y_1$ „eliminiert“, was eine algebraische Gleichung für $x$ und $y$ ergibt. Dies ist allerdings leichter gesagt als getan, häufig ist es sinnvoller, durch geschickte Manipulationen das Gleichungssystem zu vereinfachen.