Deriving the Cubic Formula

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite
1












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)$?








share|cite|improve this question






















  • Compare (2) and (3) to see $3h= - 3uv$.
    – GEdgar
    Aug 17 at 0:23














up vote
0
down vote

favorite
1












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)$?








share|cite|improve this question






















  • Compare (2) and (3) to see $3h= - 3uv$.
    – GEdgar
    Aug 17 at 0:23












up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1





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)$?








share|cite|improve this question














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)$?










share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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
















  • 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










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.$$






share|cite|improve this answer






















  • Aah, of course. Thanks!
    – Moed Pol Bollo
    Aug 17 at 0:19










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















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






























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.$$






share|cite|improve this answer






















  • Aah, of course. Thanks!
    – Moed Pol Bollo
    Aug 17 at 0:19














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.$$






share|cite|improve this answer






















  • Aah, of course. Thanks!
    – Moed Pol Bollo
    Aug 17 at 0:19












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.$$






share|cite|improve this answer














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.$$







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








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
















  • 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












 

draft saved


draft discarded


























 


draft saved


draft discarded














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













































































這個網誌中的熱門文章

tkz-euclide: tkzDrawCircle[R] not working

How to combine Bézier curves to a surface?

1st Magritte Awards