When does an equation of the form $1 over p(2^p-1-1) = 2pxy+x+y$ have no integer solutions?

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











up vote
4
down vote

favorite
1












Specific equations of the form below (for different given values of p, a prime number) will either have positive integer solutions for $x$ & $y$, or will not have any integer solutions.



$$2^p-1 -1 over p = 2pxy + x + y$$



Is there a way to determine when an equation of this form has integer solutions and when it does not? (Other than just trying values in a brute force manner and eventually giving up?) A repeatable algorithmic method of determining whether there are integer solutions would be ideal, does this exist? If not, are there any tricks or techniques that work sometimes, or any suggested approaches?



For example, these have positive integer solutions:

when p=11, (1/11)*(2^(10)-1)=2*11*x*y+x+y has integer solution x=1 & y=4

when p=23, (1/23)*(2^(22)-1)=2*23*x*y+x+y has integer solution x=1 & y=3880

when p=29, (1/29)*(2^(28)-1)=2*29*x*y+x+y has integer solution x=4 & y=39727

when p=37, (1/37)*(2^(36)-1)=2*37*x*y+x+y has integer solution x=3 & y=8328624



And these do not have (positive) integer solutions:

when p=7, (1/7)*(2^(6)-1)=2*7*x*y+x+y has no integer solution

when p=13, (1/13)*(2^(12)-1)=2*13*x*y+x+y has no integer solution

when p=19, (1/19)*(2^(18)-1)=2*19*x*y+x+y has no integer solution

when p=31, (1/31)*(2^(30)-1)=2*31*x*y+x+y has no integer solution







share|cite|improve this question





















  • How did you find out that for $p=7,13,19,31$, there is no integer solution? Is it just an hypothesis based on computations, or do you now these facts for sure?
    – Suzet
    Jul 31 at 5:22










  • @Suzet I started with a non-prime Mersenne number has factors of the form: (2xp+1)(2yp+1). Then derived the equation I give in the question above. And in the case of p=7,13,19,31 those Mersenne numbers are Mersenne primes, so they have no factors, so there should be no integer solutions to the equation. For Mersenne numbers that are not prime, e.g. p=11,23,29,37, I was able to solve the equation for x & y and from that compute from that the factors of those Mersenne numbers. Thus I would like to see if there is a way to determine when the equation has integer solutions as a primality test.
    – user669487
    Jul 31 at 5:41










  • The given equation is equivalent to $$2^p-1=(2px+1)(2py+1)$$ but considering your comment you apparently already exploited this.
    – Peter
    Jul 31 at 11:24










  • @user669487 Actually this easily leads to a primality test which is however of very little practical use. Note that every factor of $2^p-1$ with prime number $p$ is of the form $2pk+1$
    – Peter
    Jul 31 at 11:26











  • @Peter, yes the equation you gave is essentially where I started. I'm curious in trying to figure out how to tell when it has no integer solutions for x & y given a value for p.
    – user669487
    Jul 31 at 16:10














up vote
4
down vote

favorite
1












Specific equations of the form below (for different given values of p, a prime number) will either have positive integer solutions for $x$ & $y$, or will not have any integer solutions.



$$2^p-1 -1 over p = 2pxy + x + y$$



Is there a way to determine when an equation of this form has integer solutions and when it does not? (Other than just trying values in a brute force manner and eventually giving up?) A repeatable algorithmic method of determining whether there are integer solutions would be ideal, does this exist? If not, are there any tricks or techniques that work sometimes, or any suggested approaches?



For example, these have positive integer solutions:

when p=11, (1/11)*(2^(10)-1)=2*11*x*y+x+y has integer solution x=1 & y=4

when p=23, (1/23)*(2^(22)-1)=2*23*x*y+x+y has integer solution x=1 & y=3880

when p=29, (1/29)*(2^(28)-1)=2*29*x*y+x+y has integer solution x=4 & y=39727

when p=37, (1/37)*(2^(36)-1)=2*37*x*y+x+y has integer solution x=3 & y=8328624



And these do not have (positive) integer solutions:

when p=7, (1/7)*(2^(6)-1)=2*7*x*y+x+y has no integer solution

when p=13, (1/13)*(2^(12)-1)=2*13*x*y+x+y has no integer solution

when p=19, (1/19)*(2^(18)-1)=2*19*x*y+x+y has no integer solution

when p=31, (1/31)*(2^(30)-1)=2*31*x*y+x+y has no integer solution







share|cite|improve this question





















  • How did you find out that for $p=7,13,19,31$, there is no integer solution? Is it just an hypothesis based on computations, or do you now these facts for sure?
    – Suzet
    Jul 31 at 5:22










  • @Suzet I started with a non-prime Mersenne number has factors of the form: (2xp+1)(2yp+1). Then derived the equation I give in the question above. And in the case of p=7,13,19,31 those Mersenne numbers are Mersenne primes, so they have no factors, so there should be no integer solutions to the equation. For Mersenne numbers that are not prime, e.g. p=11,23,29,37, I was able to solve the equation for x & y and from that compute from that the factors of those Mersenne numbers. Thus I would like to see if there is a way to determine when the equation has integer solutions as a primality test.
    – user669487
    Jul 31 at 5:41










  • The given equation is equivalent to $$2^p-1=(2px+1)(2py+1)$$ but considering your comment you apparently already exploited this.
    – Peter
    Jul 31 at 11:24










  • @user669487 Actually this easily leads to a primality test which is however of very little practical use. Note that every factor of $2^p-1$ with prime number $p$ is of the form $2pk+1$
    – Peter
    Jul 31 at 11:26











  • @Peter, yes the equation you gave is essentially where I started. I'm curious in trying to figure out how to tell when it has no integer solutions for x & y given a value for p.
    – user669487
    Jul 31 at 16:10












up vote
4
down vote

favorite
1









up vote
4
down vote

favorite
1






1





Specific equations of the form below (for different given values of p, a prime number) will either have positive integer solutions for $x$ & $y$, or will not have any integer solutions.



$$2^p-1 -1 over p = 2pxy + x + y$$



Is there a way to determine when an equation of this form has integer solutions and when it does not? (Other than just trying values in a brute force manner and eventually giving up?) A repeatable algorithmic method of determining whether there are integer solutions would be ideal, does this exist? If not, are there any tricks or techniques that work sometimes, or any suggested approaches?



For example, these have positive integer solutions:

when p=11, (1/11)*(2^(10)-1)=2*11*x*y+x+y has integer solution x=1 & y=4

when p=23, (1/23)*(2^(22)-1)=2*23*x*y+x+y has integer solution x=1 & y=3880

when p=29, (1/29)*(2^(28)-1)=2*29*x*y+x+y has integer solution x=4 & y=39727

when p=37, (1/37)*(2^(36)-1)=2*37*x*y+x+y has integer solution x=3 & y=8328624



And these do not have (positive) integer solutions:

when p=7, (1/7)*(2^(6)-1)=2*7*x*y+x+y has no integer solution

when p=13, (1/13)*(2^(12)-1)=2*13*x*y+x+y has no integer solution

when p=19, (1/19)*(2^(18)-1)=2*19*x*y+x+y has no integer solution

when p=31, (1/31)*(2^(30)-1)=2*31*x*y+x+y has no integer solution







share|cite|improve this question













Specific equations of the form below (for different given values of p, a prime number) will either have positive integer solutions for $x$ & $y$, or will not have any integer solutions.



$$2^p-1 -1 over p = 2pxy + x + y$$



Is there a way to determine when an equation of this form has integer solutions and when it does not? (Other than just trying values in a brute force manner and eventually giving up?) A repeatable algorithmic method of determining whether there are integer solutions would be ideal, does this exist? If not, are there any tricks or techniques that work sometimes, or any suggested approaches?



For example, these have positive integer solutions:

when p=11, (1/11)*(2^(10)-1)=2*11*x*y+x+y has integer solution x=1 & y=4

when p=23, (1/23)*(2^(22)-1)=2*23*x*y+x+y has integer solution x=1 & y=3880

when p=29, (1/29)*(2^(28)-1)=2*29*x*y+x+y has integer solution x=4 & y=39727

when p=37, (1/37)*(2^(36)-1)=2*37*x*y+x+y has integer solution x=3 & y=8328624



And these do not have (positive) integer solutions:

when p=7, (1/7)*(2^(6)-1)=2*7*x*y+x+y has no integer solution

when p=13, (1/13)*(2^(12)-1)=2*13*x*y+x+y has no integer solution

when p=19, (1/19)*(2^(18)-1)=2*19*x*y+x+y has no integer solution

when p=31, (1/31)*(2^(30)-1)=2*31*x*y+x+y has no integer solution









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 31 at 16:27
























asked Jul 31 at 5:19









user669487

662




662











  • How did you find out that for $p=7,13,19,31$, there is no integer solution? Is it just an hypothesis based on computations, or do you now these facts for sure?
    – Suzet
    Jul 31 at 5:22










  • @Suzet I started with a non-prime Mersenne number has factors of the form: (2xp+1)(2yp+1). Then derived the equation I give in the question above. And in the case of p=7,13,19,31 those Mersenne numbers are Mersenne primes, so they have no factors, so there should be no integer solutions to the equation. For Mersenne numbers that are not prime, e.g. p=11,23,29,37, I was able to solve the equation for x & y and from that compute from that the factors of those Mersenne numbers. Thus I would like to see if there is a way to determine when the equation has integer solutions as a primality test.
    – user669487
    Jul 31 at 5:41










  • The given equation is equivalent to $$2^p-1=(2px+1)(2py+1)$$ but considering your comment you apparently already exploited this.
    – Peter
    Jul 31 at 11:24










  • @user669487 Actually this easily leads to a primality test which is however of very little practical use. Note that every factor of $2^p-1$ with prime number $p$ is of the form $2pk+1$
    – Peter
    Jul 31 at 11:26











  • @Peter, yes the equation you gave is essentially where I started. I'm curious in trying to figure out how to tell when it has no integer solutions for x & y given a value for p.
    – user669487
    Jul 31 at 16:10
















  • How did you find out that for $p=7,13,19,31$, there is no integer solution? Is it just an hypothesis based on computations, or do you now these facts for sure?
    – Suzet
    Jul 31 at 5:22










  • @Suzet I started with a non-prime Mersenne number has factors of the form: (2xp+1)(2yp+1). Then derived the equation I give in the question above. And in the case of p=7,13,19,31 those Mersenne numbers are Mersenne primes, so they have no factors, so there should be no integer solutions to the equation. For Mersenne numbers that are not prime, e.g. p=11,23,29,37, I was able to solve the equation for x & y and from that compute from that the factors of those Mersenne numbers. Thus I would like to see if there is a way to determine when the equation has integer solutions as a primality test.
    – user669487
    Jul 31 at 5:41










  • The given equation is equivalent to $$2^p-1=(2px+1)(2py+1)$$ but considering your comment you apparently already exploited this.
    – Peter
    Jul 31 at 11:24










  • @user669487 Actually this easily leads to a primality test which is however of very little practical use. Note that every factor of $2^p-1$ with prime number $p$ is of the form $2pk+1$
    – Peter
    Jul 31 at 11:26











  • @Peter, yes the equation you gave is essentially where I started. I'm curious in trying to figure out how to tell when it has no integer solutions for x & y given a value for p.
    – user669487
    Jul 31 at 16:10















How did you find out that for $p=7,13,19,31$, there is no integer solution? Is it just an hypothesis based on computations, or do you now these facts for sure?
– Suzet
Jul 31 at 5:22




How did you find out that for $p=7,13,19,31$, there is no integer solution? Is it just an hypothesis based on computations, or do you now these facts for sure?
– Suzet
Jul 31 at 5:22












@Suzet I started with a non-prime Mersenne number has factors of the form: (2xp+1)(2yp+1). Then derived the equation I give in the question above. And in the case of p=7,13,19,31 those Mersenne numbers are Mersenne primes, so they have no factors, so there should be no integer solutions to the equation. For Mersenne numbers that are not prime, e.g. p=11,23,29,37, I was able to solve the equation for x & y and from that compute from that the factors of those Mersenne numbers. Thus I would like to see if there is a way to determine when the equation has integer solutions as a primality test.
– user669487
Jul 31 at 5:41




@Suzet I started with a non-prime Mersenne number has factors of the form: (2xp+1)(2yp+1). Then derived the equation I give in the question above. And in the case of p=7,13,19,31 those Mersenne numbers are Mersenne primes, so they have no factors, so there should be no integer solutions to the equation. For Mersenne numbers that are not prime, e.g. p=11,23,29,37, I was able to solve the equation for x & y and from that compute from that the factors of those Mersenne numbers. Thus I would like to see if there is a way to determine when the equation has integer solutions as a primality test.
– user669487
Jul 31 at 5:41












The given equation is equivalent to $$2^p-1=(2px+1)(2py+1)$$ but considering your comment you apparently already exploited this.
– Peter
Jul 31 at 11:24




The given equation is equivalent to $$2^p-1=(2px+1)(2py+1)$$ but considering your comment you apparently already exploited this.
– Peter
Jul 31 at 11:24












@user669487 Actually this easily leads to a primality test which is however of very little practical use. Note that every factor of $2^p-1$ with prime number $p$ is of the form $2pk+1$
– Peter
Jul 31 at 11:26





@user669487 Actually this easily leads to a primality test which is however of very little practical use. Note that every factor of $2^p-1$ with prime number $p$ is of the form $2pk+1$
– Peter
Jul 31 at 11:26













@Peter, yes the equation you gave is essentially where I started. I'm curious in trying to figure out how to tell when it has no integer solutions for x & y given a value for p.
– user669487
Jul 31 at 16:10




@Peter, yes the equation you gave is essentially where I started. I'm curious in trying to figure out how to tell when it has no integer solutions for x & y given a value for p.
– user669487
Jul 31 at 16:10















active

oldest

votes











Your Answer




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

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

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

else
createEditor();

);

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



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2867686%2fwhen-does-an-equation-of-the-form-1-over-p2p-1-1-2pxyxy-have-no%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2867686%2fwhen-does-an-equation-of-the-form-1-over-p2p-1-1-2pxyxy-have-no%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?