Is it true that x in base n is always larger than or equal to x in base n-1?












2












$begingroup$


I'm an elementary education major, but one of the problems in my elementary mathematics class asked to compare the values of numbers in different bases, without converting to base ten. One example was whether 32 in base 10 is larger than, equal to, or smaller than 32 in base 5. I realized that the larger base you go up, the more each place value can hold, so I used that to solve the problems, and those specific problems that I answered are correct, but it made me wonder if you can generalize this rule. If you have a number in base n, is it always larger than or equal to a number in base n-1? Take the case where the number is larger than or equal to n, and the place digits can hold higher numbers before overflowing in base n compared to base n-1, so x in base n will always be larger than x in base n-1. Take the case where x is smaller than n, and overflowing place values don't matter, so x in base n is equal to x in base n-1 (e.g. 6 in base 10 is equal to 6 in base 8). Or at least, this is true for non-negative x and positive n, I think.



Would this be a valid proof?
Thank you!










share|cite|improve this question











$endgroup$








  • 4




    $begingroup$
    Take care with your terminology: the number that’s represented by the digit string 12 in base $10$ is the same number that’s represented by the string 10 in base $12$. On the other hand, $12_{10}$ and $12_{12}$ are different numbers even though they’re represented by the same strings of digits. It might be better to use “numeral” instead of “number” when you’re talking about the digit string itself.
    $endgroup$
    – amd
    Jan 23 at 0:16












  • $begingroup$
    You've got the right sort of idea, but need to try to define more clearly the various things you're dealing with. (This often also helps in seeing more clearly what's going on, because the definition process forces you to look more closely at everything.) Thanks for an interesting question.
    $endgroup$
    – timtfj
    Jan 23 at 1:48
















2












$begingroup$


I'm an elementary education major, but one of the problems in my elementary mathematics class asked to compare the values of numbers in different bases, without converting to base ten. One example was whether 32 in base 10 is larger than, equal to, or smaller than 32 in base 5. I realized that the larger base you go up, the more each place value can hold, so I used that to solve the problems, and those specific problems that I answered are correct, but it made me wonder if you can generalize this rule. If you have a number in base n, is it always larger than or equal to a number in base n-1? Take the case where the number is larger than or equal to n, and the place digits can hold higher numbers before overflowing in base n compared to base n-1, so x in base n will always be larger than x in base n-1. Take the case where x is smaller than n, and overflowing place values don't matter, so x in base n is equal to x in base n-1 (e.g. 6 in base 10 is equal to 6 in base 8). Or at least, this is true for non-negative x and positive n, I think.



Would this be a valid proof?
Thank you!










share|cite|improve this question











$endgroup$








  • 4




    $begingroup$
    Take care with your terminology: the number that’s represented by the digit string 12 in base $10$ is the same number that’s represented by the string 10 in base $12$. On the other hand, $12_{10}$ and $12_{12}$ are different numbers even though they’re represented by the same strings of digits. It might be better to use “numeral” instead of “number” when you’re talking about the digit string itself.
    $endgroup$
    – amd
    Jan 23 at 0:16












  • $begingroup$
    You've got the right sort of idea, but need to try to define more clearly the various things you're dealing with. (This often also helps in seeing more clearly what's going on, because the definition process forces you to look more closely at everything.) Thanks for an interesting question.
    $endgroup$
    – timtfj
    Jan 23 at 1:48














2












2








2





$begingroup$


I'm an elementary education major, but one of the problems in my elementary mathematics class asked to compare the values of numbers in different bases, without converting to base ten. One example was whether 32 in base 10 is larger than, equal to, or smaller than 32 in base 5. I realized that the larger base you go up, the more each place value can hold, so I used that to solve the problems, and those specific problems that I answered are correct, but it made me wonder if you can generalize this rule. If you have a number in base n, is it always larger than or equal to a number in base n-1? Take the case where the number is larger than or equal to n, and the place digits can hold higher numbers before overflowing in base n compared to base n-1, so x in base n will always be larger than x in base n-1. Take the case where x is smaller than n, and overflowing place values don't matter, so x in base n is equal to x in base n-1 (e.g. 6 in base 10 is equal to 6 in base 8). Or at least, this is true for non-negative x and positive n, I think.



Would this be a valid proof?
Thank you!










share|cite|improve this question











$endgroup$




I'm an elementary education major, but one of the problems in my elementary mathematics class asked to compare the values of numbers in different bases, without converting to base ten. One example was whether 32 in base 10 is larger than, equal to, or smaller than 32 in base 5. I realized that the larger base you go up, the more each place value can hold, so I used that to solve the problems, and those specific problems that I answered are correct, but it made me wonder if you can generalize this rule. If you have a number in base n, is it always larger than or equal to a number in base n-1? Take the case where the number is larger than or equal to n, and the place digits can hold higher numbers before overflowing in base n compared to base n-1, so x in base n will always be larger than x in base n-1. Take the case where x is smaller than n, and overflowing place values don't matter, so x in base n is equal to x in base n-1 (e.g. 6 in base 10 is equal to 6 in base 8). Or at least, this is true for non-negative x and positive n, I think.



Would this be a valid proof?
Thank you!







proof-verification






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 23 at 0:17







Ashley

















asked Jan 23 at 0:11









AshleyAshley

133




133








  • 4




    $begingroup$
    Take care with your terminology: the number that’s represented by the digit string 12 in base $10$ is the same number that’s represented by the string 10 in base $12$. On the other hand, $12_{10}$ and $12_{12}$ are different numbers even though they’re represented by the same strings of digits. It might be better to use “numeral” instead of “number” when you’re talking about the digit string itself.
    $endgroup$
    – amd
    Jan 23 at 0:16












  • $begingroup$
    You've got the right sort of idea, but need to try to define more clearly the various things you're dealing with. (This often also helps in seeing more clearly what's going on, because the definition process forces you to look more closely at everything.) Thanks for an interesting question.
    $endgroup$
    – timtfj
    Jan 23 at 1:48














  • 4




    $begingroup$
    Take care with your terminology: the number that’s represented by the digit string 12 in base $10$ is the same number that’s represented by the string 10 in base $12$. On the other hand, $12_{10}$ and $12_{12}$ are different numbers even though they’re represented by the same strings of digits. It might be better to use “numeral” instead of “number” when you’re talking about the digit string itself.
    $endgroup$
    – amd
    Jan 23 at 0:16












  • $begingroup$
    You've got the right sort of idea, but need to try to define more clearly the various things you're dealing with. (This often also helps in seeing more clearly what's going on, because the definition process forces you to look more closely at everything.) Thanks for an interesting question.
    $endgroup$
    – timtfj
    Jan 23 at 1:48








4




4




$begingroup$
Take care with your terminology: the number that’s represented by the digit string 12 in base $10$ is the same number that’s represented by the string 10 in base $12$. On the other hand, $12_{10}$ and $12_{12}$ are different numbers even though they’re represented by the same strings of digits. It might be better to use “numeral” instead of “number” when you’re talking about the digit string itself.
$endgroup$
– amd
Jan 23 at 0:16






$begingroup$
Take care with your terminology: the number that’s represented by the digit string 12 in base $10$ is the same number that’s represented by the string 10 in base $12$. On the other hand, $12_{10}$ and $12_{12}$ are different numbers even though they’re represented by the same strings of digits. It might be better to use “numeral” instead of “number” when you’re talking about the digit string itself.
$endgroup$
– amd
Jan 23 at 0:16














$begingroup$
You've got the right sort of idea, but need to try to define more clearly the various things you're dealing with. (This often also helps in seeing more clearly what's going on, because the definition process forces you to look more closely at everything.) Thanks for an interesting question.
$endgroup$
– timtfj
Jan 23 at 1:48




$begingroup$
You've got the right sort of idea, but need to try to define more clearly the various things you're dealing with. (This often also helps in seeing more clearly what's going on, because the definition process forces you to look more closely at everything.) Thanks for an interesting question.
$endgroup$
– timtfj
Jan 23 at 1:48










2 Answers
2






active

oldest

votes


















3












$begingroup$

A more rigorous proof would be the following. Suppose the digits of the numeral are
$$a_ka_{k-1}cdots a_2a_1a_0.$$
If we read this as a base-$n$ number, then it is equal to
$$a_kcdot n^k+a_{k-1}cdot n^{k-1}+cdots +a_2cdot n^2+a_1cdot n + a_0.$$
If we read it as a base-$(n-1)$ number, then it is equal to
$$a_kcdot (n-1)^k+a_{k-1}cdot (n-1)^{k-1}+cdots +a_2cdot (n-1)^2+a_1cdot (n-1) + a_0.$$
The first number is greater than or equal to the second because $n^ell geq (n-1)^ell$ for every nonnegative integer $ell$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    That makes sense. So is that basically putting the words "higher bases can hold higher values for each place value" into mathematical words? a_k * n^k is always larger than a_k * (n-1)^k for nonnegative numbers?
    $endgroup$
    – Ashley
    Jan 23 at 0:34










  • $begingroup$
    Exactly. You got it.
    $endgroup$
    – kccu
    Jan 23 at 0:35



















0












$begingroup$

@lccu's answer proves this for positive integers of more than one digit. For a single digit, the base is irrelevant, as you noted.



But why stop at integers? Don't forget you can continue with digits after the equivalent of the decimal point. In this case you'll have negative powers of the base, which are now smaller for base $n+1$ than for base $n$.



Whatever the base, any digits after the point will represent a value in the interval $(0,1)$. So changing base can only change the value of the fractional part by $<1$.



On the other hand, any increase in the integer part must be $geq 1$, and will therefore be bigger than any decrease in the fractional part.



So (skipping some simple steps) we end up with the following. Let $S$ be the string of digits (including the point if needed), let $A$ be its value in base $n$, and let $B$ be its value in base $n+1$. Then:




  • If $S$ has two or more digits before the point, $A<B$.

  • If $S$ has one digit before the point and no nonzero digits after, then $A=B$.

  • If $S$ has one digit before the point and any nonzero digits after, then $A>B$. (The digit before the point is allowed to be $0$.)


All the above assumes that $S$ represents a positive number, and that the base is a positive number $>1$. If $S$ represents a negative number, then the inequalities are reversed.



What I've not worked out is what happens if you choose some funny base like $-frac12$ (I'd suggest investigating base $-2$, aka negabinary, first.)






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%2f3083909%2fis-it-true-that-x-in-base-n-is-always-larger-than-or-equal-to-x-in-base-n-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









    3












    $begingroup$

    A more rigorous proof would be the following. Suppose the digits of the numeral are
    $$a_ka_{k-1}cdots a_2a_1a_0.$$
    If we read this as a base-$n$ number, then it is equal to
    $$a_kcdot n^k+a_{k-1}cdot n^{k-1}+cdots +a_2cdot n^2+a_1cdot n + a_0.$$
    If we read it as a base-$(n-1)$ number, then it is equal to
    $$a_kcdot (n-1)^k+a_{k-1}cdot (n-1)^{k-1}+cdots +a_2cdot (n-1)^2+a_1cdot (n-1) + a_0.$$
    The first number is greater than or equal to the second because $n^ell geq (n-1)^ell$ for every nonnegative integer $ell$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      That makes sense. So is that basically putting the words "higher bases can hold higher values for each place value" into mathematical words? a_k * n^k is always larger than a_k * (n-1)^k for nonnegative numbers?
      $endgroup$
      – Ashley
      Jan 23 at 0:34










    • $begingroup$
      Exactly. You got it.
      $endgroup$
      – kccu
      Jan 23 at 0:35
















    3












    $begingroup$

    A more rigorous proof would be the following. Suppose the digits of the numeral are
    $$a_ka_{k-1}cdots a_2a_1a_0.$$
    If we read this as a base-$n$ number, then it is equal to
    $$a_kcdot n^k+a_{k-1}cdot n^{k-1}+cdots +a_2cdot n^2+a_1cdot n + a_0.$$
    If we read it as a base-$(n-1)$ number, then it is equal to
    $$a_kcdot (n-1)^k+a_{k-1}cdot (n-1)^{k-1}+cdots +a_2cdot (n-1)^2+a_1cdot (n-1) + a_0.$$
    The first number is greater than or equal to the second because $n^ell geq (n-1)^ell$ for every nonnegative integer $ell$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      That makes sense. So is that basically putting the words "higher bases can hold higher values for each place value" into mathematical words? a_k * n^k is always larger than a_k * (n-1)^k for nonnegative numbers?
      $endgroup$
      – Ashley
      Jan 23 at 0:34










    • $begingroup$
      Exactly. You got it.
      $endgroup$
      – kccu
      Jan 23 at 0:35














    3












    3








    3





    $begingroup$

    A more rigorous proof would be the following. Suppose the digits of the numeral are
    $$a_ka_{k-1}cdots a_2a_1a_0.$$
    If we read this as a base-$n$ number, then it is equal to
    $$a_kcdot n^k+a_{k-1}cdot n^{k-1}+cdots +a_2cdot n^2+a_1cdot n + a_0.$$
    If we read it as a base-$(n-1)$ number, then it is equal to
    $$a_kcdot (n-1)^k+a_{k-1}cdot (n-1)^{k-1}+cdots +a_2cdot (n-1)^2+a_1cdot (n-1) + a_0.$$
    The first number is greater than or equal to the second because $n^ell geq (n-1)^ell$ for every nonnegative integer $ell$.






    share|cite|improve this answer









    $endgroup$



    A more rigorous proof would be the following. Suppose the digits of the numeral are
    $$a_ka_{k-1}cdots a_2a_1a_0.$$
    If we read this as a base-$n$ number, then it is equal to
    $$a_kcdot n^k+a_{k-1}cdot n^{k-1}+cdots +a_2cdot n^2+a_1cdot n + a_0.$$
    If we read it as a base-$(n-1)$ number, then it is equal to
    $$a_kcdot (n-1)^k+a_{k-1}cdot (n-1)^{k-1}+cdots +a_2cdot (n-1)^2+a_1cdot (n-1) + a_0.$$
    The first number is greater than or equal to the second because $n^ell geq (n-1)^ell$ for every nonnegative integer $ell$.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Jan 23 at 0:30









    kccukccu

    10.5k11228




    10.5k11228












    • $begingroup$
      That makes sense. So is that basically putting the words "higher bases can hold higher values for each place value" into mathematical words? a_k * n^k is always larger than a_k * (n-1)^k for nonnegative numbers?
      $endgroup$
      – Ashley
      Jan 23 at 0:34










    • $begingroup$
      Exactly. You got it.
      $endgroup$
      – kccu
      Jan 23 at 0:35


















    • $begingroup$
      That makes sense. So is that basically putting the words "higher bases can hold higher values for each place value" into mathematical words? a_k * n^k is always larger than a_k * (n-1)^k for nonnegative numbers?
      $endgroup$
      – Ashley
      Jan 23 at 0:34










    • $begingroup$
      Exactly. You got it.
      $endgroup$
      – kccu
      Jan 23 at 0:35
















    $begingroup$
    That makes sense. So is that basically putting the words "higher bases can hold higher values for each place value" into mathematical words? a_k * n^k is always larger than a_k * (n-1)^k for nonnegative numbers?
    $endgroup$
    – Ashley
    Jan 23 at 0:34




    $begingroup$
    That makes sense. So is that basically putting the words "higher bases can hold higher values for each place value" into mathematical words? a_k * n^k is always larger than a_k * (n-1)^k for nonnegative numbers?
    $endgroup$
    – Ashley
    Jan 23 at 0:34












    $begingroup$
    Exactly. You got it.
    $endgroup$
    – kccu
    Jan 23 at 0:35




    $begingroup$
    Exactly. You got it.
    $endgroup$
    – kccu
    Jan 23 at 0:35











    0












    $begingroup$

    @lccu's answer proves this for positive integers of more than one digit. For a single digit, the base is irrelevant, as you noted.



    But why stop at integers? Don't forget you can continue with digits after the equivalent of the decimal point. In this case you'll have negative powers of the base, which are now smaller for base $n+1$ than for base $n$.



    Whatever the base, any digits after the point will represent a value in the interval $(0,1)$. So changing base can only change the value of the fractional part by $<1$.



    On the other hand, any increase in the integer part must be $geq 1$, and will therefore be bigger than any decrease in the fractional part.



    So (skipping some simple steps) we end up with the following. Let $S$ be the string of digits (including the point if needed), let $A$ be its value in base $n$, and let $B$ be its value in base $n+1$. Then:




    • If $S$ has two or more digits before the point, $A<B$.

    • If $S$ has one digit before the point and no nonzero digits after, then $A=B$.

    • If $S$ has one digit before the point and any nonzero digits after, then $A>B$. (The digit before the point is allowed to be $0$.)


    All the above assumes that $S$ represents a positive number, and that the base is a positive number $>1$. If $S$ represents a negative number, then the inequalities are reversed.



    What I've not worked out is what happens if you choose some funny base like $-frac12$ (I'd suggest investigating base $-2$, aka negabinary, first.)






    share|cite|improve this answer











    $endgroup$


















      0












      $begingroup$

      @lccu's answer proves this for positive integers of more than one digit. For a single digit, the base is irrelevant, as you noted.



      But why stop at integers? Don't forget you can continue with digits after the equivalent of the decimal point. In this case you'll have negative powers of the base, which are now smaller for base $n+1$ than for base $n$.



      Whatever the base, any digits after the point will represent a value in the interval $(0,1)$. So changing base can only change the value of the fractional part by $<1$.



      On the other hand, any increase in the integer part must be $geq 1$, and will therefore be bigger than any decrease in the fractional part.



      So (skipping some simple steps) we end up with the following. Let $S$ be the string of digits (including the point if needed), let $A$ be its value in base $n$, and let $B$ be its value in base $n+1$. Then:




      • If $S$ has two or more digits before the point, $A<B$.

      • If $S$ has one digit before the point and no nonzero digits after, then $A=B$.

      • If $S$ has one digit before the point and any nonzero digits after, then $A>B$. (The digit before the point is allowed to be $0$.)


      All the above assumes that $S$ represents a positive number, and that the base is a positive number $>1$. If $S$ represents a negative number, then the inequalities are reversed.



      What I've not worked out is what happens if you choose some funny base like $-frac12$ (I'd suggest investigating base $-2$, aka negabinary, first.)






      share|cite|improve this answer











      $endgroup$
















        0












        0








        0





        $begingroup$

        @lccu's answer proves this for positive integers of more than one digit. For a single digit, the base is irrelevant, as you noted.



        But why stop at integers? Don't forget you can continue with digits after the equivalent of the decimal point. In this case you'll have negative powers of the base, which are now smaller for base $n+1$ than for base $n$.



        Whatever the base, any digits after the point will represent a value in the interval $(0,1)$. So changing base can only change the value of the fractional part by $<1$.



        On the other hand, any increase in the integer part must be $geq 1$, and will therefore be bigger than any decrease in the fractional part.



        So (skipping some simple steps) we end up with the following. Let $S$ be the string of digits (including the point if needed), let $A$ be its value in base $n$, and let $B$ be its value in base $n+1$. Then:




        • If $S$ has two or more digits before the point, $A<B$.

        • If $S$ has one digit before the point and no nonzero digits after, then $A=B$.

        • If $S$ has one digit before the point and any nonzero digits after, then $A>B$. (The digit before the point is allowed to be $0$.)


        All the above assumes that $S$ represents a positive number, and that the base is a positive number $>1$. If $S$ represents a negative number, then the inequalities are reversed.



        What I've not worked out is what happens if you choose some funny base like $-frac12$ (I'd suggest investigating base $-2$, aka negabinary, first.)






        share|cite|improve this answer











        $endgroup$



        @lccu's answer proves this for positive integers of more than one digit. For a single digit, the base is irrelevant, as you noted.



        But why stop at integers? Don't forget you can continue with digits after the equivalent of the decimal point. In this case you'll have negative powers of the base, which are now smaller for base $n+1$ than for base $n$.



        Whatever the base, any digits after the point will represent a value in the interval $(0,1)$. So changing base can only change the value of the fractional part by $<1$.



        On the other hand, any increase in the integer part must be $geq 1$, and will therefore be bigger than any decrease in the fractional part.



        So (skipping some simple steps) we end up with the following. Let $S$ be the string of digits (including the point if needed), let $A$ be its value in base $n$, and let $B$ be its value in base $n+1$. Then:




        • If $S$ has two or more digits before the point, $A<B$.

        • If $S$ has one digit before the point and no nonzero digits after, then $A=B$.

        • If $S$ has one digit before the point and any nonzero digits after, then $A>B$. (The digit before the point is allowed to be $0$.)


        All the above assumes that $S$ represents a positive number, and that the base is a positive number $>1$. If $S$ represents a negative number, then the inequalities are reversed.



        What I've not worked out is what happens if you choose some funny base like $-frac12$ (I'd suggest investigating base $-2$, aka negabinary, first.)







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Jan 23 at 1:41

























        answered Jan 23 at 1:25









        timtfjtimtfj

        2,458420




        2,458420






























            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%2f3083909%2fis-it-true-that-x-in-base-n-is-always-larger-than-or-equal-to-x-in-base-n-1%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

            Mario Kart Wii

            What does “Dominus providebit” mean?

            Antonio Litta Visconti Arese