Why isn't $sum_{i=0}^{x-1} 2^{i} = 2^x-1$? [on hold]












-2












$begingroup$


I can't understand why these two formulas are not equal, I am certain they are but I cannot find a proof for my claim:
$$sum_{i=0}^{x-1} 2^{i} = 2^x-1$$



Edit: They are equal, thanks for the help










share|cite|improve this question









New contributor




Jack Möller is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$



put on hold as off-topic by Arnaud D., RRL, Xander Henderson, José Carlos Santos, Did 12 hours ago


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Arnaud D., RRL, Xander Henderson, José Carlos Santos

If this question can be reworded to fit the rules in the help center, please edit the question.









  • 3




    $begingroup$
    Prove by induction on $xgeq 1$.
    $endgroup$
    – Wuestenfux
    16 hours ago










  • $begingroup$
    Did you really mean to say "(...) are not equal, I am certain they are"?
    $endgroup$
    – StackTD
    16 hours ago










  • $begingroup$
    Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
    $endgroup$
    – Ned
    16 hours ago










  • $begingroup$
    If you are familiar with geometric progressions, you could also use $sum_limits{i = 0}^{x-1} u_1r^i = frac{u_1left(1-r^xright)}{1-r}$.
    $endgroup$
    – KM101
    15 hours ago












  • $begingroup$
    See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
    $endgroup$
    – Arnaud D.
    14 hours ago
















-2












$begingroup$


I can't understand why these two formulas are not equal, I am certain they are but I cannot find a proof for my claim:
$$sum_{i=0}^{x-1} 2^{i} = 2^x-1$$



Edit: They are equal, thanks for the help










share|cite|improve this question









New contributor




Jack Möller is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$



put on hold as off-topic by Arnaud D., RRL, Xander Henderson, José Carlos Santos, Did 12 hours ago


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Arnaud D., RRL, Xander Henderson, José Carlos Santos

If this question can be reworded to fit the rules in the help center, please edit the question.









  • 3




    $begingroup$
    Prove by induction on $xgeq 1$.
    $endgroup$
    – Wuestenfux
    16 hours ago










  • $begingroup$
    Did you really mean to say "(...) are not equal, I am certain they are"?
    $endgroup$
    – StackTD
    16 hours ago










  • $begingroup$
    Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
    $endgroup$
    – Ned
    16 hours ago










  • $begingroup$
    If you are familiar with geometric progressions, you could also use $sum_limits{i = 0}^{x-1} u_1r^i = frac{u_1left(1-r^xright)}{1-r}$.
    $endgroup$
    – KM101
    15 hours ago












  • $begingroup$
    See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
    $endgroup$
    – Arnaud D.
    14 hours ago














-2












-2








-2





$begingroup$


I can't understand why these two formulas are not equal, I am certain they are but I cannot find a proof for my claim:
$$sum_{i=0}^{x-1} 2^{i} = 2^x-1$$



Edit: They are equal, thanks for the help










share|cite|improve this question









New contributor




Jack Möller is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$




I can't understand why these two formulas are not equal, I am certain they are but I cannot find a proof for my claim:
$$sum_{i=0}^{x-1} 2^{i} = 2^x-1$$



Edit: They are equal, thanks for the help







summation geometric-progressions






share|cite|improve this question









New contributor




Jack Möller is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




Jack Möller is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited 13 hours ago









Xander Henderson

14.2k103554




14.2k103554






New contributor




Jack Möller is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked 16 hours ago









Jack MöllerJack Möller

62




62




New contributor




Jack Möller is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





Jack Möller is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






Jack Möller is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




put on hold as off-topic by Arnaud D., RRL, Xander Henderson, José Carlos Santos, Did 12 hours ago


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Arnaud D., RRL, Xander Henderson, José Carlos Santos

If this question can be reworded to fit the rules in the help center, please edit the question.




put on hold as off-topic by Arnaud D., RRL, Xander Henderson, José Carlos Santos, Did 12 hours ago


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Arnaud D., RRL, Xander Henderson, José Carlos Santos

If this question can be reworded to fit the rules in the help center, please edit the question.








  • 3




    $begingroup$
    Prove by induction on $xgeq 1$.
    $endgroup$
    – Wuestenfux
    16 hours ago










  • $begingroup$
    Did you really mean to say "(...) are not equal, I am certain they are"?
    $endgroup$
    – StackTD
    16 hours ago










  • $begingroup$
    Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
    $endgroup$
    – Ned
    16 hours ago










  • $begingroup$
    If you are familiar with geometric progressions, you could also use $sum_limits{i = 0}^{x-1} u_1r^i = frac{u_1left(1-r^xright)}{1-r}$.
    $endgroup$
    – KM101
    15 hours ago












  • $begingroup$
    See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
    $endgroup$
    – Arnaud D.
    14 hours ago














  • 3




    $begingroup$
    Prove by induction on $xgeq 1$.
    $endgroup$
    – Wuestenfux
    16 hours ago










  • $begingroup$
    Did you really mean to say "(...) are not equal, I am certain they are"?
    $endgroup$
    – StackTD
    16 hours ago










  • $begingroup$
    Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
    $endgroup$
    – Ned
    16 hours ago










  • $begingroup$
    If you are familiar with geometric progressions, you could also use $sum_limits{i = 0}^{x-1} u_1r^i = frac{u_1left(1-r^xright)}{1-r}$.
    $endgroup$
    – KM101
    15 hours ago












  • $begingroup$
    See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
    $endgroup$
    – Arnaud D.
    14 hours ago








3




3




$begingroup$
Prove by induction on $xgeq 1$.
$endgroup$
– Wuestenfux
16 hours ago




$begingroup$
Prove by induction on $xgeq 1$.
$endgroup$
– Wuestenfux
16 hours ago












$begingroup$
Did you really mean to say "(...) are not equal, I am certain they are"?
$endgroup$
– StackTD
16 hours ago




$begingroup$
Did you really mean to say "(...) are not equal, I am certain they are"?
$endgroup$
– StackTD
16 hours ago












$begingroup$
Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
$endgroup$
– Ned
16 hours ago




$begingroup$
Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
$endgroup$
– Ned
16 hours ago












$begingroup$
If you are familiar with geometric progressions, you could also use $sum_limits{i = 0}^{x-1} u_1r^i = frac{u_1left(1-r^xright)}{1-r}$.
$endgroup$
– KM101
15 hours ago






$begingroup$
If you are familiar with geometric progressions, you could also use $sum_limits{i = 0}^{x-1} u_1r^i = frac{u_1left(1-r^xright)}{1-r}$.
$endgroup$
– KM101
15 hours ago














$begingroup$
See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
$endgroup$
– Arnaud D.
14 hours ago




$begingroup$
See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
$endgroup$
– Arnaud D.
14 hours ago










5 Answers
5






active

oldest

votes


















4












$begingroup$

The easiest way is to notice that
$$
sum_{i=0}^{x-1}2^i=sum_{i=0}^{x-1}(2^{i+1}-2^{i})=({2^1}-2^0)+(2^2-2^1)+(2^3-2^2)+dotsb+(2^x-2^{x-1})
$$

which is a telescoping series.






share|cite|improve this answer









$endgroup$





















    4












    $begingroup$

    $$
    S(x) = sum_{i=0}^{x-1} 2^{i} \
    2 S(x) = 2 sum_{i=0}^{x-1} 2^{i} = sum_{i=0}^{x-1} 2^{i+1} = sum_{k=1}^{x} 2^{k} = S(x) + 2^x - 1
    $$

    so this is your proof that indeed $ S(x) = 2^x - 1 $.






    share|cite|improve this answer











    $endgroup$





















      0












      $begingroup$

      Use induction to prove it:




      • Show it is true for $x=1$


      • Assume it is true for $x=k$, this means that you are allowed to use $$sum_{i=0}^{k-1} 2^{i} = 2^k-1$$


      • Then show that it is true for $n=k+1$ by using the above formula.







      share|cite|improve this answer









      $endgroup$





















        0












        $begingroup$


        Applying the finite geometric series formula we obtain
        begin{align*}
        sum_{i=0}^{x-1}2^i=frac{2^x-1}{2-1}=2^x-1
        end{align*}







        share|cite|improve this answer









        $endgroup$













        • $begingroup$
          Is there any reasoning for the downvotes?
          $endgroup$
          – Markus Scheuer
          13 hours ago



















        -1












        $begingroup$

        You can prove this equality with the following method:
        x belongs to N*
        For x=1, 2^0 = 2^1 - 1 = 1
        For x=2, 2^0 + 2^1 = 2^2 - 1 = 3
        .
        .
        .
        Assume that the equality is correct up to (x-1) and demonstrate for the next order (see attached image),



        Proof



        Thus, the equality holds for all x in N*






        share|cite|improve this answer








        New contributor




        Wane Mamadou is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
        Check out our Code of Conduct.






        $endgroup$




















          5 Answers
          5






          active

          oldest

          votes








          5 Answers
          5






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          4












          $begingroup$

          The easiest way is to notice that
          $$
          sum_{i=0}^{x-1}2^i=sum_{i=0}^{x-1}(2^{i+1}-2^{i})=({2^1}-2^0)+(2^2-2^1)+(2^3-2^2)+dotsb+(2^x-2^{x-1})
          $$

          which is a telescoping series.






          share|cite|improve this answer









          $endgroup$


















            4












            $begingroup$

            The easiest way is to notice that
            $$
            sum_{i=0}^{x-1}2^i=sum_{i=0}^{x-1}(2^{i+1}-2^{i})=({2^1}-2^0)+(2^2-2^1)+(2^3-2^2)+dotsb+(2^x-2^{x-1})
            $$

            which is a telescoping series.






            share|cite|improve this answer









            $endgroup$
















              4












              4








              4





              $begingroup$

              The easiest way is to notice that
              $$
              sum_{i=0}^{x-1}2^i=sum_{i=0}^{x-1}(2^{i+1}-2^{i})=({2^1}-2^0)+(2^2-2^1)+(2^3-2^2)+dotsb+(2^x-2^{x-1})
              $$

              which is a telescoping series.






              share|cite|improve this answer









              $endgroup$



              The easiest way is to notice that
              $$
              sum_{i=0}^{x-1}2^i=sum_{i=0}^{x-1}(2^{i+1}-2^{i})=({2^1}-2^0)+(2^2-2^1)+(2^3-2^2)+dotsb+(2^x-2^{x-1})
              $$

              which is a telescoping series.







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered 16 hours ago









              Foobaz JohnFoobaz John

              21.7k41352




              21.7k41352























                  4












                  $begingroup$

                  $$
                  S(x) = sum_{i=0}^{x-1} 2^{i} \
                  2 S(x) = 2 sum_{i=0}^{x-1} 2^{i} = sum_{i=0}^{x-1} 2^{i+1} = sum_{k=1}^{x} 2^{k} = S(x) + 2^x - 1
                  $$

                  so this is your proof that indeed $ S(x) = 2^x - 1 $.






                  share|cite|improve this answer











                  $endgroup$


















                    4












                    $begingroup$

                    $$
                    S(x) = sum_{i=0}^{x-1} 2^{i} \
                    2 S(x) = 2 sum_{i=0}^{x-1} 2^{i} = sum_{i=0}^{x-1} 2^{i+1} = sum_{k=1}^{x} 2^{k} = S(x) + 2^x - 1
                    $$

                    so this is your proof that indeed $ S(x) = 2^x - 1 $.






                    share|cite|improve this answer











                    $endgroup$
















                      4












                      4








                      4





                      $begingroup$

                      $$
                      S(x) = sum_{i=0}^{x-1} 2^{i} \
                      2 S(x) = 2 sum_{i=0}^{x-1} 2^{i} = sum_{i=0}^{x-1} 2^{i+1} = sum_{k=1}^{x} 2^{k} = S(x) + 2^x - 1
                      $$

                      so this is your proof that indeed $ S(x) = 2^x - 1 $.






                      share|cite|improve this answer











                      $endgroup$



                      $$
                      S(x) = sum_{i=0}^{x-1} 2^{i} \
                      2 S(x) = 2 sum_{i=0}^{x-1} 2^{i} = sum_{i=0}^{x-1} 2^{i+1} = sum_{k=1}^{x} 2^{k} = S(x) + 2^x - 1
                      $$

                      so this is your proof that indeed $ S(x) = 2^x - 1 $.







                      share|cite|improve this answer














                      share|cite|improve this answer



                      share|cite|improve this answer








                      edited 15 hours ago

























                      answered 16 hours ago









                      AndreasAndreas

                      7,8561037




                      7,8561037























                          0












                          $begingroup$

                          Use induction to prove it:




                          • Show it is true for $x=1$


                          • Assume it is true for $x=k$, this means that you are allowed to use $$sum_{i=0}^{k-1} 2^{i} = 2^k-1$$


                          • Then show that it is true for $n=k+1$ by using the above formula.







                          share|cite|improve this answer









                          $endgroup$


















                            0












                            $begingroup$

                            Use induction to prove it:




                            • Show it is true for $x=1$


                            • Assume it is true for $x=k$, this means that you are allowed to use $$sum_{i=0}^{k-1} 2^{i} = 2^k-1$$


                            • Then show that it is true for $n=k+1$ by using the above formula.







                            share|cite|improve this answer









                            $endgroup$
















                              0












                              0








                              0





                              $begingroup$

                              Use induction to prove it:




                              • Show it is true for $x=1$


                              • Assume it is true for $x=k$, this means that you are allowed to use $$sum_{i=0}^{k-1} 2^{i} = 2^k-1$$


                              • Then show that it is true for $n=k+1$ by using the above formula.







                              share|cite|improve this answer









                              $endgroup$



                              Use induction to prove it:




                              • Show it is true for $x=1$


                              • Assume it is true for $x=k$, this means that you are allowed to use $$sum_{i=0}^{k-1} 2^{i} = 2^k-1$$


                              • Then show that it is true for $n=k+1$ by using the above formula.








                              share|cite|improve this answer












                              share|cite|improve this answer



                              share|cite|improve this answer










                              answered 16 hours ago









                              Ben CrossleyBen Crossley

                              787318




                              787318























                                  0












                                  $begingroup$


                                  Applying the finite geometric series formula we obtain
                                  begin{align*}
                                  sum_{i=0}^{x-1}2^i=frac{2^x-1}{2-1}=2^x-1
                                  end{align*}







                                  share|cite|improve this answer









                                  $endgroup$













                                  • $begingroup$
                                    Is there any reasoning for the downvotes?
                                    $endgroup$
                                    – Markus Scheuer
                                    13 hours ago
















                                  0












                                  $begingroup$


                                  Applying the finite geometric series formula we obtain
                                  begin{align*}
                                  sum_{i=0}^{x-1}2^i=frac{2^x-1}{2-1}=2^x-1
                                  end{align*}







                                  share|cite|improve this answer









                                  $endgroup$













                                  • $begingroup$
                                    Is there any reasoning for the downvotes?
                                    $endgroup$
                                    – Markus Scheuer
                                    13 hours ago














                                  0












                                  0








                                  0





                                  $begingroup$


                                  Applying the finite geometric series formula we obtain
                                  begin{align*}
                                  sum_{i=0}^{x-1}2^i=frac{2^x-1}{2-1}=2^x-1
                                  end{align*}







                                  share|cite|improve this answer









                                  $endgroup$




                                  Applying the finite geometric series formula we obtain
                                  begin{align*}
                                  sum_{i=0}^{x-1}2^i=frac{2^x-1}{2-1}=2^x-1
                                  end{align*}








                                  share|cite|improve this answer












                                  share|cite|improve this answer



                                  share|cite|improve this answer










                                  answered 14 hours ago









                                  Markus ScheuerMarkus Scheuer

                                  60.6k455145




                                  60.6k455145












                                  • $begingroup$
                                    Is there any reasoning for the downvotes?
                                    $endgroup$
                                    – Markus Scheuer
                                    13 hours ago


















                                  • $begingroup$
                                    Is there any reasoning for the downvotes?
                                    $endgroup$
                                    – Markus Scheuer
                                    13 hours ago
















                                  $begingroup$
                                  Is there any reasoning for the downvotes?
                                  $endgroup$
                                  – Markus Scheuer
                                  13 hours ago




                                  $begingroup$
                                  Is there any reasoning for the downvotes?
                                  $endgroup$
                                  – Markus Scheuer
                                  13 hours ago











                                  -1












                                  $begingroup$

                                  You can prove this equality with the following method:
                                  x belongs to N*
                                  For x=1, 2^0 = 2^1 - 1 = 1
                                  For x=2, 2^0 + 2^1 = 2^2 - 1 = 3
                                  .
                                  .
                                  .
                                  Assume that the equality is correct up to (x-1) and demonstrate for the next order (see attached image),



                                  Proof



                                  Thus, the equality holds for all x in N*






                                  share|cite|improve this answer








                                  New contributor




                                  Wane Mamadou is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                                  Check out our Code of Conduct.






                                  $endgroup$


















                                    -1












                                    $begingroup$

                                    You can prove this equality with the following method:
                                    x belongs to N*
                                    For x=1, 2^0 = 2^1 - 1 = 1
                                    For x=2, 2^0 + 2^1 = 2^2 - 1 = 3
                                    .
                                    .
                                    .
                                    Assume that the equality is correct up to (x-1) and demonstrate for the next order (see attached image),



                                    Proof



                                    Thus, the equality holds for all x in N*






                                    share|cite|improve this answer








                                    New contributor




                                    Wane Mamadou is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                                    Check out our Code of Conduct.






                                    $endgroup$
















                                      -1












                                      -1








                                      -1





                                      $begingroup$

                                      You can prove this equality with the following method:
                                      x belongs to N*
                                      For x=1, 2^0 = 2^1 - 1 = 1
                                      For x=2, 2^0 + 2^1 = 2^2 - 1 = 3
                                      .
                                      .
                                      .
                                      Assume that the equality is correct up to (x-1) and demonstrate for the next order (see attached image),



                                      Proof



                                      Thus, the equality holds for all x in N*






                                      share|cite|improve this answer








                                      New contributor




                                      Wane Mamadou is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                                      Check out our Code of Conduct.






                                      $endgroup$



                                      You can prove this equality with the following method:
                                      x belongs to N*
                                      For x=1, 2^0 = 2^1 - 1 = 1
                                      For x=2, 2^0 + 2^1 = 2^2 - 1 = 3
                                      .
                                      .
                                      .
                                      Assume that the equality is correct up to (x-1) and demonstrate for the next order (see attached image),



                                      Proof



                                      Thus, the equality holds for all x in N*







                                      share|cite|improve this answer








                                      New contributor




                                      Wane Mamadou is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                                      Check out our Code of Conduct.









                                      share|cite|improve this answer



                                      share|cite|improve this answer






                                      New contributor




                                      Wane Mamadou is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                                      Check out our Code of Conduct.









                                      answered 15 hours ago









                                      Wane MamadouWane Mamadou

                                      1




                                      1




                                      New contributor




                                      Wane Mamadou is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                                      Check out our Code of Conduct.





                                      New contributor





                                      Wane Mamadou is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                                      Check out our Code of Conduct.






                                      Wane Mamadou is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                                      Check out our Code of Conduct.















                                          Popular posts from this blog

                                          Сан-Квентин

                                          Алькесар

                                          Josef Freinademetz