Prove that there are no two integers $a$ and $b$, such that $fracab$ is non-terminating and non-recurring number

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











up vote
2
down vote

favorite
1












I understand that all non-terminating and recurring real numbers can be expressed as $fracab$ where $a, b$ are integers. But I am unable to prove converse of this statement.







share|cite|improve this question


















  • 1




    Consider the algorithm of long division by $b$: if it is non-terminating, as there are only $b$ possible partial remainders at each step, one of them will appear again in a further step. All the steps between the first and the second appearance of this remainder will be reproduced in the following step.
    – Bernard
    Aug 28 at 16:56














up vote
2
down vote

favorite
1












I understand that all non-terminating and recurring real numbers can be expressed as $fracab$ where $a, b$ are integers. But I am unable to prove converse of this statement.







share|cite|improve this question


















  • 1




    Consider the algorithm of long division by $b$: if it is non-terminating, as there are only $b$ possible partial remainders at each step, one of them will appear again in a further step. All the steps between the first and the second appearance of this remainder will be reproduced in the following step.
    – Bernard
    Aug 28 at 16:56












up vote
2
down vote

favorite
1









up vote
2
down vote

favorite
1






1





I understand that all non-terminating and recurring real numbers can be expressed as $fracab$ where $a, b$ are integers. But I am unable to prove converse of this statement.







share|cite|improve this question














I understand that all non-terminating and recurring real numbers can be expressed as $fracab$ where $a, b$ are integers. But I am unable to prove converse of this statement.









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 28 at 17:28









tarit goswami

1,139219




1,139219










asked Aug 28 at 16:42









meet112

265




265







  • 1




    Consider the algorithm of long division by $b$: if it is non-terminating, as there are only $b$ possible partial remainders at each step, one of them will appear again in a further step. All the steps between the first and the second appearance of this remainder will be reproduced in the following step.
    – Bernard
    Aug 28 at 16:56












  • 1




    Consider the algorithm of long division by $b$: if it is non-terminating, as there are only $b$ possible partial remainders at each step, one of them will appear again in a further step. All the steps between the first and the second appearance of this remainder will be reproduced in the following step.
    – Bernard
    Aug 28 at 16:56







1




1




Consider the algorithm of long division by $b$: if it is non-terminating, as there are only $b$ possible partial remainders at each step, one of them will appear again in a further step. All the steps between the first and the second appearance of this remainder will be reproduced in the following step.
– Bernard
Aug 28 at 16:56




Consider the algorithm of long division by $b$: if it is non-terminating, as there are only $b$ possible partial remainders at each step, one of them will appear again in a further step. All the steps between the first and the second appearance of this remainder will be reproduced in the following step.
– Bernard
Aug 28 at 16:56










2 Answers
2






active

oldest

votes

















up vote
2
down vote













Suppose there exist two integers $p$ and $q$ where $qneq0$



When you divide $fracpq$ using long division, there are only $q$ remainders that are possible. If $0$ appears as a remainder, the decimal expansion terminates. If $0$ never occurs, then the algorithm can run at most $q − 1$ steps without using any remainder more than once. After that, a remainder must recur, and then the decimal expansion repeats.



For more, read about irrational numbers






share|cite|improve this answer





























    up vote
    1
    down vote













    Factor $b$ as $b=2^h5^kc$, where $c$ is divisible neither for $2$ nor for $5$. Then
    $$
    fracab=frac2^k5^ha10^h+kc
    $$
    and we can reduce to the case of $a/b$ where $b$ is divisible neither for $2$ nor for $5$ (because the original number is the same with the decimal point suitably shifted) and $b>1$. It is also not restrictive to assume $0<a<b$.



    We then know that the decimal number we get is not terminating. Can you prove it?



    The process of long division (adding zeros as we need them) will never leave a zero remainder, so the remainder $r$ at each stage satisfies $0<r<b$.



    Since only $b-1$ remainders are available, at some stage we must get a remainder we already got before. At that point, the divisions will repeat.






    share|cite|improve this answer




















      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%2f2897465%2fprove-that-there-are-no-two-integers-a-and-b-such-that-fracab-is-non%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
      2
      down vote













      Suppose there exist two integers $p$ and $q$ where $qneq0$



      When you divide $fracpq$ using long division, there are only $q$ remainders that are possible. If $0$ appears as a remainder, the decimal expansion terminates. If $0$ never occurs, then the algorithm can run at most $q − 1$ steps without using any remainder more than once. After that, a remainder must recur, and then the decimal expansion repeats.



      For more, read about irrational numbers






      share|cite|improve this answer


























        up vote
        2
        down vote













        Suppose there exist two integers $p$ and $q$ where $qneq0$



        When you divide $fracpq$ using long division, there are only $q$ remainders that are possible. If $0$ appears as a remainder, the decimal expansion terminates. If $0$ never occurs, then the algorithm can run at most $q − 1$ steps without using any remainder more than once. After that, a remainder must recur, and then the decimal expansion repeats.



        For more, read about irrational numbers






        share|cite|improve this answer
























          up vote
          2
          down vote










          up vote
          2
          down vote









          Suppose there exist two integers $p$ and $q$ where $qneq0$



          When you divide $fracpq$ using long division, there are only $q$ remainders that are possible. If $0$ appears as a remainder, the decimal expansion terminates. If $0$ never occurs, then the algorithm can run at most $q − 1$ steps without using any remainder more than once. After that, a remainder must recur, and then the decimal expansion repeats.



          For more, read about irrational numbers






          share|cite|improve this answer














          Suppose there exist two integers $p$ and $q$ where $qneq0$



          When you divide $fracpq$ using long division, there are only $q$ remainders that are possible. If $0$ appears as a remainder, the decimal expansion terminates. If $0$ never occurs, then the algorithm can run at most $q − 1$ steps without using any remainder more than once. After that, a remainder must recur, and then the decimal expansion repeats.



          For more, read about irrational numbers







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Aug 28 at 17:43

























          answered Aug 28 at 17:01









          Dashi

          615311




          615311




















              up vote
              1
              down vote













              Factor $b$ as $b=2^h5^kc$, where $c$ is divisible neither for $2$ nor for $5$. Then
              $$
              fracab=frac2^k5^ha10^h+kc
              $$
              and we can reduce to the case of $a/b$ where $b$ is divisible neither for $2$ nor for $5$ (because the original number is the same with the decimal point suitably shifted) and $b>1$. It is also not restrictive to assume $0<a<b$.



              We then know that the decimal number we get is not terminating. Can you prove it?



              The process of long division (adding zeros as we need them) will never leave a zero remainder, so the remainder $r$ at each stage satisfies $0<r<b$.



              Since only $b-1$ remainders are available, at some stage we must get a remainder we already got before. At that point, the divisions will repeat.






              share|cite|improve this answer
























                up vote
                1
                down vote













                Factor $b$ as $b=2^h5^kc$, where $c$ is divisible neither for $2$ nor for $5$. Then
                $$
                fracab=frac2^k5^ha10^h+kc
                $$
                and we can reduce to the case of $a/b$ where $b$ is divisible neither for $2$ nor for $5$ (because the original number is the same with the decimal point suitably shifted) and $b>1$. It is also not restrictive to assume $0<a<b$.



                We then know that the decimal number we get is not terminating. Can you prove it?



                The process of long division (adding zeros as we need them) will never leave a zero remainder, so the remainder $r$ at each stage satisfies $0<r<b$.



                Since only $b-1$ remainders are available, at some stage we must get a remainder we already got before. At that point, the divisions will repeat.






                share|cite|improve this answer






















                  up vote
                  1
                  down vote










                  up vote
                  1
                  down vote









                  Factor $b$ as $b=2^h5^kc$, where $c$ is divisible neither for $2$ nor for $5$. Then
                  $$
                  fracab=frac2^k5^ha10^h+kc
                  $$
                  and we can reduce to the case of $a/b$ where $b$ is divisible neither for $2$ nor for $5$ (because the original number is the same with the decimal point suitably shifted) and $b>1$. It is also not restrictive to assume $0<a<b$.



                  We then know that the decimal number we get is not terminating. Can you prove it?



                  The process of long division (adding zeros as we need them) will never leave a zero remainder, so the remainder $r$ at each stage satisfies $0<r<b$.



                  Since only $b-1$ remainders are available, at some stage we must get a remainder we already got before. At that point, the divisions will repeat.






                  share|cite|improve this answer












                  Factor $b$ as $b=2^h5^kc$, where $c$ is divisible neither for $2$ nor for $5$. Then
                  $$
                  fracab=frac2^k5^ha10^h+kc
                  $$
                  and we can reduce to the case of $a/b$ where $b$ is divisible neither for $2$ nor for $5$ (because the original number is the same with the decimal point suitably shifted) and $b>1$. It is also not restrictive to assume $0<a<b$.



                  We then know that the decimal number we get is not terminating. Can you prove it?



                  The process of long division (adding zeros as we need them) will never leave a zero remainder, so the remainder $r$ at each stage satisfies $0<r<b$.



                  Since only $b-1$ remainders are available, at some stage we must get a remainder we already got before. At that point, the divisions will repeat.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Aug 28 at 17:05









                  egreg

                  166k1180187




                  166k1180187



























                       

                      draft saved


                      draft discarded















































                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2897465%2fprove-that-there-are-no-two-integers-a-and-b-such-that-fracab-is-non%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      這個網誌中的熱門文章

                      How to combine Bézier curves to a surface?

                      Mutual Information Always Non-negative

                      Why am i infinitely getting the same tweet with the Twitter Search API?