Misplaced Pages

Principal equation form

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

This is an old revision of this page, as edited by Reformbenediktiner (talk | contribs) at 15:26, 14 January 2025 (Displayed much shorter!). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 15:26, 14 January 2025 by Reformbenediktiner (talk | contribs) (Displayed much shorter!)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

In mathematics and, more specifically, in theory of equations, the principal form of an irreducible polynomial of degree at least three is a polynomial of the same degree n without terms of degrees n−1 and n−2, such that each root of either polynomial is a rational function of a root of the other polynomial.

The principal form of a polynomial can be found by applying a suitable Tschirnhaus transformation to the given polynomial.

Definition

Let

f ( x ) = x n + a 1 x n − 1 + ⋯ + a n − 1 x + a n {\displaystyle f(x)=x^{n}+a_{1}x^{n-1}+\cdots +a_{n-1}x+a_{n}}

be an irreducible polynomial of degree at least three.

Its principal form is a polynomial

g ( y ) = y n + b 3 y n − 3 + ⋯ + b n − 1 y + b n , {\displaystyle g(y)=y^{n}+b_{3}y^{n-3}+\cdots +b_{n-1}y+b_{n},}

together with a Tschirnhaus transformation of degree two

φ ( x ) = x 2 + α x + β {\displaystyle \varphi (x)=x^{2}+\alpha x+\beta }

such that, if r is a root of f, ϕ ( r ) {\displaystyle \phi (r)} is a root of ⁠ g {\displaystyle g} ⁠.

Expressing that ⁠ g {\displaystyle g} ⁠ does not has terms in ⁠ y n − 1 {\displaystyle y^{n-1}} ⁠ and ⁠ y n − 2 {\displaystyle y^{n-2}} ⁠ leads to a system of two equations in ⁠ α {\displaystyle \alpha } ⁠ and ⁠ β {\displaystyle \beta } ⁠, one of degree one and one of degree two. In general, this system has two solutions, giving two principal forms involving a square root. One passes from one principal form to the secong by changing the sign of the square root.

Cubic case

Tschirnhaus transformation with three clues

The Tschirnhaus transformation always transforms one polynome into another polynome of the same degree but with a different unknown variable. The mathematical relation of the new variable to the old variable shall be called the Tschirnhaus key. This key is a polynome that has to satisfy special criteria about its coefficients. To fulfill these criteria a separate equation system of several unknowns has to be solved. The singular equations of that system are important clues that are composed in tables that are formulated in the following sections:

This is the given cubic equation:

x 3 − a x 2 + b x − c = 0 {\displaystyle x^{3}-ax^{2}+bx-c=0}

Following quadratic equation system shall be solved:

First clue {\displaystyle {\text{First clue}}} a u + 3 v + a 2 − 2 b = 0 {\displaystyle au+3v+a^{2}-2b=0}
S e c o n d c l u e {\displaystyle \mathrm {Second\,clue} } b u 2 − 3 v 2 + a b u − 3 c u − 2 a c + b 2 = 0 {\displaystyle bu^{2}-3v^{2}+abu-3cu-2ac+b^{2}=0}
T h i r d c l u e {\displaystyle \mathrm {Third\,clue} } w = c u 3 + a c u 2 + b c u + v 3 + c 2 {\displaystyle w=cu^{3}+acu^{2}+bcu+v^{3}+c^{2}}

So exactly this Tschirnhaus transformation appears:

( x 2 + u x + v ) 3 − w = 0 {\displaystyle (x^{2}+ux+v)^{3}-w=0}

The solutions of this system, accurately the expression of u, v and w in terms of a, b and c can be found out by the substitution method. It means for instance, the first of the three chested equations can be resolved after the unknown v and this resolved equation can be inserted into the second chested equation, so that a quadratic equation after the unknown u appears. In this way, from the three to be solved unknowns only one unknown remains and can be solved directly. By finding out the first unknown, the further unknowns can be found out by inserting the computed unknown. By detecting all these unknown coefficients the mentioned Tschirnhaus key and the new polynome resulting from the mentioned transformation can be constructed. In this way the Tschirnhaus transformation is done.

Cubic calculation examples

The quadratic radical components of the coefficients are identical to the square root terms appearing along with the Cardano theorem and therefore the Cubic Tschirnhaus transformation even can be used to derive the general Cardano formula itself.

Plastic constant:

x 3 − x − 1 = 0 {\displaystyle x^{3}-x-1=0}
[ x 2 + ( 1 6 69 − 3 2 ) x − 2 3 ] 3 − 23 54 ( 3 69 − 23 ) = 0 {\displaystyle {\bigl }^{3}-{\tfrac {23}{54}}(3{\sqrt {69}}-23)=0}

Supergolden constant:

x 3 − x 2 − 1 = 0 {\displaystyle x^{3}-x^{2}-1=0}
[ x 2 + ( 1 2 93 − 11 2 ) x − 1 6 93 + 3 2 ] 3 − 31 18 ( 29 93 − 279 ) = 0 {\displaystyle {\bigl }^{3}-{\tfrac {31}{18}}(29{\sqrt {93}}-279)=0}

Tribonacci constant:

x 3 − x 2 − x − 1 = 0 {\displaystyle x^{3}-x^{2}-x-1=0}
[ x 2 + ( 1 4 33 − 9 4 ) x − 1 12 33 − 1 4 ] 3 − 11 72 ( 19 33 − 99 ) = 0 {\displaystyle {\bigl }^{3}-{\tfrac {11}{72}}(19{\sqrt {33}}-99)=0}

Cardano formula

The direct solving of the mentioned system of three clues leads to the Cardano formula for the mentioned case:

x 3 − a x 2 + b x − c = 0 {\displaystyle x^{3}-ax^{2}+bx-c=0}
x = 1 3 a + 1 3 [ a 3 − 9 2 a b + 27 2 c − ( a 3 − 9 2 a b + 27 2 c ) 2 − ( a 2 − 3 b ) 3 ] 1 / 3 {\displaystyle x={\tfrac {1}{3}}a+{\tfrac {1}{3}}{\bigl }^{1/3}}
+ 1 3 [ a 3 − 9 2 a b + 27 2 c + ( a 3 − 9 2 a b + 27 2 c ) 2 − ( a 2 − 3 b ) 3 ] 1 / 3 {\displaystyle +{\tfrac {1}{3}}{\bigl }^{1/3}}

Quartic case

Tschirnhaus transformation with four clues

This is the given quartic equation:

x 4 − a x 3 + b x 2 − c x + d = 0 {\displaystyle x^{4}-ax^{3}+bx^{2}-cx+d=0}

Now this quadratic equation system shall be solved:

F i r s t c l u e {\displaystyle \mathrm {First\,clue} } a t + 4 u + a 2 − 2 b = 0 {\displaystyle at+4u+a^{2}-2b=0}
S e c o n d c l u e {\displaystyle \mathrm {Second\,clue} } b t 2 − 6 u 2 + a b t − 3 c t − 2 a c + b 2 + 2 d = 0 {\displaystyle bt^{2}-6u^{2}+abt-3ct-2ac+b^{2}+2d=0}
T h i r d c l u e {\displaystyle \mathrm {Third\,clue} } v = c t 3 + a c t 2 − 4 d t 2 − 3 a d t + b c t + 4 u 3 − 2 b d + c 2 {\displaystyle v=ct^{3}+act^{2}-4dt^{2}-3adt+bct+4u^{3}-2bd+c^{2}}
F o u r t h c l u e {\displaystyle \mathrm {Fourth\,clue} } w = d t 4 − u 4 + u v + a d t 3 + b d t 2 + c d t + d 2 {\displaystyle w=dt^{4}-u^{4}+uv+adt^{3}+bdt^{2}+cdt+d^{2}}

And so accurately that Tschirnhaus transformation appears:

( x 2 + t x + u ) 4 − v ( x 2 + t x + u ) + w = 0 {\displaystyle (x^{2}+tx+u)^{4}-v(x^{2}+tx+u)+w=0}

Quartic calculation examples

The Tschirnhaus transformation of the equation for the Tetranacci constant contains only rational coefficients:

x 4 − x 3 − x 2 − x − 1 = 0 {\displaystyle x^{4}-x^{3}-x^{2}-x-1=0}
y = x 2 − 3 x {\displaystyle y=x^{2}-3x}
y 4 − 11 y − 41 = 0 {\displaystyle y^{4}-11y-41=0}

In this way following expression can be made about the Tetranacci constant:

x 2 − 3 x = ( 41 3 ) 1 / 4 sinh ⁡ [ 1 3 arsinh ⁡ ( 363 26896 123 ) ] − {\displaystyle x^{2}-3x=({\tfrac {41}{3}})^{1/4}{\sqrt {\sinh {\bigl }}}-}
− ( 41 3 ) 1 / 4 { 11 4 ( 3 41 ) 3 / 4 csch ⁡ [ 1 3 arsinh ⁡ ( 363 26896 123 ) ] − sinh ⁡ [ 1 3 arsinh ⁡ ( 363 26896 123 ) ] } 1 / 2 {\displaystyle -({\tfrac {41}{3}})^{1/4}{\bigl \{}{\tfrac {11}{4}}({\tfrac {3}{41}})^{3/4}{\sqrt {\operatorname {csch} {\bigl }}}-\sinh {\bigl }{\bigr \}}^{1/2}}

That calculation example however does contain the element of the square root in the Tschirnhaus transformation:

x 4 + x 3 + x 2 − x − 1 = 0 {\displaystyle x^{4}+x^{3}+x^{2}-x-1=0}
y = x 2 + 1 5 ( 19 + 4 21 ) x + 1 5 ( 6 + 21 ) {\displaystyle y=x^{2}+{\tfrac {1}{5}}(19+4{\sqrt {21}})x+{\tfrac {1}{5}}(6+{\sqrt {21}})}
y 4 − 1 125 ( 38267 + 8272 21 ) y − 1 625 ( 101277 21 + 463072 ) = 0 {\displaystyle y^{4}-{\tfrac {1}{125}}(38267+8272{\sqrt {21}})y-{\tfrac {1}{625}}(101277{\sqrt {21}}+463072)=0}

Special form of the quartic

In the following we solve a special equation pattern that is easily solvable by using elliptic functions:

x 4 − 6 x 2 − 8 S 2 + 1 x − 3 = 0 {\displaystyle x^{4}-6x^{2}-8{\sqrt {S^{2}+1}}\,x-3=0}
Q = q { tanh ⁡ [ 1 2 arsinh ⁡ ( S ) ] } = q [ S ÷ ( S 2 + 1 + 1 ) ] {\displaystyle Q=q{\bigl \{}\tanh {\bigl }{\bigr \}}=q{\bigl }}
x = 3 ϑ 01 ( Q 3 ) 2 ϑ 01 ( Q ) 2 {\displaystyle x={\frac {3\,\vartheta _{01}(Q^{3})^{2}}{\vartheta _{01}(Q)^{2}}}}

These are important additional informations about the elliptic nome and the mentioned Jacobi theta function:

q ( ε ) = exp ⁡ [ − π K ( 1 − ε 2 ) ÷ K ( ε ) ] {\displaystyle q(\varepsilon )=\exp {\bigl }}
ϑ 01 ( r ) = ∑ k = − ∞ ∞ ( − 1 ) k r k 2 = ∏ n = 1 ∞ ( 1 − r 2 n ) ( 1 − r 2 n − 1 ) 2 {\displaystyle \vartheta _{01}(r)=\sum _{k=-\infty }^{\infty }(-1)^{k}r^{k^{2}}=\prod _{n=1}^{\infty }(1-r^{2n})(1-r^{2n-1})^{2}}

Computation rule for the mentioned theta quotient:

3 ϑ 01 { q [ κ 3 ÷ ( κ 6 + 1 + 1 ) ] 3 } 2 ϑ 01 { q [ κ 3 ÷ ( κ 6 + 1 + 1 ) ] } 2 = 2 κ 4 − κ 2 + 1 − κ 2 + 2 + κ 2 + 1 {\displaystyle {\frac {3\,\vartheta _{01}\{q^{3}\}^{2}}{\vartheta _{01}\{q\}^{2}}}={\sqrt {2{\sqrt {\kappa ^{4}-\kappa ^{2}+1}}-\kappa ^{2}+2}}+{\sqrt {\kappa ^{2}+1}}}

Accurately the Jacobi theta function is used for solving that equation.

Now we create a Tschirnhaus transformation on that:

x 4 − 6 x 2 − 8 S 2 + 1 x − 3 = 0 {\displaystyle x^{4}-6x^{2}-8{\sqrt {S^{2}+1}}\,x-3=0}
y = x 2 − 2 ( S 2 + 1 − S ) x − 3 {\displaystyle y=x^{2}-2({\sqrt {S^{2}+1}}-S)x-3}
y 4 + 64 S 2 ( 4 S 2 + 1 − 4 S S 2 + 1 ) y − 384 S 3 ( S 2 + 1 − S ) = 0 {\displaystyle y^{4}+64\,S^{2}(4S^{2}+1-4S{\sqrt {S^{2}+1}})y-384\,S^{3}({\sqrt {S^{2}+1}}-S)=0}

Elliptic solving of principal quartics

Given principal quartic equation:

x 4 + ψ x − ω = 0 {\displaystyle x^{4}+\psi x-\omega =0}

If this equation pattern is given, the modulus tangent duplication value S can be determined in this way:

ψ 4 [ 384 S 3 ( S 2 + 1 − S ) ] 3 = ω 3 [ 64 S 2 ( 4 S 2 + 1 − 4 S S 2 + 1 ) ] 4 {\displaystyle \psi ^{4}{\bigl }^{3}=\omega ^{3}{\bigl }^{4}}

The solution of the now mentioned formula always is in pure biquadratic radical relation to psi and omega and therefore it is a useful tool to solve principal quartic equations.

Q = exp ⁡ ⟨ − π K { sech ⁡ [ 1 2 arsinh ⁡ ( S ) ] } ÷ K { tanh ⁡ [ 1 2 arsinh ⁡ ( S ) ] } ⟩ = {\displaystyle Q=\exp {\bigl \langle }-\pi K{\bigl \{}\operatorname {sech} {\bigl }{\bigr \}}\div K{\bigl \{}\tanh {\bigl }{\bigr \}}{\bigr \rangle }=}
= q { tanh ⁡ [ 1 2 arsinh ⁡ ( S ) ] } = q { tanh ⁡ [ 1 2 artanh ⁡ ( S ÷ S 2 + 1 ) ] } {\displaystyle =q{\bigl \{}\tanh {\bigl }{\bigr \}}=q{\bigl \{}\tanh {\bigl }{\bigr \}}}

And this can be solved in that way:

x = ω [ 64 S 2 ( 4 S 2 + 1 − 4 S S 2 + 1 ) ] ψ [ 384 S 3 ( S 2 + 1 − S ) ] [ 9 ϑ 01 ( Q 3 ) 4 ϑ 01 ( Q ) 4 − 2 ( S 2 + 1 − S ) 3 ϑ 01 ( Q 3 ) 2 ϑ 01 ( Q ) 2 − 3 ] {\displaystyle x={\frac {\omega }{\psi }}{\biggl }}

Calculation examples with elliptic solutions

Now this solving pattern shall be used for solving some principal quartic equations:

First calculation example:

x 4 + x − 1 = 0 {\displaystyle x^{4}+x-1=0}
Q = q { tanh ⁡ [ 1 2 artanh ⁡ ( 31 100 + 1 300 849 − 1 300 386 849 − 1902 ) ] } {\displaystyle Q=q{\bigl \{}\tanh {\bigl }{\bigr \}}}
x = 4 2 849 + 18 − 6 [ 9 ϑ 01 ( Q 3 ) 4 ϑ 01 ( Q ) 4 − 1 4 32 + 2 6 849 − 54 3 ϑ 01 ( Q 3 ) 2 ϑ 01 ( Q ) 2 − 3 ] {\displaystyle x={\frac {4}{{\sqrt {2{\sqrt {849}}+18}}-6}}{\biggl }}

Second calculation example:

x 4 + 2 x − 1 = 0 {\displaystyle x^{4}+2x-1=0}
Q = q { tanh ⁡ [ 1 2 artanh ⁡ ( 1 10 + 1 30 129 − 1 30 26 129 − 102 ) ] } {\displaystyle Q=q{\bigl \{}\tanh {\bigl }{\bigr \}}}
x = 2 2 129 + 18 − 6 [ 9 ϑ 01 ( Q 3 ) 4 ϑ 01 ( Q ) 4 − 1 2 8 + 2 6 129 − 54 3 ϑ 01 ( Q 3 ) 2 ϑ 01 ( Q ) 2 − 3 ] {\displaystyle x={\frac {2}{{\sqrt {2{\sqrt {129}}+18}}-6}}{\biggl }}

Third calculation example:

x 4 + 5 x − 3 = 0 {\displaystyle x^{4}+5x-3=0}
Q = q { tanh ⁡ [ 1 2 artanh ⁡ ( 239 5092 + 75 5092 881 − 5 5092 11618 881 − 112750 ) ] } {\displaystyle Q=q{\bigl \{}\tanh {\bigl }{\bigr \}}}
x = 4 2 881 + 50 − 10 [ 9 ϑ 01 ( Q 3 ) 4 ϑ 01 ( Q ) 4 − 1 4 32 + 10 2 881 − 50 3 ϑ 01 ( Q 3 ) 2 ϑ 01 ( Q ) 2 − 3 ] {\displaystyle x={\frac {4}{{\sqrt {2{\sqrt {881}}+50}}-10}}{\biggl }}

Quintic case

Synthesis advice for the quadratic Tschirnhaus key

This is the given quintic equation:

x 5 − a x 4 + b x 3 − c x 2 + d x − e = 0 {\displaystyle x^{5}-ax^{4}+bx^{3}-cx^{2}+dx-e=0}

That quadratic equation system leads to the coefficients of the quadratic Tschirnhaus key:

F i r s t c l u e {\displaystyle \mathrm {First\,clue} } a s + 5 t + a 2 − 2 b = 0 {\displaystyle as+5t+a^{2}-2b=0}
S e c o n d c l u e {\displaystyle \mathrm {Second\,clue} } b s 2 − 10 t 2 + a b s − 3 c s − 2 a c + b 2 + 2 d = 0 {\displaystyle bs^{2}-10t^{2}+abs-3cs-2ac+b^{2}+2d=0}

By polynomial division that Tschirnhaus transformation can be made:

( x 2 + s x + t ) 5 − u ( x 2 + s x + t ) 2 + v ( x 2 + s x + t ) − w = 0 {\displaystyle (x^{2}+sx+t)^{5}-u(x^{2}+sx+t)^{2}+v(x^{2}+sx+t)-w=0}

Calculation examples

This is the first example:

x 5 − x 4 − x 2 − 1 = 0 {\displaystyle x^{5}-x^{4}-x^{2}-1=0}
y = x 2 − 1 4 ( 19 − 265 ) x − 1 20 ( 265 − 15 ) {\displaystyle y=x^{2}-{\tfrac {1}{4}}(19-{\sqrt {265}})x-{\tfrac {1}{20}}({\sqrt {265}}-15)}
y 5 + 1 80 ( 24455 − 1501 265 ) y 2 − 1 160 ( 5789 265 − 93879 ) y − 1 4000 ( 5393003 265 − 87785025 ) = 0 {\displaystyle y^{5}+{\tfrac {1}{80}}(24455-1501{\sqrt {265}})y^{2}-{\tfrac {1}{160}}(5789{\sqrt {265}}-93879)y-{\tfrac {1}{4000}}(5393003{\sqrt {265}}-87785025)=0}

And this is the second example:

x 5 + x 4 + x 3 + x 2 − 1 = 0 {\displaystyle x^{5}+x^{4}+x^{3}+x^{2}-1=0}
y = x 2 + 1 3 ( 30 − 3 ) x + 1 15 30 {\displaystyle y=x^{2}+{\tfrac {1}{3}}({\sqrt {30}}-3)x+{\tfrac {1}{15}}{\sqrt {30}}}
y 5 − 1 45 ( 465 − 61 30 ) y 2 + 2 45 ( 1616 − 289 30 ) y − 1 1125 ( 33758 30 − 183825 ) = 0 {\displaystyle y^{5}-{\tfrac {1}{45}}(465-61{\sqrt {30}})y^{2}+{\tfrac {2}{45}}(1616-289{\sqrt {30}})y-{\tfrac {1}{1125}}(33758{\sqrt {30}}-183825)=0}

Solving the principal quintic via Adamchik and Jeffrey transformation

The mathematicians Victor Adamchik and David Jeffrey found out how to solve every principal quintic equation. In their essay Polynomial Transformations of Tschirnhaus, Bring and Jerrard they wrote this way down. These two mathematicians solved this principal form by transforming it into the Bring Jerrard form. Their method contains the construction of a quartic Tschirnhaus transformation key. Also in this case that key is a polynome in relation to the unknown variable of the given equation y that results in the unknown variable z of the transformed equation. For the construction of that key they executed a disjunction of the linear term coefficient of the key in order to get a system that solves all other terms in a quadratic radical way and to only solve a further cubic equation to get the coefficient of the linear term of the Tschirnhaus key.

In their essay they constructed the quartic Tschirnhaus key in this way:

y 5 − u y 2 + v y − w = 0 {\displaystyle y^{5}-uy^{2}+vy-w=0}

In order to do the transformation Adamchik and Jeffrey constructed equation system that generates the coefficients of the cubic, quadratic and absolute term of the Tschirnhaus key:

4 v α − 3 u β = 5 w {\displaystyle 4v{\color {crimson}\alpha }-3u{\color {green}\beta }=5w}
3 u α + 5 δ = 4 v {\displaystyle 3u{\color {crimson}\alpha }+5{\color {blue}\delta }=4v}
15 w α β − 3 u α δ − 6 v β 2 − v δ = 3 u w − 2 v 2 {\displaystyle 15w{\color {crimson}\alpha }{\color {green}\beta }-3u{\color {crimson}\alpha }{\color {blue}\delta }-6v{\color {green}\beta }^{2}-v{\color {blue}\delta }=3uw-2v^{2}}

And for receiving the coefficient of the linear term this cubic equation shall be solved successively:

u γ 3 + ( 5 w α − 4 v β + 3 u 2 ) γ 2 + ( u v α 2 + 5 w β 2 − 8 u v β − 10 w δ + 3 u 3 + 9 v w ) γ + {\displaystyle u{\color {orange}\gamma }^{3}+(5w{\color {crimson}\alpha }-4v{\color {green}\beta }+3u^{2}){\color {orange}\gamma }^{2}+(uv{\color {crimson}\alpha }^{2}+5w{\color {green}\beta }^{2}-8uv{\color {green}\beta }-10w{\color {blue}\delta }+3u^{3}+9vw){\color {orange}\gamma }+}
+ u 3 α 3 + v w α 3 − 2 u 2 β 3 + 2 u v α β 2 − 2 u 2 α 2 δ + 10 δ 3 − {\displaystyle +u^{3}{\color {crimson}\alpha }^{3}+vw{\color {crimson}\alpha }^{3}-2u^{2}{\color {green}\beta }^{3}+2uv{\color {crimson}\alpha }{\color {green}\beta }^{2}-2u^{2}{\color {crimson}\alpha }^{2}{\color {blue}\delta }+10{\color {blue}\delta }^{3}-}
− 4 u 2 v α 2 + v w α β + 3 u v α δ + 2 u 2 w α + 2 u 2 v β − v 2 δ + u 4 − 4 v 3 + 10 u v w = 0 {\displaystyle -4u^{2}v{\color {crimson}\alpha }^{2}+vw{\color {crimson}\alpha }{\color {green}\beta }+3uv{\color {crimson}\alpha }{\color {blue}\delta }+2u^{2}w{\color {crimson}\alpha }+2u^{2}v{\color {green}\beta }-v^{2}{\color {blue}\delta }+u^{4}-4v^{3}+10uvw=0}

The solution of that system then has to be entered in that mold here:

z = y 4 + α y 3 + β y 2 + γ y + δ {\displaystyle z=y^{4}+{\color {crimson}\alpha }y^{3}+{\color {green}\beta }y^{2}+{\color {orange}\gamma }y+{\color {blue}\delta }}
z 5 + λ z − μ = 0 {\displaystyle z^{5}+\lambda z-\mu =0}

The coefficients Lambda and My can be found out by doing a polynomial division of z^5 divided by the initial principal polynome and reading the resulting remainder rest. So a Bring Jerrard equation appears that contains only the quintic, the linear and the absolute term.

Clues for creating the Moduli and Nomes

That Bring Jerrard equation can be solved by an elliptic Jacobi theta quotient that contains the fifth powers and the fifth roots of the corresponding elliptic nome in the theta function terms. For doing this, following elliptic modulus or numeric eccentricity and their Pythagorean counterparts and corresponding elliptic nome should be used in relation to Lambda and My after the essay Sulla risoluzione delle equazioni del quinto grado from Charles Hermite and Francesco Brioschi and the recipe on page 258 accurately:

f = 5 μ 4 λ ( 5 λ ) 1 / 4 {\displaystyle f={\frac {5\mu }{4\lambda }}{\bigl (}{\frac {5}{\lambda }}{\bigr )}^{1/4}}

These are the elliptic moduli and thus the numeric eccentricities:

ε = ctlh ⁡ [ 1 2 aclh ⁡ ( f ) ] 2 {\displaystyle \varepsilon =\operatorname {ctlh} {\bigl }^{2}} Q = exp ⁡ [ − π K ( 1 − ε 2 ) ÷ K ( ε ) ] {\displaystyle Q=\exp {\bigl }}
ε ∗ = tlh ⁡ [ 1 2 aclh ⁡ ( f ) ] 2 {\displaystyle \varepsilon ^{*}=\operatorname {tlh} {\bigl }^{2}} Q ∗ = exp ⁡ [ − π K ( ε ) ÷ K ( 1 − ε 2 ) ] {\displaystyle Q^{*}=\exp {\bigl }}

Correlation of modulus and complementary modulus:

ε ∗ = 1 − ε 2 {\displaystyle \varepsilon ^{*}={\sqrt {1-\varepsilon ^{2}}}}

Correlation of nome and complementary nome:

ln ⁡ ( Q ) ln ⁡ ( Q ∗ ) = π 2 {\displaystyle \ln(Q)\ln(Q^{*})=\pi ^{2}}

Examples of solving the principal form

Along with the Abel Ruffini theorem the following equations are examples that can not be solved by elementary expressions, but can be reduced to the Bring Jerrard form by only using cubic radical elements. This shall be demonstrated here. To do this on the given principal quintics, we solve the equations for the coefficients of the cubic, quadratic and absolute term of the quartic Tschirnhaus key after the shown pattern. So this Tschirnhaus key can be determinded. By doing a polynomial division on the fifth power of the quartic Tschirnhaus transformation key and analyzing the remainder rest the coefficients of the mold can be determined too. And so the solutions of following given principal quintic equations can be computed:

y 5 − 5 y 2 + 5 y − 5 = 0 {\displaystyle y^{5}-5y^{2}+5y-5=0}
u = 5 , v = 5 , w = 5 {\displaystyle u=5,\,v=5,\,w=5}
20 α − 15 β = 25 {\displaystyle 20{\color {crimson}\alpha }-15{\color {green}\beta }=25} 15 α + 5 δ = 20 {\displaystyle 15{\color {crimson}\alpha }+5{\color {blue}\delta }=20} 75 α β − 15 α δ − 30 β 2 − 5 δ = 25 {\displaystyle 75{\color {crimson}\alpha }{\color {green}\beta }-15{\color {crimson}\alpha }{\color {blue}\delta }-30{\color {green}\beta }^{2}-5{\color {blue}\delta }=25}
α = − 1 , β = − 3 , δ = 7 {\displaystyle {\color {crimson}\alpha }=-1,\,{\color {green}\beta }=-3,\,{\color {blue}\delta }=7}
5 γ 3 + 110 γ 2 + 1100 γ + 3080 = 0 {\displaystyle 5{\color {orange}\gamma }^{3}+110{\color {orange}\gamma }^{2}+1100{\color {orange}\gamma }+3080=0}
γ = − 4 3 tanh ⁡ [ 1 3 artanh ⁡ ( 4 9 3 ) ] − 2 {\displaystyle {\color {orange}\gamma }=-4{\sqrt {3}}\tanh {\bigl }-2}
z = y 4 − y 3 − 3 y 2 + { − 4 3 tanh ⁡ [ 1 3 artanh ⁡ ( 4 9 3 ) ] − 2 } y + 7 {\displaystyle z=y^{4}-y^{3}-3y^{2}+{\bigl \{}-4{\sqrt {3}}\tanh {\bigl }-2{\bigr \}}y+7}
z 5 + 14080 { 6 − 3 coth ⁡ [ 1 3 arcoth ⁡ ( 7 9 3 ) ] } z + 11264 { 2 + 15 3 tanh ⁡ [ 1 3 artanh ⁡ ( 1 27 3 ) ] } = 0 {\displaystyle z^{5}+14080{\bigl \{}6-{\sqrt {3}}\coth {\bigl }{\bigr \}}z+11264{\bigl \{}2+15{\sqrt {3}}\tanh {\bigl }{\bigr \}}=0}

This is a further example for that algorithm:

y 5 − 5 y 2 + 15 y − 12 = 0 {\displaystyle y^{5}-5y^{2}+15y-12=0}
u = 5 , v = 15 , w = 12 {\displaystyle u=5,\,v=15,\,w=12}
60 α − 15 β = 60 {\displaystyle 60{\color {crimson}\alpha }-15{\color {green}\beta }=60} 15 α + 5 δ = 60 {\displaystyle 15{\color {crimson}\alpha }+5{\color {blue}\delta }=60} 180 α β − 15 α δ − 90 β 2 − 15 δ = − 270 {\displaystyle 180{\color {crimson}\alpha }{\color {green}\beta }-15{\color {crimson}\alpha }{\color {blue}\delta }-90{\color {green}\beta }^{2}-15{\color {blue}\delta }=-270}
α = 1 , β = 0 , δ = 9 {\displaystyle {\color {crimson}\alpha }=1,\,{\color {green}\beta }=0,\,{\color {blue}\delta }=9}
5 γ 3 + 135 γ 2 + 990 γ + 2370 = 0 {\displaystyle 5{\color {orange}\gamma }^{3}+135{\color {orange}\gamma }^{2}+990{\color {orange}\gamma }+2370=0}
γ = − 10 coth ⁡ [ 1 3 arcoth ⁡ ( 1 2 10 ) ] − 4 {\displaystyle {\color {orange}\gamma }=-{\sqrt {10}}\coth {\bigl }-4}
z = y 4 + y 3 + { − 10 coth ⁡ [ 1 3 arcoth ⁡ ( 1 2 10 ) ] − 4 } y + 9 {\displaystyle z=y^{4}+y^{3}+{\bigl \{}-{\sqrt {10}}\coth {\bigl }-4{\bigr \}}y+9}
z 5 + 3375 151 { 29 10 coth ⁡ [ 1 3 arcoth ⁡ ( 2273 145 10 ) ] − 16 } z + 675 443 { 1343 10 coth ⁡ [ 1 3 arcoth ⁡ ( 45965 1343 10 ) ] − 1145 } = 0 {\displaystyle z^{5}+{\tfrac {3375}{151}}{\bigl \{}29{\sqrt {10}}\coth {\bigl }-16{\bigr \}}z+{\tfrac {675}{443}}{\bigl \{}1343{\sqrt {10}}\coth {\bigl }-1145{\bigr \}}=0}

Literature

References

  1. Weisstein, Eric W. "Principal Quintic Form". mathworld.wolfram.com.
  2. "The solution to the principal quintic via the Brioschi and Rogers-Ramanujan cfrac $R(q)$". Mathematics Stack Exchange.
  3. Jerrard, George Birch (1859). An essay on the resolution of equations. London, UK: Taylor & Francis.
  4. Adamchik, Victor (2003). "Polynomial Transformations of Tschirnhaus, Bring, and Jerrard" (PDF). ACM SIGSAM Bulletin. 37 (3): 91. CiteSeerX 10.1.1.10.9463. doi:10.1145/990353.990371. S2CID 53229404. Archived from the original (PDF) on 2009-02-26.
  5. "Teil #5: Einführung in die Tschirnhaus Transformation Teil #1 - die Lösung der Kubischen". YouTube. 15 February 2023.
  6. "Tschirnhausen's solution of the cubic".
  7. Victor S. Adamchik and David J. Jeffrey. "Polynomial Transformations of Tschirnhaus, Bring and Jerrard" (PDF). ACM SIGSAM Bulletin, Vol 37, No. 3, September 2003. Retrieved 28 December 2024.
  8. "A new way to solve the Bring quintic?". Mathematics Stack Exchange.
  9. Titus Piezas III. ""A New Way To Derive The Bring-Jerrard Quintic In Radicals"". oocities.org. Retrieved 28 December 2024.
  10. Klein, Felix (December 28, 1888). "Lectures on the ikosahedron and the solution of equations of the fifth degree". London : Trübner & Co. – via Internet Archive.
Categories:
Principal equation form Add topic