Solving a cubic diophantine equation $ax^3+bx^2=cy^3$












0












$begingroup$


I want to know how to solve the equation $ax^3+bx^2=cy^3$ in positive integers $x$ and $y$, assuming $a, b, c$ are positive integers and $gcd(a, b, c) = 1$. If there is not a general algorithm, I would like to solve more specific ones, such as when $a$ and/or $b$ and/or $c$ equal $1$. I have tried searching online, but could not find an algorithm to solve this.



Edit: How would the answer change if a and c are both 1, while b is a positive integer?










share|cite|improve this question











$endgroup$

















    0












    $begingroup$


    I want to know how to solve the equation $ax^3+bx^2=cy^3$ in positive integers $x$ and $y$, assuming $a, b, c$ are positive integers and $gcd(a, b, c) = 1$. If there is not a general algorithm, I would like to solve more specific ones, such as when $a$ and/or $b$ and/or $c$ equal $1$. I have tried searching online, but could not find an algorithm to solve this.



    Edit: How would the answer change if a and c are both 1, while b is a positive integer?










    share|cite|improve this question











    $endgroup$















      0












      0








      0


      0



      $begingroup$


      I want to know how to solve the equation $ax^3+bx^2=cy^3$ in positive integers $x$ and $y$, assuming $a, b, c$ are positive integers and $gcd(a, b, c) = 1$. If there is not a general algorithm, I would like to solve more specific ones, such as when $a$ and/or $b$ and/or $c$ equal $1$. I have tried searching online, but could not find an algorithm to solve this.



      Edit: How would the answer change if a and c are both 1, while b is a positive integer?










      share|cite|improve this question











      $endgroup$




      I want to know how to solve the equation $ax^3+bx^2=cy^3$ in positive integers $x$ and $y$, assuming $a, b, c$ are positive integers and $gcd(a, b, c) = 1$. If there is not a general algorithm, I would like to solve more specific ones, such as when $a$ and/or $b$ and/or $c$ equal $1$. I have tried searching online, but could not find an algorithm to solve this.



      Edit: How would the answer change if a and c are both 1, while b is a positive integer?







      diophantine-equations cubic-equations






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jan 17 at 22:56







      LittleKnownMathematician

















      asked Jan 17 at 13:07









      LittleKnownMathematicianLittleKnownMathematician

      507




      507






















          4 Answers
          4






          active

          oldest

          votes


















          0












          $begingroup$

          This is a special case of the generalized Fermat equation
          $$
          ax^p+by^q=cz^r
          $$

          for $(p,q,r)=(2,3,3)$. This case is spherical, because
          $$
          frac{1}{p}+frac{1}{q}+frac{1}{r}>1.
          $$

          So there is either no non-trivial solution, or infinitely many solutions, which can be constructed by a finite set of polynomial parametrisations of the equation, see here:



          F.Beukers, The diophantine equation $Ax^p + By^q = Cz^r$, Duke Math.J. 91(1998), 61-88.



          Then you can specify the solutions satisfying $y=x$. For example, when $a=b=c=1$, then $x^2+x^3=y^3$ has only the trivial solution $x=y=0$. This fact also follows from this question:



          Integer solutions of $x^3+y^3=z^2$






          share|cite|improve this answer











          $endgroup$





















            0












            $begingroup$

            $$ x^3 + y^3 = z^2 $$
            1 pic.
            $$ y = a x $$
            $$ (3 a - 2 b) x = b^2 - 3 a^2 $$
            enter image description here



            enter image description here



            enter image description here



            enter image description here






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              Note that none of them satisfies $z=x$, since we need $x^3+y^3=x^2$, and not $z^2$.
              $endgroup$
              – Dietrich Burde
              Jan 17 at 19:14












            • $begingroup$
              $y=ax$ is not the right transformation. We need $z=ax$.
              $endgroup$
              – Dietrich Burde
              Jan 17 at 19:34










            • $begingroup$
              $$ a (s n k^3)^3 + (n (e h^3 - a s k^3)) (s n k^3)^2 = (s s e) (n k^2 h)^3 $$
              $endgroup$
              – S. I.
              Jan 18 at 18:29



















            0












            $begingroup$

            This equation gives you a (singular) genus 0 curve for any choice of $a,b,c$. Now, there is a famous theorem by Siegel which asserts that there are a finite number of integral solutions if the number of points at infinity (over $mathbb{C}$) is 3 or larger. In you case the points at infinity are the points (in projective coordinates $[x:y:z]$) equal to
            $[1: xi: 0]$, with $xi^3=(c/a)$, which are clearly 3.



            So for any given $a$, $b$ and $c$ there is only a finite number of integer solutions.



            I expect there is no general formula for this solutions.



            Except may be some special values of $a$, $b$ and $c$, I guess that the equation will only have between 0 and 1 solution in coprime strictly positive integers ($x>0$ and $y>0$).



            The usual "method" to find all the solutions is to do a search on "small solutions", and then try to show there are no others: either because you have a theorem telling you that all the solutions must be small, or by congruence considerations, or with arguments working over some cubic field.



            Edit



            For the special case $a=c=1$, observe that, if $b=r^3-s^3$ for some integers $r>s>1$, there is a "trivial solution" $x=s^3$ and $y=rs^2$. This can be extended to the case $b=t(r^3-s^3)$ for some integers $r>s>0$ and $t>0$, and we get the solution $(x,y)=(s^3t,rs^2t)$.



            Guess: Any solution $(x,y)$ with strictly positive integers of $y^3=x^3+bx^2$, for $b>0$ integer, verifies that, if $t=gcd(x,y,b)$, $gcd(x,y)=ts^2$ for some $s>0$, and $x=s^3t$, $y=rs^2t$ for some $r>0$. In particular, if $gcd(x,y)=1$, then $x=1$.



            I tested this guess for $b$ up to 800 and "small" solutions and it seems it holds.






            share|cite|improve this answer











            $endgroup$





















              0












              $begingroup$

              Equation, $ax^3+bx^2=cy^3$



              "SI" above has given parametric solution (and is shown below):



              $a (s n k^3)^3 + (ne h^3 - an s k^3) (s n k^3)^2 = (s^2e) (n k^2 h)^3$



              For $(a,s,n,k,e,h)=(3,1,5,1,3,2)$ the solution is:



              $(a,b,c)=(1,35,1)$



              $(x,y)=(5,10)$



              Another numerical solution is:



              $2(6)^3+4(6)^2=9(4)^3$






              share|cite|improve this answer









              $endgroup$













              • $begingroup$
                Welcome to Mathematics Stack Exchange! Take the short tour to see how how to get the most from your time here.
                $endgroup$
                – dantopa
                Jan 19 at 4:23











              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%2f3076945%2fsolving-a-cubic-diophantine-equation-ax3bx2-cy3%23new-answer', 'question_page');
              }
              );

              Post as a guest















              Required, but never shown

























              4 Answers
              4






              active

              oldest

              votes








              4 Answers
              4






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              0












              $begingroup$

              This is a special case of the generalized Fermat equation
              $$
              ax^p+by^q=cz^r
              $$

              for $(p,q,r)=(2,3,3)$. This case is spherical, because
              $$
              frac{1}{p}+frac{1}{q}+frac{1}{r}>1.
              $$

              So there is either no non-trivial solution, or infinitely many solutions, which can be constructed by a finite set of polynomial parametrisations of the equation, see here:



              F.Beukers, The diophantine equation $Ax^p + By^q = Cz^r$, Duke Math.J. 91(1998), 61-88.



              Then you can specify the solutions satisfying $y=x$. For example, when $a=b=c=1$, then $x^2+x^3=y^3$ has only the trivial solution $x=y=0$. This fact also follows from this question:



              Integer solutions of $x^3+y^3=z^2$






              share|cite|improve this answer











              $endgroup$


















                0












                $begingroup$

                This is a special case of the generalized Fermat equation
                $$
                ax^p+by^q=cz^r
                $$

                for $(p,q,r)=(2,3,3)$. This case is spherical, because
                $$
                frac{1}{p}+frac{1}{q}+frac{1}{r}>1.
                $$

                So there is either no non-trivial solution, or infinitely many solutions, which can be constructed by a finite set of polynomial parametrisations of the equation, see here:



                F.Beukers, The diophantine equation $Ax^p + By^q = Cz^r$, Duke Math.J. 91(1998), 61-88.



                Then you can specify the solutions satisfying $y=x$. For example, when $a=b=c=1$, then $x^2+x^3=y^3$ has only the trivial solution $x=y=0$. This fact also follows from this question:



                Integer solutions of $x^3+y^3=z^2$






                share|cite|improve this answer











                $endgroup$
















                  0












                  0








                  0





                  $begingroup$

                  This is a special case of the generalized Fermat equation
                  $$
                  ax^p+by^q=cz^r
                  $$

                  for $(p,q,r)=(2,3,3)$. This case is spherical, because
                  $$
                  frac{1}{p}+frac{1}{q}+frac{1}{r}>1.
                  $$

                  So there is either no non-trivial solution, or infinitely many solutions, which can be constructed by a finite set of polynomial parametrisations of the equation, see here:



                  F.Beukers, The diophantine equation $Ax^p + By^q = Cz^r$, Duke Math.J. 91(1998), 61-88.



                  Then you can specify the solutions satisfying $y=x$. For example, when $a=b=c=1$, then $x^2+x^3=y^3$ has only the trivial solution $x=y=0$. This fact also follows from this question:



                  Integer solutions of $x^3+y^3=z^2$






                  share|cite|improve this answer











                  $endgroup$



                  This is a special case of the generalized Fermat equation
                  $$
                  ax^p+by^q=cz^r
                  $$

                  for $(p,q,r)=(2,3,3)$. This case is spherical, because
                  $$
                  frac{1}{p}+frac{1}{q}+frac{1}{r}>1.
                  $$

                  So there is either no non-trivial solution, or infinitely many solutions, which can be constructed by a finite set of polynomial parametrisations of the equation, see here:



                  F.Beukers, The diophantine equation $Ax^p + By^q = Cz^r$, Duke Math.J. 91(1998), 61-88.



                  Then you can specify the solutions satisfying $y=x$. For example, when $a=b=c=1$, then $x^2+x^3=y^3$ has only the trivial solution $x=y=0$. This fact also follows from this question:



                  Integer solutions of $x^3+y^3=z^2$







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Jan 17 at 15:44

























                  answered Jan 17 at 13:25









                  Dietrich BurdeDietrich Burde

                  79.7k647103




                  79.7k647103























                      0












                      $begingroup$

                      $$ x^3 + y^3 = z^2 $$
                      1 pic.
                      $$ y = a x $$
                      $$ (3 a - 2 b) x = b^2 - 3 a^2 $$
                      enter image description here



                      enter image description here



                      enter image description here



                      enter image description here






                      share|cite|improve this answer









                      $endgroup$













                      • $begingroup$
                        Note that none of them satisfies $z=x$, since we need $x^3+y^3=x^2$, and not $z^2$.
                        $endgroup$
                        – Dietrich Burde
                        Jan 17 at 19:14












                      • $begingroup$
                        $y=ax$ is not the right transformation. We need $z=ax$.
                        $endgroup$
                        – Dietrich Burde
                        Jan 17 at 19:34










                      • $begingroup$
                        $$ a (s n k^3)^3 + (n (e h^3 - a s k^3)) (s n k^3)^2 = (s s e) (n k^2 h)^3 $$
                        $endgroup$
                        – S. I.
                        Jan 18 at 18:29
















                      0












                      $begingroup$

                      $$ x^3 + y^3 = z^2 $$
                      1 pic.
                      $$ y = a x $$
                      $$ (3 a - 2 b) x = b^2 - 3 a^2 $$
                      enter image description here



                      enter image description here



                      enter image description here



                      enter image description here






                      share|cite|improve this answer









                      $endgroup$













                      • $begingroup$
                        Note that none of them satisfies $z=x$, since we need $x^3+y^3=x^2$, and not $z^2$.
                        $endgroup$
                        – Dietrich Burde
                        Jan 17 at 19:14












                      • $begingroup$
                        $y=ax$ is not the right transformation. We need $z=ax$.
                        $endgroup$
                        – Dietrich Burde
                        Jan 17 at 19:34










                      • $begingroup$
                        $$ a (s n k^3)^3 + (n (e h^3 - a s k^3)) (s n k^3)^2 = (s s e) (n k^2 h)^3 $$
                        $endgroup$
                        – S. I.
                        Jan 18 at 18:29














                      0












                      0








                      0





                      $begingroup$

                      $$ x^3 + y^3 = z^2 $$
                      1 pic.
                      $$ y = a x $$
                      $$ (3 a - 2 b) x = b^2 - 3 a^2 $$
                      enter image description here



                      enter image description here



                      enter image description here



                      enter image description here






                      share|cite|improve this answer









                      $endgroup$



                      $$ x^3 + y^3 = z^2 $$
                      1 pic.
                      $$ y = a x $$
                      $$ (3 a - 2 b) x = b^2 - 3 a^2 $$
                      enter image description here



                      enter image description here



                      enter image description here



                      enter image description here







                      share|cite|improve this answer












                      share|cite|improve this answer



                      share|cite|improve this answer










                      answered Jan 17 at 18:41









                      S. I.S. I.

                      112




                      112












                      • $begingroup$
                        Note that none of them satisfies $z=x$, since we need $x^3+y^3=x^2$, and not $z^2$.
                        $endgroup$
                        – Dietrich Burde
                        Jan 17 at 19:14












                      • $begingroup$
                        $y=ax$ is not the right transformation. We need $z=ax$.
                        $endgroup$
                        – Dietrich Burde
                        Jan 17 at 19:34










                      • $begingroup$
                        $$ a (s n k^3)^3 + (n (e h^3 - a s k^3)) (s n k^3)^2 = (s s e) (n k^2 h)^3 $$
                        $endgroup$
                        – S. I.
                        Jan 18 at 18:29


















                      • $begingroup$
                        Note that none of them satisfies $z=x$, since we need $x^3+y^3=x^2$, and not $z^2$.
                        $endgroup$
                        – Dietrich Burde
                        Jan 17 at 19:14












                      • $begingroup$
                        $y=ax$ is not the right transformation. We need $z=ax$.
                        $endgroup$
                        – Dietrich Burde
                        Jan 17 at 19:34










                      • $begingroup$
                        $$ a (s n k^3)^3 + (n (e h^3 - a s k^3)) (s n k^3)^2 = (s s e) (n k^2 h)^3 $$
                        $endgroup$
                        – S. I.
                        Jan 18 at 18:29
















                      $begingroup$
                      Note that none of them satisfies $z=x$, since we need $x^3+y^3=x^2$, and not $z^2$.
                      $endgroup$
                      – Dietrich Burde
                      Jan 17 at 19:14






                      $begingroup$
                      Note that none of them satisfies $z=x$, since we need $x^3+y^3=x^2$, and not $z^2$.
                      $endgroup$
                      – Dietrich Burde
                      Jan 17 at 19:14














                      $begingroup$
                      $y=ax$ is not the right transformation. We need $z=ax$.
                      $endgroup$
                      – Dietrich Burde
                      Jan 17 at 19:34




                      $begingroup$
                      $y=ax$ is not the right transformation. We need $z=ax$.
                      $endgroup$
                      – Dietrich Burde
                      Jan 17 at 19:34












                      $begingroup$
                      $$ a (s n k^3)^3 + (n (e h^3 - a s k^3)) (s n k^3)^2 = (s s e) (n k^2 h)^3 $$
                      $endgroup$
                      – S. I.
                      Jan 18 at 18:29




                      $begingroup$
                      $$ a (s n k^3)^3 + (n (e h^3 - a s k^3)) (s n k^3)^2 = (s s e) (n k^2 h)^3 $$
                      $endgroup$
                      – S. I.
                      Jan 18 at 18:29











                      0












                      $begingroup$

                      This equation gives you a (singular) genus 0 curve for any choice of $a,b,c$. Now, there is a famous theorem by Siegel which asserts that there are a finite number of integral solutions if the number of points at infinity (over $mathbb{C}$) is 3 or larger. In you case the points at infinity are the points (in projective coordinates $[x:y:z]$) equal to
                      $[1: xi: 0]$, with $xi^3=(c/a)$, which are clearly 3.



                      So for any given $a$, $b$ and $c$ there is only a finite number of integer solutions.



                      I expect there is no general formula for this solutions.



                      Except may be some special values of $a$, $b$ and $c$, I guess that the equation will only have between 0 and 1 solution in coprime strictly positive integers ($x>0$ and $y>0$).



                      The usual "method" to find all the solutions is to do a search on "small solutions", and then try to show there are no others: either because you have a theorem telling you that all the solutions must be small, or by congruence considerations, or with arguments working over some cubic field.



                      Edit



                      For the special case $a=c=1$, observe that, if $b=r^3-s^3$ for some integers $r>s>1$, there is a "trivial solution" $x=s^3$ and $y=rs^2$. This can be extended to the case $b=t(r^3-s^3)$ for some integers $r>s>0$ and $t>0$, and we get the solution $(x,y)=(s^3t,rs^2t)$.



                      Guess: Any solution $(x,y)$ with strictly positive integers of $y^3=x^3+bx^2$, for $b>0$ integer, verifies that, if $t=gcd(x,y,b)$, $gcd(x,y)=ts^2$ for some $s>0$, and $x=s^3t$, $y=rs^2t$ for some $r>0$. In particular, if $gcd(x,y)=1$, then $x=1$.



                      I tested this guess for $b$ up to 800 and "small" solutions and it seems it holds.






                      share|cite|improve this answer











                      $endgroup$


















                        0












                        $begingroup$

                        This equation gives you a (singular) genus 0 curve for any choice of $a,b,c$. Now, there is a famous theorem by Siegel which asserts that there are a finite number of integral solutions if the number of points at infinity (over $mathbb{C}$) is 3 or larger. In you case the points at infinity are the points (in projective coordinates $[x:y:z]$) equal to
                        $[1: xi: 0]$, with $xi^3=(c/a)$, which are clearly 3.



                        So for any given $a$, $b$ and $c$ there is only a finite number of integer solutions.



                        I expect there is no general formula for this solutions.



                        Except may be some special values of $a$, $b$ and $c$, I guess that the equation will only have between 0 and 1 solution in coprime strictly positive integers ($x>0$ and $y>0$).



                        The usual "method" to find all the solutions is to do a search on "small solutions", and then try to show there are no others: either because you have a theorem telling you that all the solutions must be small, or by congruence considerations, or with arguments working over some cubic field.



                        Edit



                        For the special case $a=c=1$, observe that, if $b=r^3-s^3$ for some integers $r>s>1$, there is a "trivial solution" $x=s^3$ and $y=rs^2$. This can be extended to the case $b=t(r^3-s^3)$ for some integers $r>s>0$ and $t>0$, and we get the solution $(x,y)=(s^3t,rs^2t)$.



                        Guess: Any solution $(x,y)$ with strictly positive integers of $y^3=x^3+bx^2$, for $b>0$ integer, verifies that, if $t=gcd(x,y,b)$, $gcd(x,y)=ts^2$ for some $s>0$, and $x=s^3t$, $y=rs^2t$ for some $r>0$. In particular, if $gcd(x,y)=1$, then $x=1$.



                        I tested this guess for $b$ up to 800 and "small" solutions and it seems it holds.






                        share|cite|improve this answer











                        $endgroup$
















                          0












                          0








                          0





                          $begingroup$

                          This equation gives you a (singular) genus 0 curve for any choice of $a,b,c$. Now, there is a famous theorem by Siegel which asserts that there are a finite number of integral solutions if the number of points at infinity (over $mathbb{C}$) is 3 or larger. In you case the points at infinity are the points (in projective coordinates $[x:y:z]$) equal to
                          $[1: xi: 0]$, with $xi^3=(c/a)$, which are clearly 3.



                          So for any given $a$, $b$ and $c$ there is only a finite number of integer solutions.



                          I expect there is no general formula for this solutions.



                          Except may be some special values of $a$, $b$ and $c$, I guess that the equation will only have between 0 and 1 solution in coprime strictly positive integers ($x>0$ and $y>0$).



                          The usual "method" to find all the solutions is to do a search on "small solutions", and then try to show there are no others: either because you have a theorem telling you that all the solutions must be small, or by congruence considerations, or with arguments working over some cubic field.



                          Edit



                          For the special case $a=c=1$, observe that, if $b=r^3-s^3$ for some integers $r>s>1$, there is a "trivial solution" $x=s^3$ and $y=rs^2$. This can be extended to the case $b=t(r^3-s^3)$ for some integers $r>s>0$ and $t>0$, and we get the solution $(x,y)=(s^3t,rs^2t)$.



                          Guess: Any solution $(x,y)$ with strictly positive integers of $y^3=x^3+bx^2$, for $b>0$ integer, verifies that, if $t=gcd(x,y,b)$, $gcd(x,y)=ts^2$ for some $s>0$, and $x=s^3t$, $y=rs^2t$ for some $r>0$. In particular, if $gcd(x,y)=1$, then $x=1$.



                          I tested this guess for $b$ up to 800 and "small" solutions and it seems it holds.






                          share|cite|improve this answer











                          $endgroup$



                          This equation gives you a (singular) genus 0 curve for any choice of $a,b,c$. Now, there is a famous theorem by Siegel which asserts that there are a finite number of integral solutions if the number of points at infinity (over $mathbb{C}$) is 3 or larger. In you case the points at infinity are the points (in projective coordinates $[x:y:z]$) equal to
                          $[1: xi: 0]$, with $xi^3=(c/a)$, which are clearly 3.



                          So for any given $a$, $b$ and $c$ there is only a finite number of integer solutions.



                          I expect there is no general formula for this solutions.



                          Except may be some special values of $a$, $b$ and $c$, I guess that the equation will only have between 0 and 1 solution in coprime strictly positive integers ($x>0$ and $y>0$).



                          The usual "method" to find all the solutions is to do a search on "small solutions", and then try to show there are no others: either because you have a theorem telling you that all the solutions must be small, or by congruence considerations, or with arguments working over some cubic field.



                          Edit



                          For the special case $a=c=1$, observe that, if $b=r^3-s^3$ for some integers $r>s>1$, there is a "trivial solution" $x=s^3$ and $y=rs^2$. This can be extended to the case $b=t(r^3-s^3)$ for some integers $r>s>0$ and $t>0$, and we get the solution $(x,y)=(s^3t,rs^2t)$.



                          Guess: Any solution $(x,y)$ with strictly positive integers of $y^3=x^3+bx^2$, for $b>0$ integer, verifies that, if $t=gcd(x,y,b)$, $gcd(x,y)=ts^2$ for some $s>0$, and $x=s^3t$, $y=rs^2t$ for some $r>0$. In particular, if $gcd(x,y)=1$, then $x=1$.



                          I tested this guess for $b$ up to 800 and "small" solutions and it seems it holds.







                          share|cite|improve this answer














                          share|cite|improve this answer



                          share|cite|improve this answer








                          edited Jan 18 at 10:52

























                          answered Jan 17 at 21:47









                          xarlesxarles

                          1,50079




                          1,50079























                              0












                              $begingroup$

                              Equation, $ax^3+bx^2=cy^3$



                              "SI" above has given parametric solution (and is shown below):



                              $a (s n k^3)^3 + (ne h^3 - an s k^3) (s n k^3)^2 = (s^2e) (n k^2 h)^3$



                              For $(a,s,n,k,e,h)=(3,1,5,1,3,2)$ the solution is:



                              $(a,b,c)=(1,35,1)$



                              $(x,y)=(5,10)$



                              Another numerical solution is:



                              $2(6)^3+4(6)^2=9(4)^3$






                              share|cite|improve this answer









                              $endgroup$













                              • $begingroup$
                                Welcome to Mathematics Stack Exchange! Take the short tour to see how how to get the most from your time here.
                                $endgroup$
                                – dantopa
                                Jan 19 at 4:23
















                              0












                              $begingroup$

                              Equation, $ax^3+bx^2=cy^3$



                              "SI" above has given parametric solution (and is shown below):



                              $a (s n k^3)^3 + (ne h^3 - an s k^3) (s n k^3)^2 = (s^2e) (n k^2 h)^3$



                              For $(a,s,n,k,e,h)=(3,1,5,1,3,2)$ the solution is:



                              $(a,b,c)=(1,35,1)$



                              $(x,y)=(5,10)$



                              Another numerical solution is:



                              $2(6)^3+4(6)^2=9(4)^3$






                              share|cite|improve this answer









                              $endgroup$













                              • $begingroup$
                                Welcome to Mathematics Stack Exchange! Take the short tour to see how how to get the most from your time here.
                                $endgroup$
                                – dantopa
                                Jan 19 at 4:23














                              0












                              0








                              0





                              $begingroup$

                              Equation, $ax^3+bx^2=cy^3$



                              "SI" above has given parametric solution (and is shown below):



                              $a (s n k^3)^3 + (ne h^3 - an s k^3) (s n k^3)^2 = (s^2e) (n k^2 h)^3$



                              For $(a,s,n,k,e,h)=(3,1,5,1,3,2)$ the solution is:



                              $(a,b,c)=(1,35,1)$



                              $(x,y)=(5,10)$



                              Another numerical solution is:



                              $2(6)^3+4(6)^2=9(4)^3$






                              share|cite|improve this answer









                              $endgroup$



                              Equation, $ax^3+bx^2=cy^3$



                              "SI" above has given parametric solution (and is shown below):



                              $a (s n k^3)^3 + (ne h^3 - an s k^3) (s n k^3)^2 = (s^2e) (n k^2 h)^3$



                              For $(a,s,n,k,e,h)=(3,1,5,1,3,2)$ the solution is:



                              $(a,b,c)=(1,35,1)$



                              $(x,y)=(5,10)$



                              Another numerical solution is:



                              $2(6)^3+4(6)^2=9(4)^3$







                              share|cite|improve this answer












                              share|cite|improve this answer



                              share|cite|improve this answer










                              answered Jan 19 at 4:14









                              SamSam

                              1




                              1












                              • $begingroup$
                                Welcome to Mathematics Stack Exchange! Take the short tour to see how how to get the most from your time here.
                                $endgroup$
                                – dantopa
                                Jan 19 at 4:23


















                              • $begingroup$
                                Welcome to Mathematics Stack Exchange! Take the short tour to see how how to get the most from your time here.
                                $endgroup$
                                – dantopa
                                Jan 19 at 4:23
















                              $begingroup$
                              Welcome to Mathematics Stack Exchange! Take the short tour to see how how to get the most from your time here.
                              $endgroup$
                              – dantopa
                              Jan 19 at 4:23




                              $begingroup$
                              Welcome to Mathematics Stack Exchange! Take the short tour to see how how to get the most from your time here.
                              $endgroup$
                              – dantopa
                              Jan 19 at 4:23


















                              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%2f3076945%2fsolving-a-cubic-diophantine-equation-ax3bx2-cy3%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

                              MongoDB - Not Authorized To Execute Command

                              in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith

                              Npm cannot find a required file even through it is in the searched directory