On the number of roots of the polynomial $x^3+Ax^2+1=0$












6












$begingroup$


I have the following cubic equation



$$x^{3}+Ax^{2}+1=0$$



where $A$ is an arbitrary (real) number.



I know that either:




  • The 3 roots will be real.

  • One root will be real and the other two will
    be complex conjugates of each other.


I would like to find out




  • For what value/values of A the roots change from 3 real roots to one
    real and two complex roots.

  • The signs of each of the real roots (both when they are all real and when there is only one real root)


Is there an analytical way of finding this as a function of $A$ or the only option is to solve the cubic numerically?










share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    Google Cardano's method.
    $endgroup$
    – hamam_Abdallah
    Jan 6 at 19:44
















6












$begingroup$


I have the following cubic equation



$$x^{3}+Ax^{2}+1=0$$



where $A$ is an arbitrary (real) number.



I know that either:




  • The 3 roots will be real.

  • One root will be real and the other two will
    be complex conjugates of each other.


I would like to find out




  • For what value/values of A the roots change from 3 real roots to one
    real and two complex roots.

  • The signs of each of the real roots (both when they are all real and when there is only one real root)


Is there an analytical way of finding this as a function of $A$ or the only option is to solve the cubic numerically?










share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    Google Cardano's method.
    $endgroup$
    – hamam_Abdallah
    Jan 6 at 19:44














6












6








6


1



$begingroup$


I have the following cubic equation



$$x^{3}+Ax^{2}+1=0$$



where $A$ is an arbitrary (real) number.



I know that either:




  • The 3 roots will be real.

  • One root will be real and the other two will
    be complex conjugates of each other.


I would like to find out




  • For what value/values of A the roots change from 3 real roots to one
    real and two complex roots.

  • The signs of each of the real roots (both when they are all real and when there is only one real root)


Is there an analytical way of finding this as a function of $A$ or the only option is to solve the cubic numerically?










share|cite|improve this question











$endgroup$




I have the following cubic equation



$$x^{3}+Ax^{2}+1=0$$



where $A$ is an arbitrary (real) number.



I know that either:




  • The 3 roots will be real.

  • One root will be real and the other two will
    be complex conjugates of each other.


I would like to find out




  • For what value/values of A the roots change from 3 real roots to one
    real and two complex roots.

  • The signs of each of the real roots (both when they are all real and when there is only one real root)


Is there an analytical way of finding this as a function of $A$ or the only option is to solve the cubic numerically?







calculus numerical-methods roots cubic-equations






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 7 at 9:35









TheSimpliFire

12.5k62460




12.5k62460










asked Jan 6 at 19:34









user35202user35202

31719




31719








  • 3




    $begingroup$
    Google Cardano's method.
    $endgroup$
    – hamam_Abdallah
    Jan 6 at 19:44














  • 3




    $begingroup$
    Google Cardano's method.
    $endgroup$
    – hamam_Abdallah
    Jan 6 at 19:44








3




3




$begingroup$
Google Cardano's method.
$endgroup$
– hamam_Abdallah
Jan 6 at 19:44




$begingroup$
Google Cardano's method.
$endgroup$
– hamam_Abdallah
Jan 6 at 19:44










5 Answers
5






active

oldest

votes


















8












$begingroup$

If we can show that the value of $A$ changes the amount of maxima or minima from 1 to 2 such that one extreme is at a positive $y$-location and the other at a zero or negative $y$-location, then we know that this value of $A$ is the border for all real solutions versus 1 real and 2 complex solutions.



Denote $f(x) = x^3 + Ax^2 + 1.$



$$f'(x) = 3x^2+2Ax=x(3x+2A) = 0.$$



We see that $f(0)$ is always either a local maximum or minimum and $f(0) > 0.$ The other zero is given by $x = -2A/3 = xi.$



We need $f(xi) leq 0.$



$$f(xi) = frac{4}{27}A^3 + 1 leq 0$$



solves for the values of $A$ where 3 real solutions are guaranteed.





If there are 3 real roots, then since $x = 0$ is always a local extreme, at least one has to be positive and another has to be negative. Also, if $A leq -3/sqrt[3]{4}$ and the location of the moving extreme is $x=-2A/3 > 0,$ then the remaining real root has to be positive.



If there's only 1 real root, then $A > -3/sqrt[3]{4}$ and the moving extreme is located at $x < sqrt[3]{2}.$ Thus the only real root must be negative.






share|cite|improve this answer











$endgroup$









  • 2




    $begingroup$
    How do we find the signs of the real roots? By actually finding them or is there a shortcut?
    $endgroup$
    – JennyToy
    Jan 6 at 20:21






  • 1




    $begingroup$
    @JennyToy I should've reread the questions before submitting the first time, sorry! How's the edit?
    $endgroup$
    – Skip
    Jan 6 at 20:45



















3












$begingroup$

hint



Put $$A=-frac 32B$$ and
$$f(x)=x^3-frac 32Bx^2+1.$$



$$f'(x)=3x(x-B).$$



$$f(0)=1$$
to have three real roots, we need



$$B>0 text{ and } f(B)<0.$$






share|cite|improve this answer









$endgroup$









  • 2




    $begingroup$
    To find when there are 3 real roots or one only use the sign of the discriminant $Delta = -4A^{3}-27$. Thus if $A=-3/2^{2/3}$ there are 3 equal real roots. If $A<-3/2^{2/3}$ there are 3 real distinct roots. And if $A>-3/2^{2/3}$ there is one real root and two (complex conjugate) complex roots. Unfortunately to find the signs of the real roots we probably need to actually find the roots.
    $endgroup$
    – user2175783
    Jan 6 at 20:13










  • $begingroup$
    @user2175783 If $A=-frac{3}{2^{2/3}}$, then there are a negative zero and a double zero on the positive axis.
    $endgroup$
    – Hanno
    Jan 12 at 22:17



















3












$begingroup$

The stationary points of $f(x)$ lie at $x=0$ and at $x=-frac{2A}{3}$ and the sign of
$$ f(0)fleft(-tfrac{2A}{3}right) = 1+tfrac{4}{27}A^3$$
decides if there are three real roots (<0), a simple real root (>0) or a double real root and a simple real root (=0). This happens since the sign of $ f(0)fleft(-tfrac{2A}{3}right)$ only depends on the stationary values having the same sign or not.






share|cite|improve this answer









$endgroup$





















    3












    $begingroup$

    Too late at the party. But it looks good, so let's enter anyway.





    TL;DR
    $quad f(x)=x^3+Ax^2+1,$ always has a simple zero on the negative axis.
    The other two zeros are




    • real, positive and distinct, if $,A<-1.88988:=:-dfrac{3}{sqrt[3]{4}}:=:A_1$

    • merging into a double zero at $x=sqrt[3]{2}$, if $,A=A_1$

    • non-real (thus complex-conjugate), if $,A>A_1$




    The party-giver also asked if there is an analytical way of finding this as a function of $A$?

    Let's take a step in this direction, concentrating on the case of "one real zero", and express the negative zero as a function of $A$:

    Let $,d=big(frac A3big)^3 + big(frac 12big)^2$, and assume $d>0$ which corresponds to $,A>A_1$. Define
    $$r :=:left(-frac 12 -sqrt dright)^frac 13
    +, left(-frac 12 +sqrt dright)^frac 13,,$$

    $r,$ is observed to be strictly negative. Then
    $$begin{align}
    r^2:= & ;left(-frac 12 -sqrt dright)^frac 23
    +, left(-frac 12 +sqrt dright)^frac 23 -frac23 A \[2ex]
    r^3:= & ; -frac23 Ar + left(-frac 12 -sqrt dright)
    +, left(-frac 12 +sqrt dright) \
    & quad -frac13 A left{ left(-frac 12 -sqrt dright)^frac 13
    +, left(-frac 12 +sqrt dright)^frac 13right} \
    = & -Ar - 1
    end{align}$$

    Whence
    $$1+Ar+r^3=0quadLongleftrightarrowquadfrac1{r^3}+Afrac1{r^2}+1 =0 \[2ex]
    Longrightarrowquad x :=: frac1r :=: -r^2-A :=: -frac13 A
    -left(sqrt d + frac 12right)^frac 23
    -, left(sqrt d -frac12right)^frac 23 $$

    satisfies $x^3+Ax^2+1=0$.



    Added in Edit: Driven by user2175783's comment as of below, I found Lecture 4 in Mathematical Omnibus: 30 Lectures on Classic Maths by D. Fuchs + S. Tabachnikov: It gives an extensive and readable account of how to explicitly solve the cubic and quartic equations.





    Visual TL;DR



    By courtesy of WolframAlpha






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      Wouldnt it be possible to generalize the algebra for the negative root for $A<A_{1}$?
      $endgroup$
      – user2175783
      Jan 13 at 0:14






    • 1




      $begingroup$
      @user2175783 I did not look closer at that case. I'd say there's no ambiguity for the sign of $sqrt d$ because $r$ is a symmetrical expression. But afterwards complex cube roots have to be considered which might involve some choice.
      $endgroup$
      – Hanno
      Jan 13 at 9:31



















    1












    $begingroup$

    The discriminant of a cubic polynomial with real coefficients is $0$ when the polynomial has two (or more) equal roots, positive when there are three distinct real roots, and negative when there are one real and two non-real roots. In your case it is $-4 A^3 - 27$.






    share|cite|improve this answer









    $endgroup$













      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',
      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/3.0/"u003ecc by-sa 3.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
      });


      }
      });














      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3064314%2fon-the-number-of-roots-of-the-polynomial-x3ax21-0%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      5 Answers
      5






      active

      oldest

      votes








      5 Answers
      5






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      8












      $begingroup$

      If we can show that the value of $A$ changes the amount of maxima or minima from 1 to 2 such that one extreme is at a positive $y$-location and the other at a zero or negative $y$-location, then we know that this value of $A$ is the border for all real solutions versus 1 real and 2 complex solutions.



      Denote $f(x) = x^3 + Ax^2 + 1.$



      $$f'(x) = 3x^2+2Ax=x(3x+2A) = 0.$$



      We see that $f(0)$ is always either a local maximum or minimum and $f(0) > 0.$ The other zero is given by $x = -2A/3 = xi.$



      We need $f(xi) leq 0.$



      $$f(xi) = frac{4}{27}A^3 + 1 leq 0$$



      solves for the values of $A$ where 3 real solutions are guaranteed.





      If there are 3 real roots, then since $x = 0$ is always a local extreme, at least one has to be positive and another has to be negative. Also, if $A leq -3/sqrt[3]{4}$ and the location of the moving extreme is $x=-2A/3 > 0,$ then the remaining real root has to be positive.



      If there's only 1 real root, then $A > -3/sqrt[3]{4}$ and the moving extreme is located at $x < sqrt[3]{2}.$ Thus the only real root must be negative.






      share|cite|improve this answer











      $endgroup$









      • 2




        $begingroup$
        How do we find the signs of the real roots? By actually finding them or is there a shortcut?
        $endgroup$
        – JennyToy
        Jan 6 at 20:21






      • 1




        $begingroup$
        @JennyToy I should've reread the questions before submitting the first time, sorry! How's the edit?
        $endgroup$
        – Skip
        Jan 6 at 20:45
















      8












      $begingroup$

      If we can show that the value of $A$ changes the amount of maxima or minima from 1 to 2 such that one extreme is at a positive $y$-location and the other at a zero or negative $y$-location, then we know that this value of $A$ is the border for all real solutions versus 1 real and 2 complex solutions.



      Denote $f(x) = x^3 + Ax^2 + 1.$



      $$f'(x) = 3x^2+2Ax=x(3x+2A) = 0.$$



      We see that $f(0)$ is always either a local maximum or minimum and $f(0) > 0.$ The other zero is given by $x = -2A/3 = xi.$



      We need $f(xi) leq 0.$



      $$f(xi) = frac{4}{27}A^3 + 1 leq 0$$



      solves for the values of $A$ where 3 real solutions are guaranteed.





      If there are 3 real roots, then since $x = 0$ is always a local extreme, at least one has to be positive and another has to be negative. Also, if $A leq -3/sqrt[3]{4}$ and the location of the moving extreme is $x=-2A/3 > 0,$ then the remaining real root has to be positive.



      If there's only 1 real root, then $A > -3/sqrt[3]{4}$ and the moving extreme is located at $x < sqrt[3]{2}.$ Thus the only real root must be negative.






      share|cite|improve this answer











      $endgroup$









      • 2




        $begingroup$
        How do we find the signs of the real roots? By actually finding them or is there a shortcut?
        $endgroup$
        – JennyToy
        Jan 6 at 20:21






      • 1




        $begingroup$
        @JennyToy I should've reread the questions before submitting the first time, sorry! How's the edit?
        $endgroup$
        – Skip
        Jan 6 at 20:45














      8












      8








      8





      $begingroup$

      If we can show that the value of $A$ changes the amount of maxima or minima from 1 to 2 such that one extreme is at a positive $y$-location and the other at a zero or negative $y$-location, then we know that this value of $A$ is the border for all real solutions versus 1 real and 2 complex solutions.



      Denote $f(x) = x^3 + Ax^2 + 1.$



      $$f'(x) = 3x^2+2Ax=x(3x+2A) = 0.$$



      We see that $f(0)$ is always either a local maximum or minimum and $f(0) > 0.$ The other zero is given by $x = -2A/3 = xi.$



      We need $f(xi) leq 0.$



      $$f(xi) = frac{4}{27}A^3 + 1 leq 0$$



      solves for the values of $A$ where 3 real solutions are guaranteed.





      If there are 3 real roots, then since $x = 0$ is always a local extreme, at least one has to be positive and another has to be negative. Also, if $A leq -3/sqrt[3]{4}$ and the location of the moving extreme is $x=-2A/3 > 0,$ then the remaining real root has to be positive.



      If there's only 1 real root, then $A > -3/sqrt[3]{4}$ and the moving extreme is located at $x < sqrt[3]{2}.$ Thus the only real root must be negative.






      share|cite|improve this answer











      $endgroup$



      If we can show that the value of $A$ changes the amount of maxima or minima from 1 to 2 such that one extreme is at a positive $y$-location and the other at a zero or negative $y$-location, then we know that this value of $A$ is the border for all real solutions versus 1 real and 2 complex solutions.



      Denote $f(x) = x^3 + Ax^2 + 1.$



      $$f'(x) = 3x^2+2Ax=x(3x+2A) = 0.$$



      We see that $f(0)$ is always either a local maximum or minimum and $f(0) > 0.$ The other zero is given by $x = -2A/3 = xi.$



      We need $f(xi) leq 0.$



      $$f(xi) = frac{4}{27}A^3 + 1 leq 0$$



      solves for the values of $A$ where 3 real solutions are guaranteed.





      If there are 3 real roots, then since $x = 0$ is always a local extreme, at least one has to be positive and another has to be negative. Also, if $A leq -3/sqrt[3]{4}$ and the location of the moving extreme is $x=-2A/3 > 0,$ then the remaining real root has to be positive.



      If there's only 1 real root, then $A > -3/sqrt[3]{4}$ and the moving extreme is located at $x < sqrt[3]{2}.$ Thus the only real root must be negative.







      share|cite|improve this answer














      share|cite|improve this answer



      share|cite|improve this answer








      edited Jan 6 at 20:44

























      answered Jan 6 at 20:19









      SkipSkip

      1,378214




      1,378214








      • 2




        $begingroup$
        How do we find the signs of the real roots? By actually finding them or is there a shortcut?
        $endgroup$
        – JennyToy
        Jan 6 at 20:21






      • 1




        $begingroup$
        @JennyToy I should've reread the questions before submitting the first time, sorry! How's the edit?
        $endgroup$
        – Skip
        Jan 6 at 20:45














      • 2




        $begingroup$
        How do we find the signs of the real roots? By actually finding them or is there a shortcut?
        $endgroup$
        – JennyToy
        Jan 6 at 20:21






      • 1




        $begingroup$
        @JennyToy I should've reread the questions before submitting the first time, sorry! How's the edit?
        $endgroup$
        – Skip
        Jan 6 at 20:45








      2




      2




      $begingroup$
      How do we find the signs of the real roots? By actually finding them or is there a shortcut?
      $endgroup$
      – JennyToy
      Jan 6 at 20:21




      $begingroup$
      How do we find the signs of the real roots? By actually finding them or is there a shortcut?
      $endgroup$
      – JennyToy
      Jan 6 at 20:21




      1




      1




      $begingroup$
      @JennyToy I should've reread the questions before submitting the first time, sorry! How's the edit?
      $endgroup$
      – Skip
      Jan 6 at 20:45




      $begingroup$
      @JennyToy I should've reread the questions before submitting the first time, sorry! How's the edit?
      $endgroup$
      – Skip
      Jan 6 at 20:45











      3












      $begingroup$

      hint



      Put $$A=-frac 32B$$ and
      $$f(x)=x^3-frac 32Bx^2+1.$$



      $$f'(x)=3x(x-B).$$



      $$f(0)=1$$
      to have three real roots, we need



      $$B>0 text{ and } f(B)<0.$$






      share|cite|improve this answer









      $endgroup$









      • 2




        $begingroup$
        To find when there are 3 real roots or one only use the sign of the discriminant $Delta = -4A^{3}-27$. Thus if $A=-3/2^{2/3}$ there are 3 equal real roots. If $A<-3/2^{2/3}$ there are 3 real distinct roots. And if $A>-3/2^{2/3}$ there is one real root and two (complex conjugate) complex roots. Unfortunately to find the signs of the real roots we probably need to actually find the roots.
        $endgroup$
        – user2175783
        Jan 6 at 20:13










      • $begingroup$
        @user2175783 If $A=-frac{3}{2^{2/3}}$, then there are a negative zero and a double zero on the positive axis.
        $endgroup$
        – Hanno
        Jan 12 at 22:17
















      3












      $begingroup$

      hint



      Put $$A=-frac 32B$$ and
      $$f(x)=x^3-frac 32Bx^2+1.$$



      $$f'(x)=3x(x-B).$$



      $$f(0)=1$$
      to have three real roots, we need



      $$B>0 text{ and } f(B)<0.$$






      share|cite|improve this answer









      $endgroup$









      • 2




        $begingroup$
        To find when there are 3 real roots or one only use the sign of the discriminant $Delta = -4A^{3}-27$. Thus if $A=-3/2^{2/3}$ there are 3 equal real roots. If $A<-3/2^{2/3}$ there are 3 real distinct roots. And if $A>-3/2^{2/3}$ there is one real root and two (complex conjugate) complex roots. Unfortunately to find the signs of the real roots we probably need to actually find the roots.
        $endgroup$
        – user2175783
        Jan 6 at 20:13










      • $begingroup$
        @user2175783 If $A=-frac{3}{2^{2/3}}$, then there are a negative zero and a double zero on the positive axis.
        $endgroup$
        – Hanno
        Jan 12 at 22:17














      3












      3








      3





      $begingroup$

      hint



      Put $$A=-frac 32B$$ and
      $$f(x)=x^3-frac 32Bx^2+1.$$



      $$f'(x)=3x(x-B).$$



      $$f(0)=1$$
      to have three real roots, we need



      $$B>0 text{ and } f(B)<0.$$






      share|cite|improve this answer









      $endgroup$



      hint



      Put $$A=-frac 32B$$ and
      $$f(x)=x^3-frac 32Bx^2+1.$$



      $$f'(x)=3x(x-B).$$



      $$f(0)=1$$
      to have three real roots, we need



      $$B>0 text{ and } f(B)<0.$$







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      answered Jan 6 at 19:50









      hamam_Abdallahhamam_Abdallah

      38k21634




      38k21634








      • 2




        $begingroup$
        To find when there are 3 real roots or one only use the sign of the discriminant $Delta = -4A^{3}-27$. Thus if $A=-3/2^{2/3}$ there are 3 equal real roots. If $A<-3/2^{2/3}$ there are 3 real distinct roots. And if $A>-3/2^{2/3}$ there is one real root and two (complex conjugate) complex roots. Unfortunately to find the signs of the real roots we probably need to actually find the roots.
        $endgroup$
        – user2175783
        Jan 6 at 20:13










      • $begingroup$
        @user2175783 If $A=-frac{3}{2^{2/3}}$, then there are a negative zero and a double zero on the positive axis.
        $endgroup$
        – Hanno
        Jan 12 at 22:17














      • 2




        $begingroup$
        To find when there are 3 real roots or one only use the sign of the discriminant $Delta = -4A^{3}-27$. Thus if $A=-3/2^{2/3}$ there are 3 equal real roots. If $A<-3/2^{2/3}$ there are 3 real distinct roots. And if $A>-3/2^{2/3}$ there is one real root and two (complex conjugate) complex roots. Unfortunately to find the signs of the real roots we probably need to actually find the roots.
        $endgroup$
        – user2175783
        Jan 6 at 20:13










      • $begingroup$
        @user2175783 If $A=-frac{3}{2^{2/3}}$, then there are a negative zero and a double zero on the positive axis.
        $endgroup$
        – Hanno
        Jan 12 at 22:17








      2




      2




      $begingroup$
      To find when there are 3 real roots or one only use the sign of the discriminant $Delta = -4A^{3}-27$. Thus if $A=-3/2^{2/3}$ there are 3 equal real roots. If $A<-3/2^{2/3}$ there are 3 real distinct roots. And if $A>-3/2^{2/3}$ there is one real root and two (complex conjugate) complex roots. Unfortunately to find the signs of the real roots we probably need to actually find the roots.
      $endgroup$
      – user2175783
      Jan 6 at 20:13




      $begingroup$
      To find when there are 3 real roots or one only use the sign of the discriminant $Delta = -4A^{3}-27$. Thus if $A=-3/2^{2/3}$ there are 3 equal real roots. If $A<-3/2^{2/3}$ there are 3 real distinct roots. And if $A>-3/2^{2/3}$ there is one real root and two (complex conjugate) complex roots. Unfortunately to find the signs of the real roots we probably need to actually find the roots.
      $endgroup$
      – user2175783
      Jan 6 at 20:13












      $begingroup$
      @user2175783 If $A=-frac{3}{2^{2/3}}$, then there are a negative zero and a double zero on the positive axis.
      $endgroup$
      – Hanno
      Jan 12 at 22:17




      $begingroup$
      @user2175783 If $A=-frac{3}{2^{2/3}}$, then there are a negative zero and a double zero on the positive axis.
      $endgroup$
      – Hanno
      Jan 12 at 22:17











      3












      $begingroup$

      The stationary points of $f(x)$ lie at $x=0$ and at $x=-frac{2A}{3}$ and the sign of
      $$ f(0)fleft(-tfrac{2A}{3}right) = 1+tfrac{4}{27}A^3$$
      decides if there are three real roots (<0), a simple real root (>0) or a double real root and a simple real root (=0). This happens since the sign of $ f(0)fleft(-tfrac{2A}{3}right)$ only depends on the stationary values having the same sign or not.






      share|cite|improve this answer









      $endgroup$


















        3












        $begingroup$

        The stationary points of $f(x)$ lie at $x=0$ and at $x=-frac{2A}{3}$ and the sign of
        $$ f(0)fleft(-tfrac{2A}{3}right) = 1+tfrac{4}{27}A^3$$
        decides if there are three real roots (<0), a simple real root (>0) or a double real root and a simple real root (=0). This happens since the sign of $ f(0)fleft(-tfrac{2A}{3}right)$ only depends on the stationary values having the same sign or not.






        share|cite|improve this answer









        $endgroup$
















          3












          3








          3





          $begingroup$

          The stationary points of $f(x)$ lie at $x=0$ and at $x=-frac{2A}{3}$ and the sign of
          $$ f(0)fleft(-tfrac{2A}{3}right) = 1+tfrac{4}{27}A^3$$
          decides if there are three real roots (<0), a simple real root (>0) or a double real root and a simple real root (=0). This happens since the sign of $ f(0)fleft(-tfrac{2A}{3}right)$ only depends on the stationary values having the same sign or not.






          share|cite|improve this answer









          $endgroup$



          The stationary points of $f(x)$ lie at $x=0$ and at $x=-frac{2A}{3}$ and the sign of
          $$ f(0)fleft(-tfrac{2A}{3}right) = 1+tfrac{4}{27}A^3$$
          decides if there are three real roots (<0), a simple real root (>0) or a double real root and a simple real root (=0). This happens since the sign of $ f(0)fleft(-tfrac{2A}{3}right)$ only depends on the stationary values having the same sign or not.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Jan 6 at 20:47









          Jack D'AurizioJack D'Aurizio

          288k33280660




          288k33280660























              3












              $begingroup$

              Too late at the party. But it looks good, so let's enter anyway.





              TL;DR
              $quad f(x)=x^3+Ax^2+1,$ always has a simple zero on the negative axis.
              The other two zeros are




              • real, positive and distinct, if $,A<-1.88988:=:-dfrac{3}{sqrt[3]{4}}:=:A_1$

              • merging into a double zero at $x=sqrt[3]{2}$, if $,A=A_1$

              • non-real (thus complex-conjugate), if $,A>A_1$




              The party-giver also asked if there is an analytical way of finding this as a function of $A$?

              Let's take a step in this direction, concentrating on the case of "one real zero", and express the negative zero as a function of $A$:

              Let $,d=big(frac A3big)^3 + big(frac 12big)^2$, and assume $d>0$ which corresponds to $,A>A_1$. Define
              $$r :=:left(-frac 12 -sqrt dright)^frac 13
              +, left(-frac 12 +sqrt dright)^frac 13,,$$

              $r,$ is observed to be strictly negative. Then
              $$begin{align}
              r^2:= & ;left(-frac 12 -sqrt dright)^frac 23
              +, left(-frac 12 +sqrt dright)^frac 23 -frac23 A \[2ex]
              r^3:= & ; -frac23 Ar + left(-frac 12 -sqrt dright)
              +, left(-frac 12 +sqrt dright) \
              & quad -frac13 A left{ left(-frac 12 -sqrt dright)^frac 13
              +, left(-frac 12 +sqrt dright)^frac 13right} \
              = & -Ar - 1
              end{align}$$

              Whence
              $$1+Ar+r^3=0quadLongleftrightarrowquadfrac1{r^3}+Afrac1{r^2}+1 =0 \[2ex]
              Longrightarrowquad x :=: frac1r :=: -r^2-A :=: -frac13 A
              -left(sqrt d + frac 12right)^frac 23
              -, left(sqrt d -frac12right)^frac 23 $$

              satisfies $x^3+Ax^2+1=0$.



              Added in Edit: Driven by user2175783's comment as of below, I found Lecture 4 in Mathematical Omnibus: 30 Lectures on Classic Maths by D. Fuchs + S. Tabachnikov: It gives an extensive and readable account of how to explicitly solve the cubic and quartic equations.





              Visual TL;DR



              By courtesy of WolframAlpha






              share|cite|improve this answer











              $endgroup$













              • $begingroup$
                Wouldnt it be possible to generalize the algebra for the negative root for $A<A_{1}$?
                $endgroup$
                – user2175783
                Jan 13 at 0:14






              • 1




                $begingroup$
                @user2175783 I did not look closer at that case. I'd say there's no ambiguity for the sign of $sqrt d$ because $r$ is a symmetrical expression. But afterwards complex cube roots have to be considered which might involve some choice.
                $endgroup$
                – Hanno
                Jan 13 at 9:31
















              3












              $begingroup$

              Too late at the party. But it looks good, so let's enter anyway.





              TL;DR
              $quad f(x)=x^3+Ax^2+1,$ always has a simple zero on the negative axis.
              The other two zeros are




              • real, positive and distinct, if $,A<-1.88988:=:-dfrac{3}{sqrt[3]{4}}:=:A_1$

              • merging into a double zero at $x=sqrt[3]{2}$, if $,A=A_1$

              • non-real (thus complex-conjugate), if $,A>A_1$




              The party-giver also asked if there is an analytical way of finding this as a function of $A$?

              Let's take a step in this direction, concentrating on the case of "one real zero", and express the negative zero as a function of $A$:

              Let $,d=big(frac A3big)^3 + big(frac 12big)^2$, and assume $d>0$ which corresponds to $,A>A_1$. Define
              $$r :=:left(-frac 12 -sqrt dright)^frac 13
              +, left(-frac 12 +sqrt dright)^frac 13,,$$

              $r,$ is observed to be strictly negative. Then
              $$begin{align}
              r^2:= & ;left(-frac 12 -sqrt dright)^frac 23
              +, left(-frac 12 +sqrt dright)^frac 23 -frac23 A \[2ex]
              r^3:= & ; -frac23 Ar + left(-frac 12 -sqrt dright)
              +, left(-frac 12 +sqrt dright) \
              & quad -frac13 A left{ left(-frac 12 -sqrt dright)^frac 13
              +, left(-frac 12 +sqrt dright)^frac 13right} \
              = & -Ar - 1
              end{align}$$

              Whence
              $$1+Ar+r^3=0quadLongleftrightarrowquadfrac1{r^3}+Afrac1{r^2}+1 =0 \[2ex]
              Longrightarrowquad x :=: frac1r :=: -r^2-A :=: -frac13 A
              -left(sqrt d + frac 12right)^frac 23
              -, left(sqrt d -frac12right)^frac 23 $$

              satisfies $x^3+Ax^2+1=0$.



              Added in Edit: Driven by user2175783's comment as of below, I found Lecture 4 in Mathematical Omnibus: 30 Lectures on Classic Maths by D. Fuchs + S. Tabachnikov: It gives an extensive and readable account of how to explicitly solve the cubic and quartic equations.





              Visual TL;DR



              By courtesy of WolframAlpha






              share|cite|improve this answer











              $endgroup$













              • $begingroup$
                Wouldnt it be possible to generalize the algebra for the negative root for $A<A_{1}$?
                $endgroup$
                – user2175783
                Jan 13 at 0:14






              • 1




                $begingroup$
                @user2175783 I did not look closer at that case. I'd say there's no ambiguity for the sign of $sqrt d$ because $r$ is a symmetrical expression. But afterwards complex cube roots have to be considered which might involve some choice.
                $endgroup$
                – Hanno
                Jan 13 at 9:31














              3












              3








              3





              $begingroup$

              Too late at the party. But it looks good, so let's enter anyway.





              TL;DR
              $quad f(x)=x^3+Ax^2+1,$ always has a simple zero on the negative axis.
              The other two zeros are




              • real, positive and distinct, if $,A<-1.88988:=:-dfrac{3}{sqrt[3]{4}}:=:A_1$

              • merging into a double zero at $x=sqrt[3]{2}$, if $,A=A_1$

              • non-real (thus complex-conjugate), if $,A>A_1$




              The party-giver also asked if there is an analytical way of finding this as a function of $A$?

              Let's take a step in this direction, concentrating on the case of "one real zero", and express the negative zero as a function of $A$:

              Let $,d=big(frac A3big)^3 + big(frac 12big)^2$, and assume $d>0$ which corresponds to $,A>A_1$. Define
              $$r :=:left(-frac 12 -sqrt dright)^frac 13
              +, left(-frac 12 +sqrt dright)^frac 13,,$$

              $r,$ is observed to be strictly negative. Then
              $$begin{align}
              r^2:= & ;left(-frac 12 -sqrt dright)^frac 23
              +, left(-frac 12 +sqrt dright)^frac 23 -frac23 A \[2ex]
              r^3:= & ; -frac23 Ar + left(-frac 12 -sqrt dright)
              +, left(-frac 12 +sqrt dright) \
              & quad -frac13 A left{ left(-frac 12 -sqrt dright)^frac 13
              +, left(-frac 12 +sqrt dright)^frac 13right} \
              = & -Ar - 1
              end{align}$$

              Whence
              $$1+Ar+r^3=0quadLongleftrightarrowquadfrac1{r^3}+Afrac1{r^2}+1 =0 \[2ex]
              Longrightarrowquad x :=: frac1r :=: -r^2-A :=: -frac13 A
              -left(sqrt d + frac 12right)^frac 23
              -, left(sqrt d -frac12right)^frac 23 $$

              satisfies $x^3+Ax^2+1=0$.



              Added in Edit: Driven by user2175783's comment as of below, I found Lecture 4 in Mathematical Omnibus: 30 Lectures on Classic Maths by D. Fuchs + S. Tabachnikov: It gives an extensive and readable account of how to explicitly solve the cubic and quartic equations.





              Visual TL;DR



              By courtesy of WolframAlpha






              share|cite|improve this answer











              $endgroup$



              Too late at the party. But it looks good, so let's enter anyway.





              TL;DR
              $quad f(x)=x^3+Ax^2+1,$ always has a simple zero on the negative axis.
              The other two zeros are




              • real, positive and distinct, if $,A<-1.88988:=:-dfrac{3}{sqrt[3]{4}}:=:A_1$

              • merging into a double zero at $x=sqrt[3]{2}$, if $,A=A_1$

              • non-real (thus complex-conjugate), if $,A>A_1$




              The party-giver also asked if there is an analytical way of finding this as a function of $A$?

              Let's take a step in this direction, concentrating on the case of "one real zero", and express the negative zero as a function of $A$:

              Let $,d=big(frac A3big)^3 + big(frac 12big)^2$, and assume $d>0$ which corresponds to $,A>A_1$. Define
              $$r :=:left(-frac 12 -sqrt dright)^frac 13
              +, left(-frac 12 +sqrt dright)^frac 13,,$$

              $r,$ is observed to be strictly negative. Then
              $$begin{align}
              r^2:= & ;left(-frac 12 -sqrt dright)^frac 23
              +, left(-frac 12 +sqrt dright)^frac 23 -frac23 A \[2ex]
              r^3:= & ; -frac23 Ar + left(-frac 12 -sqrt dright)
              +, left(-frac 12 +sqrt dright) \
              & quad -frac13 A left{ left(-frac 12 -sqrt dright)^frac 13
              +, left(-frac 12 +sqrt dright)^frac 13right} \
              = & -Ar - 1
              end{align}$$

              Whence
              $$1+Ar+r^3=0quadLongleftrightarrowquadfrac1{r^3}+Afrac1{r^2}+1 =0 \[2ex]
              Longrightarrowquad x :=: frac1r :=: -r^2-A :=: -frac13 A
              -left(sqrt d + frac 12right)^frac 23
              -, left(sqrt d -frac12right)^frac 23 $$

              satisfies $x^3+Ax^2+1=0$.



              Added in Edit: Driven by user2175783's comment as of below, I found Lecture 4 in Mathematical Omnibus: 30 Lectures on Classic Maths by D. Fuchs + S. Tabachnikov: It gives an extensive and readable account of how to explicitly solve the cubic and quartic equations.





              Visual TL;DR



              By courtesy of WolframAlpha







              share|cite|improve this answer














              share|cite|improve this answer



              share|cite|improve this answer








              edited Jan 13 at 17:10

























              answered Jan 12 at 22:30









              HannoHanno

              2,106425




              2,106425












              • $begingroup$
                Wouldnt it be possible to generalize the algebra for the negative root for $A<A_{1}$?
                $endgroup$
                – user2175783
                Jan 13 at 0:14






              • 1




                $begingroup$
                @user2175783 I did not look closer at that case. I'd say there's no ambiguity for the sign of $sqrt d$ because $r$ is a symmetrical expression. But afterwards complex cube roots have to be considered which might involve some choice.
                $endgroup$
                – Hanno
                Jan 13 at 9:31


















              • $begingroup$
                Wouldnt it be possible to generalize the algebra for the negative root for $A<A_{1}$?
                $endgroup$
                – user2175783
                Jan 13 at 0:14






              • 1




                $begingroup$
                @user2175783 I did not look closer at that case. I'd say there's no ambiguity for the sign of $sqrt d$ because $r$ is a symmetrical expression. But afterwards complex cube roots have to be considered which might involve some choice.
                $endgroup$
                – Hanno
                Jan 13 at 9:31
















              $begingroup$
              Wouldnt it be possible to generalize the algebra for the negative root for $A<A_{1}$?
              $endgroup$
              – user2175783
              Jan 13 at 0:14




              $begingroup$
              Wouldnt it be possible to generalize the algebra for the negative root for $A<A_{1}$?
              $endgroup$
              – user2175783
              Jan 13 at 0:14




              1




              1




              $begingroup$
              @user2175783 I did not look closer at that case. I'd say there's no ambiguity for the sign of $sqrt d$ because $r$ is a symmetrical expression. But afterwards complex cube roots have to be considered which might involve some choice.
              $endgroup$
              – Hanno
              Jan 13 at 9:31




              $begingroup$
              @user2175783 I did not look closer at that case. I'd say there's no ambiguity for the sign of $sqrt d$ because $r$ is a symmetrical expression. But afterwards complex cube roots have to be considered which might involve some choice.
              $endgroup$
              – Hanno
              Jan 13 at 9:31











              1












              $begingroup$

              The discriminant of a cubic polynomial with real coefficients is $0$ when the polynomial has two (or more) equal roots, positive when there are three distinct real roots, and negative when there are one real and two non-real roots. In your case it is $-4 A^3 - 27$.






              share|cite|improve this answer









              $endgroup$


















                1












                $begingroup$

                The discriminant of a cubic polynomial with real coefficients is $0$ when the polynomial has two (or more) equal roots, positive when there are three distinct real roots, and negative when there are one real and two non-real roots. In your case it is $-4 A^3 - 27$.






                share|cite|improve this answer









                $endgroup$
















                  1












                  1








                  1





                  $begingroup$

                  The discriminant of a cubic polynomial with real coefficients is $0$ when the polynomial has two (or more) equal roots, positive when there are three distinct real roots, and negative when there are one real and two non-real roots. In your case it is $-4 A^3 - 27$.






                  share|cite|improve this answer









                  $endgroup$



                  The discriminant of a cubic polynomial with real coefficients is $0$ when the polynomial has two (or more) equal roots, positive when there are three distinct real roots, and negative when there are one real and two non-real roots. In your case it is $-4 A^3 - 27$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Jan 6 at 20:45









                  Robert IsraelRobert Israel

                  320k23209461




                  320k23209461






























                      draft saved

                      draft discarded




















































                      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.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3064314%2fon-the-number-of-roots-of-the-polynomial-x3ax21-0%23new-answer', 'question_page');
                      }
                      );

                      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







                      Popular posts from this blog

                      Human spaceflight

                      Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

                      張江高科駅