Integer Solutions of the Equation $u^3 = r^2-s^2$
$begingroup$
The question says the following:
Find all primitive Pythagorean Triangles $x^2+y^2 = z^2$ such that $x$ is a perfect cube.
The general solution for each variable are the following:
$$x=r^2-s^2$$
$$y=2rs$$
$$z=r^2+s^2$$
such that $gcd(r,s) = 1$and $r+s equiv 1 pmod {2}$
In order to make $x$ a perfect cube, I shall have the equation $x=u^3=r^2-s^2$. However, I am stuck to find a general formula for such cubes.
I know that a subset of the solutions might be the difference between two consecutive squares. This difference is always an odd integer. I can collect some examples such $14^2-13^2 = 27$ but I cannot give a formula for such type either.
Any ideas?
number-theory elementary-number-theory diophantine-equations pythagorean-triples
$endgroup$
|
show 2 more comments
$begingroup$
The question says the following:
Find all primitive Pythagorean Triangles $x^2+y^2 = z^2$ such that $x$ is a perfect cube.
The general solution for each variable are the following:
$$x=r^2-s^2$$
$$y=2rs$$
$$z=r^2+s^2$$
such that $gcd(r,s) = 1$and $r+s equiv 1 pmod {2}$
In order to make $x$ a perfect cube, I shall have the equation $x=u^3=r^2-s^2$. However, I am stuck to find a general formula for such cubes.
I know that a subset of the solutions might be the difference between two consecutive squares. This difference is always an odd integer. I can collect some examples such $14^2-13^2 = 27$ but I cannot give a formula for such type either.
Any ideas?
number-theory elementary-number-theory diophantine-equations pythagorean-triples
$endgroup$
$begingroup$
Any cube can be represented by a difference of squares. $$x^3=(y-z)(y+z)$$
$endgroup$
– individ
Dec 19 '18 at 15:06
2
$begingroup$
One general class of solutions is given by $r=frac{u^2+u}{2}$ and $s=frac{u^2-u}{2}$, but I am fairly sure this is not an exhaustive solution set.
$endgroup$
– Frpzzd
Dec 19 '18 at 15:06
$begingroup$
@individ let $y = 5, z= 1$, then $4*6=24$ which is not a cube. My point is that when will $(y-z)(y+z)$ is a cube?
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:10
1
$begingroup$
@MagedSaeed Write $u^3=(r-s)(r+s)$. Since $r+s$ and $r-s$ must have the same parity, and $u$ and $u^2$ must have the same parity, we may let $u=r-s$ and $u^2=r+s$. The same can be done for any two divisors of $u^3$ that have the same parity.
$endgroup$
– Frpzzd
Dec 19 '18 at 15:18
1
$begingroup$
Maged, I'm sure individ meant that if you can write down a factorization, any factorization will do, $u^3=ab$ such that $a$ and $b$ have the same parity, then you can solve for $y$ and $z$ from the system $a=y-z$, $b=y+z$. The choice $a=x$, $b=x^2$ gives you the solution Frpzzd provided.
$endgroup$
– Jyrki Lahtonen
Dec 19 '18 at 15:19
|
show 2 more comments
$begingroup$
The question says the following:
Find all primitive Pythagorean Triangles $x^2+y^2 = z^2$ such that $x$ is a perfect cube.
The general solution for each variable are the following:
$$x=r^2-s^2$$
$$y=2rs$$
$$z=r^2+s^2$$
such that $gcd(r,s) = 1$and $r+s equiv 1 pmod {2}$
In order to make $x$ a perfect cube, I shall have the equation $x=u^3=r^2-s^2$. However, I am stuck to find a general formula for such cubes.
I know that a subset of the solutions might be the difference between two consecutive squares. This difference is always an odd integer. I can collect some examples such $14^2-13^2 = 27$ but I cannot give a formula for such type either.
Any ideas?
number-theory elementary-number-theory diophantine-equations pythagorean-triples
$endgroup$
The question says the following:
Find all primitive Pythagorean Triangles $x^2+y^2 = z^2$ such that $x$ is a perfect cube.
The general solution for each variable are the following:
$$x=r^2-s^2$$
$$y=2rs$$
$$z=r^2+s^2$$
such that $gcd(r,s) = 1$and $r+s equiv 1 pmod {2}$
In order to make $x$ a perfect cube, I shall have the equation $x=u^3=r^2-s^2$. However, I am stuck to find a general formula for such cubes.
I know that a subset of the solutions might be the difference between two consecutive squares. This difference is always an odd integer. I can collect some examples such $14^2-13^2 = 27$ but I cannot give a formula for such type either.
Any ideas?
number-theory elementary-number-theory diophantine-equations pythagorean-triples
number-theory elementary-number-theory diophantine-equations pythagorean-triples
asked Dec 19 '18 at 15:02
Maged SaeedMaged Saeed
8671417
8671417
$begingroup$
Any cube can be represented by a difference of squares. $$x^3=(y-z)(y+z)$$
$endgroup$
– individ
Dec 19 '18 at 15:06
2
$begingroup$
One general class of solutions is given by $r=frac{u^2+u}{2}$ and $s=frac{u^2-u}{2}$, but I am fairly sure this is not an exhaustive solution set.
$endgroup$
– Frpzzd
Dec 19 '18 at 15:06
$begingroup$
@individ let $y = 5, z= 1$, then $4*6=24$ which is not a cube. My point is that when will $(y-z)(y+z)$ is a cube?
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:10
1
$begingroup$
@MagedSaeed Write $u^3=(r-s)(r+s)$. Since $r+s$ and $r-s$ must have the same parity, and $u$ and $u^2$ must have the same parity, we may let $u=r-s$ and $u^2=r+s$. The same can be done for any two divisors of $u^3$ that have the same parity.
$endgroup$
– Frpzzd
Dec 19 '18 at 15:18
1
$begingroup$
Maged, I'm sure individ meant that if you can write down a factorization, any factorization will do, $u^3=ab$ such that $a$ and $b$ have the same parity, then you can solve for $y$ and $z$ from the system $a=y-z$, $b=y+z$. The choice $a=x$, $b=x^2$ gives you the solution Frpzzd provided.
$endgroup$
– Jyrki Lahtonen
Dec 19 '18 at 15:19
|
show 2 more comments
$begingroup$
Any cube can be represented by a difference of squares. $$x^3=(y-z)(y+z)$$
$endgroup$
– individ
Dec 19 '18 at 15:06
2
$begingroup$
One general class of solutions is given by $r=frac{u^2+u}{2}$ and $s=frac{u^2-u}{2}$, but I am fairly sure this is not an exhaustive solution set.
$endgroup$
– Frpzzd
Dec 19 '18 at 15:06
$begingroup$
@individ let $y = 5, z= 1$, then $4*6=24$ which is not a cube. My point is that when will $(y-z)(y+z)$ is a cube?
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:10
1
$begingroup$
@MagedSaeed Write $u^3=(r-s)(r+s)$. Since $r+s$ and $r-s$ must have the same parity, and $u$ and $u^2$ must have the same parity, we may let $u=r-s$ and $u^2=r+s$. The same can be done for any two divisors of $u^3$ that have the same parity.
$endgroup$
– Frpzzd
Dec 19 '18 at 15:18
1
$begingroup$
Maged, I'm sure individ meant that if you can write down a factorization, any factorization will do, $u^3=ab$ such that $a$ and $b$ have the same parity, then you can solve for $y$ and $z$ from the system $a=y-z$, $b=y+z$. The choice $a=x$, $b=x^2$ gives you the solution Frpzzd provided.
$endgroup$
– Jyrki Lahtonen
Dec 19 '18 at 15:19
$begingroup$
Any cube can be represented by a difference of squares. $$x^3=(y-z)(y+z)$$
$endgroup$
– individ
Dec 19 '18 at 15:06
$begingroup$
Any cube can be represented by a difference of squares. $$x^3=(y-z)(y+z)$$
$endgroup$
– individ
Dec 19 '18 at 15:06
2
2
$begingroup$
One general class of solutions is given by $r=frac{u^2+u}{2}$ and $s=frac{u^2-u}{2}$, but I am fairly sure this is not an exhaustive solution set.
$endgroup$
– Frpzzd
Dec 19 '18 at 15:06
$begingroup$
One general class of solutions is given by $r=frac{u^2+u}{2}$ and $s=frac{u^2-u}{2}$, but I am fairly sure this is not an exhaustive solution set.
$endgroup$
– Frpzzd
Dec 19 '18 at 15:06
$begingroup$
@individ let $y = 5, z= 1$, then $4*6=24$ which is not a cube. My point is that when will $(y-z)(y+z)$ is a cube?
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:10
$begingroup$
@individ let $y = 5, z= 1$, then $4*6=24$ which is not a cube. My point is that when will $(y-z)(y+z)$ is a cube?
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:10
1
1
$begingroup$
@MagedSaeed Write $u^3=(r-s)(r+s)$. Since $r+s$ and $r-s$ must have the same parity, and $u$ and $u^2$ must have the same parity, we may let $u=r-s$ and $u^2=r+s$. The same can be done for any two divisors of $u^3$ that have the same parity.
$endgroup$
– Frpzzd
Dec 19 '18 at 15:18
$begingroup$
@MagedSaeed Write $u^3=(r-s)(r+s)$. Since $r+s$ and $r-s$ must have the same parity, and $u$ and $u^2$ must have the same parity, we may let $u=r-s$ and $u^2=r+s$. The same can be done for any two divisors of $u^3$ that have the same parity.
$endgroup$
– Frpzzd
Dec 19 '18 at 15:18
1
1
$begingroup$
Maged, I'm sure individ meant that if you can write down a factorization, any factorization will do, $u^3=ab$ such that $a$ and $b$ have the same parity, then you can solve for $y$ and $z$ from the system $a=y-z$, $b=y+z$. The choice $a=x$, $b=x^2$ gives you the solution Frpzzd provided.
$endgroup$
– Jyrki Lahtonen
Dec 19 '18 at 15:19
$begingroup$
Maged, I'm sure individ meant that if you can write down a factorization, any factorization will do, $u^3=ab$ such that $a$ and $b$ have the same parity, then you can solve for $y$ and $z$ from the system $a=y-z$, $b=y+z$. The choice $a=x$, $b=x^2$ gives you the solution Frpzzd provided.
$endgroup$
– Jyrki Lahtonen
Dec 19 '18 at 15:19
|
show 2 more comments
3 Answers
3
active
oldest
votes
$begingroup$
$u^3=(r+s)(r-s)$ and $gcd(r+s,r-s)=1$, so $r+s$ and $r-s$ are odd, coprime perfect cubes.
So let $r+s=a^3$, $r-s=b^3$. Then
$$r=frac{a^3+b^3}2$$
$$s=frac{a^3-b^3}2$$
where $a$ and $b$ are odd and coprime.
Conversely, if $a$ and $b$ are odd and coprime, let $r=(a^3+b^3)/2$ and $s=(a^3-b^3)/2$, which are coprime and have different parity. Indeed,
$$r+s=a^3$$
which is odd and coprime with
$$r-s=b^3$$
$endgroup$
$begingroup$
That is what I was looking for. I just have scratched this on a paper and immediately found it as an answer of yours. :)
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:23
add a comment |
$begingroup$
$1^2=1^3$
$3^2=(1+2)^2=1^3+2^3$
$6^2=(1+2+3)^2=1^3+2^3+3^3$
...
The difference between two consecutive squares on the left will give you a cube:
$1^3=1^2-0^2$
$2^3=3^2-1^2$
$3^3=6^2-3^2$
...
Which means the solutions are pairs of this form: $(frac{n(n-1)}{2}, frac{n(n+1)}{2})$
$1^3=1^2-0^2$
$2^3=3^2-1^2$
$3^3=6^2-3^2$
...
$endgroup$
$begingroup$
Oh, this is nice and brilliant!
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:50
add a comment |
$begingroup$
I assume you are allowing $u,r,s$ to be negative.
Let us substitute $r-s=a$ so that your equation is equivalent to
$$u^3=a(a+2s)$$
thus, if $u^3$ can be written in the form $u^3=xy$ where $xequiv y pmod 2$, then we may let $a=x$ and $a+2s=y$, and solve an easy system of equations obtain values for $r$ and $s$.
Thus, if $u^3=xy$ and $xequiv y pmod 2$, then $r=frac{x+y}{2}$ and $s=frac{x-y}{2}$ is a possible solution.
Let's try and find the number of solutions $(r,s)$ given the value of $u^3$. Each solution $(r,s)$ can be put into one-to-one correspondence with a pair $(x,y)$ satisfying $u^3=xy$ and $xequiv y pmod 2$. If $u$ is even, there are $(v_2(u^3)-1)d_o(u^3)$ such pairs, and if $u$ is odd, there are $d_o(u^3)$ such pairs (where $v_2(u^3)$ is the 2-adic valuation of $u^3$ and $d_o(u^3)$ is the number of odd divisors of $u^3$), which can be easily proven by "dividing up" the factors of $2$ in $u^3$ between $x$ and $y$.
Thus, given $u^3$, there are $d_o(u^3)$ solutions if $u$ is odd and $(v_2(u^3)-1)d_o(u^3)$ solutions if $u$ is even.
$endgroup$
$begingroup$
Thanks, but this did not give explicit formulas for $r$ and $s$.
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:26
add a comment |
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
});
}
});
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%2f3046479%2finteger-solutions-of-the-equation-u3-r2-s2%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
$u^3=(r+s)(r-s)$ and $gcd(r+s,r-s)=1$, so $r+s$ and $r-s$ are odd, coprime perfect cubes.
So let $r+s=a^3$, $r-s=b^3$. Then
$$r=frac{a^3+b^3}2$$
$$s=frac{a^3-b^3}2$$
where $a$ and $b$ are odd and coprime.
Conversely, if $a$ and $b$ are odd and coprime, let $r=(a^3+b^3)/2$ and $s=(a^3-b^3)/2$, which are coprime and have different parity. Indeed,
$$r+s=a^3$$
which is odd and coprime with
$$r-s=b^3$$
$endgroup$
$begingroup$
That is what I was looking for. I just have scratched this on a paper and immediately found it as an answer of yours. :)
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:23
add a comment |
$begingroup$
$u^3=(r+s)(r-s)$ and $gcd(r+s,r-s)=1$, so $r+s$ and $r-s$ are odd, coprime perfect cubes.
So let $r+s=a^3$, $r-s=b^3$. Then
$$r=frac{a^3+b^3}2$$
$$s=frac{a^3-b^3}2$$
where $a$ and $b$ are odd and coprime.
Conversely, if $a$ and $b$ are odd and coprime, let $r=(a^3+b^3)/2$ and $s=(a^3-b^3)/2$, which are coprime and have different parity. Indeed,
$$r+s=a^3$$
which is odd and coprime with
$$r-s=b^3$$
$endgroup$
$begingroup$
That is what I was looking for. I just have scratched this on a paper and immediately found it as an answer of yours. :)
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:23
add a comment |
$begingroup$
$u^3=(r+s)(r-s)$ and $gcd(r+s,r-s)=1$, so $r+s$ and $r-s$ are odd, coprime perfect cubes.
So let $r+s=a^3$, $r-s=b^3$. Then
$$r=frac{a^3+b^3}2$$
$$s=frac{a^3-b^3}2$$
where $a$ and $b$ are odd and coprime.
Conversely, if $a$ and $b$ are odd and coprime, let $r=(a^3+b^3)/2$ and $s=(a^3-b^3)/2$, which are coprime and have different parity. Indeed,
$$r+s=a^3$$
which is odd and coprime with
$$r-s=b^3$$
$endgroup$
$u^3=(r+s)(r-s)$ and $gcd(r+s,r-s)=1$, so $r+s$ and $r-s$ are odd, coprime perfect cubes.
So let $r+s=a^3$, $r-s=b^3$. Then
$$r=frac{a^3+b^3}2$$
$$s=frac{a^3-b^3}2$$
where $a$ and $b$ are odd and coprime.
Conversely, if $a$ and $b$ are odd and coprime, let $r=(a^3+b^3)/2$ and $s=(a^3-b^3)/2$, which are coprime and have different parity. Indeed,
$$r+s=a^3$$
which is odd and coprime with
$$r-s=b^3$$
edited Dec 19 '18 at 15:42
answered Dec 19 '18 at 15:20
ajotatxeajotatxe
53.8k23890
53.8k23890
$begingroup$
That is what I was looking for. I just have scratched this on a paper and immediately found it as an answer of yours. :)
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:23
add a comment |
$begingroup$
That is what I was looking for. I just have scratched this on a paper and immediately found it as an answer of yours. :)
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:23
$begingroup$
That is what I was looking for. I just have scratched this on a paper and immediately found it as an answer of yours. :)
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:23
$begingroup$
That is what I was looking for. I just have scratched this on a paper and immediately found it as an answer of yours. :)
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:23
add a comment |
$begingroup$
$1^2=1^3$
$3^2=(1+2)^2=1^3+2^3$
$6^2=(1+2+3)^2=1^3+2^3+3^3$
...
The difference between two consecutive squares on the left will give you a cube:
$1^3=1^2-0^2$
$2^3=3^2-1^2$
$3^3=6^2-3^2$
...
Which means the solutions are pairs of this form: $(frac{n(n-1)}{2}, frac{n(n+1)}{2})$
$1^3=1^2-0^2$
$2^3=3^2-1^2$
$3^3=6^2-3^2$
...
$endgroup$
$begingroup$
Oh, this is nice and brilliant!
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:50
add a comment |
$begingroup$
$1^2=1^3$
$3^2=(1+2)^2=1^3+2^3$
$6^2=(1+2+3)^2=1^3+2^3+3^3$
...
The difference between two consecutive squares on the left will give you a cube:
$1^3=1^2-0^2$
$2^3=3^2-1^2$
$3^3=6^2-3^2$
...
Which means the solutions are pairs of this form: $(frac{n(n-1)}{2}, frac{n(n+1)}{2})$
$1^3=1^2-0^2$
$2^3=3^2-1^2$
$3^3=6^2-3^2$
...
$endgroup$
$begingroup$
Oh, this is nice and brilliant!
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:50
add a comment |
$begingroup$
$1^2=1^3$
$3^2=(1+2)^2=1^3+2^3$
$6^2=(1+2+3)^2=1^3+2^3+3^3$
...
The difference between two consecutive squares on the left will give you a cube:
$1^3=1^2-0^2$
$2^3=3^2-1^2$
$3^3=6^2-3^2$
...
Which means the solutions are pairs of this form: $(frac{n(n-1)}{2}, frac{n(n+1)}{2})$
$1^3=1^2-0^2$
$2^3=3^2-1^2$
$3^3=6^2-3^2$
...
$endgroup$
$1^2=1^3$
$3^2=(1+2)^2=1^3+2^3$
$6^2=(1+2+3)^2=1^3+2^3+3^3$
...
The difference between two consecutive squares on the left will give you a cube:
$1^3=1^2-0^2$
$2^3=3^2-1^2$
$3^3=6^2-3^2$
...
Which means the solutions are pairs of this form: $(frac{n(n-1)}{2}, frac{n(n+1)}{2})$
$1^3=1^2-0^2$
$2^3=3^2-1^2$
$3^3=6^2-3^2$
...
edited Dec 19 '18 at 15:38
answered Dec 19 '18 at 15:30
VasyaVasya
3,3521516
3,3521516
$begingroup$
Oh, this is nice and brilliant!
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:50
add a comment |
$begingroup$
Oh, this is nice and brilliant!
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:50
$begingroup$
Oh, this is nice and brilliant!
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:50
$begingroup$
Oh, this is nice and brilliant!
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:50
add a comment |
$begingroup$
I assume you are allowing $u,r,s$ to be negative.
Let us substitute $r-s=a$ so that your equation is equivalent to
$$u^3=a(a+2s)$$
thus, if $u^3$ can be written in the form $u^3=xy$ where $xequiv y pmod 2$, then we may let $a=x$ and $a+2s=y$, and solve an easy system of equations obtain values for $r$ and $s$.
Thus, if $u^3=xy$ and $xequiv y pmod 2$, then $r=frac{x+y}{2}$ and $s=frac{x-y}{2}$ is a possible solution.
Let's try and find the number of solutions $(r,s)$ given the value of $u^3$. Each solution $(r,s)$ can be put into one-to-one correspondence with a pair $(x,y)$ satisfying $u^3=xy$ and $xequiv y pmod 2$. If $u$ is even, there are $(v_2(u^3)-1)d_o(u^3)$ such pairs, and if $u$ is odd, there are $d_o(u^3)$ such pairs (where $v_2(u^3)$ is the 2-adic valuation of $u^3$ and $d_o(u^3)$ is the number of odd divisors of $u^3$), which can be easily proven by "dividing up" the factors of $2$ in $u^3$ between $x$ and $y$.
Thus, given $u^3$, there are $d_o(u^3)$ solutions if $u$ is odd and $(v_2(u^3)-1)d_o(u^3)$ solutions if $u$ is even.
$endgroup$
$begingroup$
Thanks, but this did not give explicit formulas for $r$ and $s$.
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:26
add a comment |
$begingroup$
I assume you are allowing $u,r,s$ to be negative.
Let us substitute $r-s=a$ so that your equation is equivalent to
$$u^3=a(a+2s)$$
thus, if $u^3$ can be written in the form $u^3=xy$ where $xequiv y pmod 2$, then we may let $a=x$ and $a+2s=y$, and solve an easy system of equations obtain values for $r$ and $s$.
Thus, if $u^3=xy$ and $xequiv y pmod 2$, then $r=frac{x+y}{2}$ and $s=frac{x-y}{2}$ is a possible solution.
Let's try and find the number of solutions $(r,s)$ given the value of $u^3$. Each solution $(r,s)$ can be put into one-to-one correspondence with a pair $(x,y)$ satisfying $u^3=xy$ and $xequiv y pmod 2$. If $u$ is even, there are $(v_2(u^3)-1)d_o(u^3)$ such pairs, and if $u$ is odd, there are $d_o(u^3)$ such pairs (where $v_2(u^3)$ is the 2-adic valuation of $u^3$ and $d_o(u^3)$ is the number of odd divisors of $u^3$), which can be easily proven by "dividing up" the factors of $2$ in $u^3$ between $x$ and $y$.
Thus, given $u^3$, there are $d_o(u^3)$ solutions if $u$ is odd and $(v_2(u^3)-1)d_o(u^3)$ solutions if $u$ is even.
$endgroup$
$begingroup$
Thanks, but this did not give explicit formulas for $r$ and $s$.
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:26
add a comment |
$begingroup$
I assume you are allowing $u,r,s$ to be negative.
Let us substitute $r-s=a$ so that your equation is equivalent to
$$u^3=a(a+2s)$$
thus, if $u^3$ can be written in the form $u^3=xy$ where $xequiv y pmod 2$, then we may let $a=x$ and $a+2s=y$, and solve an easy system of equations obtain values for $r$ and $s$.
Thus, if $u^3=xy$ and $xequiv y pmod 2$, then $r=frac{x+y}{2}$ and $s=frac{x-y}{2}$ is a possible solution.
Let's try and find the number of solutions $(r,s)$ given the value of $u^3$. Each solution $(r,s)$ can be put into one-to-one correspondence with a pair $(x,y)$ satisfying $u^3=xy$ and $xequiv y pmod 2$. If $u$ is even, there are $(v_2(u^3)-1)d_o(u^3)$ such pairs, and if $u$ is odd, there are $d_o(u^3)$ such pairs (where $v_2(u^3)$ is the 2-adic valuation of $u^3$ and $d_o(u^3)$ is the number of odd divisors of $u^3$), which can be easily proven by "dividing up" the factors of $2$ in $u^3$ between $x$ and $y$.
Thus, given $u^3$, there are $d_o(u^3)$ solutions if $u$ is odd and $(v_2(u^3)-1)d_o(u^3)$ solutions if $u$ is even.
$endgroup$
I assume you are allowing $u,r,s$ to be negative.
Let us substitute $r-s=a$ so that your equation is equivalent to
$$u^3=a(a+2s)$$
thus, if $u^3$ can be written in the form $u^3=xy$ where $xequiv y pmod 2$, then we may let $a=x$ and $a+2s=y$, and solve an easy system of equations obtain values for $r$ and $s$.
Thus, if $u^3=xy$ and $xequiv y pmod 2$, then $r=frac{x+y}{2}$ and $s=frac{x-y}{2}$ is a possible solution.
Let's try and find the number of solutions $(r,s)$ given the value of $u^3$. Each solution $(r,s)$ can be put into one-to-one correspondence with a pair $(x,y)$ satisfying $u^3=xy$ and $xequiv y pmod 2$. If $u$ is even, there are $(v_2(u^3)-1)d_o(u^3)$ such pairs, and if $u$ is odd, there are $d_o(u^3)$ such pairs (where $v_2(u^3)$ is the 2-adic valuation of $u^3$ and $d_o(u^3)$ is the number of odd divisors of $u^3$), which can be easily proven by "dividing up" the factors of $2$ in $u^3$ between $x$ and $y$.
Thus, given $u^3$, there are $d_o(u^3)$ solutions if $u$ is odd and $(v_2(u^3)-1)d_o(u^3)$ solutions if $u$ is even.
answered Dec 19 '18 at 15:17
FrpzzdFrpzzd
23k841109
23k841109
$begingroup$
Thanks, but this did not give explicit formulas for $r$ and $s$.
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:26
add a comment |
$begingroup$
Thanks, but this did not give explicit formulas for $r$ and $s$.
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:26
$begingroup$
Thanks, but this did not give explicit formulas for $r$ and $s$.
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:26
$begingroup$
Thanks, but this did not give explicit formulas for $r$ and $s$.
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:26
add a 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%2f3046479%2finteger-solutions-of-the-equation-u3-r2-s2%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$
Any cube can be represented by a difference of squares. $$x^3=(y-z)(y+z)$$
$endgroup$
– individ
Dec 19 '18 at 15:06
2
$begingroup$
One general class of solutions is given by $r=frac{u^2+u}{2}$ and $s=frac{u^2-u}{2}$, but I am fairly sure this is not an exhaustive solution set.
$endgroup$
– Frpzzd
Dec 19 '18 at 15:06
$begingroup$
@individ let $y = 5, z= 1$, then $4*6=24$ which is not a cube. My point is that when will $(y-z)(y+z)$ is a cube?
$endgroup$
– Maged Saeed
Dec 19 '18 at 15:10
1
$begingroup$
@MagedSaeed Write $u^3=(r-s)(r+s)$. Since $r+s$ and $r-s$ must have the same parity, and $u$ and $u^2$ must have the same parity, we may let $u=r-s$ and $u^2=r+s$. The same can be done for any two divisors of $u^3$ that have the same parity.
$endgroup$
– Frpzzd
Dec 19 '18 at 15:18
1
$begingroup$
Maged, I'm sure individ meant that if you can write down a factorization, any factorization will do, $u^3=ab$ such that $a$ and $b$ have the same parity, then you can solve for $y$ and $z$ from the system $a=y-z$, $b=y+z$. The choice $a=x$, $b=x^2$ gives you the solution Frpzzd provided.
$endgroup$
– Jyrki Lahtonen
Dec 19 '18 at 15:19