For any odd integer $n > 2$, show that there isn't any positive integer $x$, such that $x^n + (x+1)^n = (x+2)^n$.

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











up vote
0
down vote

favorite
1












For any odd integer $n > 2$, show that there isn't any positive integer $x$, such that:
$$x^n + (x+1)^n = (x+2)^n$$



Writing it using Newton's binom, we obtain:
$$x^n = sum_i=1^n binomni cdot x^n-i cdot (2^i - 1)$$



I don't know how to continue the problem. Can you help me, please? Thanks!







share|cite|improve this question















  • 2




    Fermat's Last Theorem stamps the solid proof here, but there is definitely an easier method in this special case...
    – Parcly Taxel
    Jul 18 at 17:42










  • It must be $2^n≡1 pmod x$.
    – Takahiro Waki
    Jul 18 at 17:45










  • $$beginalign(x+1)^n&=(x+2)^n-x^n\&=[(x+2)-x][(x+2)^n-1+(x+2)^x-2x+...+x^n-1]\&=2[(x+2)^n-1+(x+2)^x-2x+...+x^n-1]endalign$$ Therefore, $x$ is odd and since $n$ is also odd, the factor $[(x+2)^n-1+(x+2)^x-2x+...+x^n-1]$ is odd. Therefore $(x+1)^n$ is divisible by $2$ but not by $4$, which cannot happen for $n>1$.
    – user577471
    Jul 18 at 17:56















up vote
0
down vote

favorite
1












For any odd integer $n > 2$, show that there isn't any positive integer $x$, such that:
$$x^n + (x+1)^n = (x+2)^n$$



Writing it using Newton's binom, we obtain:
$$x^n = sum_i=1^n binomni cdot x^n-i cdot (2^i - 1)$$



I don't know how to continue the problem. Can you help me, please? Thanks!







share|cite|improve this question















  • 2




    Fermat's Last Theorem stamps the solid proof here, but there is definitely an easier method in this special case...
    – Parcly Taxel
    Jul 18 at 17:42










  • It must be $2^n≡1 pmod x$.
    – Takahiro Waki
    Jul 18 at 17:45










  • $$beginalign(x+1)^n&=(x+2)^n-x^n\&=[(x+2)-x][(x+2)^n-1+(x+2)^x-2x+...+x^n-1]\&=2[(x+2)^n-1+(x+2)^x-2x+...+x^n-1]endalign$$ Therefore, $x$ is odd and since $n$ is also odd, the factor $[(x+2)^n-1+(x+2)^x-2x+...+x^n-1]$ is odd. Therefore $(x+1)^n$ is divisible by $2$ but not by $4$, which cannot happen for $n>1$.
    – user577471
    Jul 18 at 17:56













up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1





For any odd integer $n > 2$, show that there isn't any positive integer $x$, such that:
$$x^n + (x+1)^n = (x+2)^n$$



Writing it using Newton's binom, we obtain:
$$x^n = sum_i=1^n binomni cdot x^n-i cdot (2^i - 1)$$



I don't know how to continue the problem. Can you help me, please? Thanks!







share|cite|improve this question











For any odd integer $n > 2$, show that there isn't any positive integer $x$, such that:
$$x^n + (x+1)^n = (x+2)^n$$



Writing it using Newton's binom, we obtain:
$$x^n = sum_i=1^n binomni cdot x^n-i cdot (2^i - 1)$$



I don't know how to continue the problem. Can you help me, please? Thanks!









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 18 at 17:40









Iulian Oleniuc

3619




3619







  • 2




    Fermat's Last Theorem stamps the solid proof here, but there is definitely an easier method in this special case...
    – Parcly Taxel
    Jul 18 at 17:42










  • It must be $2^n≡1 pmod x$.
    – Takahiro Waki
    Jul 18 at 17:45










  • $$beginalign(x+1)^n&=(x+2)^n-x^n\&=[(x+2)-x][(x+2)^n-1+(x+2)^x-2x+...+x^n-1]\&=2[(x+2)^n-1+(x+2)^x-2x+...+x^n-1]endalign$$ Therefore, $x$ is odd and since $n$ is also odd, the factor $[(x+2)^n-1+(x+2)^x-2x+...+x^n-1]$ is odd. Therefore $(x+1)^n$ is divisible by $2$ but not by $4$, which cannot happen for $n>1$.
    – user577471
    Jul 18 at 17:56













  • 2




    Fermat's Last Theorem stamps the solid proof here, but there is definitely an easier method in this special case...
    – Parcly Taxel
    Jul 18 at 17:42










  • It must be $2^n≡1 pmod x$.
    – Takahiro Waki
    Jul 18 at 17:45










  • $$beginalign(x+1)^n&=(x+2)^n-x^n\&=[(x+2)-x][(x+2)^n-1+(x+2)^x-2x+...+x^n-1]\&=2[(x+2)^n-1+(x+2)^x-2x+...+x^n-1]endalign$$ Therefore, $x$ is odd and since $n$ is also odd, the factor $[(x+2)^n-1+(x+2)^x-2x+...+x^n-1]$ is odd. Therefore $(x+1)^n$ is divisible by $2$ but not by $4$, which cannot happen for $n>1$.
    – user577471
    Jul 18 at 17:56








2




2




Fermat's Last Theorem stamps the solid proof here, but there is definitely an easier method in this special case...
– Parcly Taxel
Jul 18 at 17:42




Fermat's Last Theorem stamps the solid proof here, but there is definitely an easier method in this special case...
– Parcly Taxel
Jul 18 at 17:42












It must be $2^n≡1 pmod x$.
– Takahiro Waki
Jul 18 at 17:45




It must be $2^n≡1 pmod x$.
– Takahiro Waki
Jul 18 at 17:45












$$beginalign(x+1)^n&=(x+2)^n-x^n\&=[(x+2)-x][(x+2)^n-1+(x+2)^x-2x+...+x^n-1]\&=2[(x+2)^n-1+(x+2)^x-2x+...+x^n-1]endalign$$ Therefore, $x$ is odd and since $n$ is also odd, the factor $[(x+2)^n-1+(x+2)^x-2x+...+x^n-1]$ is odd. Therefore $(x+1)^n$ is divisible by $2$ but not by $4$, which cannot happen for $n>1$.
– user577471
Jul 18 at 17:56





$$beginalign(x+1)^n&=(x+2)^n-x^n\&=[(x+2)-x][(x+2)^n-1+(x+2)^x-2x+...+x^n-1]\&=2[(x+2)^n-1+(x+2)^x-2x+...+x^n-1]endalign$$ Therefore, $x$ is odd and since $n$ is also odd, the factor $[(x+2)^n-1+(x+2)^x-2x+...+x^n-1]$ is odd. Therefore $(x+1)^n$ is divisible by $2$ but not by $4$, which cannot happen for $n>1$.
– user577471
Jul 18 at 17:56











3 Answers
3






active

oldest

votes

















up vote
1
down vote



accepted










Claim 1: If $x$ is even then the left side is odd but right side is even so no even solution.



Claim 2: If $x$ is odd, then $x equiv pm 1 pmod4$. In which case (with $n$ being odd) we have left side is either $1+2^n pmod4$ or $-1 pmod4$, whereas the right side is $-1 pmod4$ or $1 pmod4$ respectively. For $n>2$ the two sides are not equal. Hence no solution.






share|cite|improve this answer




























    up vote
    2
    down vote













    Hint: Consider the cases $x=3k$, $x=3k+1$, $x=3k-1$ separately. You should find the remainders on division by $3$ are incompatible in all three cases.






    share|cite|improve this answer





















    • For $x=3k+1$, we have $x^n equiv (3k+1)^nequiv 1pmod3$, $(x+1)^n equiv (3k+2)^nequiv 2pmod3$, and $(x+2)^nequiv(3k+3)^nequiv 0equiv 1+2 pmod3$ for odd $n$.
      – Math Lover
      Jul 18 at 17:59


















    up vote
    0
    down vote













    The reminders by $x$ is equal, then  



    $2^n=kx+1$



    $LHD=x^n+(x+1)^n=x*(A(x)+n)+1$



    $RHD=(x+2)^n=x(B(x)+2n)+kx+1=x(B(x)+2n+k)+1$



    Since $n≠2n+k$, there doesn't such integers.






    share|cite|improve this answer





















    • This is one answer that makes no sense. Division by a polynomial variable $x$ is very different from division by a specific integer $x$.
      – Batominovski
      Jul 29 at 12:28










    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%2f2855823%2ffor-any-odd-integer-n-2-show-that-there-isnt-any-positive-integer-x-suc%23new-answer', 'question_page');

    );

    Post as a guest






























    3 Answers
    3






    active

    oldest

    votes








    3 Answers
    3






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    1
    down vote



    accepted










    Claim 1: If $x$ is even then the left side is odd but right side is even so no even solution.



    Claim 2: If $x$ is odd, then $x equiv pm 1 pmod4$. In which case (with $n$ being odd) we have left side is either $1+2^n pmod4$ or $-1 pmod4$, whereas the right side is $-1 pmod4$ or $1 pmod4$ respectively. For $n>2$ the two sides are not equal. Hence no solution.






    share|cite|improve this answer

























      up vote
      1
      down vote



      accepted










      Claim 1: If $x$ is even then the left side is odd but right side is even so no even solution.



      Claim 2: If $x$ is odd, then $x equiv pm 1 pmod4$. In which case (with $n$ being odd) we have left side is either $1+2^n pmod4$ or $-1 pmod4$, whereas the right side is $-1 pmod4$ or $1 pmod4$ respectively. For $n>2$ the two sides are not equal. Hence no solution.






      share|cite|improve this answer























        up vote
        1
        down vote



        accepted







        up vote
        1
        down vote



        accepted






        Claim 1: If $x$ is even then the left side is odd but right side is even so no even solution.



        Claim 2: If $x$ is odd, then $x equiv pm 1 pmod4$. In which case (with $n$ being odd) we have left side is either $1+2^n pmod4$ or $-1 pmod4$, whereas the right side is $-1 pmod4$ or $1 pmod4$ respectively. For $n>2$ the two sides are not equal. Hence no solution.






        share|cite|improve this answer













        Claim 1: If $x$ is even then the left side is odd but right side is even so no even solution.



        Claim 2: If $x$ is odd, then $x equiv pm 1 pmod4$. In which case (with $n$ being odd) we have left side is either $1+2^n pmod4$ or $-1 pmod4$, whereas the right side is $-1 pmod4$ or $1 pmod4$ respectively. For $n>2$ the two sides are not equal. Hence no solution.







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 18 at 17:58









        Anurag A

        22.3k12243




        22.3k12243




















            up vote
            2
            down vote













            Hint: Consider the cases $x=3k$, $x=3k+1$, $x=3k-1$ separately. You should find the remainders on division by $3$ are incompatible in all three cases.






            share|cite|improve this answer





















            • For $x=3k+1$, we have $x^n equiv (3k+1)^nequiv 1pmod3$, $(x+1)^n equiv (3k+2)^nequiv 2pmod3$, and $(x+2)^nequiv(3k+3)^nequiv 0equiv 1+2 pmod3$ for odd $n$.
              – Math Lover
              Jul 18 at 17:59















            up vote
            2
            down vote













            Hint: Consider the cases $x=3k$, $x=3k+1$, $x=3k-1$ separately. You should find the remainders on division by $3$ are incompatible in all three cases.






            share|cite|improve this answer





















            • For $x=3k+1$, we have $x^n equiv (3k+1)^nequiv 1pmod3$, $(x+1)^n equiv (3k+2)^nequiv 2pmod3$, and $(x+2)^nequiv(3k+3)^nequiv 0equiv 1+2 pmod3$ for odd $n$.
              – Math Lover
              Jul 18 at 17:59













            up vote
            2
            down vote










            up vote
            2
            down vote









            Hint: Consider the cases $x=3k$, $x=3k+1$, $x=3k-1$ separately. You should find the remainders on division by $3$ are incompatible in all three cases.






            share|cite|improve this answer













            Hint: Consider the cases $x=3k$, $x=3k+1$, $x=3k-1$ separately. You should find the remainders on division by $3$ are incompatible in all three cases.







            share|cite|improve this answer













            share|cite|improve this answer



            share|cite|improve this answer











            answered Jul 18 at 17:47









            Chappers

            55k74190




            55k74190











            • For $x=3k+1$, we have $x^n equiv (3k+1)^nequiv 1pmod3$, $(x+1)^n equiv (3k+2)^nequiv 2pmod3$, and $(x+2)^nequiv(3k+3)^nequiv 0equiv 1+2 pmod3$ for odd $n$.
              – Math Lover
              Jul 18 at 17:59

















            • For $x=3k+1$, we have $x^n equiv (3k+1)^nequiv 1pmod3$, $(x+1)^n equiv (3k+2)^nequiv 2pmod3$, and $(x+2)^nequiv(3k+3)^nequiv 0equiv 1+2 pmod3$ for odd $n$.
              – Math Lover
              Jul 18 at 17:59
















            For $x=3k+1$, we have $x^n equiv (3k+1)^nequiv 1pmod3$, $(x+1)^n equiv (3k+2)^nequiv 2pmod3$, and $(x+2)^nequiv(3k+3)^nequiv 0equiv 1+2 pmod3$ for odd $n$.
            – Math Lover
            Jul 18 at 17:59





            For $x=3k+1$, we have $x^n equiv (3k+1)^nequiv 1pmod3$, $(x+1)^n equiv (3k+2)^nequiv 2pmod3$, and $(x+2)^nequiv(3k+3)^nequiv 0equiv 1+2 pmod3$ for odd $n$.
            – Math Lover
            Jul 18 at 17:59











            up vote
            0
            down vote













            The reminders by $x$ is equal, then  



            $2^n=kx+1$



            $LHD=x^n+(x+1)^n=x*(A(x)+n)+1$



            $RHD=(x+2)^n=x(B(x)+2n)+kx+1=x(B(x)+2n+k)+1$



            Since $n≠2n+k$, there doesn't such integers.






            share|cite|improve this answer





















            • This is one answer that makes no sense. Division by a polynomial variable $x$ is very different from division by a specific integer $x$.
              – Batominovski
              Jul 29 at 12:28














            up vote
            0
            down vote













            The reminders by $x$ is equal, then  



            $2^n=kx+1$



            $LHD=x^n+(x+1)^n=x*(A(x)+n)+1$



            $RHD=(x+2)^n=x(B(x)+2n)+kx+1=x(B(x)+2n+k)+1$



            Since $n≠2n+k$, there doesn't such integers.






            share|cite|improve this answer





















            • This is one answer that makes no sense. Division by a polynomial variable $x$ is very different from division by a specific integer $x$.
              – Batominovski
              Jul 29 at 12:28












            up vote
            0
            down vote










            up vote
            0
            down vote









            The reminders by $x$ is equal, then  



            $2^n=kx+1$



            $LHD=x^n+(x+1)^n=x*(A(x)+n)+1$



            $RHD=(x+2)^n=x(B(x)+2n)+kx+1=x(B(x)+2n+k)+1$



            Since $n≠2n+k$, there doesn't such integers.






            share|cite|improve this answer













            The reminders by $x$ is equal, then  



            $2^n=kx+1$



            $LHD=x^n+(x+1)^n=x*(A(x)+n)+1$



            $RHD=(x+2)^n=x(B(x)+2n)+kx+1=x(B(x)+2n+k)+1$



            Since $n≠2n+k$, there doesn't such integers.







            share|cite|improve this answer













            share|cite|improve this answer



            share|cite|improve this answer











            answered Jul 18 at 18:00









            Takahiro Waki

            1,974520




            1,974520











            • This is one answer that makes no sense. Division by a polynomial variable $x$ is very different from division by a specific integer $x$.
              – Batominovski
              Jul 29 at 12:28
















            • This is one answer that makes no sense. Division by a polynomial variable $x$ is very different from division by a specific integer $x$.
              – Batominovski
              Jul 29 at 12:28















            This is one answer that makes no sense. Division by a polynomial variable $x$ is very different from division by a specific integer $x$.
            – Batominovski
            Jul 29 at 12:28




            This is one answer that makes no sense. Division by a polynomial variable $x$ is very different from division by a specific integer $x$.
            – Batominovski
            Jul 29 at 12:28












             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2855823%2ffor-any-odd-integer-n-2-show-that-there-isnt-any-positive-integer-x-suc%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?