Dreiecke/Nicht entartet/Offen/Umfang 1/Mannigfaltigkeit/Aufgabe/Lösung

1. Die Eckpunkte $P_1$ und $P_2$ stimmen genau dann überein, wenn ihre beiden Koordinaten übereinstimmen, wenn also  $x_1=x_2$  und  $y_1=y_2$  ist. Eine solche Bedingung definiert eine abgeschlossene Teilmenge, da es sich um die Faser einer (stetigen) linearen Abbildung handelt. Da eine endliche Vereinigung von abgeschlossenen Teilmengen wieder abgeschlossen ist, ist die in Frage stehende Menge abgeschlossen.
2. Wir betrachten die Verbindungsvektoren

   $P_2-P_1=\left(\begin{array}{c}{x}_2-x_1\\ y_2-y_1\end{array}\right)\text{ und }{P}_3-P_1=\left(\begin{array}{c}{x}_3-x_1\\ y_3-y_1\end{array}\right)$

   Die drei Punkte sind genau dann kollinear, wenn diese zwei Vektoren linear abhängig sind, und dies ist genau dann der Fall, wenn ihre Determinante $0$ ist. Die Kollinearitätssbedingung lautet somit

   $H(x_1,x_2,x_3,y_1,y_2,y_3)=(x_2-x_1)(y_3-y_1)-(x_3-x_1)(y_2-y_1)=0.$

   Da $H$ eine polynomiale Abbildung und damit stetig ist, ist die Faser zu $0$ eine abgeschlossene Teilmenge.

3. Da der Umfang einfach die Summe der drei beteiligten Dreiecksseiten ist, gilt

   $\begin{array}{cc}F(x_1,x_2,x_3,y_1,y_2,y_3)& =d(P_1,P_2)+d(P_1,P_3)+d(P_2,P_3)\\ & =\sqrt{(x_2-x_1{)}^2+(y_2-y_1{)}^2}+\sqrt{(x_3-x_1{)}^2+(y_3-y_1{)}^2}+\sqrt{(x_3-x_2{)}^2+(y_3-y_2{)}^2}.\end{array}$

4. Für einen Punkt aus $U$ ist jeder Radikand als polynomiale Funktion stetig differenzierbar und echt positiv, somit sind auch die Quadratwurzeln daraus stetig differenzierbar.
5. Die partielle Ableitung ist

   $\begin{array}{cc}\frac{\partial F}{\partial x_1}& =\frac{1}{2}{((x_2-x_1{)}^2+(y_2-y_1{)}^2)}^{-1/2}(2x_1-2x_2)+\frac{1}{2}{((x_3-x_1{)}^2+(y_3-y_1{)}^2)}^{-1/2}(2x_1-2x_3)\\ & ={((x_2-x_1{)}^2+(y_2-y_1{)}^2)}^{-1/2}(x_1-x_2)+{((x_3-x_1{)}^2+(y_3-y_1{)}^2)}^{-1/2}(x_1-x_3).\end{array}$

6. Auf $U$ sind die Radikanden positiv, somit verschwindet die partielle Ableitung nach $x_1$ nur, falls $x_1=x_2=x_3$ ist. Ein Dreieck mit dieser Bedingung ist aber kollinear. Das bedeutet, dass auf $V$ die partielle Ableitung nach $x_1$ nie $0$ wird und das bedeutet insbesondere, dass der Gradient auf $V$ nirgends verschwindet, also regulär ist. Nach Fakt ist die Faser eine abgeschlossene Untermannigfaltigkeit, und zwar der Dimension

   $6-1=5.$

Zur gelösten Aufgabe