Paradox: 1 – 1/2 and 1/3 – 1/4 and . . . = 0
simonsingh.net
simonsingh.net
The first expression, A1, is:
sum_{x=1}^{oo} 1/x
If you convert that into a function: S(n) = sum_{x=1}^n 1/x
then you'll find that S(n) ~ ln(n)-c where c is a constant.You can graph these sorts of things at Wolfram Alpha, or even just type the expression into Google and often you'll get something useful. Here's an example:
TBH I was just curious how the graphs looked taking the positives and negatives independently.
sum_{x=1}^{oo} 1/x
vs
sum_{x=1}^{oo} (-1)1/x
vs
sum_{x=1}^{oo} (-1)1/(x+1)
Sometimes this place makes me think that not putting a caching proxy in front of your blog should be a crime.
> A1 and A2 have different limits. It will be clear
> if the upper limit is changed to something other
> than infinity.
While it might be true that A1 and A2 have different limits, the reason you give is not sufficient to prove it. Consider the following: 1 + 1/2 + 1/4 + 1/8 + 1/16 + ...
and 1/2 + 1/8 + 1 + 1/32 + 1/128 + 1/4 + ...
In this second case I'm taking two odd powers then an even power, and so on.If your argument were valid then these would have different limits, because if you cut them both off after some number of terms the totals will always be different. However, these two series in fact have the same limit.
And in fact A1 and A2 have the same limit, so that's not where the problem lies.
I should have added 'For A1 and A2 to be equal' at the start. If you want them to be equal, they need to have different limits and if they have same limits, they are not equal.
In particular:
If you want them to be equal, they need
to have different limits and if they have
same limits, they are not equal.
That seems to be completely wrong. Consider these: sum_{x=0}^oo (-1)^x (1/x)
and sum_{y=0}^oo [ 1/(2y) - 1/(2y+1) ]
These are equal, and yet replacing the "oo" with n always gives partial sums that are different. So I guess I just don't understand what you are trying to say. Perhaps you could be more complete and explicit.