| "Spoiler" for the "easy" case:
sum(i = 1,n) 1/i(i+1) = sum(i = 1,n) [1/i - 1/(i+1)]
= 1 - 1/2
+ 1/2 - 1/3
...
+ 1/n - 1/(n+1)
= 1 - 1/(n+1)
I think that this process is called "collapsing."
sum(i = 1,inf) 1/i(i+1) = lim n->oo sum(i = 1,n) 1/i(i+1)
= lim n->oo (1 - 1/(n+1))
= 1
Dan
|
| Prove: sum(i=1,inf) sum(j=1,inf) 1/ij(i+j+1) = 2
First, 1/(i+j) - 1/(i+j+1) = 1/(i+j)(i+j+1)
(i+j) 1 1 1 1 1
so 1/ij(i+j+1) = ----- * ------------ = (- + -)(--- - -----)
ij (i+j)(i+j+1) i j i+j i+j+1
so sum(i=1,inf) sum(j=1,inf) 1/ij(i+j+1)
= sum(i=1,inf) sum(j=1,inf) (1/i + 1/j)(1/(i+j) - 1/(i+j+1))
= sum(i=1,inf) sum(j=1,inf) (1/i)(1/(i+j) - 1/(i+j+1))
+ sum(i=1,inf) sum(j=1,inf) (1/j)(1/(i+j) - 1/(i+j+1))
= 2 * sum(i=1,inf) sum(j=1,inf) (1/i)(1/(i+j) - 1/(i+j+1))
[because the two infinite sums are equal]
= 2 * sum(i=1,inf) (1/i) sum(j=1,inf) (1/(i+j) - 1/(i+j+1))
= 2 * sum(i=1,inf) (1/i)(1/(i+1)) [the inner sum collapses]
= 2 * 1 [using the results of .-1]
= 2
Hint for inductive proofs:
1
sum(i1=1,inf) ... sum(in=1,inf) -----------------------------
i1 i2 ... in (i1+i2+...+in+1)
[i.e., the sum for n variables] may split up into n copies
of the infinite sum for n-1 variables. This would explain
the conjecture in .0 that the sum for n variables is n!
Dan
|
| The solutions on the usenet were clever. A variable "z" was
stuck into the infinite sum, and the sum renamed to f(z).
The derivative f'(z) was much easier to identify, and then
integration identified f(z). The original infinite sum was
f(1). The "induction step" was an integration by parts to get
the n variable integral from the n+1 variable integral. Finally,
one person added a proof that all these manipulations were of
series that really did converge.
Would anyone care to work out the details?
|