Benutzer:Erwin Eisern/Baustelle

Dieser Artikel ist im Entstehen und noch nicht Bestandteil der freien Enzyklopädie Wikipedia.

Solltest du über eine Suchmaschine darauf gestoßen sein, bedenke, dass der Text noch unvollständig sein und Fehler oder ungeprüfte Aussagen enthalten kann. Wenn du Fragen zum Thema hast, nimm Kontakt mit dem Autor Erwin Eisern auf.

Geschichtliches

Nach den Arbeiten von Gerolamo Cardano, Nicolo Tartaglia, Paolo Ruffini und anderen im 16. Jahrhundert zur Lösung von Polynomen 3. und 4. Grades stellte man sich die Frage, ob Gleichungen höheren Grades auch noch durch Radikale aus den Koeffizienten von

$x^{n}+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+a_{n-3}x^{n-3}+...+a_{1}x+a_{0}$
also den $a_{i}$ errechnet werden können. Wir betrachten ab hier ganzzahlige $a_{i}$.

Isaac Newton (1643-1727) entdeckte etwa 1666 die Newton-Identitäten, womit er der Problematik näher rückte, ohne das beabsichtigt zu haben.

Essenz: Die Lösbarkeit von Polynomen beliebigen Grades hat etwas mit Vertauschungen oder auch Permutationen ihrer Wurzeln zu tun.

Erst Évariste Galois zeigte ca. 1830 die bis heute gültige Lösung auf.

Wie man eine Resolvente eines Polynoms bildet

Man betrachtet zur Einführung zunächst die normierte Kubische Gleichung mit Leitkoeffizient 1, also der Koeffizient von $S^{3}$ ist 1.

${\begin{aligned}U(S)&=(S-x)(S-y)(S-x)&=S^{3}-(x+y+z)S^{2}+(xy+xz+yz)S-xyz\end{aligned}}$

Der Kürze halber wird ab jetzt $U(S):=S^{3}-\sigma _{1}S^{2}+\sigma _{2}S-\sigma _{3}$ geschrieben. Die Ausdrücke $\sigma _{i}$, also die Koeffizienten von $U(s)$ sind symmetrisch in x,y,z.

Symmetrisch heißt, sie ändern sich bei einer Permutation der Variablen nicht. Eine Vertauschung von $x$ und $y$ „ändert“ beispielsweise $\sigma _{2}=xy+xz+yz$ nach $yx+yz+xz$, was genau dasselbe ist.

Allgemein sind die Koeffizienten beliebiger Polynome der Art $f(x)=x^{n}+\sigma _{1}x^{n-1}+\sigma _{2}x^{n-2}+\ldots +\sigma _{n-1}x+\sigma _{n}$ symmetrische Polynome in den $n$ Lösungen oder Wurzeln von $f(x)$, ohne diese explizit zu kennen.

Man nennt sie auch elementarsymmetrische Polynome.

Joseph-Louis Lagrange bildete den Term

$t=x+ay+a^{2}z$,

also die nach ihm benannte Lagrange-Resolvente (aus dem lateinischen resolvere = auflösen). Hier sind $x,y,z$ die Lösungen von $U(S)$. $a$ ist eine 3. primitive Einheitswurzel, also $a^{3}=1$ und $a\neq 1$.

$a_{1}=-1/2+i{\sqrt[{3}]{2}}$

$a_{2}=-1/2-i{\sqrt[{3}]{2}}$

Die beiden Werte für $a$ sind algebraisch gleichwertig und machen im Folgenden keinen Unterschied.

Die dritten Einheitswurzeln

Natürlich kann man auch Lagrange-Resolventen für Gleichungen höheren Grades als 3 finden.

Seien $x_{1},x_{2},x_{3},x_{4},x_{5},$ die Wurzeln einer quintischen Gleichung also ein monisches Polynom 5ten Grades, so ist

$t=x_{1}+\beta x_{2}+\beta ^{2}x_{3}+\beta ^{3}x_{4}+\beta ^{4}x_{5}$

wobei $\beta$ eine 5. primitive Einheitswurzel ist. Im Bild rechts sind das B,C,D und E.

5te Einheitwurzeln

Bekannte Größe

Nach Lagrange setzt sich eine sog. "bekannte Größe" zusammen aus

a) Rationalen Zahlen

b) Koeffizienten der gegebenen Gleichung und

c) Einheitswurzeln.

Resolvente

Nach Lagrange soll eine Resolvente drei Bedingungen erfüllen:

1. Sie ist rational ausdrückbar durch die Lösungen, manchmal sagt man auch Wurzeln der ursprünglichen Gleichung und durch bekannte Grössen.
2. Umgekehrt kann jede Lösung der ursprünglichen Gleichung rational ausgedrückt werden durch die Resolvente und bekannte Größen.
3. Es ist die Lösung einer lösbaren Gleichung.

Lagrange erkannte sehr wohl, dass $t$ sechs verschiedene Werte annehmen kann, je nachdem wie man die Werte $x,y,z$ anordnet.

Diese sechs Werte für $t$ kann man nun als Lösung einer anderen Gleichung 6. Grades auffassen.

$f(X)=(X-t_{1})(X-t_{2})(X-t_{3})(X-t_{4})(X-t_{5})(X-t_{6})=0.$

Die $t_{i}$ durchlaufen hier alle 6 möglichen Permutationen der x,y,z in $t$.

Jedes der $t$ ist somit bekannt.

Wenn man $f(x)$ ausrechnet, erhält man die Resolventengleichung:

$f(X)=X^{6}-\sigma _{1}X^{5}+\sigma _{2}X^{4}-\sigma _{3}X^{3}+\sigma _{4}X^{2}-\sigma _{5}X+\sigma _{6}$

Die $\sigma$ sind symmetrisch in den $t$ und die $t$ sind derart gewählt, dass sie durch Permutation der x,y,z untereinander hervorgehen.

Jedes symmetrische Polynom lässt sich als Polynom in den elementarsymmetrischen Polynomen schreiben, das besagt der Hauptsatz über elementarsymmetrische Polynome. Aus den beiden letzten Sätzen folgt: Die $\sigma$ aus f(X) sind bekannte Größen, die man mittels der Koeffizienten der gegebenen kubischen Gleichung also x,y,z ausdrücken kann.

Lösen der Resolventengleichung

Die Resolventengleichung f(X) ist von höherem Grad als die ursprüngliche Gleichung.

Gilt $\operatorname {grad} (U)=n$, dann ist $\operatorname {grad} (f(X))=n!$, hier also $3!=6$.

Sie ist dennoch lösbar. Durch Nachrechnen erkennt man, dass $f(X)$ eine quadratische Gleichung in $X^{3}$ ist.

Man ordnet einfach die Werte von $t$ in folgender Weise an:

$t_{1}=x+ay+a^{2}z$

$t_{2}=z+ax+a^{2}y$

$t_{3}=a^{2}t_{1}$

$t_{4}=x+az+a^{2}y$

$t_{5}=at_{4}$

$t_{6}=a^{2}t_{4}$

Ausserdem ist wg $a^{2}+a+1=0$

$t_{1}+t_{4}=x+ay+a^{2}z+x+az+a^{2}y=2x-y-z$

Es ist:

$(X-t_{1})(X-t_{2})(X-t_{3})=(X-t_{1})(X-at_{1})(X-a^{2}t_{1})=X^{3}-t_{1}^{3}$

$(X-t_{4})(X-t_{5})(X-t_{6})=(X-t_{4})(X-at_{4})(X-a^{2}t_{4})=X^{3}-t_{4}^{3}$

und da $t_{1}^{3}=t_{2}^{3}=t_{3}^{3}$ und $t_{4}^{3}=t_{5}^{3}=t_{6}^{3}$ ergibt sich:

$f(X)=(X^{3}-t_{1}^{3})(X^{3}-t_{4}^{3})=X^{6}-(t_{1}^{3}+t_{4}^{3})X^{3}+t_{1}^{3}t_{4}^{3}$

In obiger Schreibweise setzen wir

$u=t_{1}^{3}$

$v=t_{4}^{3}$

und erhalten

$f(X)=X^{6}-(u+v)X^{3}+uv$

Nach Substitution $Z=X^{3}$ erhält man $f(Z)=Z^{2}-(u+v)Z+uv$

Die Koeffizienten von $f(X)$ sind genau die Größen $u+v$ bzw. $uv$, deren Ausdruck mittels der Koeffizienten der ursprüglichen kubischen Gleichung die obige Lösung ergaben.

Der nächste Schritt

Wenn die sechs Werte von $t$ aus den Lösungen der Resolventengleichung gewonnen wurden, sind die Lösungen der Kubik gegeben durch:

$x=1/3[(x+y+z)+t_{1}+t_{4}]$

$y=1/3[(x+y+z)+a^{2}t_{1}+at_{4}]$

$z=1/3[(x+y+z)+at_{1}+a^{2}t_{4}]$

Jetzt steht nur noch die Entscheidung aus, welche der sechs Lösungen der Resolventengleichung, also welche der $t$ denn $t_{1}$ bzw. $t_{4}$ sind.

Man nimmt eines der $t$ von oben, also eine der sechs Lösungen der Resolventengleichung $f(X)$ und sortieren (permutieren) die Wurzeln x, y und z um, so dass

$t=x+ay+a^{2}z$

ist.

Man erkennt nun, dass

$g(x)=(x+ay+a^{2}z)(x+a^{2}y+az)$

symmetrisch in x, y und z ist, was so viel bedeutet, dass jede der sechs möglichen Permutationen von x, y und z das gleiche $g(x)$ liefert. Und damit ist $g(x)$ eine bekannte Größe. Sie wird im folgenden $\omega$ genannt.

Letzter Schritt

Also sind die drei Lösungen der kubischen Gleichung $U(S)$:

(1) $1/3[(x+y+z)+t+\omega /t]$

(2) $1/3[(x+y+z)+at+\omega /at]$

(3) $1/3[(x+y+z)+a^{2}t+\omega /a^{2}t]$

wobei $t$ irgendeine der sechs Lösungen der Resolvente ist.

Spezialfall

In dem Falle, dass eine ursprüngliche kubische Gleichung $y^{3}+by^{2}+cy+d=0$ mittels $x=y-(b/3)$ reduziert wird auf $x^{3}+px+q$ erhalten wir

$x_{1}=1/3[t+\omega /t]$

$x_{2}=1/3[at+\omega /at]$

$x_{3}=1/3[a^{2}t+\omega /a^{2}t]$,

was man durch die Cardano-Formel verifizieren kann.

Beispiel

Sei $f(x)=x^{3}-2x^{2}-x+2=0$

Deren Lösungen sind
$x_{1}=1$
$x_{2}=2$
$x_{3}=-1$
Also ist

$f(x)=(x-x_{1})(x-x_{2})(x-x_{3})$

$f(x)=x^{3}-(x_{1}+x_{2}+x_{3})x^{2}+(x_{1}x_{2}+x_{1}x_{3}+x_{3}x_{3})-x_{1}x_{2}x_{3}$

oder

$f(x)=x^{3}-\sigma _{1}x^{2}+\sigma _{2}x-\sigma _{3}$

Die $\sigma _{i}$ sind sie o.a. elementarsymmetrischen Polynome in $x_{1},x_{2},x_{3}$.

Die Lagrange-Resolvente ist nun definiert als:

$t=x_{1}+ax_{2}+a^{2}x_{3}$

Also sind die 6 durch Permutation der $x_{i}$ in $t$ hervorgehenden Resolventen:

$t_{1}=1+2a-a^{2}$

$t_{2}=-1+a-2a^{2}$

$t_{3}=2-a+a^{2}$

$t_{4}=1-a+2a^{2}$

$t_{5}=2+a-a^{2}$

$t_{6}=-1+2a+a^{2}$

Und die Resolventengleichung ist:

$f(X)=(X-t_{1})(X-t_{2})(X-t_{3})(X-t_{4})(X-t_{5})(X-t_{6})=0.$

somit

$f(X)=X^{6}-(t_{1}^{3}+t_{4}^{3})X^{3}+t_{1}^{3}t_{4}^{3}$

Wie oben ersetzt man

$u=t_{1}^{3}$

$v=t_{4}^{3}$

und da $a^{3}=1$ ist, gilt insbesondere $a^{2}+a=-1$ und

$u=(1+2a-a^{2})^{3}=(a(2-a+a^{2}))^{3}=2-a+a^{2}$

$v=(1-a+2a^{2})^{3}=(a(-1+2a+a^{2}))^{3}=-1+2a+a^{2}$

$u+v=1+a+2a^{2}=a^{2}$

$uv=4-a-a^{2}=5$

Substitution $Z=X^{3}$ ergibt sich $f(Z)=Z^{2}-a^{2}Z+5$

somit $Z_{1,2}={\frac {a^{2}}{2}}\pm {\sqrt {{\frac {a}{4}}-5}}$

--Juergen Behrndt (Diskussion) 10:39, 14. Apr. 2012 (CEST)

Gleichungen 4. Grades

Sei $h(x)=X^{4}+pX^{2}+qX+r$ ein Polynom 4. Grades, dann ist $X^{3}-2pX^{2}+(p^{2}-4r)X+q^{2}$ eine kubische Resolvente oder besser Resolventengleichung von $h(x)$. Somit können sogar Gleichungen 4. Grades mithilfe obigen Verfahrens gelöst werden.

Mit den Lösungen $x_{1},x_{2},x_{3},x_{4}$ von $h(x)$ seien die Resolventen $\theta$.

$\theta _{1}=(x_{1}+x_{2})(x_{3}+x_{4})$

$\theta _{2}=(x_{1}+x_{3})(x_{2}+x_{4})$

$\theta _{3}=(x_{1}+x_{4})(x_{2}+x_{3})$

Nachzulesen z.B. in "van der Waerden, Algebra 1". Siehe Quellen.

Die $\theta _{i}$ erfüllen die o.a. Kriterien an eine Resolvente, obwohl sie keine Lagrangeresolventen sind.

Jede einzelne der $\theta _{i}$ ist aber NICHT notwendig symmetrisch in allen denkbaren 24 Permutationen der $x_{1},x_{2},x_{3},x_{4}$. aber alle der 24 Permutationen führen ein $\theta _{i}$ in ein anders $\theta _{i}$ über.

Dann ist die entsprechende Resolventengleichung von h(x) das Polynom $g(X)=(X-\theta _{1})(X-\theta _{2})(X-\theta _{3})$ 3ten Grades und lösbar.

Die Kenntnis der Lösungen einer Resolventgleichung g(x) führen nach einigen Rechnungen zur Lösung der ursprünglichen Gleichung h(x).

Quellen

• Alexandre-Théophile Vandermonde (1735 - 1796): Mémoire sur la résolution des équations. Paris 1771-1774 (Deutsche Übersetung in "Abhandlungen aus der reinen Mathematik" , Springer, Berlin 1888). 

• Jean-Pierre Tignol: Galois's theory of algebraic equations. World Scientific, Singapore 2001, ISBN 981-02-4561-6(?!) – (Eine historisch orientierte Einführung in die Galois-Theorie). 

• Harold M. Edwards: Galois Theory. Springer-Verlag, New York, Berlin, Heidelberg, Tokyo 1984, ISBN 3-540-90980-X (Graduate Texts in Mathematics). 

• Adrien-Marie Legendre (18. September 1752 in Paris; - 10. Januar 1833 ebenda): * Éléments de géométrie. . Firmin-Didot frères, Paris 1794. 

• Joseph-Louis Lagrange: Réflexions sur la résolution algébrique des équations. Berlin 1770-1771 (http://www.britannica.com/EBchecked/topic/327871/Joseph-Louis-Lagrange-comte-de-lEmpire?anchor=ref2842). 

• Galois, Évariste (1830): "Sur la théorie des nombres". Bulletin des Sciences mathématiques XIII: 428, Paris 1830. 

• Sir Issac Newton: Arithmetica Universalis. London 1707 Latein. 

anm: auch hier kann jeder lesen und schreiben der den Namen weiss auch net sicher...

Weblinks

• Lagrange: http://www.britannica.com/EBchecked/topic/495310/Reflexions-sur-la-resolution-algebrique-des-equations
• Legendre: http://books.google.de/books/download/%C3%89l%C3%A9ments_de_g%C3%A9om%C3%A9trie.pdf?id=tOk2AAAAMAAJ&hl=de&capid=AFLRE72MSm4BKQd6mBAGdaCj5CYxv1p7cTirCPYo7PQdf9s04FAj_hlPeZWzuK54ZY_z8NwmKY8poRV9LAuUW5OvaDdXTap9Ig&continue=http://books.google.de/books/download/%25C3%2589l%25C3%25A9ments_de_g%25C3%25A9om%25C3%25A9trie.pdf%3Fid%3DtOk2AAAAMAAJ%26hl%3Dde%26output%3Dpdf
• 200 Jahre Galois: http://www.spektrum.de/artikel/1142720
• Galois, Évariste: http://www.archive.org/details/uvresmathmatiqu00frangoog
• Galois, Évariste: http://www.archive.org/stream/uvresmathmatiqu00frangoog#page/n43/mode/2up

[[Kategorie:Algebra]]

--Erwin Eisern (Diskussion) 08:36, 28. Mär. 2012 (CEST)