The number of prime pairs of $x^2-2y^2=1$
$begingroup$
How to find the number of pairs of positive integers $(x,y)$ where $x$ and $y$ are prime numbers and $x^2-2y^2=1$?
I am not getting any clue here.
number-theory prime-numbers contest-math quadratics integers
$endgroup$
add a comment |
$begingroup$
How to find the number of pairs of positive integers $(x,y)$ where $x$ and $y$ are prime numbers and $x^2-2y^2=1$?
I am not getting any clue here.
number-theory prime-numbers contest-math quadratics integers
$endgroup$
1
$begingroup$
Hint: How many odd numbers, when you take them on square and drop one, are not divided by 4?
$endgroup$
– Shaq
Jan 23 at 19:56
1
$begingroup$
This is Pell's Equation
$endgroup$
– lulu
Jan 23 at 19:58
1
$begingroup$
Note: my error. I skipped the requirement that both be prime. In that case, looking at parity suffices.
$endgroup$
– lulu
Jan 23 at 20:02
add a comment |
$begingroup$
How to find the number of pairs of positive integers $(x,y)$ where $x$ and $y$ are prime numbers and $x^2-2y^2=1$?
I am not getting any clue here.
number-theory prime-numbers contest-math quadratics integers
$endgroup$
How to find the number of pairs of positive integers $(x,y)$ where $x$ and $y$ are prime numbers and $x^2-2y^2=1$?
I am not getting any clue here.
number-theory prime-numbers contest-math quadratics integers
number-theory prime-numbers contest-math quadratics integers
asked Jan 23 at 19:52
GimgimGimgim
29813
29813
1
$begingroup$
Hint: How many odd numbers, when you take them on square and drop one, are not divided by 4?
$endgroup$
– Shaq
Jan 23 at 19:56
1
$begingroup$
This is Pell's Equation
$endgroup$
– lulu
Jan 23 at 19:58
1
$begingroup$
Note: my error. I skipped the requirement that both be prime. In that case, looking at parity suffices.
$endgroup$
– lulu
Jan 23 at 20:02
add a comment |
1
$begingroup$
Hint: How many odd numbers, when you take them on square and drop one, are not divided by 4?
$endgroup$
– Shaq
Jan 23 at 19:56
1
$begingroup$
This is Pell's Equation
$endgroup$
– lulu
Jan 23 at 19:58
1
$begingroup$
Note: my error. I skipped the requirement that both be prime. In that case, looking at parity suffices.
$endgroup$
– lulu
Jan 23 at 20:02
1
1
$begingroup$
Hint: How many odd numbers, when you take them on square and drop one, are not divided by 4?
$endgroup$
– Shaq
Jan 23 at 19:56
$begingroup$
Hint: How many odd numbers, when you take them on square and drop one, are not divided by 4?
$endgroup$
– Shaq
Jan 23 at 19:56
1
1
$begingroup$
This is Pell's Equation
$endgroup$
– lulu
Jan 23 at 19:58
$begingroup$
This is Pell's Equation
$endgroup$
– lulu
Jan 23 at 19:58
1
1
$begingroup$
Note: my error. I skipped the requirement that both be prime. In that case, looking at parity suffices.
$endgroup$
– lulu
Jan 23 at 20:02
$begingroup$
Note: my error. I skipped the requirement that both be prime. In that case, looking at parity suffices.
$endgroup$
– lulu
Jan 23 at 20:02
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Flip it around:
$$(x-1)(x+1)=2y^2$$
Because of factor $2$, left hand side must be divisible by $2$. But if one of the factors is divisible by $2$, both are, so overall it's divisible by $4$. Draw your own conclusions from here.
$endgroup$
add a comment |
$begingroup$
Since $2y^2$ is even, $x$ must be odd so that $x^2$ can be odd as well. This much should be obvious.
From there it's not too much of a leap to find that $x^2 equiv 1 pmod 4$. If $y$ is odd as well, then $y^2 equiv 1 pmod 4$, too, but $2y^2 equiv 2 pmod 4$, which means that $x^2 - 2y^2 equiv 3 pmod 4$, but clearly $1 equiv 1$, not $3 pmod 4$.
Therefore $y$ must be even, so that $2y^2 equiv 0 pmod 4$, and consequently $x^2 - 2y^2$ can be congruent to $1 pmod 4$ as is necessary to solve the equation.
Of course 2 is prime, and so is $-2$. If $y = pm 2$, then $x = pm 3$. And if $y = 0$, then $x = 1$. The only remaining possibilities are composite even numbers.
$endgroup$
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%2f3084983%2fthe-number-of-prime-pairs-of-x2-2y2-1%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Flip it around:
$$(x-1)(x+1)=2y^2$$
Because of factor $2$, left hand side must be divisible by $2$. But if one of the factors is divisible by $2$, both are, so overall it's divisible by $4$. Draw your own conclusions from here.
$endgroup$
add a comment |
$begingroup$
Flip it around:
$$(x-1)(x+1)=2y^2$$
Because of factor $2$, left hand side must be divisible by $2$. But if one of the factors is divisible by $2$, both are, so overall it's divisible by $4$. Draw your own conclusions from here.
$endgroup$
add a comment |
$begingroup$
Flip it around:
$$(x-1)(x+1)=2y^2$$
Because of factor $2$, left hand side must be divisible by $2$. But if one of the factors is divisible by $2$, both are, so overall it's divisible by $4$. Draw your own conclusions from here.
$endgroup$
Flip it around:
$$(x-1)(x+1)=2y^2$$
Because of factor $2$, left hand side must be divisible by $2$. But if one of the factors is divisible by $2$, both are, so overall it's divisible by $4$. Draw your own conclusions from here.
answered Jan 23 at 19:56
orionorion
13.7k11837
13.7k11837
add a comment |
add a comment |
$begingroup$
Since $2y^2$ is even, $x$ must be odd so that $x^2$ can be odd as well. This much should be obvious.
From there it's not too much of a leap to find that $x^2 equiv 1 pmod 4$. If $y$ is odd as well, then $y^2 equiv 1 pmod 4$, too, but $2y^2 equiv 2 pmod 4$, which means that $x^2 - 2y^2 equiv 3 pmod 4$, but clearly $1 equiv 1$, not $3 pmod 4$.
Therefore $y$ must be even, so that $2y^2 equiv 0 pmod 4$, and consequently $x^2 - 2y^2$ can be congruent to $1 pmod 4$ as is necessary to solve the equation.
Of course 2 is prime, and so is $-2$. If $y = pm 2$, then $x = pm 3$. And if $y = 0$, then $x = 1$. The only remaining possibilities are composite even numbers.
$endgroup$
add a comment |
$begingroup$
Since $2y^2$ is even, $x$ must be odd so that $x^2$ can be odd as well. This much should be obvious.
From there it's not too much of a leap to find that $x^2 equiv 1 pmod 4$. If $y$ is odd as well, then $y^2 equiv 1 pmod 4$, too, but $2y^2 equiv 2 pmod 4$, which means that $x^2 - 2y^2 equiv 3 pmod 4$, but clearly $1 equiv 1$, not $3 pmod 4$.
Therefore $y$ must be even, so that $2y^2 equiv 0 pmod 4$, and consequently $x^2 - 2y^2$ can be congruent to $1 pmod 4$ as is necessary to solve the equation.
Of course 2 is prime, and so is $-2$. If $y = pm 2$, then $x = pm 3$. And if $y = 0$, then $x = 1$. The only remaining possibilities are composite even numbers.
$endgroup$
add a comment |
$begingroup$
Since $2y^2$ is even, $x$ must be odd so that $x^2$ can be odd as well. This much should be obvious.
From there it's not too much of a leap to find that $x^2 equiv 1 pmod 4$. If $y$ is odd as well, then $y^2 equiv 1 pmod 4$, too, but $2y^2 equiv 2 pmod 4$, which means that $x^2 - 2y^2 equiv 3 pmod 4$, but clearly $1 equiv 1$, not $3 pmod 4$.
Therefore $y$ must be even, so that $2y^2 equiv 0 pmod 4$, and consequently $x^2 - 2y^2$ can be congruent to $1 pmod 4$ as is necessary to solve the equation.
Of course 2 is prime, and so is $-2$. If $y = pm 2$, then $x = pm 3$. And if $y = 0$, then $x = 1$. The only remaining possibilities are composite even numbers.
$endgroup$
Since $2y^2$ is even, $x$ must be odd so that $x^2$ can be odd as well. This much should be obvious.
From there it's not too much of a leap to find that $x^2 equiv 1 pmod 4$. If $y$ is odd as well, then $y^2 equiv 1 pmod 4$, too, but $2y^2 equiv 2 pmod 4$, which means that $x^2 - 2y^2 equiv 3 pmod 4$, but clearly $1 equiv 1$, not $3 pmod 4$.
Therefore $y$ must be even, so that $2y^2 equiv 0 pmod 4$, and consequently $x^2 - 2y^2$ can be congruent to $1 pmod 4$ as is necessary to solve the equation.
Of course 2 is prime, and so is $-2$. If $y = pm 2$, then $x = pm 3$. And if $y = 0$, then $x = 1$. The only remaining possibilities are composite even numbers.
answered Jan 25 at 6:42
Robert SoupeRobert Soupe
11.4k21950
11.4k21950
add a comment |
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%2f3084983%2fthe-number-of-prime-pairs-of-x2-2y2-1%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

1
$begingroup$
Hint: How many odd numbers, when you take them on square and drop one, are not divided by 4?
$endgroup$
– Shaq
Jan 23 at 19:56
1
$begingroup$
This is Pell's Equation
$endgroup$
– lulu
Jan 23 at 19:58
1
$begingroup$
Note: my error. I skipped the requirement that both be prime. In that case, looking at parity suffices.
$endgroup$
– lulu
Jan 23 at 20:02