Kongruente geordnete Dreiecke/Verschiebungen rausdividieren/Beispiel

Wir betrachten die Menge der Dreiecke, aufgefasst mit der Operation der Kongruenzabbildungen, siehe Beispiel. Die Vektoren $v \in ℝ^{2}$ fasst man als Verschiebungen $T_{v}$ und damit als Kongruenzabbildungen auf. Mit einer beliebigen Kongruenz $φ$ besteht die Beziehung $φ \circ T_{v} = T_{φ (v)} \circ φ$ . Daher bilden die Verschiebungen einen Normalteiler in der Kongruenzgruppe $G$ (der uneigentlichen affinen Isometriegruppe). Nach Fakt kann man den Invariantenring $ℝ [X_{1}, Y_{1}, X_{2}, Y_{2}, X_{3}, Y_{3}]^{G}$ sukzessive berechnen. Unter der Untergruppe $V$ der Verschiebungen ist der Invariantenring offenbar gleich

ℝ [X_{1}, Y_{1}, X_{2}, Y_{2}, X_{3}, Y_{3}]^{V} = ℝ [X_{1} - X_{3}, Y_{1} - Y_{3}, X_{2} - X_{3}, Y_{2} - Y_{3}] .

Dieser Übergang entspricht geometrisch der Verschiebung des dritten Eckpunktes in den Nullpunkt. Die Operation der Restklassengruppe, die ja die uneigentliche Drehgruppe $O_{2} (ℝ)$ ist, auf diesem Polynomring in vier Variablen (die wir jetzt $U_{1}, V_{1}, U_{2}, V_{2}$ nennen) rührt von der natürlichen (und linearen) Operation der uneigentlichen Drehgruppe auf dem $ℝ^{2}$ her. Die Determinante induziert einen surjektiven Gruppenhomomorphismus

O_{2} (ℝ) ⟶ {1, - 1},

deren Kern die eigentliche Drehgruppe ${SO}_{2} (ℝ)$ ist (das Urbild von $- 1$ bilden die Drehspiegelungen). Daher gibt es nach Fakt (3) eine natürliche Operation der Gruppe $ℤ / (2)$ auf

ℝ [U_{1}, V_{1}, U_{2}, V_{2}]^{{SO}_{2} (ℝ)},

und man sollte zuerst diesen Invariantenring ausrechnen. Aufgrund der geometrischen Interpretation (die drei Quadrate der Längen des Dreiecks, das Skalarprodukt der Seiten am Nullpunkt, der orientierte Flächeninhalt) müssen

U_{1}^{2} + V_{1}^{2}, U_{2}^{2} + V_{2}^{2}, {(U_{1} - U_{2})}^{2} + {(V_{1} - V_{2})}^{2}, U_{1} U_{2} + V_{1} V_{2}, U_{1} V_{2} - U_{2} V_{1}

invariante Polynome sein, was man auch direkt durch Rechnungen bestätigen kann. Das Skalarprodukt ist dabei unmittelbar (dies ist ein Spezialfall der Polarisationsformel) mit den ersten drei Längenquadraten polynomial ausdrückbar. Da die drei Längen zwar die unorientierte Kongruenzklasse des Dreiecks bestimmen, es zu einem (nicht entarteten) Längentripel aber zwei entgegengesetzt orientierte Dreiecke gibt, muss es ein weiteres ${SO}_{2} (ℝ)$ -invariantes Polynom geben, das aber nicht $O_{2} (ℝ)$ -invariant ist, sondern Orientierungswechsel respektiert. Die Orientierung ist am fünften Polynom, der Determinante, ablesbar. Die drei Längenquadrate und die Determinante bestimmen die orientierte Kongruenzklasse des Dreiecks eindeutig, somit repräsentieren diese vier Funktionen die Quotientenabbildung. Das Quadrat der Determinante kann man als Polynom in den Längenquadraten ausdrücken (beispielsweise ausgehend von der Heronschen Flächenformel).