Proving convergence of geometric series by induction

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











up vote
1
down vote

favorite












Let $$S = sumlimits_0^infty x^j,$$
where $|x|<1$. I want to show by induction that $$S=frac11-x.$$
But I'm stuck in my attempts to come up with an induction definition.



For example, $S_j = frac11-x-x^j$ clearly does not work here. Should I seek a recursive definition instead?







share|cite|improve this question















  • 6




    Try to prove (by induction for instance) that the partial sum $sum_j=0^Nx^j$ equals $frac1-x^N+11-x$ whenever $x$ is different from $1$. Once you have this, take the limit.
    – Suzet
    Jul 19 at 3:22















up vote
1
down vote

favorite












Let $$S = sumlimits_0^infty x^j,$$
where $|x|<1$. I want to show by induction that $$S=frac11-x.$$
But I'm stuck in my attempts to come up with an induction definition.



For example, $S_j = frac11-x-x^j$ clearly does not work here. Should I seek a recursive definition instead?







share|cite|improve this question















  • 6




    Try to prove (by induction for instance) that the partial sum $sum_j=0^Nx^j$ equals $frac1-x^N+11-x$ whenever $x$ is different from $1$. Once you have this, take the limit.
    – Suzet
    Jul 19 at 3:22













up vote
1
down vote

favorite









up vote
1
down vote

favorite











Let $$S = sumlimits_0^infty x^j,$$
where $|x|<1$. I want to show by induction that $$S=frac11-x.$$
But I'm stuck in my attempts to come up with an induction definition.



For example, $S_j = frac11-x-x^j$ clearly does not work here. Should I seek a recursive definition instead?







share|cite|improve this question











Let $$S = sumlimits_0^infty x^j,$$
where $|x|<1$. I want to show by induction that $$S=frac11-x.$$
But I'm stuck in my attempts to come up with an induction definition.



For example, $S_j = frac11-x-x^j$ clearly does not work here. Should I seek a recursive definition instead?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 19 at 3:20









sequence

4,03711031




4,03711031







  • 6




    Try to prove (by induction for instance) that the partial sum $sum_j=0^Nx^j$ equals $frac1-x^N+11-x$ whenever $x$ is different from $1$. Once you have this, take the limit.
    – Suzet
    Jul 19 at 3:22













  • 6




    Try to prove (by induction for instance) that the partial sum $sum_j=0^Nx^j$ equals $frac1-x^N+11-x$ whenever $x$ is different from $1$. Once you have this, take the limit.
    – Suzet
    Jul 19 at 3:22








6




6




Try to prove (by induction for instance) that the partial sum $sum_j=0^Nx^j$ equals $frac1-x^N+11-x$ whenever $x$ is different from $1$. Once you have this, take the limit.
– Suzet
Jul 19 at 3:22





Try to prove (by induction for instance) that the partial sum $sum_j=0^Nx^j$ equals $frac1-x^N+11-x$ whenever $x$ is different from $1$. Once you have this, take the limit.
– Suzet
Jul 19 at 3:22











1 Answer
1






active

oldest

votes

















up vote
3
down vote



accepted










You should show that for every finite $N$ from induction that beginalign sum_k=0^N r^k = frac1-r^N+11-r endalign then it follows that this limit converges if and only if $r^N+1$ converges to a finite non-1(so that the denominator is well defined) value, which happens if and only if $|r| < 1$.



But here's a much more short proof: beginalignS_N=sum_k=0^N r^k = 1 + r + r^2 + ... + r^N endalign
beginalign (1-r)S_N = 1 + r + r^2 +... + r^N - r - r^2 - ... -r^N+1 = 1 - r^N+1 endalign This implies that $S_N = frac1-r^N+11-r$. Then let $N rightarrow infty$ to see it converges if and only if $|r| < 1$






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%2f2856222%2fproving-convergence-of-geometric-series-by-induction%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    3
    down vote



    accepted










    You should show that for every finite $N$ from induction that beginalign sum_k=0^N r^k = frac1-r^N+11-r endalign then it follows that this limit converges if and only if $r^N+1$ converges to a finite non-1(so that the denominator is well defined) value, which happens if and only if $|r| < 1$.



    But here's a much more short proof: beginalignS_N=sum_k=0^N r^k = 1 + r + r^2 + ... + r^N endalign
    beginalign (1-r)S_N = 1 + r + r^2 +... + r^N - r - r^2 - ... -r^N+1 = 1 - r^N+1 endalign This implies that $S_N = frac1-r^N+11-r$. Then let $N rightarrow infty$ to see it converges if and only if $|r| < 1$






    share|cite|improve this answer

























      up vote
      3
      down vote



      accepted










      You should show that for every finite $N$ from induction that beginalign sum_k=0^N r^k = frac1-r^N+11-r endalign then it follows that this limit converges if and only if $r^N+1$ converges to a finite non-1(so that the denominator is well defined) value, which happens if and only if $|r| < 1$.



      But here's a much more short proof: beginalignS_N=sum_k=0^N r^k = 1 + r + r^2 + ... + r^N endalign
      beginalign (1-r)S_N = 1 + r + r^2 +... + r^N - r - r^2 - ... -r^N+1 = 1 - r^N+1 endalign This implies that $S_N = frac1-r^N+11-r$. Then let $N rightarrow infty$ to see it converges if and only if $|r| < 1$






      share|cite|improve this answer























        up vote
        3
        down vote



        accepted







        up vote
        3
        down vote



        accepted






        You should show that for every finite $N$ from induction that beginalign sum_k=0^N r^k = frac1-r^N+11-r endalign then it follows that this limit converges if and only if $r^N+1$ converges to a finite non-1(so that the denominator is well defined) value, which happens if and only if $|r| < 1$.



        But here's a much more short proof: beginalignS_N=sum_k=0^N r^k = 1 + r + r^2 + ... + r^N endalign
        beginalign (1-r)S_N = 1 + r + r^2 +... + r^N - r - r^2 - ... -r^N+1 = 1 - r^N+1 endalign This implies that $S_N = frac1-r^N+11-r$. Then let $N rightarrow infty$ to see it converges if and only if $|r| < 1$






        share|cite|improve this answer













        You should show that for every finite $N$ from induction that beginalign sum_k=0^N r^k = frac1-r^N+11-r endalign then it follows that this limit converges if and only if $r^N+1$ converges to a finite non-1(so that the denominator is well defined) value, which happens if and only if $|r| < 1$.



        But here's a much more short proof: beginalignS_N=sum_k=0^N r^k = 1 + r + r^2 + ... + r^N endalign
        beginalign (1-r)S_N = 1 + r + r^2 +... + r^N - r - r^2 - ... -r^N+1 = 1 - r^N+1 endalign This implies that $S_N = frac1-r^N+11-r$. Then let $N rightarrow infty$ to see it converges if and only if $|r| < 1$







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 19 at 4:09









        Raymond Chu

        1,03719




        1,03719






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2856222%2fproving-convergence-of-geometric-series-by-induction%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?