Benutzer:Juergen Behrndt/Baustelle

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

schreib grad an wikipedia-artikel {{Inuse|<Juergen Behrndt>}}

Resolvente (Algebra)

[Bearbeiten | Quelltext bearbeiten]

Vorversion in englisch

[Bearbeiten | Quelltext bearbeiten]

For Lagrange as for Vandermonde, the base idea is to consider the quantity where x,y,z are the solutions of the cubic in question and where a is a cube root of unity(a?1).
Let t denote this quantity. Lagrange observes that t has 6 values depending in the order in which the roots x y z are taken. These 6 six values are the solution of a 6th degree equation whose coefficients being symmetric in the 6 values of f are symmetric in x,y,z
and are therefore known quantities expressible in terms of the coefficients of the given cubic.

Lagrange calls this the resolvent equation.

Although it is of higher degree of the original, it is solvable because it is in fact a quadratic equation in X^3
and can be solved by solving a quadratic and then taking a cube root.
The fact that the resolvent equation f(X) = 0 is quadratic in X^3 is easily seen
by observing that the values of t can be ordered so that







which gives

and 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 the notations above, let


And the coefficients of f(X) are precisely the quantities u+v and uv whose expressions
in terms of the coefficients of the original cubic gave the solution above.
Once the 6 values of t are obtained from the solution of the resolvent equation, the equations of the cubic are given by



and the only problem is to identify t_1 and t_4 among the 6 solutions of the resolvent equation.
Let t be any solution of the resolvent equation. Then the roots x,y,z can be reordered if necessary,

so that 

Lagrange observes that (x+ay+a^2z) (x+a^2y+az) is symmetric in x,y,z and is therefore a known quantity, say w.
Once this observation has been made , the solution is simple.
The 3 roots of the cubic are



,where t is any one of the 6 solutions of the resolvent equation.