Why does this method for solving cubics seem to fail?What's so special about primes $x^2+27y^2 = 31,43, 109, 157,dots$ for cubics?I know there are three real roots for cubic however cubic formula is giving me non-real answer. What am I doing wrong?Is it possible to write $cos left( frac13arccos frac3764-fracpi 3 right)$ as a radical expression of real numberA cubic equation with at most one integer rootIntegral involving multiple variablesAlgebraic Method for Inverse MapsArctangent addition formula for any range of the argumentsSolving $8x^3 - 6x + 1$ using Cardano's method
What does the expression 方便倒是方便 mean?
Drying clothes: windy but cold outside vs warm(ish) inside?
Would using the Thaumaturgy cantrip give advantage on an Intimidation check?
Languages which changed their writing direction
What is the rule?
Is the Night's Watch voting system based on history?
Listing files that end in ".txt" from directories with the word "SALARIO" in its name without using pipes
Why is weak Kőnig's lemma weaker than Kőnig's lemma?
Why most flyback converters / LED drivers operate under 100 kHz?
Will being an emotionally numb 14 year-old prevent me from eventually being a pilot?
Why do we worry about overfitting even if "all models are wrong"?
Can I say: “The train departs at 16 past every hour“?
What controls specific gene silencing during cell differentiation?
Isn't LaTeX a complete software for producing books?
Undefined control sequence error after TeX Live update
I have just 4 hours a month to security check a cloud based application - How to use my time?
Show Account information tab as active in admin customer edit page Magento2
Security risks of user generated HTML?
Dodging a Deathbeam travelling at speed of light
Does Amoxicillin (as trihydrate) degrade in stomach acid?
How does an ideal op amp amplify a voltage input when the voltage difference is 0?
Feasibility of keeping an Electrical Bike in poor (wet) storage conditions
Pigeon Hole Principle (most probably)
Why is it possible to teach real numbers before even rigorously defining them?
Why does this method for solving cubics seem to fail?
What's so special about primes $x^2+27y^2 = 31,43, 109, 157,dots$ for cubics?I know there are three real roots for cubic however cubic formula is giving me non-real answer. What am I doing wrong?Is it possible to write $cos left( frac13arccos frac3764-fracpi 3 right)$ as a radical expression of real numberA cubic equation with at most one integer rootIntegral involving multiple variablesAlgebraic Method for Inverse MapsArctangent addition formula for any range of the argumentsSolving $8x^3 - 6x + 1$ using Cardano's method
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty
margin-bottom:0;
.everyonelovesstackoverflowposition:absolute;height:1px;width:1px;opacity:0;top:0;left:0;pointer-events:none;
$begingroup$
I was trying to see if I could apply the method below to solve a certain subclass of the class of cubic equations with only one real root, and I came up with a block whose cause I couldn't find.
OK, so let $$y=ax^3+bx^2+cx+d,$$ where $a,b,c,d$ are real and $ane 0.$ Then $y'=3ax^2+2bx+c.$ Now the plan is to consider those cubics as defined above for which $y'$ has the same sign for all $x.$ This would ensure that an inverse function $$x=f(y)$$ exists, and the plan is to get this function by integration. Let's continue.
Now, for $y'>0,$ without loss of generality, we must have $(2b)^2-4(3a)clt 0,$ or $$3ac-b^2>0.$$ Thus, with $k^2=3ac-b^2,$ we have $$y'=3aleft[left(x+fracb3aright)^2+frack^29a^2right],$$ by attempting to complete squares. It then follows, since $y'ne 0$ for all $x,$ that $$x=intfracmathrm d y3aleft[left(y+fracb3aright)^2+frack^29a^2right]$$ exists for all $y.$ This integral can be easily evaluated to give $$frac1k arctanleft(frac3ayk+fracbkright)+C.$$ To determine the constant $C,$ note that with the original equation, we have $y=d$ when $x=0,$ so that we have $$C=-frac1k arctanleft(frac3adk+fracbkright),$$ so that $$x=frac1k arctanleft(frac3ayk+fracbkright)-frac1k arctanleft(frac3adk+fracbkright).$$
It is now an easy matter to find the real root $x$ of the original equation, which is the value of $x$ when $y=0.$ This gives the number $$x=frac1k arctanleft(fracbkright)-frac1k arctanleft(frac3adk+fracbkright).$$
Now consider applying this procedure to the example $$2x^3+3x^2+2x+3=0.$$ Clearly $3^2-3(2)(2)<0,$ so it is of the required type. Also, it is easy to see that it has only one real root, namely $x=-3/2.$ However, applying the method above, we obtain $k=sqrt 3,$ so that the root as given by the arctangent should be $$x=frac 1sqrt 3 arctanleft(frac3sqrt 3right)-frac1sqrt 3 arctanleft(frac21sqrt 3right).$$ If this is so, then we must have $$frac1sqrt 3 arctanleft(frac3sqrt 3right)-frac1sqrt 3 arctanleft(frac21sqrt 3right)=-frac 3 2,$$ which gives $$arctan(7sqrt 3)-arctansqrt 3=frac3sqrt 32,$$ which is clearly false.
I have checked again and again, but have failed to see where I went wrong. Please help me spot the false step. Many thanks!
PS. This method works seamlessly well with equations of first order, as can be easily checked; so I kept wondering where the analogy breaks down.
proof-verification indefinite-integrals inverse-function cubic-equations
$endgroup$
|
show 14 more comments
$begingroup$
I was trying to see if I could apply the method below to solve a certain subclass of the class of cubic equations with only one real root, and I came up with a block whose cause I couldn't find.
OK, so let $$y=ax^3+bx^2+cx+d,$$ where $a,b,c,d$ are real and $ane 0.$ Then $y'=3ax^2+2bx+c.$ Now the plan is to consider those cubics as defined above for which $y'$ has the same sign for all $x.$ This would ensure that an inverse function $$x=f(y)$$ exists, and the plan is to get this function by integration. Let's continue.
Now, for $y'>0,$ without loss of generality, we must have $(2b)^2-4(3a)clt 0,$ or $$3ac-b^2>0.$$ Thus, with $k^2=3ac-b^2,$ we have $$y'=3aleft[left(x+fracb3aright)^2+frack^29a^2right],$$ by attempting to complete squares. It then follows, since $y'ne 0$ for all $x,$ that $$x=intfracmathrm d y3aleft[left(y+fracb3aright)^2+frack^29a^2right]$$ exists for all $y.$ This integral can be easily evaluated to give $$frac1k arctanleft(frac3ayk+fracbkright)+C.$$ To determine the constant $C,$ note that with the original equation, we have $y=d$ when $x=0,$ so that we have $$C=-frac1k arctanleft(frac3adk+fracbkright),$$ so that $$x=frac1k arctanleft(frac3ayk+fracbkright)-frac1k arctanleft(frac3adk+fracbkright).$$
It is now an easy matter to find the real root $x$ of the original equation, which is the value of $x$ when $y=0.$ This gives the number $$x=frac1k arctanleft(fracbkright)-frac1k arctanleft(frac3adk+fracbkright).$$
Now consider applying this procedure to the example $$2x^3+3x^2+2x+3=0.$$ Clearly $3^2-3(2)(2)<0,$ so it is of the required type. Also, it is easy to see that it has only one real root, namely $x=-3/2.$ However, applying the method above, we obtain $k=sqrt 3,$ so that the root as given by the arctangent should be $$x=frac 1sqrt 3 arctanleft(frac3sqrt 3right)-frac1sqrt 3 arctanleft(frac21sqrt 3right).$$ If this is so, then we must have $$frac1sqrt 3 arctanleft(frac3sqrt 3right)-frac1sqrt 3 arctanleft(frac21sqrt 3right)=-frac 3 2,$$ which gives $$arctan(7sqrt 3)-arctansqrt 3=frac3sqrt 32,$$ which is clearly false.
I have checked again and again, but have failed to see where I went wrong. Please help me spot the false step. Many thanks!
PS. This method works seamlessly well with equations of first order, as can be easily checked; so I kept wondering where the analogy breaks down.
proof-verification indefinite-integrals inverse-function cubic-equations
$endgroup$
$begingroup$
Interesting approach. Could it be applied to quadratic equations? Just wondering how was "c" calculated in the expression: y'=3a[...] near the top? Thanks.
$endgroup$
– NoChance
Jul 7 at 23:19
5
$begingroup$
Sorry if I'm missing something obvious: how did you obtain that $$x=intfracmathrm d y3aleft[left(y+fracb3aright)^2+frack^29a^2right]?$$
$endgroup$
– YiFan
Jul 7 at 23:33
$begingroup$
I guess this would be from the definition of the inverse function x=f(y).
$endgroup$
– NoChance
Jul 7 at 23:39
2
$begingroup$
Error. It should be $k^2 =3ac-b^2$.
$endgroup$
– steven gregory
Jul 8 at 0:19
1
$begingroup$
@stevengregory Oh, my. Thank you. That's what I'd meant to type -- I actually used the correct form in my work, as you can confirm. That is, this error is not the source of the discrepancy described. I will presently correct it.
$endgroup$
– Allawonder
Jul 8 at 0:22
|
show 14 more comments
$begingroup$
I was trying to see if I could apply the method below to solve a certain subclass of the class of cubic equations with only one real root, and I came up with a block whose cause I couldn't find.
OK, so let $$y=ax^3+bx^2+cx+d,$$ where $a,b,c,d$ are real and $ane 0.$ Then $y'=3ax^2+2bx+c.$ Now the plan is to consider those cubics as defined above for which $y'$ has the same sign for all $x.$ This would ensure that an inverse function $$x=f(y)$$ exists, and the plan is to get this function by integration. Let's continue.
Now, for $y'>0,$ without loss of generality, we must have $(2b)^2-4(3a)clt 0,$ or $$3ac-b^2>0.$$ Thus, with $k^2=3ac-b^2,$ we have $$y'=3aleft[left(x+fracb3aright)^2+frack^29a^2right],$$ by attempting to complete squares. It then follows, since $y'ne 0$ for all $x,$ that $$x=intfracmathrm d y3aleft[left(y+fracb3aright)^2+frack^29a^2right]$$ exists for all $y.$ This integral can be easily evaluated to give $$frac1k arctanleft(frac3ayk+fracbkright)+C.$$ To determine the constant $C,$ note that with the original equation, we have $y=d$ when $x=0,$ so that we have $$C=-frac1k arctanleft(frac3adk+fracbkright),$$ so that $$x=frac1k arctanleft(frac3ayk+fracbkright)-frac1k arctanleft(frac3adk+fracbkright).$$
It is now an easy matter to find the real root $x$ of the original equation, which is the value of $x$ when $y=0.$ This gives the number $$x=frac1k arctanleft(fracbkright)-frac1k arctanleft(frac3adk+fracbkright).$$
Now consider applying this procedure to the example $$2x^3+3x^2+2x+3=0.$$ Clearly $3^2-3(2)(2)<0,$ so it is of the required type. Also, it is easy to see that it has only one real root, namely $x=-3/2.$ However, applying the method above, we obtain $k=sqrt 3,$ so that the root as given by the arctangent should be $$x=frac 1sqrt 3 arctanleft(frac3sqrt 3right)-frac1sqrt 3 arctanleft(frac21sqrt 3right).$$ If this is so, then we must have $$frac1sqrt 3 arctanleft(frac3sqrt 3right)-frac1sqrt 3 arctanleft(frac21sqrt 3right)=-frac 3 2,$$ which gives $$arctan(7sqrt 3)-arctansqrt 3=frac3sqrt 32,$$ which is clearly false.
I have checked again and again, but have failed to see where I went wrong. Please help me spot the false step. Many thanks!
PS. This method works seamlessly well with equations of first order, as can be easily checked; so I kept wondering where the analogy breaks down.
proof-verification indefinite-integrals inverse-function cubic-equations
$endgroup$
I was trying to see if I could apply the method below to solve a certain subclass of the class of cubic equations with only one real root, and I came up with a block whose cause I couldn't find.
OK, so let $$y=ax^3+bx^2+cx+d,$$ where $a,b,c,d$ are real and $ane 0.$ Then $y'=3ax^2+2bx+c.$ Now the plan is to consider those cubics as defined above for which $y'$ has the same sign for all $x.$ This would ensure that an inverse function $$x=f(y)$$ exists, and the plan is to get this function by integration. Let's continue.
Now, for $y'>0,$ without loss of generality, we must have $(2b)^2-4(3a)clt 0,$ or $$3ac-b^2>0.$$ Thus, with $k^2=3ac-b^2,$ we have $$y'=3aleft[left(x+fracb3aright)^2+frack^29a^2right],$$ by attempting to complete squares. It then follows, since $y'ne 0$ for all $x,$ that $$x=intfracmathrm d y3aleft[left(y+fracb3aright)^2+frack^29a^2right]$$ exists for all $y.$ This integral can be easily evaluated to give $$frac1k arctanleft(frac3ayk+fracbkright)+C.$$ To determine the constant $C,$ note that with the original equation, we have $y=d$ when $x=0,$ so that we have $$C=-frac1k arctanleft(frac3adk+fracbkright),$$ so that $$x=frac1k arctanleft(frac3ayk+fracbkright)-frac1k arctanleft(frac3adk+fracbkright).$$
It is now an easy matter to find the real root $x$ of the original equation, which is the value of $x$ when $y=0.$ This gives the number $$x=frac1k arctanleft(fracbkright)-frac1k arctanleft(frac3adk+fracbkright).$$
Now consider applying this procedure to the example $$2x^3+3x^2+2x+3=0.$$ Clearly $3^2-3(2)(2)<0,$ so it is of the required type. Also, it is easy to see that it has only one real root, namely $x=-3/2.$ However, applying the method above, we obtain $k=sqrt 3,$ so that the root as given by the arctangent should be $$x=frac 1sqrt 3 arctanleft(frac3sqrt 3right)-frac1sqrt 3 arctanleft(frac21sqrt 3right).$$ If this is so, then we must have $$frac1sqrt 3 arctanleft(frac3sqrt 3right)-frac1sqrt 3 arctanleft(frac21sqrt 3right)=-frac 3 2,$$ which gives $$arctan(7sqrt 3)-arctansqrt 3=frac3sqrt 32,$$ which is clearly false.
I have checked again and again, but have failed to see where I went wrong. Please help me spot the false step. Many thanks!
PS. This method works seamlessly well with equations of first order, as can be easily checked; so I kept wondering where the analogy breaks down.
proof-verification indefinite-integrals inverse-function cubic-equations
proof-verification indefinite-integrals inverse-function cubic-equations
edited Jul 8 at 0:23
Allawonder
asked Jul 7 at 22:54
AllawonderAllawonder
7,7861 gold badge11 silver badges21 bronze badges
7,7861 gold badge11 silver badges21 bronze badges
$begingroup$
Interesting approach. Could it be applied to quadratic equations? Just wondering how was "c" calculated in the expression: y'=3a[...] near the top? Thanks.
$endgroup$
– NoChance
Jul 7 at 23:19
5
$begingroup$
Sorry if I'm missing something obvious: how did you obtain that $$x=intfracmathrm d y3aleft[left(y+fracb3aright)^2+frack^29a^2right]?$$
$endgroup$
– YiFan
Jul 7 at 23:33
$begingroup$
I guess this would be from the definition of the inverse function x=f(y).
$endgroup$
– NoChance
Jul 7 at 23:39
2
$begingroup$
Error. It should be $k^2 =3ac-b^2$.
$endgroup$
– steven gregory
Jul 8 at 0:19
1
$begingroup$
@stevengregory Oh, my. Thank you. That's what I'd meant to type -- I actually used the correct form in my work, as you can confirm. That is, this error is not the source of the discrepancy described. I will presently correct it.
$endgroup$
– Allawonder
Jul 8 at 0:22
|
show 14 more comments
$begingroup$
Interesting approach. Could it be applied to quadratic equations? Just wondering how was "c" calculated in the expression: y'=3a[...] near the top? Thanks.
$endgroup$
– NoChance
Jul 7 at 23:19
5
$begingroup$
Sorry if I'm missing something obvious: how did you obtain that $$x=intfracmathrm d y3aleft[left(y+fracb3aright)^2+frack^29a^2right]?$$
$endgroup$
– YiFan
Jul 7 at 23:33
$begingroup$
I guess this would be from the definition of the inverse function x=f(y).
$endgroup$
– NoChance
Jul 7 at 23:39
2
$begingroup$
Error. It should be $k^2 =3ac-b^2$.
$endgroup$
– steven gregory
Jul 8 at 0:19
1
$begingroup$
@stevengregory Oh, my. Thank you. That's what I'd meant to type -- I actually used the correct form in my work, as you can confirm. That is, this error is not the source of the discrepancy described. I will presently correct it.
$endgroup$
– Allawonder
Jul 8 at 0:22
$begingroup$
Interesting approach. Could it be applied to quadratic equations? Just wondering how was "c" calculated in the expression: y'=3a[...] near the top? Thanks.
$endgroup$
– NoChance
Jul 7 at 23:19
$begingroup$
Interesting approach. Could it be applied to quadratic equations? Just wondering how was "c" calculated in the expression: y'=3a[...] near the top? Thanks.
$endgroup$
– NoChance
Jul 7 at 23:19
5
5
$begingroup$
Sorry if I'm missing something obvious: how did you obtain that $$x=intfracmathrm d y3aleft[left(y+fracb3aright)^2+frack^29a^2right]?$$
$endgroup$
– YiFan
Jul 7 at 23:33
$begingroup$
Sorry if I'm missing something obvious: how did you obtain that $$x=intfracmathrm d y3aleft[left(y+fracb3aright)^2+frack^29a^2right]?$$
$endgroup$
– YiFan
Jul 7 at 23:33
$begingroup$
I guess this would be from the definition of the inverse function x=f(y).
$endgroup$
– NoChance
Jul 7 at 23:39
$begingroup$
I guess this would be from the definition of the inverse function x=f(y).
$endgroup$
– NoChance
Jul 7 at 23:39
2
2
$begingroup$
Error. It should be $k^2 =3ac-b^2$.
$endgroup$
– steven gregory
Jul 8 at 0:19
$begingroup$
Error. It should be $k^2 =3ac-b^2$.
$endgroup$
– steven gregory
Jul 8 at 0:19
1
1
$begingroup$
@stevengregory Oh, my. Thank you. That's what I'd meant to type -- I actually used the correct form in my work, as you can confirm. That is, this error is not the source of the discrepancy described. I will presently correct it.
$endgroup$
– Allawonder
Jul 8 at 0:22
$begingroup$
@stevengregory Oh, my. Thank you. That's what I'd meant to type -- I actually used the correct form in my work, as you can confirm. That is, this error is not the source of the discrepancy described. I will presently correct it.
$endgroup$
– Allawonder
Jul 8 at 0:22
|
show 14 more comments
1 Answer
1
active
oldest
votes
$begingroup$
The observation of @YiFan is right.
You actually have
$$
eqalign
& y' = 3aleft( left( x + b over 3a right)^,2 + k^,2 over left( 3a right)^,2 right)quad Rightarrow cr
& Rightarrow quad dx = dy over 3aleft( left( x + b over 3a right)^,2 + k^,2 over left( 3a right)^,2 right) cr
$$
where you shall read the $x$ at the denominator as $x(y)$.
$endgroup$
$begingroup$
My thinking was this: I integrated $1/y'$ from some fixed point $p$ to a variable $y.$ That is, I treated the $x$ in the denominator as a dummy variable. That is equivalent to seeking a primitive and using FTC as displayed above, isn't it? But I appreciate your input. Will look into it.
$endgroup$
– Allawonder
Jul 8 at 0:15
2
$begingroup$
@Allawonder: You can't just wishfully turn $x$ into $y$. This is meaningless.
$endgroup$
– Ted Shifrin
Jul 8 at 0:27
6
$begingroup$
@Allawonder: " .. I treated the $x$ in the denominator as a dummy variable .." : you can't, it depends on $y$ !
$endgroup$
– G Cab
Jul 8 at 0:36
$begingroup$
Yes, I have convinced myself that this was indeed where my problem was. Turns out there's no easy way here too, beyond the linear equations, which is nothing doing. Alright, thank you.
$endgroup$
– Allawonder
Jul 8 at 1:32
$begingroup$
@Allawonder: sorry I had to pin down that, because otherwise your "plan of attack" was interesting.
$endgroup$
– G Cab
Jul 8 at 9:55
|
show 1 more comment
Your Answer
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',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/4.0/"u003ecc by-sa 4.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3286240%2fwhy-does-this-method-for-solving-cubics-seem-to-fail%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The observation of @YiFan is right.
You actually have
$$
eqalign
& y' = 3aleft( left( x + b over 3a right)^,2 + k^,2 over left( 3a right)^,2 right)quad Rightarrow cr
& Rightarrow quad dx = dy over 3aleft( left( x + b over 3a right)^,2 + k^,2 over left( 3a right)^,2 right) cr
$$
where you shall read the $x$ at the denominator as $x(y)$.
$endgroup$
$begingroup$
My thinking was this: I integrated $1/y'$ from some fixed point $p$ to a variable $y.$ That is, I treated the $x$ in the denominator as a dummy variable. That is equivalent to seeking a primitive and using FTC as displayed above, isn't it? But I appreciate your input. Will look into it.
$endgroup$
– Allawonder
Jul 8 at 0:15
2
$begingroup$
@Allawonder: You can't just wishfully turn $x$ into $y$. This is meaningless.
$endgroup$
– Ted Shifrin
Jul 8 at 0:27
6
$begingroup$
@Allawonder: " .. I treated the $x$ in the denominator as a dummy variable .." : you can't, it depends on $y$ !
$endgroup$
– G Cab
Jul 8 at 0:36
$begingroup$
Yes, I have convinced myself that this was indeed where my problem was. Turns out there's no easy way here too, beyond the linear equations, which is nothing doing. Alright, thank you.
$endgroup$
– Allawonder
Jul 8 at 1:32
$begingroup$
@Allawonder: sorry I had to pin down that, because otherwise your "plan of attack" was interesting.
$endgroup$
– G Cab
Jul 8 at 9:55
|
show 1 more comment
$begingroup$
The observation of @YiFan is right.
You actually have
$$
eqalign
& y' = 3aleft( left( x + b over 3a right)^,2 + k^,2 over left( 3a right)^,2 right)quad Rightarrow cr
& Rightarrow quad dx = dy over 3aleft( left( x + b over 3a right)^,2 + k^,2 over left( 3a right)^,2 right) cr
$$
where you shall read the $x$ at the denominator as $x(y)$.
$endgroup$
$begingroup$
My thinking was this: I integrated $1/y'$ from some fixed point $p$ to a variable $y.$ That is, I treated the $x$ in the denominator as a dummy variable. That is equivalent to seeking a primitive and using FTC as displayed above, isn't it? But I appreciate your input. Will look into it.
$endgroup$
– Allawonder
Jul 8 at 0:15
2
$begingroup$
@Allawonder: You can't just wishfully turn $x$ into $y$. This is meaningless.
$endgroup$
– Ted Shifrin
Jul 8 at 0:27
6
$begingroup$
@Allawonder: " .. I treated the $x$ in the denominator as a dummy variable .." : you can't, it depends on $y$ !
$endgroup$
– G Cab
Jul 8 at 0:36
$begingroup$
Yes, I have convinced myself that this was indeed where my problem was. Turns out there's no easy way here too, beyond the linear equations, which is nothing doing. Alright, thank you.
$endgroup$
– Allawonder
Jul 8 at 1:32
$begingroup$
@Allawonder: sorry I had to pin down that, because otherwise your "plan of attack" was interesting.
$endgroup$
– G Cab
Jul 8 at 9:55
|
show 1 more comment
$begingroup$
The observation of @YiFan is right.
You actually have
$$
eqalign
& y' = 3aleft( left( x + b over 3a right)^,2 + k^,2 over left( 3a right)^,2 right)quad Rightarrow cr
& Rightarrow quad dx = dy over 3aleft( left( x + b over 3a right)^,2 + k^,2 over left( 3a right)^,2 right) cr
$$
where you shall read the $x$ at the denominator as $x(y)$.
$endgroup$
The observation of @YiFan is right.
You actually have
$$
eqalign
& y' = 3aleft( left( x + b over 3a right)^,2 + k^,2 over left( 3a right)^,2 right)quad Rightarrow cr
& Rightarrow quad dx = dy over 3aleft( left( x + b over 3a right)^,2 + k^,2 over left( 3a right)^,2 right) cr
$$
where you shall read the $x$ at the denominator as $x(y)$.
answered Jul 8 at 0:08
G CabG Cab
23.9k3 gold badges13 silver badges45 bronze badges
23.9k3 gold badges13 silver badges45 bronze badges
$begingroup$
My thinking was this: I integrated $1/y'$ from some fixed point $p$ to a variable $y.$ That is, I treated the $x$ in the denominator as a dummy variable. That is equivalent to seeking a primitive and using FTC as displayed above, isn't it? But I appreciate your input. Will look into it.
$endgroup$
– Allawonder
Jul 8 at 0:15
2
$begingroup$
@Allawonder: You can't just wishfully turn $x$ into $y$. This is meaningless.
$endgroup$
– Ted Shifrin
Jul 8 at 0:27
6
$begingroup$
@Allawonder: " .. I treated the $x$ in the denominator as a dummy variable .." : you can't, it depends on $y$ !
$endgroup$
– G Cab
Jul 8 at 0:36
$begingroup$
Yes, I have convinced myself that this was indeed where my problem was. Turns out there's no easy way here too, beyond the linear equations, which is nothing doing. Alright, thank you.
$endgroup$
– Allawonder
Jul 8 at 1:32
$begingroup$
@Allawonder: sorry I had to pin down that, because otherwise your "plan of attack" was interesting.
$endgroup$
– G Cab
Jul 8 at 9:55
|
show 1 more comment
$begingroup$
My thinking was this: I integrated $1/y'$ from some fixed point $p$ to a variable $y.$ That is, I treated the $x$ in the denominator as a dummy variable. That is equivalent to seeking a primitive and using FTC as displayed above, isn't it? But I appreciate your input. Will look into it.
$endgroup$
– Allawonder
Jul 8 at 0:15
2
$begingroup$
@Allawonder: You can't just wishfully turn $x$ into $y$. This is meaningless.
$endgroup$
– Ted Shifrin
Jul 8 at 0:27
6
$begingroup$
@Allawonder: " .. I treated the $x$ in the denominator as a dummy variable .." : you can't, it depends on $y$ !
$endgroup$
– G Cab
Jul 8 at 0:36
$begingroup$
Yes, I have convinced myself that this was indeed where my problem was. Turns out there's no easy way here too, beyond the linear equations, which is nothing doing. Alright, thank you.
$endgroup$
– Allawonder
Jul 8 at 1:32
$begingroup$
@Allawonder: sorry I had to pin down that, because otherwise your "plan of attack" was interesting.
$endgroup$
– G Cab
Jul 8 at 9:55
$begingroup$
My thinking was this: I integrated $1/y'$ from some fixed point $p$ to a variable $y.$ That is, I treated the $x$ in the denominator as a dummy variable. That is equivalent to seeking a primitive and using FTC as displayed above, isn't it? But I appreciate your input. Will look into it.
$endgroup$
– Allawonder
Jul 8 at 0:15
$begingroup$
My thinking was this: I integrated $1/y'$ from some fixed point $p$ to a variable $y.$ That is, I treated the $x$ in the denominator as a dummy variable. That is equivalent to seeking a primitive and using FTC as displayed above, isn't it? But I appreciate your input. Will look into it.
$endgroup$
– Allawonder
Jul 8 at 0:15
2
2
$begingroup$
@Allawonder: You can't just wishfully turn $x$ into $y$. This is meaningless.
$endgroup$
– Ted Shifrin
Jul 8 at 0:27
$begingroup$
@Allawonder: You can't just wishfully turn $x$ into $y$. This is meaningless.
$endgroup$
– Ted Shifrin
Jul 8 at 0:27
6
6
$begingroup$
@Allawonder: " .. I treated the $x$ in the denominator as a dummy variable .." : you can't, it depends on $y$ !
$endgroup$
– G Cab
Jul 8 at 0:36
$begingroup$
@Allawonder: " .. I treated the $x$ in the denominator as a dummy variable .." : you can't, it depends on $y$ !
$endgroup$
– G Cab
Jul 8 at 0:36
$begingroup$
Yes, I have convinced myself that this was indeed where my problem was. Turns out there's no easy way here too, beyond the linear equations, which is nothing doing. Alright, thank you.
$endgroup$
– Allawonder
Jul 8 at 1:32
$begingroup$
Yes, I have convinced myself that this was indeed where my problem was. Turns out there's no easy way here too, beyond the linear equations, which is nothing doing. Alright, thank you.
$endgroup$
– Allawonder
Jul 8 at 1:32
$begingroup$
@Allawonder: sorry I had to pin down that, because otherwise your "plan of attack" was interesting.
$endgroup$
– G Cab
Jul 8 at 9:55
$begingroup$
@Allawonder: sorry I had to pin down that, because otherwise your "plan of attack" was interesting.
$endgroup$
– G Cab
Jul 8 at 9:55
|
show 1 more comment
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3286240%2fwhy-does-this-method-for-solving-cubics-seem-to-fail%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Interesting approach. Could it be applied to quadratic equations? Just wondering how was "c" calculated in the expression: y'=3a[...] near the top? Thanks.
$endgroup$
– NoChance
Jul 7 at 23:19
5
$begingroup$
Sorry if I'm missing something obvious: how did you obtain that $$x=intfracmathrm d y3aleft[left(y+fracb3aright)^2+frack^29a^2right]?$$
$endgroup$
– YiFan
Jul 7 at 23:33
$begingroup$
I guess this would be from the definition of the inverse function x=f(y).
$endgroup$
– NoChance
Jul 7 at 23:39
2
$begingroup$
Error. It should be $k^2 =3ac-b^2$.
$endgroup$
– steven gregory
Jul 8 at 0:19
1
$begingroup$
@stevengregory Oh, my. Thank you. That's what I'd meant to type -- I actually used the correct form in my work, as you can confirm. That is, this error is not the source of the discrepancy described. I will presently correct it.
$endgroup$
– Allawonder
Jul 8 at 0:22