Perfect square of rational number

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











up vote
5
down vote

favorite
3












This question is asked in the mathematics contest for grade 9.



Prove that if $x,y$ are two rational numbers such that $x^3+y^3=2xy$ then $1-xy$ is a perfect square of a rational number.










share|cite|improve this question



















  • 2




    Maybe you can start by replacing $x$ by $a/b$ and $y$ by $p/q$ and see what equations can come out
    – Mark
    49 mins ago






  • 1




    Note that $x=1$ and $y=1$ is a solution! I suspect this is the only rational solution, in which case $1-xy=0^2$ does in fact hold. The hard part is proving that it is the only rational solution.
    – Zubin Mukerjee
    35 mins ago










  • I have an idea to substitute 1 by $fracx^3+y^32xy $ into the expression $1-xy$ to get a perfect square of a rational number but I cannot go on.
    – Blind
    35 mins ago










  • How about x=y=0?
    – Blind
    33 mins ago














up vote
5
down vote

favorite
3












This question is asked in the mathematics contest for grade 9.



Prove that if $x,y$ are two rational numbers such that $x^3+y^3=2xy$ then $1-xy$ is a perfect square of a rational number.










share|cite|improve this question



















  • 2




    Maybe you can start by replacing $x$ by $a/b$ and $y$ by $p/q$ and see what equations can come out
    – Mark
    49 mins ago






  • 1




    Note that $x=1$ and $y=1$ is a solution! I suspect this is the only rational solution, in which case $1-xy=0^2$ does in fact hold. The hard part is proving that it is the only rational solution.
    – Zubin Mukerjee
    35 mins ago










  • I have an idea to substitute 1 by $fracx^3+y^32xy $ into the expression $1-xy$ to get a perfect square of a rational number but I cannot go on.
    – Blind
    35 mins ago










  • How about x=y=0?
    – Blind
    33 mins ago












up vote
5
down vote

favorite
3









up vote
5
down vote

favorite
3






3





This question is asked in the mathematics contest for grade 9.



Prove that if $x,y$ are two rational numbers such that $x^3+y^3=2xy$ then $1-xy$ is a perfect square of a rational number.










share|cite|improve this question















This question is asked in the mathematics contest for grade 9.



Prove that if $x,y$ are two rational numbers such that $x^3+y^3=2xy$ then $1-xy$ is a perfect square of a rational number.







number-theory elementary-number-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 35 mins ago

























asked 57 mins ago









Blind

503217




503217







  • 2




    Maybe you can start by replacing $x$ by $a/b$ and $y$ by $p/q$ and see what equations can come out
    – Mark
    49 mins ago






  • 1




    Note that $x=1$ and $y=1$ is a solution! I suspect this is the only rational solution, in which case $1-xy=0^2$ does in fact hold. The hard part is proving that it is the only rational solution.
    – Zubin Mukerjee
    35 mins ago










  • I have an idea to substitute 1 by $fracx^3+y^32xy $ into the expression $1-xy$ to get a perfect square of a rational number but I cannot go on.
    – Blind
    35 mins ago










  • How about x=y=0?
    – Blind
    33 mins ago












  • 2




    Maybe you can start by replacing $x$ by $a/b$ and $y$ by $p/q$ and see what equations can come out
    – Mark
    49 mins ago






  • 1




    Note that $x=1$ and $y=1$ is a solution! I suspect this is the only rational solution, in which case $1-xy=0^2$ does in fact hold. The hard part is proving that it is the only rational solution.
    – Zubin Mukerjee
    35 mins ago










  • I have an idea to substitute 1 by $fracx^3+y^32xy $ into the expression $1-xy$ to get a perfect square of a rational number but I cannot go on.
    – Blind
    35 mins ago










  • How about x=y=0?
    – Blind
    33 mins ago







2




2




Maybe you can start by replacing $x$ by $a/b$ and $y$ by $p/q$ and see what equations can come out
– Mark
49 mins ago




Maybe you can start by replacing $x$ by $a/b$ and $y$ by $p/q$ and see what equations can come out
– Mark
49 mins ago




1




1




Note that $x=1$ and $y=1$ is a solution! I suspect this is the only rational solution, in which case $1-xy=0^2$ does in fact hold. The hard part is proving that it is the only rational solution.
– Zubin Mukerjee
35 mins ago




Note that $x=1$ and $y=1$ is a solution! I suspect this is the only rational solution, in which case $1-xy=0^2$ does in fact hold. The hard part is proving that it is the only rational solution.
– Zubin Mukerjee
35 mins ago












I have an idea to substitute 1 by $fracx^3+y^32xy $ into the expression $1-xy$ to get a perfect square of a rational number but I cannot go on.
– Blind
35 mins ago




I have an idea to substitute 1 by $fracx^3+y^32xy $ into the expression $1-xy$ to get a perfect square of a rational number but I cannot go on.
– Blind
35 mins ago












How about x=y=0?
– Blind
33 mins ago




How about x=y=0?
– Blind
33 mins ago










2 Answers
2






active

oldest

votes

















up vote
5
down vote



accepted










The result is trivial unless $x,,y$ are non-zero, so that $y=tx$ with $t$ a non-zero rational number. Then $x^3(1+t^3)=2tx^2$ and $$x=frac2t1+t^3,,1-xy=frac(1+t^3)^2-4t^3(1+t^3)^2=(frac1-t^31+t^3)^2.$$The division only requires $1+t^3ne 0$, which in turn trivially follows from $x^3+y^3=2xyne 0$.






share|cite|improve this answer




















  • Nice answer. Thanks
    – Blind
    24 mins ago










  • Based on the proof of J.G., I propose another solution
    – Blind
    13 mins ago

















up vote
1
down vote













My solution is based on the idea of J.G.



$1-xy=1-fracx^3yx^2=fracx^2-x^3yx^2=fracx^2+y^4-2xy^2x^2=frac(x-y^2)^2x^2$.



I think that this is the shortest solution.






share|cite






















    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%2f2928172%2fperfect-square-of-rational-number%23new-answer', 'question_page');

    );

    Post as a guest






























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    5
    down vote



    accepted










    The result is trivial unless $x,,y$ are non-zero, so that $y=tx$ with $t$ a non-zero rational number. Then $x^3(1+t^3)=2tx^2$ and $$x=frac2t1+t^3,,1-xy=frac(1+t^3)^2-4t^3(1+t^3)^2=(frac1-t^31+t^3)^2.$$The division only requires $1+t^3ne 0$, which in turn trivially follows from $x^3+y^3=2xyne 0$.






    share|cite|improve this answer




















    • Nice answer. Thanks
      – Blind
      24 mins ago










    • Based on the proof of J.G., I propose another solution
      – Blind
      13 mins ago














    up vote
    5
    down vote



    accepted










    The result is trivial unless $x,,y$ are non-zero, so that $y=tx$ with $t$ a non-zero rational number. Then $x^3(1+t^3)=2tx^2$ and $$x=frac2t1+t^3,,1-xy=frac(1+t^3)^2-4t^3(1+t^3)^2=(frac1-t^31+t^3)^2.$$The division only requires $1+t^3ne 0$, which in turn trivially follows from $x^3+y^3=2xyne 0$.






    share|cite|improve this answer




















    • Nice answer. Thanks
      – Blind
      24 mins ago










    • Based on the proof of J.G., I propose another solution
      – Blind
      13 mins ago












    up vote
    5
    down vote



    accepted







    up vote
    5
    down vote



    accepted






    The result is trivial unless $x,,y$ are non-zero, so that $y=tx$ with $t$ a non-zero rational number. Then $x^3(1+t^3)=2tx^2$ and $$x=frac2t1+t^3,,1-xy=frac(1+t^3)^2-4t^3(1+t^3)^2=(frac1-t^31+t^3)^2.$$The division only requires $1+t^3ne 0$, which in turn trivially follows from $x^3+y^3=2xyne 0$.






    share|cite|improve this answer












    The result is trivial unless $x,,y$ are non-zero, so that $y=tx$ with $t$ a non-zero rational number. Then $x^3(1+t^3)=2tx^2$ and $$x=frac2t1+t^3,,1-xy=frac(1+t^3)^2-4t^3(1+t^3)^2=(frac1-t^31+t^3)^2.$$The division only requires $1+t^3ne 0$, which in turn trivially follows from $x^3+y^3=2xyne 0$.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered 30 mins ago









    J.G.

    14.9k11626




    14.9k11626











    • Nice answer. Thanks
      – Blind
      24 mins ago










    • Based on the proof of J.G., I propose another solution
      – Blind
      13 mins ago
















    • Nice answer. Thanks
      – Blind
      24 mins ago










    • Based on the proof of J.G., I propose another solution
      – Blind
      13 mins ago















    Nice answer. Thanks
    – Blind
    24 mins ago




    Nice answer. Thanks
    – Blind
    24 mins ago












    Based on the proof of J.G., I propose another solution
    – Blind
    13 mins ago




    Based on the proof of J.G., I propose another solution
    – Blind
    13 mins ago










    up vote
    1
    down vote













    My solution is based on the idea of J.G.



    $1-xy=1-fracx^3yx^2=fracx^2-x^3yx^2=fracx^2+y^4-2xy^2x^2=frac(x-y^2)^2x^2$.



    I think that this is the shortest solution.






    share|cite


























      up vote
      1
      down vote













      My solution is based on the idea of J.G.



      $1-xy=1-fracx^3yx^2=fracx^2-x^3yx^2=fracx^2+y^4-2xy^2x^2=frac(x-y^2)^2x^2$.



      I think that this is the shortest solution.






      share|cite
























        up vote
        1
        down vote










        up vote
        1
        down vote









        My solution is based on the idea of J.G.



        $1-xy=1-fracx^3yx^2=fracx^2-x^3yx^2=fracx^2+y^4-2xy^2x^2=frac(x-y^2)^2x^2$.



        I think that this is the shortest solution.






        share|cite














        My solution is based on the idea of J.G.



        $1-xy=1-fracx^3yx^2=fracx^2-x^3yx^2=fracx^2+y^4-2xy^2x^2=frac(x-y^2)^2x^2$.



        I think that this is the shortest solution.







        share|cite














        share|cite



        share|cite








        edited 2 mins ago

























        answered 9 mins ago









        Blind

        503217




        503217



























             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2928172%2fperfect-square-of-rational-number%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            Long meetings (6-7 hours a day): Being “babysat” by supervisor

            Is the Concept of Multiple Fantasy Races Scientifically Flawed? [closed]

            Confectionery