Why is this equality wrong? Can't find a proof












0












$begingroup$


I can't understant 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$








  • 3




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










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










  • $begingroup$
    Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
    $endgroup$
    – Ned
    2 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
    1 hour ago












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
















0












$begingroup$


I can't understant 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$








  • 3




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










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










  • $begingroup$
    Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
    $endgroup$
    – Ned
    2 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
    1 hour ago












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














0












0








0





$begingroup$


I can't understant 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 understant 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 26 mins ago









Arnaud D.

15.8k52443




15.8k52443






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 2 hours ago









Jack MöllerJack Möller

42




42




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.








  • 3




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










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










  • $begingroup$
    Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
    $endgroup$
    – Ned
    2 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
    1 hour ago












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














  • 3




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










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










  • $begingroup$
    Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
    $endgroup$
    – Ned
    2 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
    1 hour ago












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








3




3




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




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












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




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












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




$begingroup$
Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
$endgroup$
– Ned
2 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
1 hour 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
1 hour ago














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




$begingroup$
See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
$endgroup$
– Arnaud D.
18 mins 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$





















      1












      $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$





















        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$

          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$













            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
            });


            }
            });






            Jack Möller is a new contributor. Be nice, and check out our Code of Conduct.










            draft saved

            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3075886%2fwhy-is-this-equality-wrong-cant-find-a-proof%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            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 2 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 1 hour ago

























                        answered 2 hours ago









                        AndreasAndreas

                        7,8581037




                        7,8581037























                            1












                            $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$


















                              1












                              $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$
















                                1












                                1








                                1





                                $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 43 mins ago









                                Markus ScheuerMarkus Scheuer

                                60.6k455145




                                60.6k455145























                                    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 2 hours ago









                                        Ben CrossleyBen Crossley

                                        787318




                                        787318























                                            0












                                            $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$


















                                              0












                                              $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$
















                                                0












                                                0








                                                0





                                                $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 1 hour 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.






















                                                    Jack Möller is a new contributor. Be nice, and check out our Code of Conduct.










                                                    draft saved

                                                    draft discarded


















                                                    Jack Möller is a new contributor. Be nice, and check out our Code of Conduct.













                                                    Jack Möller is a new contributor. Be nice, and check out our Code of Conduct.












                                                    Jack Möller is a new contributor. Be nice, and check out our Code of Conduct.
















                                                    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%2f3075886%2fwhy-is-this-equality-wrong-cant-find-a-proof%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

                                                    Polycentropodidae

                                                    Magento 2 Error message: Invalid state change requested

                                                    Paulmy