Deriving the Cubic Formula

Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
IâÂÂm going through the derivation for the Cubic Formula.
Quickly passing through the steps so that there is no cunfusion in notation:
We consider the cubic equation
$$tag1 x^3 + ax^2 +bx+c=0.$$
Putting $y=x + fraca3$, we can translate $(1)$ into $$tag2 y^3 +3hy + k =0.$$ Next, if we write $y=u+v$, then $u+v$ is a root of the cubic $$tag3 y^3 -3uvy - (u^3 + v^3).$$
Equating coefficients in $(2)$ and $(3)$ gives the following formula for finding the roots of $(2)$:
$$tag4 sqrt[3]frac12left(-k + sqrtk^2 + 4h^3right)+ sqrt[3]frac12left(-k - sqrtk^2 + 4h^3right) .$$
Now, if $u$ is one of the cube roots of $$frac12left(-k + sqrtk^2 + 4h^3right) $$ then the other two roots are $uomega$ and $uomega^2$ (where $omega=e^frac2ipi3$) and, since $v=-frachu$, the three roots of $(2)$ are $$ tag5 u-frachu,quad uomega - frachomega^2u, quad uomega^2-frachomegau.$$
Question: I know I am missing something painfully obvious, but how does $v=-frachu$ give the last two roots in $(5)$?
complex-numbers proof-explanation cubic-equations
add a comment |Â
up vote
0
down vote
favorite
IâÂÂm going through the derivation for the Cubic Formula.
Quickly passing through the steps so that there is no cunfusion in notation:
We consider the cubic equation
$$tag1 x^3 + ax^2 +bx+c=0.$$
Putting $y=x + fraca3$, we can translate $(1)$ into $$tag2 y^3 +3hy + k =0.$$ Next, if we write $y=u+v$, then $u+v$ is a root of the cubic $$tag3 y^3 -3uvy - (u^3 + v^3).$$
Equating coefficients in $(2)$ and $(3)$ gives the following formula for finding the roots of $(2)$:
$$tag4 sqrt[3]frac12left(-k + sqrtk^2 + 4h^3right)+ sqrt[3]frac12left(-k - sqrtk^2 + 4h^3right) .$$
Now, if $u$ is one of the cube roots of $$frac12left(-k + sqrtk^2 + 4h^3right) $$ then the other two roots are $uomega$ and $uomega^2$ (where $omega=e^frac2ipi3$) and, since $v=-frachu$, the three roots of $(2)$ are $$ tag5 u-frachu,quad uomega - frachomega^2u, quad uomega^2-frachomegau.$$
Question: I know I am missing something painfully obvious, but how does $v=-frachu$ give the last two roots in $(5)$?
complex-numbers proof-explanation cubic-equations
Compare (2) and (3) to see $3h= - 3uv$.
â GEdgar
Aug 17 at 0:23
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
IâÂÂm going through the derivation for the Cubic Formula.
Quickly passing through the steps so that there is no cunfusion in notation:
We consider the cubic equation
$$tag1 x^3 + ax^2 +bx+c=0.$$
Putting $y=x + fraca3$, we can translate $(1)$ into $$tag2 y^3 +3hy + k =0.$$ Next, if we write $y=u+v$, then $u+v$ is a root of the cubic $$tag3 y^3 -3uvy - (u^3 + v^3).$$
Equating coefficients in $(2)$ and $(3)$ gives the following formula for finding the roots of $(2)$:
$$tag4 sqrt[3]frac12left(-k + sqrtk^2 + 4h^3right)+ sqrt[3]frac12left(-k - sqrtk^2 + 4h^3right) .$$
Now, if $u$ is one of the cube roots of $$frac12left(-k + sqrtk^2 + 4h^3right) $$ then the other two roots are $uomega$ and $uomega^2$ (where $omega=e^frac2ipi3$) and, since $v=-frachu$, the three roots of $(2)$ are $$ tag5 u-frachu,quad uomega - frachomega^2u, quad uomega^2-frachomegau.$$
Question: I know I am missing something painfully obvious, but how does $v=-frachu$ give the last two roots in $(5)$?
complex-numbers proof-explanation cubic-equations
IâÂÂm going through the derivation for the Cubic Formula.
Quickly passing through the steps so that there is no cunfusion in notation:
We consider the cubic equation
$$tag1 x^3 + ax^2 +bx+c=0.$$
Putting $y=x + fraca3$, we can translate $(1)$ into $$tag2 y^3 +3hy + k =0.$$ Next, if we write $y=u+v$, then $u+v$ is a root of the cubic $$tag3 y^3 -3uvy - (u^3 + v^3).$$
Equating coefficients in $(2)$ and $(3)$ gives the following formula for finding the roots of $(2)$:
$$tag4 sqrt[3]frac12left(-k + sqrtk^2 + 4h^3right)+ sqrt[3]frac12left(-k - sqrtk^2 + 4h^3right) .$$
Now, if $u$ is one of the cube roots of $$frac12left(-k + sqrtk^2 + 4h^3right) $$ then the other two roots are $uomega$ and $uomega^2$ (where $omega=e^frac2ipi3$) and, since $v=-frachu$, the three roots of $(2)$ are $$ tag5 u-frachu,quad uomega - frachomega^2u, quad uomega^2-frachomegau.$$
Question: I know I am missing something painfully obvious, but how does $v=-frachu$ give the last two roots in $(5)$?
complex-numbers proof-explanation cubic-equations
edited Aug 21 at 6:46
asked Aug 16 at 23:52
Moed Pol Bollo
25228
25228
Compare (2) and (3) to see $3h= - 3uv$.
â GEdgar
Aug 17 at 0:23
add a comment |Â
Compare (2) and (3) to see $3h= - 3uv$.
â GEdgar
Aug 17 at 0:23
Compare (2) and (3) to see $3h= - 3uv$.
â GEdgar
Aug 17 at 0:23
Compare (2) and (3) to see $3h= - 3uv$.
â GEdgar
Aug 17 at 0:23
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
1
down vote
accepted
There's an error there: $omega=expleft(frac2pi i3right)$, not $expleft(fracpi i3right)$. Therefore, $omega^2=frac1omega$ and $omega=frac1omega^2$. So,$$-frac homega u=-fracomega^2utext and -frac1omega^2u=-fracomega u.$$
Aah, of course. Thanks!
â Moed Pol Bollo
Aug 17 at 0:19
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
There's an error there: $omega=expleft(frac2pi i3right)$, not $expleft(fracpi i3right)$. Therefore, $omega^2=frac1omega$ and $omega=frac1omega^2$. So,$$-frac homega u=-fracomega^2utext and -frac1omega^2u=-fracomega u.$$
Aah, of course. Thanks!
â Moed Pol Bollo
Aug 17 at 0:19
add a comment |Â
up vote
1
down vote
accepted
There's an error there: $omega=expleft(frac2pi i3right)$, not $expleft(fracpi i3right)$. Therefore, $omega^2=frac1omega$ and $omega=frac1omega^2$. So,$$-frac homega u=-fracomega^2utext and -frac1omega^2u=-fracomega u.$$
Aah, of course. Thanks!
â Moed Pol Bollo
Aug 17 at 0:19
add a comment |Â
up vote
1
down vote
accepted
up vote
1
down vote
accepted
There's an error there: $omega=expleft(frac2pi i3right)$, not $expleft(fracpi i3right)$. Therefore, $omega^2=frac1omega$ and $omega=frac1omega^2$. So,$$-frac homega u=-fracomega^2utext and -frac1omega^2u=-fracomega u.$$
There's an error there: $omega=expleft(frac2pi i3right)$, not $expleft(fracpi i3right)$. Therefore, $omega^2=frac1omega$ and $omega=frac1omega^2$. So,$$-frac homega u=-fracomega^2utext and -frac1omega^2u=-fracomega u.$$
edited Aug 17 at 7:22
answered Aug 17 at 0:16
José Carlos Santos
117k1699179
117k1699179
Aah, of course. Thanks!
â Moed Pol Bollo
Aug 17 at 0:19
add a comment |Â
Aah, of course. Thanks!
â Moed Pol Bollo
Aug 17 at 0:19
Aah, of course. Thanks!
â Moed Pol Bollo
Aug 17 at 0:19
Aah, of course. Thanks!
â Moed Pol Bollo
Aug 17 at 0:19
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2885274%2fderiving-the-cubic-formula%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Compare (2) and (3) to see $3h= - 3uv$.
â GEdgar
Aug 17 at 0:23