Finding sum of none arithmetic series
Clash Royale CLAN TAG#URR8PPP
$begingroup$
I have a question to find the sum of the following sum:
$$
S = small1*1+2*3+3*5+4*7+...+100*199
$$
I figured out that for each element in this series the following holds:
$$
a_n = a_n-1 + 4n - 3
$$
But I don't know where to go from here, I tried subtracting some other series but that did not work very well
sequences-and-series summation telescopic-series
$endgroup$
add a comment |
$begingroup$
I have a question to find the sum of the following sum:
$$
S = small1*1+2*3+3*5+4*7+...+100*199
$$
I figured out that for each element in this series the following holds:
$$
a_n = a_n-1 + 4n - 3
$$
But I don't know where to go from here, I tried subtracting some other series but that did not work very well
sequences-and-series summation telescopic-series
$endgroup$
add a comment |
$begingroup$
I have a question to find the sum of the following sum:
$$
S = small1*1+2*3+3*5+4*7+...+100*199
$$
I figured out that for each element in this series the following holds:
$$
a_n = a_n-1 + 4n - 3
$$
But I don't know where to go from here, I tried subtracting some other series but that did not work very well
sequences-and-series summation telescopic-series
$endgroup$
I have a question to find the sum of the following sum:
$$
S = small1*1+2*3+3*5+4*7+...+100*199
$$
I figured out that for each element in this series the following holds:
$$
a_n = a_n-1 + 4n - 3
$$
But I don't know where to go from here, I tried subtracting some other series but that did not work very well
sequences-and-series summation telescopic-series
sequences-and-series summation telescopic-series
edited Jan 26 at 15:27
Michael Rozenberg
103k1891195
103k1891195
asked Jan 26 at 14:21
Guysudai1Guysudai1
18011
18011
add a comment |
add a comment |
6 Answers
6
active
oldest
votes
$begingroup$
Each term in the equation is $n(2n-1)$, so $$S=sum_n=1^100n(2n-1)=2sum_n=1^100 n^2-sum_n=1^100 n=2fracm(m+1)(2m+1)6-fracm(m+1)2$$
where $m=100$.
$endgroup$
add a comment |
$begingroup$
By the telescoping sum we obtain: $$sum_n=1^100n(2n-1)=sum_n=1^100left(fracn(n+1)(4n-1)6-frac(n-1)n(4n-5)6right)=$$
$$=frac100cdot101cdot3996=671650.$$
$endgroup$
$begingroup$
Those two expressions whose difference is the term to be added seems like a magic trick. How did you (and how could someone else) come up with those expressions?
$endgroup$
– Rory Daulton
Jan 26 at 22:04
$begingroup$
@Rory Daulton We know that the sum is divided by $n(n+1)$ and it's third degree. Thus, for we can write $sumlimits_k=1^n(n(n+1)(a(n+1)+b)-(n-1)n(an+b))$ and to find values of $a$ and $b$.
$endgroup$
– Michael Rozenberg
Jan 26 at 22:36
add a comment |
$begingroup$
This is, for $n=100$,
$s(n)
=sum_k=1^n k(2k-1)
=sum_k=1^n (2k^2-k)
=2sum_k=1^n k^2
-sum_k=1^n k
$.
Plug in the formulas for the sums
and you are done.
$endgroup$
add a comment |
$begingroup$
$a_n=sum_r=1^n(4r-3)+a_0=dfrac n2(1+4n-3)+a_0=2n^2-n+a_0$
$$sum_n=1^ma_n=2sum_n=1^mn^2-sum_n=1^mn+a_0sum_n=1^m1$$
Here $a_0=0$
Alternatively,
$$a_m=b_m+a+bm+cm^2$$
$$4n-3=a_n-a_n-1=b_n-b_n-1+b+c(2n-1)=b_n-b_n-1+2c(n)+b-c$$
WLOG set $2c=4,b-c=-3iff c=b+3$ to find $b_n=b_n-1$
set $a=0$ so that $b_m=a_m=0$
$endgroup$
$begingroup$
Use math.stackexchange.com/questions/1806906/… or math.stackexchange.com/questions/2992733/… or math.stackexchange.com/questions/1339732/… or math.stackexchange.com/questions/183316/…
$endgroup$
– lab bhattacharjee
Jan 26 at 14:27
add a comment |
$begingroup$
Via generating functions we first find the generating function for each term and then sum them up. I'll build from the ground up. It may look overcomplicated but it also doesn't require remembering too many special identities. Our goal is to find $S_99$ where
beginalign*
S_m = sum_n=0^m a_n
endalign*
where
beginalign*
a_0 &= 1 \
a_n &= (n + 1)(2n + 1) \
&= a_n-1 + 4n + 1
endalign*
Now to find the generating function for our $a_n$ we find
beginalign*
A(x) &= sum_n=0^infty a_n x^n \
A(x) - a(0) &= sum_n=1^infty (a_n-1 + 4n + 1) x^n \
A(x) - 1 &= sum_n=1^infty a_n-1x^n + sum_n=1^infty (4n +1) x^n \
A(x) - 1 &= xsum_n=0^infty a_nx^n + (sum_n=0^infty (4n +1) x^n) - (4*0 + 1) \
A(x) &= xA(x) + (4fracx(x - 1)^2 + frac1x-1) \
(1 - x)A(x) &= frac4x + (1 - x)(1 - x)^2 \
A(x) &= frac3x + 1(1 - x)^3
endalign*
Summing them all up is easy enough, since $S_0 = 0$:
beginalign*
S(x) &= sum_n=0^infty S_n x^n \
S(x) - S(0) &= sum_n=1^infty (S_n - 1 + [y^n]A(y)) x^n \
(1 - x)S(x) &= A(x) \
S(x) &= frac3x + 1(1 - x)^4
endalign*
Now we want to find the coefficient for $S(x)$
beginalign*
[x^n]S(x) &= [x^n]frac3x + 1(1 - x)^4 \
&= [x^n]left(3x + 1right) sum_n=0^inftybinomn + 33x^n tag1 \
&= left(3[x^n-1] + [x^n]right) sum_n=0^inftybinomn + 33x^n tag2\
&= 3binomn+23 + binomn+33\
&= frac12(n+2)(n+1)n + frac16(n+3)(n+2)(n+1)
endalign*
In (1) we use the binomial series representation
In (2) we use the linearity of the coefficient of operator and $[x^n]x^kS(x)=[x^n-k]S(x)$.
Finally, plugging in $n = 99$: $frac12*101*100*99 + frac16*102*101*100 = 671 650$
$endgroup$
add a comment |
$begingroup$
Without using any actual intelligence, you can guess that since the terms are roughly quadratic, the sum should be roughly cubic, so you guess that it is a third degree polynomial $an^3 + bn^2 + cn + d$. Then you plug in the values for n = 0, 1, 2, and 3, get for linear equations with four unknowns, and solve to get a, b, c and d.
Try n = 4, 5, 6 to make sure this actually worked, and then it would be easy to prove by induction.
$endgroup$
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3088304%2ffinding-sum-of-none-arithmetic-series%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
6 Answers
6
active
oldest
votes
6 Answers
6
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Each term in the equation is $n(2n-1)$, so $$S=sum_n=1^100n(2n-1)=2sum_n=1^100 n^2-sum_n=1^100 n=2fracm(m+1)(2m+1)6-fracm(m+1)2$$
where $m=100$.
$endgroup$
add a comment |
$begingroup$
Each term in the equation is $n(2n-1)$, so $$S=sum_n=1^100n(2n-1)=2sum_n=1^100 n^2-sum_n=1^100 n=2fracm(m+1)(2m+1)6-fracm(m+1)2$$
where $m=100$.
$endgroup$
add a comment |
$begingroup$
Each term in the equation is $n(2n-1)$, so $$S=sum_n=1^100n(2n-1)=2sum_n=1^100 n^2-sum_n=1^100 n=2fracm(m+1)(2m+1)6-fracm(m+1)2$$
where $m=100$.
$endgroup$
Each term in the equation is $n(2n-1)$, so $$S=sum_n=1^100n(2n-1)=2sum_n=1^100 n^2-sum_n=1^100 n=2fracm(m+1)(2m+1)6-fracm(m+1)2$$
where $m=100$.
edited Jan 26 at 18:20
answered Jan 26 at 14:24
gunesgunes
3947
3947
add a comment |
add a comment |
$begingroup$
By the telescoping sum we obtain: $$sum_n=1^100n(2n-1)=sum_n=1^100left(fracn(n+1)(4n-1)6-frac(n-1)n(4n-5)6right)=$$
$$=frac100cdot101cdot3996=671650.$$
$endgroup$
$begingroup$
Those two expressions whose difference is the term to be added seems like a magic trick. How did you (and how could someone else) come up with those expressions?
$endgroup$
– Rory Daulton
Jan 26 at 22:04
$begingroup$
@Rory Daulton We know that the sum is divided by $n(n+1)$ and it's third degree. Thus, for we can write $sumlimits_k=1^n(n(n+1)(a(n+1)+b)-(n-1)n(an+b))$ and to find values of $a$ and $b$.
$endgroup$
– Michael Rozenberg
Jan 26 at 22:36
add a comment |
$begingroup$
By the telescoping sum we obtain: $$sum_n=1^100n(2n-1)=sum_n=1^100left(fracn(n+1)(4n-1)6-frac(n-1)n(4n-5)6right)=$$
$$=frac100cdot101cdot3996=671650.$$
$endgroup$
$begingroup$
Those two expressions whose difference is the term to be added seems like a magic trick. How did you (and how could someone else) come up with those expressions?
$endgroup$
– Rory Daulton
Jan 26 at 22:04
$begingroup$
@Rory Daulton We know that the sum is divided by $n(n+1)$ and it's third degree. Thus, for we can write $sumlimits_k=1^n(n(n+1)(a(n+1)+b)-(n-1)n(an+b))$ and to find values of $a$ and $b$.
$endgroup$
– Michael Rozenberg
Jan 26 at 22:36
add a comment |
$begingroup$
By the telescoping sum we obtain: $$sum_n=1^100n(2n-1)=sum_n=1^100left(fracn(n+1)(4n-1)6-frac(n-1)n(4n-5)6right)=$$
$$=frac100cdot101cdot3996=671650.$$
$endgroup$
By the telescoping sum we obtain: $$sum_n=1^100n(2n-1)=sum_n=1^100left(fracn(n+1)(4n-1)6-frac(n-1)n(4n-5)6right)=$$
$$=frac100cdot101cdot3996=671650.$$
answered Jan 26 at 15:15
Michael RozenbergMichael Rozenberg
103k1891195
103k1891195
$begingroup$
Those two expressions whose difference is the term to be added seems like a magic trick. How did you (and how could someone else) come up with those expressions?
$endgroup$
– Rory Daulton
Jan 26 at 22:04
$begingroup$
@Rory Daulton We know that the sum is divided by $n(n+1)$ and it's third degree. Thus, for we can write $sumlimits_k=1^n(n(n+1)(a(n+1)+b)-(n-1)n(an+b))$ and to find values of $a$ and $b$.
$endgroup$
– Michael Rozenberg
Jan 26 at 22:36
add a comment |
$begingroup$
Those two expressions whose difference is the term to be added seems like a magic trick. How did you (and how could someone else) come up with those expressions?
$endgroup$
– Rory Daulton
Jan 26 at 22:04
$begingroup$
@Rory Daulton We know that the sum is divided by $n(n+1)$ and it's third degree. Thus, for we can write $sumlimits_k=1^n(n(n+1)(a(n+1)+b)-(n-1)n(an+b))$ and to find values of $a$ and $b$.
$endgroup$
– Michael Rozenberg
Jan 26 at 22:36
$begingroup$
Those two expressions whose difference is the term to be added seems like a magic trick. How did you (and how could someone else) come up with those expressions?
$endgroup$
– Rory Daulton
Jan 26 at 22:04
$begingroup$
Those two expressions whose difference is the term to be added seems like a magic trick. How did you (and how could someone else) come up with those expressions?
$endgroup$
– Rory Daulton
Jan 26 at 22:04
$begingroup$
@Rory Daulton We know that the sum is divided by $n(n+1)$ and it's third degree. Thus, for we can write $sumlimits_k=1^n(n(n+1)(a(n+1)+b)-(n-1)n(an+b))$ and to find values of $a$ and $b$.
$endgroup$
– Michael Rozenberg
Jan 26 at 22:36
$begingroup$
@Rory Daulton We know that the sum is divided by $n(n+1)$ and it's third degree. Thus, for we can write $sumlimits_k=1^n(n(n+1)(a(n+1)+b)-(n-1)n(an+b))$ and to find values of $a$ and $b$.
$endgroup$
– Michael Rozenberg
Jan 26 at 22:36
add a comment |
$begingroup$
This is, for $n=100$,
$s(n)
=sum_k=1^n k(2k-1)
=sum_k=1^n (2k^2-k)
=2sum_k=1^n k^2
-sum_k=1^n k
$.
Plug in the formulas for the sums
and you are done.
$endgroup$
add a comment |
$begingroup$
This is, for $n=100$,
$s(n)
=sum_k=1^n k(2k-1)
=sum_k=1^n (2k^2-k)
=2sum_k=1^n k^2
-sum_k=1^n k
$.
Plug in the formulas for the sums
and you are done.
$endgroup$
add a comment |
$begingroup$
This is, for $n=100$,
$s(n)
=sum_k=1^n k(2k-1)
=sum_k=1^n (2k^2-k)
=2sum_k=1^n k^2
-sum_k=1^n k
$.
Plug in the formulas for the sums
and you are done.
$endgroup$
This is, for $n=100$,
$s(n)
=sum_k=1^n k(2k-1)
=sum_k=1^n (2k^2-k)
=2sum_k=1^n k^2
-sum_k=1^n k
$.
Plug in the formulas for the sums
and you are done.
answered Jan 26 at 14:31
marty cohenmarty cohen
73.7k549128
73.7k549128
add a comment |
add a comment |
$begingroup$
$a_n=sum_r=1^n(4r-3)+a_0=dfrac n2(1+4n-3)+a_0=2n^2-n+a_0$
$$sum_n=1^ma_n=2sum_n=1^mn^2-sum_n=1^mn+a_0sum_n=1^m1$$
Here $a_0=0$
Alternatively,
$$a_m=b_m+a+bm+cm^2$$
$$4n-3=a_n-a_n-1=b_n-b_n-1+b+c(2n-1)=b_n-b_n-1+2c(n)+b-c$$
WLOG set $2c=4,b-c=-3iff c=b+3$ to find $b_n=b_n-1$
set $a=0$ so that $b_m=a_m=0$
$endgroup$
$begingroup$
Use math.stackexchange.com/questions/1806906/… or math.stackexchange.com/questions/2992733/… or math.stackexchange.com/questions/1339732/… or math.stackexchange.com/questions/183316/…
$endgroup$
– lab bhattacharjee
Jan 26 at 14:27
add a comment |
$begingroup$
$a_n=sum_r=1^n(4r-3)+a_0=dfrac n2(1+4n-3)+a_0=2n^2-n+a_0$
$$sum_n=1^ma_n=2sum_n=1^mn^2-sum_n=1^mn+a_0sum_n=1^m1$$
Here $a_0=0$
Alternatively,
$$a_m=b_m+a+bm+cm^2$$
$$4n-3=a_n-a_n-1=b_n-b_n-1+b+c(2n-1)=b_n-b_n-1+2c(n)+b-c$$
WLOG set $2c=4,b-c=-3iff c=b+3$ to find $b_n=b_n-1$
set $a=0$ so that $b_m=a_m=0$
$endgroup$
$begingroup$
Use math.stackexchange.com/questions/1806906/… or math.stackexchange.com/questions/2992733/… or math.stackexchange.com/questions/1339732/… or math.stackexchange.com/questions/183316/…
$endgroup$
– lab bhattacharjee
Jan 26 at 14:27
add a comment |
$begingroup$
$a_n=sum_r=1^n(4r-3)+a_0=dfrac n2(1+4n-3)+a_0=2n^2-n+a_0$
$$sum_n=1^ma_n=2sum_n=1^mn^2-sum_n=1^mn+a_0sum_n=1^m1$$
Here $a_0=0$
Alternatively,
$$a_m=b_m+a+bm+cm^2$$
$$4n-3=a_n-a_n-1=b_n-b_n-1+b+c(2n-1)=b_n-b_n-1+2c(n)+b-c$$
WLOG set $2c=4,b-c=-3iff c=b+3$ to find $b_n=b_n-1$
set $a=0$ so that $b_m=a_m=0$
$endgroup$
$a_n=sum_r=1^n(4r-3)+a_0=dfrac n2(1+4n-3)+a_0=2n^2-n+a_0$
$$sum_n=1^ma_n=2sum_n=1^mn^2-sum_n=1^mn+a_0sum_n=1^m1$$
Here $a_0=0$
Alternatively,
$$a_m=b_m+a+bm+cm^2$$
$$4n-3=a_n-a_n-1=b_n-b_n-1+b+c(2n-1)=b_n-b_n-1+2c(n)+b-c$$
WLOG set $2c=4,b-c=-3iff c=b+3$ to find $b_n=b_n-1$
set $a=0$ so that $b_m=a_m=0$
edited Jan 26 at 14:31
answered Jan 26 at 14:25
lab bhattacharjeelab bhattacharjee
225k15157275
225k15157275
$begingroup$
Use math.stackexchange.com/questions/1806906/… or math.stackexchange.com/questions/2992733/… or math.stackexchange.com/questions/1339732/… or math.stackexchange.com/questions/183316/…
$endgroup$
– lab bhattacharjee
Jan 26 at 14:27
add a comment |
$begingroup$
Use math.stackexchange.com/questions/1806906/… or math.stackexchange.com/questions/2992733/… or math.stackexchange.com/questions/1339732/… or math.stackexchange.com/questions/183316/…
$endgroup$
– lab bhattacharjee
Jan 26 at 14:27
$begingroup$
Use math.stackexchange.com/questions/1806906/… or math.stackexchange.com/questions/2992733/… or math.stackexchange.com/questions/1339732/… or math.stackexchange.com/questions/183316/…
$endgroup$
– lab bhattacharjee
Jan 26 at 14:27
$begingroup$
Use math.stackexchange.com/questions/1806906/… or math.stackexchange.com/questions/2992733/… or math.stackexchange.com/questions/1339732/… or math.stackexchange.com/questions/183316/…
$endgroup$
– lab bhattacharjee
Jan 26 at 14:27
add a comment |
$begingroup$
Via generating functions we first find the generating function for each term and then sum them up. I'll build from the ground up. It may look overcomplicated but it also doesn't require remembering too many special identities. Our goal is to find $S_99$ where
beginalign*
S_m = sum_n=0^m a_n
endalign*
where
beginalign*
a_0 &= 1 \
a_n &= (n + 1)(2n + 1) \
&= a_n-1 + 4n + 1
endalign*
Now to find the generating function for our $a_n$ we find
beginalign*
A(x) &= sum_n=0^infty a_n x^n \
A(x) - a(0) &= sum_n=1^infty (a_n-1 + 4n + 1) x^n \
A(x) - 1 &= sum_n=1^infty a_n-1x^n + sum_n=1^infty (4n +1) x^n \
A(x) - 1 &= xsum_n=0^infty a_nx^n + (sum_n=0^infty (4n +1) x^n) - (4*0 + 1) \
A(x) &= xA(x) + (4fracx(x - 1)^2 + frac1x-1) \
(1 - x)A(x) &= frac4x + (1 - x)(1 - x)^2 \
A(x) &= frac3x + 1(1 - x)^3
endalign*
Summing them all up is easy enough, since $S_0 = 0$:
beginalign*
S(x) &= sum_n=0^infty S_n x^n \
S(x) - S(0) &= sum_n=1^infty (S_n - 1 + [y^n]A(y)) x^n \
(1 - x)S(x) &= A(x) \
S(x) &= frac3x + 1(1 - x)^4
endalign*
Now we want to find the coefficient for $S(x)$
beginalign*
[x^n]S(x) &= [x^n]frac3x + 1(1 - x)^4 \
&= [x^n]left(3x + 1right) sum_n=0^inftybinomn + 33x^n tag1 \
&= left(3[x^n-1] + [x^n]right) sum_n=0^inftybinomn + 33x^n tag2\
&= 3binomn+23 + binomn+33\
&= frac12(n+2)(n+1)n + frac16(n+3)(n+2)(n+1)
endalign*
In (1) we use the binomial series representation
In (2) we use the linearity of the coefficient of operator and $[x^n]x^kS(x)=[x^n-k]S(x)$.
Finally, plugging in $n = 99$: $frac12*101*100*99 + frac16*102*101*100 = 671 650$
$endgroup$
add a comment |
$begingroup$
Via generating functions we first find the generating function for each term and then sum them up. I'll build from the ground up. It may look overcomplicated but it also doesn't require remembering too many special identities. Our goal is to find $S_99$ where
beginalign*
S_m = sum_n=0^m a_n
endalign*
where
beginalign*
a_0 &= 1 \
a_n &= (n + 1)(2n + 1) \
&= a_n-1 + 4n + 1
endalign*
Now to find the generating function for our $a_n$ we find
beginalign*
A(x) &= sum_n=0^infty a_n x^n \
A(x) - a(0) &= sum_n=1^infty (a_n-1 + 4n + 1) x^n \
A(x) - 1 &= sum_n=1^infty a_n-1x^n + sum_n=1^infty (4n +1) x^n \
A(x) - 1 &= xsum_n=0^infty a_nx^n + (sum_n=0^infty (4n +1) x^n) - (4*0 + 1) \
A(x) &= xA(x) + (4fracx(x - 1)^2 + frac1x-1) \
(1 - x)A(x) &= frac4x + (1 - x)(1 - x)^2 \
A(x) &= frac3x + 1(1 - x)^3
endalign*
Summing them all up is easy enough, since $S_0 = 0$:
beginalign*
S(x) &= sum_n=0^infty S_n x^n \
S(x) - S(0) &= sum_n=1^infty (S_n - 1 + [y^n]A(y)) x^n \
(1 - x)S(x) &= A(x) \
S(x) &= frac3x + 1(1 - x)^4
endalign*
Now we want to find the coefficient for $S(x)$
beginalign*
[x^n]S(x) &= [x^n]frac3x + 1(1 - x)^4 \
&= [x^n]left(3x + 1right) sum_n=0^inftybinomn + 33x^n tag1 \
&= left(3[x^n-1] + [x^n]right) sum_n=0^inftybinomn + 33x^n tag2\
&= 3binomn+23 + binomn+33\
&= frac12(n+2)(n+1)n + frac16(n+3)(n+2)(n+1)
endalign*
In (1) we use the binomial series representation
In (2) we use the linearity of the coefficient of operator and $[x^n]x^kS(x)=[x^n-k]S(x)$.
Finally, plugging in $n = 99$: $frac12*101*100*99 + frac16*102*101*100 = 671 650$
$endgroup$
add a comment |
$begingroup$
Via generating functions we first find the generating function for each term and then sum them up. I'll build from the ground up. It may look overcomplicated but it also doesn't require remembering too many special identities. Our goal is to find $S_99$ where
beginalign*
S_m = sum_n=0^m a_n
endalign*
where
beginalign*
a_0 &= 1 \
a_n &= (n + 1)(2n + 1) \
&= a_n-1 + 4n + 1
endalign*
Now to find the generating function for our $a_n$ we find
beginalign*
A(x) &= sum_n=0^infty a_n x^n \
A(x) - a(0) &= sum_n=1^infty (a_n-1 + 4n + 1) x^n \
A(x) - 1 &= sum_n=1^infty a_n-1x^n + sum_n=1^infty (4n +1) x^n \
A(x) - 1 &= xsum_n=0^infty a_nx^n + (sum_n=0^infty (4n +1) x^n) - (4*0 + 1) \
A(x) &= xA(x) + (4fracx(x - 1)^2 + frac1x-1) \
(1 - x)A(x) &= frac4x + (1 - x)(1 - x)^2 \
A(x) &= frac3x + 1(1 - x)^3
endalign*
Summing them all up is easy enough, since $S_0 = 0$:
beginalign*
S(x) &= sum_n=0^infty S_n x^n \
S(x) - S(0) &= sum_n=1^infty (S_n - 1 + [y^n]A(y)) x^n \
(1 - x)S(x) &= A(x) \
S(x) &= frac3x + 1(1 - x)^4
endalign*
Now we want to find the coefficient for $S(x)$
beginalign*
[x^n]S(x) &= [x^n]frac3x + 1(1 - x)^4 \
&= [x^n]left(3x + 1right) sum_n=0^inftybinomn + 33x^n tag1 \
&= left(3[x^n-1] + [x^n]right) sum_n=0^inftybinomn + 33x^n tag2\
&= 3binomn+23 + binomn+33\
&= frac12(n+2)(n+1)n + frac16(n+3)(n+2)(n+1)
endalign*
In (1) we use the binomial series representation
In (2) we use the linearity of the coefficient of operator and $[x^n]x^kS(x)=[x^n-k]S(x)$.
Finally, plugging in $n = 99$: $frac12*101*100*99 + frac16*102*101*100 = 671 650$
$endgroup$
Via generating functions we first find the generating function for each term and then sum them up. I'll build from the ground up. It may look overcomplicated but it also doesn't require remembering too many special identities. Our goal is to find $S_99$ where
beginalign*
S_m = sum_n=0^m a_n
endalign*
where
beginalign*
a_0 &= 1 \
a_n &= (n + 1)(2n + 1) \
&= a_n-1 + 4n + 1
endalign*
Now to find the generating function for our $a_n$ we find
beginalign*
A(x) &= sum_n=0^infty a_n x^n \
A(x) - a(0) &= sum_n=1^infty (a_n-1 + 4n + 1) x^n \
A(x) - 1 &= sum_n=1^infty a_n-1x^n + sum_n=1^infty (4n +1) x^n \
A(x) - 1 &= xsum_n=0^infty a_nx^n + (sum_n=0^infty (4n +1) x^n) - (4*0 + 1) \
A(x) &= xA(x) + (4fracx(x - 1)^2 + frac1x-1) \
(1 - x)A(x) &= frac4x + (1 - x)(1 - x)^2 \
A(x) &= frac3x + 1(1 - x)^3
endalign*
Summing them all up is easy enough, since $S_0 = 0$:
beginalign*
S(x) &= sum_n=0^infty S_n x^n \
S(x) - S(0) &= sum_n=1^infty (S_n - 1 + [y^n]A(y)) x^n \
(1 - x)S(x) &= A(x) \
S(x) &= frac3x + 1(1 - x)^4
endalign*
Now we want to find the coefficient for $S(x)$
beginalign*
[x^n]S(x) &= [x^n]frac3x + 1(1 - x)^4 \
&= [x^n]left(3x + 1right) sum_n=0^inftybinomn + 33x^n tag1 \
&= left(3[x^n-1] + [x^n]right) sum_n=0^inftybinomn + 33x^n tag2\
&= 3binomn+23 + binomn+33\
&= frac12(n+2)(n+1)n + frac16(n+3)(n+2)(n+1)
endalign*
In (1) we use the binomial series representation
In (2) we use the linearity of the coefficient of operator and $[x^n]x^kS(x)=[x^n-k]S(x)$.
Finally, plugging in $n = 99$: $frac12*101*100*99 + frac16*102*101*100 = 671 650$
answered Jan 26 at 20:07
WorldSEnderWorldSEnder
440313
440313
add a comment |
add a comment |
$begingroup$
Without using any actual intelligence, you can guess that since the terms are roughly quadratic, the sum should be roughly cubic, so you guess that it is a third degree polynomial $an^3 + bn^2 + cn + d$. Then you plug in the values for n = 0, 1, 2, and 3, get for linear equations with four unknowns, and solve to get a, b, c and d.
Try n = 4, 5, 6 to make sure this actually worked, and then it would be easy to prove by induction.
$endgroup$
add a comment |
$begingroup$
Without using any actual intelligence, you can guess that since the terms are roughly quadratic, the sum should be roughly cubic, so you guess that it is a third degree polynomial $an^3 + bn^2 + cn + d$. Then you plug in the values for n = 0, 1, 2, and 3, get for linear equations with four unknowns, and solve to get a, b, c and d.
Try n = 4, 5, 6 to make sure this actually worked, and then it would be easy to prove by induction.
$endgroup$
add a comment |
$begingroup$
Without using any actual intelligence, you can guess that since the terms are roughly quadratic, the sum should be roughly cubic, so you guess that it is a third degree polynomial $an^3 + bn^2 + cn + d$. Then you plug in the values for n = 0, 1, 2, and 3, get for linear equations with four unknowns, and solve to get a, b, c and d.
Try n = 4, 5, 6 to make sure this actually worked, and then it would be easy to prove by induction.
$endgroup$
Without using any actual intelligence, you can guess that since the terms are roughly quadratic, the sum should be roughly cubic, so you guess that it is a third degree polynomial $an^3 + bn^2 + cn + d$. Then you plug in the values for n = 0, 1, 2, and 3, get for linear equations with four unknowns, and solve to get a, b, c and d.
Try n = 4, 5, 6 to make sure this actually worked, and then it would be easy to prove by induction.
answered Jan 26 at 20:16
gnasher729gnasher729
6,0151028
6,0151028
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3088304%2ffinding-sum-of-none-arithmetic-series%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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