If $p$ is prime, then $x^2 +5y^2 = p iff pequiv 1,9 $ mod $(20)$.












11












$begingroup$


Let $pneq 2,5$ be prime. I wish to show that: $x^2 +5y^2 = p Leftrightarrow pequiv 1,9 $ mod $(20)$.



I proved to $Rightarrow$ part, means $x^2 +5y^2=p Rightarrow pequiv 1,9 $ mod $(20)$.



For $Leftarrow$ , $pequiv 1,9(20) Rightarrow pequiv 1(4)$ , $pequiv1 ,4 (5)$ thus $(frac{4}{p})=1,(frac{-1}{p}) =1$ (using legendre symbols) , also $(frac{5}{p})=_{pequiv1(4)}(frac{p}{5})$ and $pequiv1(5)$ so $(frac{5}{p})=1$ , so $(frac{-20}{p})=(frac{5}{p})(frac{4}{p})(frac{-1}{p}) = 1$. So $-20$ is a quadratic residue mod $p$.



Yet I don't succeed to go on from this point (I don't know even if its possible to do so).










share|cite|improve this question











$endgroup$












  • $begingroup$
    See Cox primes of the form x^2+ny^2
    $endgroup$
    – Kenny Lau
    Jan 2 at 10:09
















11












$begingroup$


Let $pneq 2,5$ be prime. I wish to show that: $x^2 +5y^2 = p Leftrightarrow pequiv 1,9 $ mod $(20)$.



I proved to $Rightarrow$ part, means $x^2 +5y^2=p Rightarrow pequiv 1,9 $ mod $(20)$.



For $Leftarrow$ , $pequiv 1,9(20) Rightarrow pequiv 1(4)$ , $pequiv1 ,4 (5)$ thus $(frac{4}{p})=1,(frac{-1}{p}) =1$ (using legendre symbols) , also $(frac{5}{p})=_{pequiv1(4)}(frac{p}{5})$ and $pequiv1(5)$ so $(frac{5}{p})=1$ , so $(frac{-20}{p})=(frac{5}{p})(frac{4}{p})(frac{-1}{p}) = 1$. So $-20$ is a quadratic residue mod $p$.



Yet I don't succeed to go on from this point (I don't know even if its possible to do so).










share|cite|improve this question











$endgroup$












  • $begingroup$
    See Cox primes of the form x^2+ny^2
    $endgroup$
    – Kenny Lau
    Jan 2 at 10:09














11












11








11


4



$begingroup$


Let $pneq 2,5$ be prime. I wish to show that: $x^2 +5y^2 = p Leftrightarrow pequiv 1,9 $ mod $(20)$.



I proved to $Rightarrow$ part, means $x^2 +5y^2=p Rightarrow pequiv 1,9 $ mod $(20)$.



For $Leftarrow$ , $pequiv 1,9(20) Rightarrow pequiv 1(4)$ , $pequiv1 ,4 (5)$ thus $(frac{4}{p})=1,(frac{-1}{p}) =1$ (using legendre symbols) , also $(frac{5}{p})=_{pequiv1(4)}(frac{p}{5})$ and $pequiv1(5)$ so $(frac{5}{p})=1$ , so $(frac{-20}{p})=(frac{5}{p})(frac{4}{p})(frac{-1}{p}) = 1$. So $-20$ is a quadratic residue mod $p$.



Yet I don't succeed to go on from this point (I don't know even if its possible to do so).










share|cite|improve this question











$endgroup$




Let $pneq 2,5$ be prime. I wish to show that: $x^2 +5y^2 = p Leftrightarrow pequiv 1,9 $ mod $(20)$.



I proved to $Rightarrow$ part, means $x^2 +5y^2=p Rightarrow pequiv 1,9 $ mod $(20)$.



For $Leftarrow$ , $pequiv 1,9(20) Rightarrow pequiv 1(4)$ , $pequiv1 ,4 (5)$ thus $(frac{4}{p})=1,(frac{-1}{p}) =1$ (using legendre symbols) , also $(frac{5}{p})=_{pequiv1(4)}(frac{p}{5})$ and $pequiv1(5)$ so $(frac{5}{p})=1$ , so $(frac{-20}{p})=(frac{5}{p})(frac{4}{p})(frac{-1}{p}) = 1$. So $-20$ is a quadratic residue mod $p$.



Yet I don't succeed to go on from this point (I don't know even if its possible to do so).







number-theory elementary-number-theory algebraic-number-theory quadratic-forms quadratic-residues






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 1 at 12:09







dan

















asked Dec 31 '18 at 5:55









dandan

503513




503513












  • $begingroup$
    See Cox primes of the form x^2+ny^2
    $endgroup$
    – Kenny Lau
    Jan 2 at 10:09


















  • $begingroup$
    See Cox primes of the form x^2+ny^2
    $endgroup$
    – Kenny Lau
    Jan 2 at 10:09
















$begingroup$
See Cox primes of the form x^2+ny^2
$endgroup$
– Kenny Lau
Jan 2 at 10:09




$begingroup$
See Cox primes of the form x^2+ny^2
$endgroup$
– Kenny Lau
Jan 2 at 10:09










2 Answers
2






active

oldest

votes


















5












$begingroup$

Let $pequiv1$ or $9pmod{20}$. Then $-5$ is a quadratic residue modulo $p$,
so there are integers $r$ and $s$ with $$r^2+ps=-5.$$
This means that the integer quadratic form
$$f(X,Y)=pX^2+2rXY+sY^2$$
has discriminant $-20$ and is also positive definite. Then $p$
is represented by $f$. Now $f$ is equivalent to a reduced form. There
are two reduced forms of discriminant $-20$: $g_1(X,Y)=X^2+5Y^2$
and $g_2(X,Y)=2X^2+2XY+3Y^2$. But $g_2$ cannot represent any number
congruent to $1$ or $9$ modulo $20$. Therefore $g_1$ represents $p$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Sorry but I am not familiar with the terminology of "reduced form" and $f$ which represents prime. May you please suggest a good source for me to read about it?
    $endgroup$
    – dan
    Dec 31 '18 at 8:36








  • 2




    $begingroup$
    Try Davenport's The Higher Arithmetic.
    $endgroup$
    – Lord Shark the Unknown
    Dec 31 '18 at 8:40










  • $begingroup$
    For questions of this type,you'll find all you need in D. Cox's marvelous book, "Primes of the form $x^2+ny^2"$
    $endgroup$
    – nguyen quang do
    Jan 2 at 17:33



















5












$begingroup$

An alternative solution: the class number of $K=mathbb{Q}(sqrt{-5})$ is $2$, its Hilbert class field is $L=mathbb{Q}(sqrt{-5},sqrt{-1})$. A prime $pneq 2,5$ can be written as $p=x^2+5y^2$, iff $p$ splits into two principal prime ideals in $K$, iff $p$ splits completely in $L$, iff $p$ splits in both $mathbb{Q}(sqrt{5})$ and $mathbb{Q}(sqrt{-1})$, iff
$$left(frac{-1}{p}right) = 1 qquad left(frac{5}{p}right)= left(frac{p}{5}right) = 1$$
which happens iff $pequiv 1,9 pmod{20}$.





The solution using reduced binary quadratic form works here, because when $D=-20$ there are only one form $x^2+5y^2$ in the principal genus. This also happens for some other small $|D|$.






share|cite|improve this answer











$endgroup$













    Your Answer





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

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

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

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3057465%2fif-p-is-prime-then-x2-5y2-p-iff-p-equiv-1-9-mod-20%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









    5












    $begingroup$

    Let $pequiv1$ or $9pmod{20}$. Then $-5$ is a quadratic residue modulo $p$,
    so there are integers $r$ and $s$ with $$r^2+ps=-5.$$
    This means that the integer quadratic form
    $$f(X,Y)=pX^2+2rXY+sY^2$$
    has discriminant $-20$ and is also positive definite. Then $p$
    is represented by $f$. Now $f$ is equivalent to a reduced form. There
    are two reduced forms of discriminant $-20$: $g_1(X,Y)=X^2+5Y^2$
    and $g_2(X,Y)=2X^2+2XY+3Y^2$. But $g_2$ cannot represent any number
    congruent to $1$ or $9$ modulo $20$. Therefore $g_1$ represents $p$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Sorry but I am not familiar with the terminology of "reduced form" and $f$ which represents prime. May you please suggest a good source for me to read about it?
      $endgroup$
      – dan
      Dec 31 '18 at 8:36








    • 2




      $begingroup$
      Try Davenport's The Higher Arithmetic.
      $endgroup$
      – Lord Shark the Unknown
      Dec 31 '18 at 8:40










    • $begingroup$
      For questions of this type,you'll find all you need in D. Cox's marvelous book, "Primes of the form $x^2+ny^2"$
      $endgroup$
      – nguyen quang do
      Jan 2 at 17:33
















    5












    $begingroup$

    Let $pequiv1$ or $9pmod{20}$. Then $-5$ is a quadratic residue modulo $p$,
    so there are integers $r$ and $s$ with $$r^2+ps=-5.$$
    This means that the integer quadratic form
    $$f(X,Y)=pX^2+2rXY+sY^2$$
    has discriminant $-20$ and is also positive definite. Then $p$
    is represented by $f$. Now $f$ is equivalent to a reduced form. There
    are two reduced forms of discriminant $-20$: $g_1(X,Y)=X^2+5Y^2$
    and $g_2(X,Y)=2X^2+2XY+3Y^2$. But $g_2$ cannot represent any number
    congruent to $1$ or $9$ modulo $20$. Therefore $g_1$ represents $p$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Sorry but I am not familiar with the terminology of "reduced form" and $f$ which represents prime. May you please suggest a good source for me to read about it?
      $endgroup$
      – dan
      Dec 31 '18 at 8:36








    • 2




      $begingroup$
      Try Davenport's The Higher Arithmetic.
      $endgroup$
      – Lord Shark the Unknown
      Dec 31 '18 at 8:40










    • $begingroup$
      For questions of this type,you'll find all you need in D. Cox's marvelous book, "Primes of the form $x^2+ny^2"$
      $endgroup$
      – nguyen quang do
      Jan 2 at 17:33














    5












    5








    5





    $begingroup$

    Let $pequiv1$ or $9pmod{20}$. Then $-5$ is a quadratic residue modulo $p$,
    so there are integers $r$ and $s$ with $$r^2+ps=-5.$$
    This means that the integer quadratic form
    $$f(X,Y)=pX^2+2rXY+sY^2$$
    has discriminant $-20$ and is also positive definite. Then $p$
    is represented by $f$. Now $f$ is equivalent to a reduced form. There
    are two reduced forms of discriminant $-20$: $g_1(X,Y)=X^2+5Y^2$
    and $g_2(X,Y)=2X^2+2XY+3Y^2$. But $g_2$ cannot represent any number
    congruent to $1$ or $9$ modulo $20$. Therefore $g_1$ represents $p$.






    share|cite|improve this answer









    $endgroup$



    Let $pequiv1$ or $9pmod{20}$. Then $-5$ is a quadratic residue modulo $p$,
    so there are integers $r$ and $s$ with $$r^2+ps=-5.$$
    This means that the integer quadratic form
    $$f(X,Y)=pX^2+2rXY+sY^2$$
    has discriminant $-20$ and is also positive definite. Then $p$
    is represented by $f$. Now $f$ is equivalent to a reduced form. There
    are two reduced forms of discriminant $-20$: $g_1(X,Y)=X^2+5Y^2$
    and $g_2(X,Y)=2X^2+2XY+3Y^2$. But $g_2$ cannot represent any number
    congruent to $1$ or $9$ modulo $20$. Therefore $g_1$ represents $p$.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Dec 31 '18 at 7:41









    Lord Shark the UnknownLord Shark the Unknown

    102k1059132




    102k1059132












    • $begingroup$
      Sorry but I am not familiar with the terminology of "reduced form" and $f$ which represents prime. May you please suggest a good source for me to read about it?
      $endgroup$
      – dan
      Dec 31 '18 at 8:36








    • 2




      $begingroup$
      Try Davenport's The Higher Arithmetic.
      $endgroup$
      – Lord Shark the Unknown
      Dec 31 '18 at 8:40










    • $begingroup$
      For questions of this type,you'll find all you need in D. Cox's marvelous book, "Primes of the form $x^2+ny^2"$
      $endgroup$
      – nguyen quang do
      Jan 2 at 17:33


















    • $begingroup$
      Sorry but I am not familiar with the terminology of "reduced form" and $f$ which represents prime. May you please suggest a good source for me to read about it?
      $endgroup$
      – dan
      Dec 31 '18 at 8:36








    • 2




      $begingroup$
      Try Davenport's The Higher Arithmetic.
      $endgroup$
      – Lord Shark the Unknown
      Dec 31 '18 at 8:40










    • $begingroup$
      For questions of this type,you'll find all you need in D. Cox's marvelous book, "Primes of the form $x^2+ny^2"$
      $endgroup$
      – nguyen quang do
      Jan 2 at 17:33
















    $begingroup$
    Sorry but I am not familiar with the terminology of "reduced form" and $f$ which represents prime. May you please suggest a good source for me to read about it?
    $endgroup$
    – dan
    Dec 31 '18 at 8:36






    $begingroup$
    Sorry but I am not familiar with the terminology of "reduced form" and $f$ which represents prime. May you please suggest a good source for me to read about it?
    $endgroup$
    – dan
    Dec 31 '18 at 8:36






    2




    2




    $begingroup$
    Try Davenport's The Higher Arithmetic.
    $endgroup$
    – Lord Shark the Unknown
    Dec 31 '18 at 8:40




    $begingroup$
    Try Davenport's The Higher Arithmetic.
    $endgroup$
    – Lord Shark the Unknown
    Dec 31 '18 at 8:40












    $begingroup$
    For questions of this type,you'll find all you need in D. Cox's marvelous book, "Primes of the form $x^2+ny^2"$
    $endgroup$
    – nguyen quang do
    Jan 2 at 17:33




    $begingroup$
    For questions of this type,you'll find all you need in D. Cox's marvelous book, "Primes of the form $x^2+ny^2"$
    $endgroup$
    – nguyen quang do
    Jan 2 at 17:33











    5












    $begingroup$

    An alternative solution: the class number of $K=mathbb{Q}(sqrt{-5})$ is $2$, its Hilbert class field is $L=mathbb{Q}(sqrt{-5},sqrt{-1})$. A prime $pneq 2,5$ can be written as $p=x^2+5y^2$, iff $p$ splits into two principal prime ideals in $K$, iff $p$ splits completely in $L$, iff $p$ splits in both $mathbb{Q}(sqrt{5})$ and $mathbb{Q}(sqrt{-1})$, iff
    $$left(frac{-1}{p}right) = 1 qquad left(frac{5}{p}right)= left(frac{p}{5}right) = 1$$
    which happens iff $pequiv 1,9 pmod{20}$.





    The solution using reduced binary quadratic form works here, because when $D=-20$ there are only one form $x^2+5y^2$ in the principal genus. This also happens for some other small $|D|$.






    share|cite|improve this answer











    $endgroup$


















      5












      $begingroup$

      An alternative solution: the class number of $K=mathbb{Q}(sqrt{-5})$ is $2$, its Hilbert class field is $L=mathbb{Q}(sqrt{-5},sqrt{-1})$. A prime $pneq 2,5$ can be written as $p=x^2+5y^2$, iff $p$ splits into two principal prime ideals in $K$, iff $p$ splits completely in $L$, iff $p$ splits in both $mathbb{Q}(sqrt{5})$ and $mathbb{Q}(sqrt{-1})$, iff
      $$left(frac{-1}{p}right) = 1 qquad left(frac{5}{p}right)= left(frac{p}{5}right) = 1$$
      which happens iff $pequiv 1,9 pmod{20}$.





      The solution using reduced binary quadratic form works here, because when $D=-20$ there are only one form $x^2+5y^2$ in the principal genus. This also happens for some other small $|D|$.






      share|cite|improve this answer











      $endgroup$
















        5












        5








        5





        $begingroup$

        An alternative solution: the class number of $K=mathbb{Q}(sqrt{-5})$ is $2$, its Hilbert class field is $L=mathbb{Q}(sqrt{-5},sqrt{-1})$. A prime $pneq 2,5$ can be written as $p=x^2+5y^2$, iff $p$ splits into two principal prime ideals in $K$, iff $p$ splits completely in $L$, iff $p$ splits in both $mathbb{Q}(sqrt{5})$ and $mathbb{Q}(sqrt{-1})$, iff
        $$left(frac{-1}{p}right) = 1 qquad left(frac{5}{p}right)= left(frac{p}{5}right) = 1$$
        which happens iff $pequiv 1,9 pmod{20}$.





        The solution using reduced binary quadratic form works here, because when $D=-20$ there are only one form $x^2+5y^2$ in the principal genus. This also happens for some other small $|D|$.






        share|cite|improve this answer











        $endgroup$



        An alternative solution: the class number of $K=mathbb{Q}(sqrt{-5})$ is $2$, its Hilbert class field is $L=mathbb{Q}(sqrt{-5},sqrt{-1})$. A prime $pneq 2,5$ can be written as $p=x^2+5y^2$, iff $p$ splits into two principal prime ideals in $K$, iff $p$ splits completely in $L$, iff $p$ splits in both $mathbb{Q}(sqrt{5})$ and $mathbb{Q}(sqrt{-1})$, iff
        $$left(frac{-1}{p}right) = 1 qquad left(frac{5}{p}right)= left(frac{p}{5}right) = 1$$
        which happens iff $pequiv 1,9 pmod{20}$.





        The solution using reduced binary quadratic form works here, because when $D=-20$ there are only one form $x^2+5y^2$ in the principal genus. This also happens for some other small $|D|$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Dec 31 '18 at 17:30

























        answered Dec 31 '18 at 12:54









        piscopisco

        11.6k21742




        11.6k21742






























            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%2f3057465%2fif-p-is-prime-then-x2-5y2-p-iff-p-equiv-1-9-mod-20%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Human spaceflight

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

            張江高科駅