Monday, 7 October 2013

exponentiation - Summation Simplification



I am attempting to solve a problem that I posed myself, but I can't figure out how to simplify the solution from the "messy" state in which it currently exists. My mathematical background does not yet contain calculus or related studies, so it is quite likely there is a simple formula or theorem that can be applied that I do not know. I know the solution (because of Wolfram Alpha), but I am interested in determining how to solve it, and similar problems as they present themselves, by myself. The expression is:



n+n1a=0a2na1




This is equal to 2n1, according to Wolfram Alpha. How do I arrive at that solution? I greatly appreciate any help you can provide me on this problem. Thank you for your time and for any assistance you can give.


Answer



In your sum, the term with a=0 is 0. Take out the common factor 2n. And let n=10, for concreteness. So we want to find the sum
S=122+223+324++9210,
using a "general" method. Multiply S by 2. We get
2S=12+222+323++929.
Write the expression for S under the expression for 2S, but pushed forward by one, so that the denominators line up nicely. Then the numerators are offset by 1. Subtract. We get
2SS=S=12+122+123++1299210.
Note that everything but the last term is a finite geometric series. I imagine you know how to find a closed form expression for that. If you don't, a simpler version of the same trick will do it.




Now that you know what's going on, repeat for general n, and simplify to taste.



Remark: 1. There was no need to get rid of the 2n. In fact things look much nicer if you don't: No denominators! I am in retrospect very unhappy about getting rid of it. Repeat my argument using T=12n+22n1+32n2++(n1)20. It will quite a bit prettier.



2. Note that this is a distant relative of the so-called Gauss trick for finding the sum 1+2+3++100. The same idea works for a sum of shape n11kxk1, if x1. You can adapt the idea to deal with n11k2xk, and other related sums.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...